Gecode::MiniModel::ArithNonLinExpr Class Reference

Non-linear arithmetic expressions. More...

List of all members.

Public Types
enum	ArithNonLinExprType {   ANLE_ABS, ANLE_MIN, ANLE_MAX, ANLE_MULT,   ANLE_DIV, ANLE_MOD, ANLE_SQR, ANLE_SQRT,   ANLE_ELMNT }
	The expression type. More...
Public Member Functions
	ArithNonLinExpr (ArithNonLinExprType t0, int n0)
	Constructor.
	~ArithNonLinExpr (void)
	Destructor.
virtual IntVar	post (Home home, IntVar *ret, IntConLevel icl) 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::ArithNonLinExpr::ArithNonLinExprType	t
LinExpr *	a
	Expressions.
int	n
	Size of variable array.

---

Detailed Description

Non-linear arithmetic expressions.

Definition at line 44 of file arithmetic.cpp.

---

Member Enumeration Documentation

enum Gecode::MiniModel::ArithNonLinExpr::ArithNonLinExprType

The expression type.

Enumerator:

ANLE_ABS	Absolute value expression.
ANLE_MIN	Minimum expression.
ANLE_MAX	Maximum expression.
ANLE_MULT	Multiplication expression.
ANLE_DIV	Division expression.
ANLE_MOD	Modulo expression.
ANLE_SQR	Square expression.
ANLE_SQRT	Square root expression.
ANLE_ELMNT	Element expression.

Definition at line 47 of file arithmetic.cpp.

---

Constructor & Destructor Documentation

Gecode::MiniModel::ArithNonLinExpr::ArithNonLinExpr	(	ArithNonLinExprType	t0,
		int	n0
	)		[inline]

Constructor.

Definition at line 63 of file arithmetic.cpp.

Gecode::MiniModel::ArithNonLinExpr::~ArithNonLinExpr

(

void

)

[inline]

Destructor.

Definition at line 66 of file arithmetic.cpp.

---

Member Function Documentation

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

Post expression.

Implements Gecode::NonLinExpr.

Definition at line 68 of file arithmetic.cpp.

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

Post expression to be in relation irt with c.

Implements Gecode::NonLinExpr.

Definition at line 224 of file arithmetic.cpp.

virtual void Gecode::MiniModel::ArithNonLinExpr::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::NonLinExpr.

Definition at line 236 of file arithmetic.cpp.

---

Member Data Documentation

enum Gecode::MiniModel::ArithNonLinExpr::ArithNonLinExprType Gecode::MiniModel::ArithNonLinExpr::t

LinExpr* Gecode::MiniModel::ArithNonLinExpr::a

Expressions.

Definition at line 59 of file arithmetic.cpp.

int Gecode::MiniModel::ArithNonLinExpr::n

Size of variable array.

Definition at line 61 of file arithmetic.cpp.

---

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

• gecode/minimodel/arithmetic.cpp (Revision: 11206)