41namespace Gecode {
namespace Set {
namespace RelOp {
43 template<
class View0,
class View1,
class Res>
51 ::post(home, x0, x1, emptyset)));
58 ::post(home, x0, x1, x2)));
79 template<
class View0,
class View1,
class View2>
87 ::post(home, x0, x1, emptyset)));
98 ::post(home, x0, x1, tmp)));
120 template<
class View0,
class View1,
class View2>
128 ::post(home, x0, x1, emptyset)));
135 ::post(home, x0, x1, x2)));
145 ::post(home, x0,x1,tmp)));
158 ::post(home,x0,cx1,tmp)));
186 template<
class View0,
class View1,
class View2>
190 if (home.
failed())
return;
222 ::post(home,
z, tmp, emptyset)));
Home class for posting propagators
bool failed(void) const
Check whether corresponding space is failed.
static const IntSet empty
Empty set.
Exception: Unknown relation passed as argument
Constant view for the empty set.
Propagator for ternary intersection
Propagator for the subset of union
Propagator for the superset of intersection
Propagator for ternary union
Propagator for negated equality
Propagator for set less than or equal
Propagator for the subset constraint
Set view for set variables
#define GECODE_SET_EXPORT
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
SetOpType
Common operations for sets.
SetRelType
Common relation types for sets.
@ SOT_DUNION
Disjoint union.
@ SRT_GQ
Greater or equal ( )
@ SRT_LQ
Less or equal ( )
const int min
Smallest allowed integer in integer set.
const int max
Largest allowed integer in integer set.
void post_compl(Home home, ConstSetView x, SetOpType op, SetView y, ConstSetView z)
void post_nocompl(Home home, ConstSetView x, SetOpType op, SetView y, SetRelType r, ConstSetView z)
void rel_op_post_nocompl(Home home, View0 x, SetOpType op, View1 y, SetRelType r, View2 z)
void rel_eq(Home home, View0 x0, SetOpType op, View1 x1, Res x2)
void rel_sup(Home home, View0 x0, SetOpType op, View1 x1, View2 x2)
void rel_op_post_lex(Home home, SetView x0, SetRelType r, View x1)
void rel_sub(Home home, View0 x0, SetOpType op, View1 x1, View2 x2)
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar y
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Post propagator for SetVar x
Post propagator for SetVar SetOpType op
#define GECODE_NEVER
Assert that this command is never executed.