Posting of expressions and relations
[Direct modeling support]

Functions
IntVar	Gecode::expr (Home home, const LinExpr &e, IntConLevel icl=ICL_DEF)
	Post linear expression and return its value.
SetVar	Gecode::expr (Home home, const SetExpr &e)
	Post set expression and return its value.
BoolVar	Gecode::expr (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF)
	Post Boolean expression and return its value.
void	Gecode::rel (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF)
	Post Boolean relation.

---

Function Documentation

IntVar Gecode::expr	(	Home	home,
		const LinExpr &	e,
		IntConLevel	icl
	)

Post linear expression and return its value.

SetVar Gecode::expr	(	Home	home,
		const SetExpr &	e
	)

Post set expression and return its value.

BoolVar Gecode::expr	(	Home	home,
		const BoolExpr &	e,
		IntConLevel	icl
	)

Post Boolean expression and return its value.

void Gecode::rel	(	Home	home,
		const BoolExpr &	e,
		IntConLevel	icl
	)

Post Boolean relation.