Generated on Fri Jul 13 2018 06:08:33 for Gecode by doxygen 1.8.14
int.hpp File Reference

(Revision: 15567)

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 

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...