44 #ifndef __GECODE_SET_REL_HH__
45 #define __GECODE_SET_REL_HH__
49 namespace Gecode {
namespace Set {
namespace Rel {
63 template<
class View0,
class View1>
89 template<
class View0,
class View1>
114 template<
class View0,
class View1, ReifyMode rm>
145 template<
class View0,
class View1>
153 Eq(
Home home,View0, View1);
169 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
179 ReEq(
Home home,View0, View1, CtrlView);
202 template<
class View0,
class View1,
bool strict=false>
210 Lq(
Home home,View0, View1);
228 template<
class View0,
class View1, ReifyMode rm,
bool strict=false>
260 template<
class View0,
class View1>
289 template<
class View0>
Propagator for negated equality
static ExecStatus post(Home home, View0 x, View1 y, CtrlView b)
Post propagator for .
ReEq(Space &home, bool share, ReEq &)
Constructor for cloning p.
Propagator for the subset constraint
static ExecStatus post(Home home, View0 x, View1 y, Gecode::Int::BoolView b)
Post propagator for .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
ReLq(Space &home, bool share, ReLq &)
Constructor for cloning p.
Base-class for propagators.
Propagator for set less than or equal
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as PC_TERNARY_LO)
Base-class for both propagators and branchers.
NoSubset(Space &home, bool share, NoSubset &p)
Constructor for cloning p.
DistinctDoit(Space &home, bool share, DistinctDoit &)
Constructor for cloning p.
Distinct(Space &home, bool share, Distinct &p)
Constructor for cloning p.
static ExecStatus post(Home home, View0, View1)
Post propagator .
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .
Reified equality propagator
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .
int p
Number of positive literals for node type.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
ModEventDelta med
A set of modification events (used during propagation)
Lq(Space &home, bool share, Lq &p)
Constructor for cloning p.
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as PC_TERNARY_LO)
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Reified propagator for set less than or equal
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
ReSubset(Space &home, bool share, ReSubset &)
Constructor for cloning p.
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
Reified subset propagator
Node * x
Pointer to corresponding Boolean expression node.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
static ExecStatus post(Home home, View0, ConstSetView)
Post propagator .
ConstSetView y
The view that is already assigned.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Propagator for set equality
Propagator for negated equality
Subset(Space &home, bool share, Subset &p)
Constructor for cloning p.
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Propagator for the negated subset constraint
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Gecode toplevel namespace
static ExecStatus post(Home home, View0, View1)
Post propagator .
Eq(Space &home, bool share, Eq &p)
Constructor for cloning p.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as PC_TERNARY_LO)
int ModEventDelta
Modification event deltas.
Home class for posting propagators
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
static ExecStatus post(Home home, View0 x, View1 y, Gecode::Int::BoolView b)
Post propagator for .
static ExecStatus post(Home home, View0, View1)
Post propagator .
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
Boolean view for Boolean variables.