Set operation/relation constraints

Functions
Post propagator for	Gecode::f (x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home
void	Gecode::ite (Home home, BoolVar b, SetVar x, SetVar y, SetVar z)
	Post propagator for if-then-else constraint. More...

Variables
Post propagator for SetVar	Gecode::x
Post propagator for SetVar SetOpType	Gecode::op
Post propagator for SetVar SetOpType SetVar	Gecode::y
Post propagator for SetVar SetOpType SetVar SetRelType	Gecode::r
Post propagator for SetVar SetOpType SetVar SetRelType SetVar	Gecode::z

Detailed Description

Function Documentation

f()

Post propagator for Gecode::f

(

x \diamond_{\mathit{op}}

y

)

ite()

void Gecode::ite	(	Home	home,
		BoolVar	b,
		SetVar	x,
		SetVar	y,
		SetVar	z
	)

Post propagator for if-then-else constraint.

Posts propagator for

Definition at line 43 of file bool.cpp.

Variable Documentation

x

Post propagator for SetVar Gecode::x

Definition at line 784 of file set.hh.

op

Post propagator for SetVar SetOpType Gecode::op

Definition at line 784 of file set.hh.

y

Post propagator for SetVar SetOpType const IntSet & Gecode::y

Initial value:

= \diamond_{\mathit{op}} x\f$
   void
  rel(Home home, SetOpType op, const SetVarArgs& x, SetVar y)

Definition at line 784 of file set.hh.

r

Post propagator for SetVar SetOpType const IntSet SetRelType Gecode::r

Definition at line 784 of file set.hh.

z

Post propagator for SetVar SetOpType const IntSet SetRelType const IntSet & Gecode::z

Definition at line 784 of file set.hh.