Generated on Sat Apr 10 2021 00:00:00 for Gecode by doxygen 1.9.1
bool.cpp File Reference
#include <gecode/set.hh>

Go to the source code of this file.

Functions

void Gecode::ite (Home home, BoolVar b, SetVar x, SetVar y, SetVar z)
 Post propagator for if-then-else constraint. More...
 

Function Documentation

◆ 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 39 of file bool.cpp.