34#ifndef __GECODE_INT_ORDER_HH__
35#define __GECODE_INT_ORDER_HH__
45namespace Gecode {
namespace Int {
namespace Order {
int p
Number of positive literals for node type.
Base-class for both propagators and branchers.
Home class for posting propagators
Boolean view for Boolean variables.
Integer view for integer variables.
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.
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.
Base-class for propagators.
ModEventDelta med
A set of modification events (used during propagation)
#define GECODE_INT_EXPORT
int ModEventDelta
Modification event deltas.
Gecode toplevel namespace