40 #ifndef __GECODE_SET_SELECT_HH__
41 #define __GECODE_SET_SELECT_HH__
49 namespace Gecode {
namespace Int {
namespace Element {
64 namespace Gecode {
namespace Set {
namespace Element {
77 template<
class View,
class View0,
class View1>
106 View1 z,
const IntSet& u);
115 template<
class View,
class View0,
class View1>
150 template<
class SView,
class RView>
184 template<
class SView,
class RView>
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
static ExecStatus post(Home home, IdxViewArray &x, View0 y, View1 z, const IntSet &u)
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
static ExecStatus post(Home home, SView z, const IntSetArgs &x, RView y)
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
Base-class for propagators.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Propagator for element with disjointness
Propagator for element with union of constant sets
Base-class for both propagators and branchers.
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
int p
Number of positive literals for node type.
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
ElementUnionConst(Space &home, bool share, ElementUnionConst &p)
Constructor for cloning p.
ModEventDelta med
A set of modification events (used during propagation)
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus post(Home home, IdxViewArray &x, View0 y, View1 z)
Gecode::Int::Element::IdxViewArray< SView > IdxViewArray
ElementIntersection(Space &home, bool share, ElementIntersection &p)
Constructor for cloning p.
Passing integer variables.
static ExecStatus post(Home home, IdxViewArray &x, RView y)
Post propagator for .
Propagator for element with intersection
Set view for set variables
Gecode::IntVarArgs argtype
Node * x
Pointer to corresponding Boolean expression node.
Gecode::SetVarArgs argtype
Propagator for element with union
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
An array of IndexView pairs.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
ElementUnion(Space &home, bool share, ElementUnion &p)
Constructor for cloning p.
Class to get VarArg type for view.
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
virtual Actor * copy(Space &home, bool)
Copy propagator during cloning.
Home class for posting propagators
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
Gecode::Int::Element::IdxViewArray< View > IdxViewArray
ElementDisjoint(Space &home, bool share, ElementDisjoint &p)
Constructor for cloning p.
Gecode::Int::Element::IdxViewArray< View > IdxViewArray