34namespace Gecode {
namespace Int {
namespace Channel {
37 LinkSingle::LinkSingle(Home home, BoolView x0, IntView x1)
52 }
else if (x0.
zero()) {
54 }
else if (x0.
one()) {
Home class for posting propagators
Boolean view for Boolean variables.
bool zero(void) const
Test whether view is assigned to be zero.
bool one(void) const
Test whether view is assigned to be one.
Link propagator for a single Boolean view.
Integer view for integer variables.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
int val(void) const
Return assigned value (only if assigned)
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
bool assigned(void) const
Test whether view is assigned.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
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)
Gecode toplevel namespace
@ ES_OK
Execution is okay.
@ ES_FAILED
Execution has resulted in failure.