40 namespace Gecode {
namespace Set {
namespace RelOp {
45 rel_eq<SetView,SetView,ComplementView<SetView> >(home,
x,
op,
y, cz);
Node * x
Pointer to corresponding Boolean expression node.
Home class for posting propagators
Set view for set variables
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar SetOpType op
SetOpType
Common operations for sets.
void post_compl(Home home, ConstSetView x, SetOpType op, SetView y, ConstSetView z)