40 namespace Gecode {
namespace Int {
namespace Bool {
54 return new (home)
NaryEqv(home,share,*
this);
80 (void)
new (home)
NaryEqv(home,x,pm2);
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
ExecStatus ES_SUBSUMED(Propagator &p)
NaryEqv(Home home, ViewArray< BoolView > &x, int pm2)
Constructor for posting.
static ExecStatus post(Home home, ViewArray< BoolView > &x, int pm2)
Post propagator .
Propagation has computed fixpoint.
Base-class for both propagators and branchers.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
static ExecStatus post(Home home, BVA x0, BVB x1)
Post propagator .
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low binary)
Execution has resulted in failure.
void resubscribe(Space &home, BoolView &x0)
Update subscription.
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.
bool assigned(View x, int v)
Whether x is assigned to value v.
bool assigned(void) const
Test whether view is assigned.
ViewArray< BoolView > x
Views not yet subscribed to.
int size(void) const
Return size of array (number of elements)
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators
int pm2
Parity information mod 2.
static PropCost binary(PropCost::Mod m)
Two variables for modifier pcm.