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, const IntPropLevels &) const
	Post expression.
virtual void	post (Home home, IntRelType irt, int c, const IntPropLevels &ipls) const
	Post expression to be in relation irt with c.
virtual void	post (Home home, IntRelType irt, int c, BoolVar b, const IntPropLevels &ipls) 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 725 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 728 of file set-expr.cpp.

---

Constructor & Destructor Documentation

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

Constructor.

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

---

Member Function Documentation

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

Post expression.

Implements Gecode::NonLinIntExpr.

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

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

Post expression to be in relation irt with c.

Implements Gecode::NonLinIntExpr.

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

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

Post reified expression to be in relation irt with c.

Implements Gecode::NonLinIntExpr.

Definition at line 800 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 734 of file set-expr.cpp.

---

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

• gecode/minimodel/set-expr.cpp