36namespace Gecode {
namespace Set {
namespace Rel {
38 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
41 View1 y1, CtrlView b0)
48 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
58 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
65 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
73 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
83 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
95 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
101 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
117 if (x0.cardMin() > x1.cardMax()) {
144 }
else if (x0.assigned() && x1.assigned()) {
151 if (x0.cardMin() > 0) {
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int p
Number of positive literals for node type.
Base-class for both propagators and branchers.
virtual size_t dispose(Space &home)
Delete actor and return its size.
Home class for posting propagators
Range iterator for computing set difference.
Range iterator for computing intersection (binary)
static PropCost ternary(PropCost::Mod m)
Three variables for modifier pcm.
Base-class for propagators.
Range iterator for the greatest lower bound.
Range iterator for the least upper bound.
Propagator for the negated subset constraint
Reified subset propagator
virtual size_t dispose(Space &home)
Delete propagator and return its size.
CtrlView b
Boolean control view.
ReSubset(Space &home, ReSubset &p)
Constructor for cloning p.
virtual void reschedule(Space &home)
Schedule function.
static ExecStatus post(Home home, View0 x, View1 y, CtrlView b)
Post propagator for .
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as ternary low)
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Propagator for the subset constraint
ExecStatus ES_SUBSUMED(Propagator &p)
int ModEventDelta
Modification event deltas.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
#define GECODE_REWRITE(prop, post)
Rewrite propagator by executing post function.
@ RM_IMP
Implication for reification.
@ RM_PMI
Inverse implication for reification.
const Gecode::PropCond PC_INT_VAL
Propagate when a view becomes assigned (single value)
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
Gecode toplevel namespace
bool same(VarArgArray< Var > x, VarArgArray< Var > y)
@ ES_OK
Execution is okay.
@ ES_FIX
Propagation has computed fixpoint.