Posting of expressions and relations
[Direct modelling]

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

---

Function Documentation

template<class Var>

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

Post linear expression and return its value.

Definition at line 364 of file lin-expr.icc.

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

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

Definition at line 352 of file lin-expr.icc.

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

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

Definition at line 357 of file lin-expr.icc.

template<class Var>

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

Post linear relation.

Definition at line 310 of file lin-rel.icc.

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

Make it work for special integer only-case.

Definition at line 316 of file lin-rel.icc.

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

Post Boolean expression and return its value.

Definition at line 118 of file bool-expr.icc.

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

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

Definition at line 124 of file bool-expr.icc.

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

Post Boolean relation.

Definition at line 75 of file bool-rel.icc.