44 namespace Gecode {
namespace Set {
namespace RelOp {
49 rel_eq<ConstSetView,SetView,ComplementView<SetView> >(home,
x, op, y, cz);
SetOpType
Common operations for sets.
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