36namespace Gecode {
namespace Int {
namespace Order {
41 :
Propagator(home), s0(_s0), s1(_s1),
b(_b), p0(_p0), p1(_p1) {
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int p
Number of positive literals for node type.
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.
Integer view for integer variables.
int min(void) const
Return minimum of domain.
int max(void) const
Return maximum of domain.
Scheduling propagator for ordering two tasks
static ExecStatus post(Home home, IntView s0, int p0, IntView s1, int p1, BoolView b)
Post order propagator.
BoolView b
Boolean view for order.
OrderProp(Space &home, OrderProp &p)
Constructor for cloning.
IntView s0
View for start times.
static ExecStatus post(Home home, V0 x0, V1 x1)
Post propagator .
Base-class for propagators.
void update(Space &home, VarImpView< Var > &y)
Update this view to be a clone of view y.
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to view.
#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_INT_BND
Propagate when minimum or maximum of a view changes.
Gecode toplevel namespace
@ ES_OK
Execution is okay.