40 namespace Gecode {
namespace Int {
namespace Channel {
43 LinkSingle::LinkSingle(Space& home, LinkSingle&
p)
61 }
else if (x0.one()) {
64 assert(x0.none() && x1.assigned());
68 assert(x1.val() == 1);
ExecStatus ES_SUBSUMED(Propagator &p)
static PropCost unary(PropCost::Mod m)
Single variable for modifier pcm.
int p
Number of positive literals for node type.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Link propagator for a single Boolean view.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low unary)
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
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)