40 namespace Gecode {
namespace Set {
namespace RelOp {
45 rel_op_post_nocompl<ConstSetView,SetView,SetView>(home,
x,
op,
y,
r,
z);
Post propagator for SetVar SetOpType op
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.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar SetRelType r
Set view for set variables
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x
Gecode toplevel namespace
Home class for posting propagators