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 shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
bool testSetEventCard(ModEvent me0, ModEvent me1, ModEvent me2)
Gecode toplevel namespace
bool testSetEventUB(ModEvent me0, ModEvent me1, ModEvent me2)
int ModEventDelta
Modification event deltas.
Home class for posting propagators
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .