Generated on Wed Sep 5 2012 18:52:44 for Gecode by doxygen 1.8.1.1
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 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
LinExpra
 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

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: