40 namespace Gecode {
namespace Set {
namespace RelOp {
49 rel_eq<ConstSetView,SetView,ConstSetView>(home,
x,
op,
y, cz);
Post propagator for SetVar SetOpType op
Range iterator for greatest lower bound of constant set view
SetOpType
Common operations for sets.
A complement iterator spezialized for the BndSet limits.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Set view for set variables
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x
Gecode toplevel namespace
void post_compl(Home home, ConstSetView x, SetOpType op, SetView y, ConstSetView z)
Home class for posting propagators