40 #ifndef __GECODE_SET_SELECT_HH__ 41 #define __GECODE_SET_SELECT_HH__ 50 namespace Gecode {
namespace Int {
68 namespace Gecode {
namespace Set {
namespace Element {
81 template<
class View,
class View0,
class View1>
104 virtual size_t dispose(
Space& home);
122 template<
class View,
class View0,
class View1>
143 virtual size_t dispose(
Space& home);
160 template<
class SView,
class RView>
180 virtual size_t dispose(
Space& home);
197 template<
class SView,
class RView>
217 virtual size_t dispose(
Space& home);
Gecode::Int::IdxViewArray< SView > IdxViewArray
Base-class for propagators.
Propagator for element with disjointness
Propagator for element with union of constant sets
Base-class for both propagators and branchers.
Gecode::Int::IdxViewArray< View > IdxViewArray
Gecode::SetVarArgs argtype
int p
Number of positive literals for node type.
union Gecode::@554::NNF::@60 u
Union depending on nodetype t.
Passing integer variables.
Propagator for element with intersection
Set view for set variables
Gecode::IntVarArgs argtype
Node * x
Pointer to corresponding Boolean expression node.
Propagator for element with union
An array of IdxView pairs.
Gecode toplevel namespace
void reschedule(Space &home, Propagator &p, IntSet &y)
int ModEventDelta
Modification event deltas.
Home class for posting propagators
Class to map VarArg type to view.
Gecode::Int::IdxViewArray< View > IdxViewArray
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.