34#ifndef __GECODE_INT_ORDER_HH__
35#define __GECODE_INT_ORDER_HH__
Home class for posting propagators
Boolean view for Boolean variables.
Integer view for integer variables.
static ExecStatus post(Home home, IntView s0, int p0, IntView s1, int p1, BoolView b)
Post order propagator.
BoolView b
Boolean view for order.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low binary)
virtual Actor * copy(Space &home)
Copy propagator during cloning.
OrderProp(Space &home, OrderProp &p)
Constructor for cloning.
IntView s0
View for start times.
virtual void reschedule(Space &home)
Schedule function.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
ModEventDelta med
A set of modification events (used during propagation)
Propagator(Home home)
Constructor for posting.
#define GECODE_INT_EXPORT
int ModEventDelta
Modification event deltas.
Int for ordering two tasks
Gecode toplevel namespace