41namespace Gecode {
namespace Set {
namespace Int {
54 (void)
new (home)
Card(home,x0,x1);
67 return new (home)
Card(home,*
this);
81 }
while (x1.min() > x1min || x1.max() < x1max);
int p
Number of positive literals for node type.
Base-class for both propagators and branchers.
Home class for posting propagators
Integer view for integer variables.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
Propagator for cardinality
Card(Space &home, Card &p)
Constructor for cloning p.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
static ExecStatus post(Home home, View s, Gecode::Int::IntView x)
Post propagator for .
ExecStatus ES_SUBSUMED(Propagator &p)
int ModEventDelta
Modification event deltas.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
const int max
Largest allowed integer value.
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
const Gecode::PropCond PC_SET_CARD
Propagate when the cardinality of a view changes.
Gecode toplevel namespace
@ ES_OK
Execution is okay.
@ ES_FIX
Propagation has computed fixpoint.