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)
bool zero(void) const
Test whether view is assigned to be zero.
static ExecStatus post(Home home, BoolView x0, IntView x1)
Post propagator for .
BoolView x0
View of type View0.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
bool one(void) const
Test whether view is assigned to be one.
IntView x1
View of type View1.
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.
Integer view for integer variables.
bool assigned(void) const
Test whether view is assigned.
Link propagator for a single Boolean view.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
Gecode toplevel namespace
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.