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.
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.