Posting of expressions and relations
[Direct modeling support]

Functions
template<class Var >
IntVar	Gecode::post (Home home, const LinExpr< Var > &e, IntConLevel icl=ICL_DEF)
	Post linear expression and return its value.
IntVar	Gecode::post (Home home, const IntVar &x, IntConLevel icl=ICL_DEF)
	Post linear expression (special case for integer variable) and return its value.
IntVar	Gecode::post (Home home, int n, IntConLevel icl=ICL_DEF)
	Post linear expression (special case for constant) and return its value.
template<class Var >
void	Gecode::post (Home home, const LinRel< Var > &r, IntConLevel icl=ICL_DEF)
	Post linear relation.
void	Gecode::post (Home home, bool r, IntConLevel icl=ICL_DEF)
	Make it work for special integer only-case.
BoolVar	Gecode::post (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF)
	Post Boolean expression and return its value.
BoolVar	Gecode::post (Home home, const BoolVar &b, IntConLevel icl=ICL_DEF)
	Post Boolean expression (special case for variable) and return its value.
void	Gecode::post (Home home, const BoolRel &r, IntConLevel icl=ICL_DEF)
	Post Boolean relation.

---

Function Documentation

template<class Var >

IntVar Gecode::post	(	Home	home,
		const LinExpr< Var > &	e,
		IntConLevel	icl
	)			[inline]

Post linear expression and return its value.

IntVar Gecode::post	(	Home	,
		const IntVar &	x,
		IntConLevel
	)			[inline]

Post linear expression (special case for integer variable) and return its value.

IntVar Gecode::post	(	Home	home,
		int	n,
		IntConLevel
	)			[inline]

Post linear expression (special case for constant) and return its value.

template<class Var >

void Gecode::post	(	Home	home,
		const LinRel< Var > &	r,
		IntConLevel	icl
	)			[inline]

Post linear relation.

void Gecode::post	(	Home	home,
		bool	r,
		IntConLevel
	)			[inline]

Make it work for special integer only-case.

BoolVar Gecode::post	(	Home	home,
		const BoolExpr &	e,
		IntConLevel	icl
	)			[inline]

Post Boolean expression and return its value.

BoolVar Gecode::post	(	Home	,
		const BoolVar &	b,
		IntConLevel
	)			[inline]

Post Boolean expression (special case for variable) and return its value.

void Gecode::post	(	Home	home,
		const BoolRel &	r,
		IntConLevel	icl
	)			[inline]

Post Boolean relation.