Generated on Wed Jul 21 2021 00:00:00 for Gecode by doxygen 1.9.1
int.hpp File Reference

Go to the source code of this file.

Functions

void Gecode::rel (Home home, IntVar x, IntRelType rt, SetVar s)
 Post propagator for $|s|\geq 1 \land \forall i\in s:\ x \sim_{rt} i$. More...
 
void Gecode::rel (Home home, IntVar x, IntRelType rt, SetVar s, Reify r)
 Post reified propagator for. More...
 

Function Documentation

◆ rel() [1/2]

void Gecode::rel ( Home  home,
IntVar  x,
IntRelType  rt,
SetVar  s 
)
inline

Post propagator for $|s|\geq 1 \land \forall i\in s:\ x \sim_{rt} i$.

Definition at line 37 of file int.hpp.

◆ rel() [2/2]

void Gecode::rel ( Home  home,
IntVar  x,
IntRelType  rt,
SetVar  s,
Reify  r 
)
inline

Post reified propagator for.

Definition at line 42 of file int.hpp.