36namespace Gecode {
namespace Int {
namespace Bool {
50 return new (home)
NaryEqv(home,*
this);
57 if (
x[i].assigned()) {
int n
Number of negative literals for node type.
Base-class for both propagators and branchers.
Home class for posting propagators
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
static ExecStatus post(Home home, BVA x0, BVB x1)
Post propagator .
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
void resubscribe(Space &home, BoolView &x0)
Update subscription.
NaryEqv(Home home, ViewArray< BoolView > &x, int pm2)
Constructor for posting.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low binary)
virtual Actor * copy(Space &home)
Copy propagator during cloning.
int pm2
Parity information mod 2.
ViewArray< BoolView > x
Views not yet subscribed to.
static ExecStatus post(Home home, ViewArray< BoolView > &x, int pm2)
Post propagator .
static PropCost binary(PropCost::Mod m)
Two variables for modifier pcm.
bool assigned(void) const
Test whether view is assigned.
int size(void) const
Return size of array (number of elements)
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
@ ES_OK
Execution is okay.
@ ES_FIX
Propagation has computed fixpoint.
@ ES_FAILED
Execution has resulted in failure.
Post propagator for SetVar x