int.hpp File Reference

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.

Namespaces