41 namespace Gecode {
namespace Int {
namespace NValues {
56 return new (home)
EqBool<VY>(home,share,*
this);
93 if (status & VS_ONE) {
99 }
else if (
x[
i].
one()) {
100 if (status & VS_ZERO) {
108 assert(status != (VS_ZERO | VS_ONE));
123 if (status == (VS_ZERO | VS_ONE)) {
135 if (status == VS_ZERO) {
137 status = VS_ZERO | VS_ONE;
142 if (status == VS_ONE) {
144 status = VS_ZERO | VS_ONE;
158 if (status == VS_ZERO) {
160 }
else if (status == VS_ONE) {
static ExecStatus post(Home home, ViewArray< BV > &x)
Post propagator .
static ExecStatus post(Home home, ViewArray< View > &x)
Post propagator .
ExecStatus ES_SUBSUMED(Propagator &p)
bool one(const Gecode::FloatValArgs &a)
Check whether has only one coefficients.
static ExecStatus post(Home home, ViewArray< BoolView > &x, VY y)
Post propagator for .
Class to iterate over advisors of a council.
Propagation has computed fixpoint.
EqBool(Home home, int status, ViewArray< BoolView > &x, VY y)
Constructor for posting.
Advisor storing a single view
Base-class for both propagators and branchers.
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Execution has resulted in failure.
Number of values propagator for Boolean views base class.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
struct Gecode::@511::NNF::@54::@56 a
For atomic nodes.
Node * x
Pointer to corresponding Boolean expression node.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Equal to number of values propagator for Boolean views.
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators
A & advisor(void) const
Return advisor.