Posting of expressions and relations
[Direct modeling support]

Functions
IntVar	Gecode::expr (Home home, const LinIntExpr &e, const IntPropLevels &ipls=IntPropLevels::def)
	Post linear expression and return its value.
FloatVar	Gecode::expr (Home home, const LinFloatExpr &e)
	Post float 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, const IntPropLevels &ipls=IntPropLevels::def)
	Post Boolean expression and return its value.
void	Gecode::rel (Home home, const BoolExpr &e, const IntPropLevels &ipls=IntPropLevels::def)
	Post Boolean relation.

---

Function Documentation

IntVar Gecode::expr	(	Home	home,
		const LinIntExpr &	e,
		const IntPropLevels &	ipls
	)

Post linear expression and return its value.

FloatVar Gecode::expr	(	Home	home,
		const LinFloatExpr &	e
	)

Post float 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,
		const IntPropLevels &	ipls
	)

Post Boolean expression and return its value.

void Gecode::rel	(	Home	home,
		const BoolExpr &	e,
		const IntPropLevels &	ipls
	)

Post Boolean relation.