88 }
else if (
x[i].one()) {
Base-class for both propagators and branchers.
Class to iterate over advisors of a council.
A & advisor(void) const
Return advisor.
Home class for posting propagators
Council< ViewAdvisor< BoolView > > c
The advisor council.
BoolBase(Home home, int status, ViewArray< BoolView > &x, VY y)
Constructor for posting.
static const int VS_ONE
View status: a one has already been encountered.
VY y
The view for counting the number of values.
static const int VS_ZERO
View status: a zero has already been encountered.
int status
Status information about the views.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
GqBool(Home home, int status, ViewArray< BoolView > &x, VY y)
Constructor for posting.
static ExecStatus post(Home home, ViewArray< BoolView > &x, VY y)
Post propagator for .
static ExecStatus post(Home home, ViewArray< View > &x)
Post propagator .
Advisor storing a single view
ExecStatus ES_SUBSUMED(Propagator &p)
Propagator p is subsumed
int ModEventDelta
Modification event deltas.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Number of values propagators.
Gecode toplevel namespace
@ ES_OK
Execution is okay.
@ ES_FIX
Propagation has computed fixpoint.
@ ES_FAILED
Execution has resulted in failure.
Post propagator for SetVar x