Gecode::MiniModel::ArithNonLinExpr Class Reference

Non-linear arithmetic expressions. More...

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 Member Functions inherited from Gecode::NonLinExpr
virtual	~NonLinExpr (void)
	Destructor.
void *	operator new (size_t size)
	Memory management.
void	operator delete (void *p, size_t)
	Memory management.

Public Attributes
enum Gecode::MiniModel::ArithNonLinExpr::ArithNonLinExprType	t
LinExpr *	a
	Expressions.
int	n
	Size of variable array.

Additional Inherited Members
Static Public Member Functions inherited from Gecode::NonLinExpr
static IntVar	result (Home home, IntVar *x)
	Return fresh variable if x is NULL, x otherwise.
static IntVar	result (Home home, IntVar *x, IntVar y)
	Constrain x to be equal to y if x is not NULL.

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

inlinevirtual

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

inlinevirtual

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

inlinevirtual

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)