40 namespace Gecode {
namespace Set {
namespace Rel {
42 template<
class View0,
class View1>
47 template<
class View0,
class View1>
53 template<
class View0,
class View1>
74 template<
class View0,
class View1>
80 template<
class View0,
class View1>
83 assert(
x0.assigned()||
x1.assigned());
104 template<
class View0>
110 template<
class View0>
119 assert(
x0.lubSize()-
x0.glbSize() >0);
143 template<
class View0>
148 template<
class View0>
#define GECODE_REWRITE(prop, post)
Rewrite propagator by executing post function.
Range iterator for greatest lower bound of constant set view
Propagator for negated equality
ExecStatus ES_SUBSUMED(Propagator &p)
Distinct(Space &home, Distinct &p)
Constructor for cloning p.
View0 x0
View of type View0.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Range iterator for least upper bound of constant set view
bool equal(I &i, J &j)
Check whether range iterators i and j are equal.
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.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
int p
Number of positive literals for node type.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Execution has resulted in failure.
unsigned int cardMin(void) const
Return cardinality minimum.
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.
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
void update(Space &home, ConstSetView &y)
Update this view to be a clone of view y.
Post propagator for SetVar SetOpType SetVar y
static ExecStatus post(Home home, View0 x, ConstSetView y)
Post propagator .
ConstSetView y
The view that is already assigned.
Propagator for negated equality
Post propagator for SetVar x
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
unsigned int cardMax(void) const
Return cardinality maximum.
bool subset(I &i, J &j)
Check whether range iterator i is subset of range iterator j.
Gecode toplevel namespace
const Gecode::PropCond PC_SET_VAL
Propagate when a view becomes assigned (single value)
DistinctDoit(Space &home, DistinctDoit &)
Constructor for cloning p.
int ModEventDelta
Modification event deltas.
Home class for posting propagators
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .