36 namespace Gecode {
namespace Int {
namespace Bool {
50 return new (home)
NaryEqv(home,*
this);
76 (void)
new (home)
NaryEqv(home,x,pm2);
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low binary)
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 .
Execution has resulted in failure.
void resubscribe(Space &home, BoolView &x0)
Update subscription.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
bool assigned(void) const
Test whether view is assigned.
bool assigned(View x, int v)
Whether x is assigned to value v.
ViewArray< BoolView > x
Views not yet subscribed to.
Gecode toplevel namespace
int size(void) const
Return size of array (number of elements)
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.