36namespace Gecode {
namespace Int {
namespace Channel {
39 LinkSingle::LinkSingle(Space& home, LinkSingle&
p)
50 return PropCost::unary(PropCost::LO);
57 }
else if (x0.one()) {
60 assert(x0.none() && x1.assigned());
64 assert(x1.val() == 1);
int p
Number of positive literals for node type.
Link propagator for a single Boolean view.
ExecStatus ES_SUBSUMED(Propagator &p)
int ModEventDelta
Modification event deltas.
#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