44 namespace Gecode {
namespace Set {
namespace RelOp {
52 rel_eq<SetView,SetView,ConstSetView>(home,
x, op, y, cz);
Range iterator for greatest lower bound of constant set view
SetOpType
Common operations for sets.
A complement iterator spezialized for the BndSet limits.
Set view for set variables
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace
void post_compl(Home home, ConstSetView x, SetOpType op, SetView y, ConstSetView z)
Home class for posting propagators