38 namespace Gecode {
namespace Set {
namespace Rel {
45 template<
class View0,
class View1>
51 template<
class View0,
class View1>
57 template<
class View0,
class View1>
68 template<
class View0,
class View1>
74 template<
class View0,
class View1>
87 if (breakers.
min() == breakers.
max()) {
88 int b1 = breakers.
min();
90 if (breakers()) {
return ES_FIX; }
const Gecode::PropCond PC_SET_CLUB
Propagate when the cardinality or the least upper bound of a view changes.
ExecStatus ES_SUBSUMED(Propagator &p)
View0 x0
View of type View0.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
int max(void) const
Return largest value of range.
NoSubset(Space &home, NoSubset &p)
Constructor for cloning p.
Range iterator for the greatest lower bound.
Propagation has computed fixpoint.
View1 x1
View of type View1.
Range iterator for the least upper bound.
Base-class for both propagators and branchers.
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .
int p
Number of positive literals for node type.
Execution has resulted in failure.
bool same(VX, VY)
Test whether two views are in fact the same.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Post propagator for SetVar SetOpType SetVar y
const Gecode::PropCond PC_SET_CGLB
Propagate when the cardinality or the greatest lower bound of a view changes.
Post propagator for SetVar x
Propagator for the negated subset constraint
bool subset(I &i, J &j)
Check whether range iterator i is subset of range iterator j.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Gecode toplevel namespace
Range iterator for computing set difference.
int min(void) const
Return smallest value of range.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
bool me_failed(ModEvent me)
Check whether modification event me is failed.