main page modules namespaces classes files
Gecode home

Posting of expressions and relations
[Direct modelling]

Collaboration diagram for Posting of expressions and relations:

Functions
IntVar	Gecode::post (Space *home, const MiniModel::LinExpr &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 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.
void	Gecode::post (Space *home, const MiniModel::LinRel &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 MiniModel::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 MiniModel::BoolRel &r, IntConLevel icl=ICL_DEF)
	Post Boolean relation.

---

Function Documentation

IntVar Gecode::post	(	Space *	home,
		const MiniModel::LinExpr &	e,
		IntConLevel	icl = ICL_DEF
	)			[inline]

Post linear expression and return its value.

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

IntVar Gecode::post	(	Space *	home,
		const IntVar &	x,
		IntConLevel	icl = ICL_DEF
	)			[inline]

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

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

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

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

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

void Gecode::post	(	Space *	home,
		const MiniModel::LinRel &	r,
		IntConLevel	icl = ICL_DEF
	)			[inline]

Post linear relation.

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

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

Make it work for special integer only-case.

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

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

Post Boolean expression and return its value.

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

BoolVar Gecode::post	(	Space *	home,
		const BoolVar &	b,
		IntConLevel	icl = ICL_DEF
	)			[inline]

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

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

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

Post Boolean relation.

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