44 namespace Gecode {
namespace Set {
namespace Rel {
46 template<
class View0,
class View1>
51 template<
class View0,
class View1>
56 template<
class View0,
class View1>
59 (void)
new (home)
Eq(home,x,y);
63 template<
class View0,
class View1>
66 return new (home)
Eq(home,share,*
this);
69 template<
class View0,
class View1>
99 unsigned int max =
std::min(x0.cardMax(),x1.cardMax());
100 unsigned int min =
std::max(x0.cardMin(),x1.cardMin());
108 assert (x1.assigned());
ExecStatus ES_SUBSUMED(Propagator &p)
const FloatNum max
Largest allowed float value.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
int ModEvent
Type for modification events.
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
Range iterator for the greatest lower bound.
Propagation has computed fixpoint.
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)
#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)
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool testSetEventLB(ModEvent me0, ModEvent me1, ModEvent me2)
Node * x
Pointer to corresponding Boolean expression node.
Propagator for set equality
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
Eq(Space &home, bool share, Eq &p)
Constructor for cloning p.
bool testSetEventUB(ModEvent me0, ModEvent me1, ModEvent me2)
int ModEventDelta
Modification event deltas.
Home class for posting propagators
static ExecStatus post(Home home, View0, View1)
Post propagator .