37namespace Gecode {
namespace Int {
namespace NValues {
89 if (status & VS_ONE) {
95 }
else if (
x[i].one()) {
96 if (status & VS_ZERO) {
104 assert(status != (VS_ZERO | VS_ONE));
119 if (status == (VS_ZERO | VS_ONE)) {
131 if (status == VS_ZERO) {
133 status = VS_ZERO | VS_ONE;
138 if (status == VS_ONE) {
140 status = VS_ZERO | VS_ONE;
154 if (status == VS_ZERO) {
156 }
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
static ExecStatus post(Home home, ViewArray< BV > &x)
Post propagator .
Number of values propagator for Boolean views base class.
Equal to number of values propagator for Boolean views.
EqBool(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 .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
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