40 namespace Gecode {
namespace Set {
namespace Rel {
42 template<
class View0,
class View1>
47 template<
class View0,
class View1>
52 template<
class View0,
class View1>
56 (void)
new (home)
Eq(home,x,y);
60 template<
class View0,
class View1>
63 return new (home)
Eq(home,*
this);
66 template<
class View0,
class View1>
105 assert (
x1.assigned());
ExecStatus ES_SUBSUMED(Propagator &p)
const FloatNum max
Largest allowed float value.
View0 x0
View of type View0.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
int ModEvent
Type for modification events.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Eq(Space &home, Eq &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.
int p
Number of positive literals for node type.
const FloatNum min
Smallest allowed float value.
void reset(void)
Reset iterator to start.
Range iterator for computing intersection (binary)
ModEventDelta med
A set of modification events (used during propagation)
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.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
Range iterator for computing union (binary)
Post propagator for SetVar SetOpType SetVar SetRelType r
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool testSetEventLB(ModEvent me0, ModEvent me1, ModEvent me2)
Post propagator for SetVar SetOpType SetVar y
Propagator for set equality
Post propagator for SetVar x
Propagation has not computed fixpoint.
bool testSetEventCard(ModEvent me0, ModEvent me1, ModEvent me2)
Gecode toplevel namespace
bool testSetEventUB(ModEvent me0, ModEvent me1, ModEvent me2)
bool shared(ViewArray< ViewX > x, ViewArray< ViewY > y)
int ModEventDelta
Modification event deltas.
Home class for posting propagators
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .