36 namespace 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.
Node * x
Pointer to corresponding Boolean expression node.
struct Gecode::@602::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
@ ES_OK
Execution is okay.
@ ES_FIX
Propagation has computed fixpoint.
@ ES_FAILED
Execution has resulted in failure.
Post propagator for SetVar SetOpType SetVar y
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::FloatVal c(-8, 8)
bool one(const Gecode::FloatValArgs &a)
Check whether has only one coefficients.
Gecode::IntArgs i({1, 2, 3, 4})