40namespace Gecode {
namespace Set {
namespace RelOp {
Home class for posting propagators
Range iterator for the greatest lower bound.
A complement iterator spezialized for the BndSet limits.
Set view for set variables
SetOpType
Common operations for sets.
void post_compl(Home home, ConstSetView x, SetOpType op, SetView y, ConstSetView z)
void rel_eq(Home home, View0 x0, SetOpType op, View1 x1, Res x2)
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x
Post propagator for SetVar SetOpType op