Generated on Thu Jul 25 2019 00:00:00 for Gecode by doxygen 1.8.15

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 $ z = b ? x : y $

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)
Post propagator for SetVar SetOpType op
Definition: set.hh:784
SetOpType
Common operations for sets.
Definition: set.hh:662
Post propagator for f(x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home
Post propagator for SetVar SetOpType SetVar y
Definition: set.hh:784
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Definition: rel.cpp:47
Post propagator for SetVar x
Definition: set.hh:784

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.