Posting of expressions and relations
[Direct modeling support]

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

---

Function Documentation

template<class Var >

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

Post linear expression and return its value.

Definition at line 447 of file lin-expr.hpp.

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

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

Definition at line 435 of file lin-expr.hpp.

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

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

Definition at line 440 of file lin-expr.hpp.

template<class Var >

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

Post linear relation.

Definition at line 511 of file lin-rel.hpp.

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

Make it work for special integer only-case.

Definition at line 516 of file lin-rel.hpp.

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

Post Boolean expression and return its value.

Definition at line 103 of file bool-expr.hpp.

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

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

Definition at line 108 of file bool-expr.hpp.

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

Post Boolean relation.

Definition at line 71 of file bool-rel.hpp.