44 #ifndef __GECODE_SET_REL_HH__ 45 #define __GECODE_SET_REL_HH__ 49 namespace Gecode {
namespace Set {
namespace Rel {
56 template<
class VX,
class VY>
67 template<
class View0,
class View1>
93 template<
class View0,
class View1>
118 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
153 template<
class View0,
class View1>
177 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
186 ReEq(
Home home, View0 x0, View1 x1, CtrlView b);
211 template<
class View0,
class View1,
bool strict=false>
237 template<
class View0,
class View1, ReifyMode rm,
bool strict=false>
270 template<
class View0,
class View1>
299 template<
class View0>
Propagator for negated equality
CtrlView b
Boolean control view.
View0 x0
View of type View0.
Propagator for the subset constraint
Subset(Space &home, Subset &p)
Constructor for cloning p.
Base-class for propagators.
Propagator for set less than or equal
View1 x1
View of type View1.
virtual void reschedule(Space &home)
Schedule function.
Base-class for both propagators and branchers.
Gecode::FloatVal c(-8, 8)
Reified equality propagator
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .
int p
Number of positive literals for node type.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
ModEventDelta med
A set of modification events (used during propagation)
bool same(VX, VY)
Test whether two views are in fact the same.
Reified propagator for set less than or equal
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Post propagator for SetVar SetOpType SetVar y
Reified subset propagator
ConstSetView y
The view that is already assigned.
Propagator for set equality
Propagator for negated equality
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low binary)
Post propagator for SetVar x
Propagator for the negated subset constraint
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators
virtual size_t dispose(Space &home)
Delete propagator and return its size.
Boolean view for Boolean variables.