38#ifndef __GECODE_INT_PRECEDE_HH__
39#define __GECODE_INT_PRECEDE_HH__
Advisor(Space &home, Propagator &p, Council< A > &c)
Constructor for creation.
Generic domain change information to be supplied to advisors.
Home class for posting propagators
Index(Space &home, Propagator &p, Council< Index > &c, int i)
Create index advisor.
int i
The position of the view in the view array.
virtual ExecStatus advise(Space &home, Advisor &a, const Delta &d)
Give advice to propagator.
int s
The value s must precede t.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Single(Space &home, Single< View > &p)
Constructor for cloning p.
ExecStatus updateAlpha(Space &home)
Update the alpha pointer.
virtual Propagator * copy(Space &home)
Copy propagator during cloning.
Council< Index > c
The advisor council.
virtual void reschedule(Space &home)
Schedule function.
Single(Home home, ViewArray< View > &x, int s, int t, int beta, int gamma)
Constructor for posting.
int alpha
Pointers updated during propagation.
ExecStatus updateBeta(Space &home)
Update the beta pointer.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual PropCost cost(const Space &, const ModEventDelta &) const
Cost function.
static ExecStatus post(Home home, ViewArray< View > &x, int s, int t)
Post propagator that s precedes t in x.
NaryPropagator(Space &home, NaryPropagator &p)
ModEventDelta med
A set of modification events (used during propagation)
Propagator(Home home)
Constructor for posting.
int ModEventDelta
Modification event deltas.
Value precedence propagators.
const Gecode::PropCond PC_INT_NONE
Propagation condition to be ignored (convenience)
Gecode toplevel namespace