40 #ifndef __GECODE_SET_SELECT_HH__ 41 #define __GECODE_SET_SELECT_HH__ 50 namespace Gecode {
namespace Int {
65 namespace Gecode {
namespace Set {
namespace Element {
78 template<
class View,
class View0,
class View1>
98 virtual size_t dispose(
Space& home);
116 template<
class View,
class View0,
class View1>
134 virtual size_t dispose(
Space& home);
151 template<
class SView,
class RView>
168 virtual size_t dispose(
Space& home);
185 template<
class SView,
class RView>
202 virtual size_t dispose(
Space& home);
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
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::@519::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
int ModEventDelta
Modification event deltas.
Home class for posting propagators
Class to map VarArg type to view.
Gecode::Int::IdxViewArray< View > IdxViewArray