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 .
A & advisor(void) const
Return advisor.
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.
void unique(const Space &home)
Remove all duplicate views from array (changes element order)
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.
Node * x
Pointer to corresponding Boolean expression node.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
int size(void) const
Return size of array (number of elements)
Equal to number of values propagator for Boolean views.
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.