Gecode::MiniModel::SetNonLinIntExpr Class Reference

Integer valued set expressions. More...

List of all members.

Public Types
enum	SetNonLinIntExprType { SNLE_CARD, SNLE_MIN, SNLE_MAX }
	The expression type. More...
Public Member Functions
	SetNonLinIntExpr (const SetExpr &e0, SetNonLinIntExprType t0)
	Constructor.
virtual IntVar	post (Home home, IntVar *ret, IntConLevel) const
	Post expression.
virtual void	post (Home home, IntRelType irt, int c, IntConLevel icl) const
	Post expression to be in relation irt with c.
virtual void	post (Home home, IntRelType irt, int c, BoolVar b, IntConLevel icl) const
	Post reified expression to be in relation irt with c.
Public Attributes
enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType	t
	The expression type.
SetExpr	e
	The expression.

---

Detailed Description

Integer valued set expressions.

Definition at line 728 of file set-expr.cpp.

---

Member Enumeration Documentation

enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType

The expression type.

Enumerator:

SNLE_CARD	Cardinality expression.
SNLE_MIN	Minimum element expression.
SNLE_MAX	Maximum element expression.

Definition at line 731 of file set-expr.cpp.

---

Constructor & Destructor Documentation

Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExpr	(	const SetExpr &	e0,
		SetNonLinIntExprType	t0
	)			[inline]

Constructor.

Definition at line 739 of file set-expr.cpp.

---

Member Function Documentation

virtual IntVar Gecode::MiniModel::SetNonLinIntExpr::post	(	Home	home,
		IntVar *	ret,
		IntConLevel
	)			const [inline, virtual]

Post expression.

Implements Gecode::NonLinIntExpr.

Definition at line 742 of file set-expr.cpp.

virtual void Gecode::MiniModel::SetNonLinIntExpr::post	(	Home	home,
		IntRelType	irt,
		int	c,
		IntConLevel	icl
	)			const [inline, virtual]

Post expression to be in relation irt with c.

Implements Gecode::NonLinIntExpr.

Definition at line 760 of file set-expr.cpp.

virtual void Gecode::MiniModel::SetNonLinIntExpr::post	(	Home	home,
		IntRelType	irt,
		int	c,
		BoolVar	b,
		IntConLevel	icl
	)			const [inline, virtual]

Post reified expression to be in relation irt with c.

Implements Gecode::NonLinIntExpr.

Definition at line 802 of file set-expr.cpp.

---

Member Data Documentation

enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType Gecode::MiniModel::SetNonLinIntExpr::t

The expression type.

SetExpr Gecode::MiniModel::SetNonLinIntExpr::e

The expression.

Definition at line 737 of file set-expr.cpp.

---

The documentation for this class was generated from the following file:

• gecode/minimodel/set-expr.cpp (Revision: 14471)