36namespace Gecode {
namespace Int {
namespace NValues {
88 }
else if (
x[i].one()) {
95 assert(status != (VS_ZERO | VS_ONE));
110 if (status == (VS_ZERO | VS_ONE))
129 if (status == VS_ZERO) {
131 }
else if (status == VS_ONE) {
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
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
Number of values propagator for Boolean views base class.
Greater or equal to number of values propagator for Boolean 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 .
bool assigned(void) const
Test whether view is assigned.
Advisor storing a single view
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.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
@ ES_OK
Execution is okay.
@ ES_FIX
Propagation has computed fixpoint.
@ ES_FAILED
Execution has resulted in failure.
Post propagator for SetVar x