Gecode::MiniModel::ArithNonLinIntExpr Class Reference

Non-linear arithmetic expressions over integer variables. More...

List of all members.

Public Types
enum	ArithNonLinIntExprType {   ANLE_ABS, ANLE_MIN, ANLE_MAX, ANLE_MULT,   ANLE_DIV, ANLE_MOD, ANLE_SQR, ANLE_SQRT,   ANLE_POW, ANLE_NROOT, ANLE_ELMNT, ANLE_ITE }
	The expression type. More...
Public Member Functions
	ArithNonLinIntExpr (ArithNonLinIntExprType t0, int n0)
	Constructor.
	ArithNonLinIntExpr (ArithNonLinIntExprType t0, int n0, int a0)
	Constructor.
	ArithNonLinIntExpr (ArithNonLinIntExprType t0, int n0, const BoolExpr &b0)
	Constructor.
	~ArithNonLinIntExpr (void)
	Destructor.
virtual IntVar	post (Home home, IntVar *ret, IntPropLevel ipl) const
	Post expression.
virtual void	post (Home home, IntRelType irt, int c, IntPropLevel ipl) const
	Post expression to be in relation irt with c.
virtual void	post (Home home, IntRelType irt, int c, BoolVar b, IntPropLevel ipl) const
	Post reified expression to be in relation irt with c.
Public Attributes
enum Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExprType	t
	The expression type.
LinIntExpr *	a
	Expressions.
int	n
	Size of variable array.
int	aInt
	Integer argument (used in nroot for example).
BoolExpr	b
	Boolean expression argument (used in ite for example).

---

Detailed Description

Non-linear arithmetic expressions over integer variables.

Definition at line 39 of file int-arith.cpp.

---

Member Enumeration Documentation

enum Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExprType

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_POW	Pow expression.
ANLE_NROOT	Nroot expression.
ANLE_ELMNT	Element expression.
ANLE_ITE	If-then-else expression.

Definition at line 42 of file int-arith.cpp.

---

Constructor & Destructor Documentation

Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExpr	(	ArithNonLinIntExprType	t0,
		int	n0
	)			[inline]

Constructor.

Definition at line 65 of file int-arith.cpp.

Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExpr	(	ArithNonLinIntExprType	t0,
		int	n0,
		int	a0
	)			[inline]

Constructor.

Definition at line 68 of file int-arith.cpp.

Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExpr	(	ArithNonLinIntExprType	t0,
		int	n0,
		const BoolExpr &	b0
	)			[inline]

Constructor.

Definition at line 71 of file int-arith.cpp.

Gecode::MiniModel::ArithNonLinIntExpr::~ArithNonLinIntExpr

(

void

)

[inline]

Destructor.

Definition at line 74 of file int-arith.cpp.

---

Member Function Documentation

virtual IntVar Gecode::MiniModel::ArithNonLinIntExpr::post	(	Home	home,
		IntVar *	ret,
		IntPropLevel	ipl
	)			const [inline, virtual]

Post expression.

Implements Gecode::NonLinIntExpr.

Definition at line 78 of file int-arith.cpp.

virtual void Gecode::MiniModel::ArithNonLinIntExpr::post	(	Home	home,
		IntRelType	irt,
		int	c,
		IntPropLevel	ipl
	)			const [inline, virtual]

Post expression to be in relation irt with c.

Implements Gecode::NonLinIntExpr.

Definition at line 270 of file int-arith.cpp.

virtual void Gecode::MiniModel::ArithNonLinIntExpr::post	(	Home	home,
		IntRelType	irt,
		int	c,
		BoolVar	b,
		IntPropLevel	ipl
	)			const [inline, virtual]

Post reified expression to be in relation irt with c.

Implements Gecode::NonLinIntExpr.

Definition at line 282 of file int-arith.cpp.

---

Member Data Documentation

enum Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExprType Gecode::MiniModel::ArithNonLinIntExpr::t

The expression type.

LinIntExpr* Gecode::MiniModel::ArithNonLinIntExpr::a

Expressions.

Definition at line 57 of file int-arith.cpp.

int Gecode::MiniModel::ArithNonLinIntExpr::n

Size of variable array.

Definition at line 59 of file int-arith.cpp.

int Gecode::MiniModel::ArithNonLinIntExpr::aInt

Integer argument (used in nroot for example).

Definition at line 61 of file int-arith.cpp.

BoolExpr Gecode::MiniModel::ArithNonLinIntExpr::b

Boolean expression argument (used in ite for example).

Definition at line 63 of file int-arith.cpp.

---

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

• gecode/minimodel/int-arith.cpp