44 namespace Gecode {
namespace Set {
namespace RelOp {
49 rel_op_post_nocompl<SetView,SetView,ConstSetView>(home,
x, op, y,
r, z);
SetRelType
Common relation types for sets.
void post_nocompl(Home home, ConstSetView x, SetOpType op, SetView y, SetRelType r, ConstSetView z)
SetOpType
Common operations for sets.
Set view for set variables
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace
Home class for posting propagators