38 namespace Gecode {
namespace Int {
namespace Channel {
41 LinkSingle::LinkSingle(Home home, BoolView x0, IntView x1)
56 }
else if (x0.
zero()) {
58 }
else if (x0.
one()) {
int val(void) const
Return assigned value (only if assigned)
static ExecStatus post(Home home, BoolView x0, IntView x1)
Post propagator for .
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
Execution has resulted in failure.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
bool one(void) const
Test whether view is assigned to be one.
Integer view for integer variables.
Link propagator for a single Boolean view.
bool assigned(void) const
Test whether view is assigned.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
Gecode toplevel namespace
bool zero(void) const
Test whether view is assigned to be zero.
Home class for posting propagators
const Gecode::PropCond PC_INT_VAL
Propagate when a view becomes assigned (single value)
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
Boolean view for Boolean variables.