Generated on Thu Apr 11 13:59:28 2019 for Gecode by doxygen 1.6.3

int.hpp File Reference

Go to the source code of this file.

Namespaces

namespace  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$.
void Gecode::rel (Home home, IntVar x, IntRelType rt, SetVar s, Reify r)
 Post reified propagator for.