35#ifndef __GECODE_INT_SORTED_HH__
36#define __GECODE_INT_SORTED_HH__
58 template<
class View,
bool Perm>
Home class for posting propagators
Bounds consistent sortedness propagator.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
ViewArray< View > w
Original y array.
int reachable
connection to dropped view
virtual void reschedule(Space &home)
Schedule function.
static ExecStatus post(Home home, ViewArray< View > &x, ViewArray< View > &y, ViewArray< View > &z)
Post propagator for views x, y, and z.
ViewArray< View > x
Views to be sorted.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function returning low linear.
ViewArray< View > y
Views denoting the sorted version of x.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
ViewArray< View > z
Permutation variables (none, if Perm is false)
Sorted(Home home, ViewArray< View > &x, ViewArray< View > &y, ViewArray< View > &z)
Constructor for posting.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
ModEventDelta med
A set of modification events (used during propagation)
Propagator(Home home)
Constructor for posting.
int ModEventDelta
Modification event deltas.
Gecode toplevel namespace