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 \(\left(|s|\geq 1 \land \forall i\in s:\ x \sim_{rt} i\right)\equiv r\).