36#ifndef __GECODE_SET_SELECT_HH__
37#define __GECODE_SET_SELECT_HH__
77 template<
class View,
class View0,
class View1>
118 template<
class View,
class View0,
class View1>
156 template<
class SView,
class RView>
193 template<
class SView,
class RView>
Home class for posting propagators
Passing integer variables.
An array of IdxView pairs.
Gecode::SetVarArgs argtype
Gecode::IntVarArgs argtype
Class to map VarArg type to view.
ModEventDelta med
A set of modification events (used during propagation)
Propagator(Home home)
Constructor for posting.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
Gecode::Int::IdxViewArray< SView > IdxViewArray
ElementDisjoint(Space &home, ElementDisjoint &p)
Constructor for cloning p.
static ExecStatus post(Home home, IdxViewArray &x, RView y)
Post propagator for .
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual void reschedule(Space &home)
Schedule function.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
ElementIntersection(Space &home, ElementIntersection &p)
Constructor for cloning p.
Gecode::Int::IdxViewArray< View > IdxViewArray
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual void reschedule(Space &home)
Schedule function.
static ExecStatus post(Home home, IdxViewArray &x, View0 y, View1 z, const IntSet &u)
ElementUnionConst(Space &home, ElementUnionConst &p)
Constructor for cloning p.
static ExecStatus post(Home home, SView z, const IntSetArgs &x, RView y)
virtual void reschedule(Space &home)
Schedule function.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
virtual void reschedule(Space &home)
Schedule function.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
static ExecStatus post(Home home, IdxViewArray &x, View0 y, View1 z)
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
ElementUnion(Space &home, ElementUnion &p)
Constructor for cloning p.
Gecode::Int::IdxViewArray< View > IdxViewArray
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Set view for set variables
int ModEventDelta
Modification event deltas.
Gecode toplevel namespace
ArgArray< IntSet > IntSetArgs
Passing set arguments.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x