Generated on Sat Feb 7 2015 02:01:50 for Gecode by doxygen 1.8.9.1
Gecode::MiniModel::ArithNonLinIntExpr Class Reference

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

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. More...
 
 ArithNonLinIntExpr (ArithNonLinIntExprType t0, int n0, int a0)
 Constructor. More...
 
 ArithNonLinIntExpr (ArithNonLinIntExprType t0, int n0, const BoolExpr &b0)
 Constructor. More...
 
 ~ArithNonLinIntExpr (void)
 Destructor. More...
 
virtual IntVar post (Home home, IntVar *ret, IntConLevel icl) const
 Post expression. More...
 
virtual void post (Home home, IntRelType irt, int c, IntConLevel icl) const
 Post expression to be in relation irt with c. More...
 
virtual void post (Home home, IntRelType irt, int c, BoolVar b, IntConLevel icl) const
 Post reified expression to be in relation irt with c. More...
 
- Public Member Functions inherited from Gecode::NonLinIntExpr
virtual ~NonLinIntExpr (void)
 Destructor. More...
 
void * operator new (size_t size)
 Memory management. More...
 
void operator delete (void *p, size_t)
 Memory management. More...
 

Public Attributes

enum Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExprType t
 
LinIntExpra
 Expressions. More...
 
int n
 Size of variable array. More...
 
int aInt
 Integer argument (used in nroot for example) More...
 
BoolExpr b
 Boolean expression argument (used in ite for example) More...
 

Additional Inherited Members

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

Detailed Description

Non-linear arithmetic expressions over integer variables.

Definition at line 43 of file int-arith.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_POW 

Pow expression.

ANLE_NROOT 

Nroot expression.

ANLE_ELMNT 

Element expression.

ANLE_ITE 

If-then-else expression.

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

Constructor & Destructor Documentation

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

Constructor.

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

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

Constructor.

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

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

Constructor.

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

Gecode::MiniModel::ArithNonLinIntExpr::~ArithNonLinIntExpr ( void  )
inline

Destructor.

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

Member Function Documentation

virtual IntVar Gecode::MiniModel::ArithNonLinIntExpr::post ( Home  home,
IntVar ret,
IntConLevel  icl 
) const
inlinevirtual

Post expression.

Implements Gecode::NonLinIntExpr.

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

virtual void Gecode::MiniModel::ArithNonLinIntExpr::post ( Home  home,
IntRelType  irt,
int  c,
IntConLevel  icl 
) const
inlinevirtual

Post expression to be in relation irt with c.

Implements Gecode::NonLinIntExpr.

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

virtual void Gecode::MiniModel::ArithNonLinIntExpr::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::NonLinIntExpr.

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

Member Data Documentation

enum Gecode::MiniModel::ArithNonLinIntExpr::ArithNonLinIntExprType Gecode::MiniModel::ArithNonLinIntExpr::t
LinIntExpr* Gecode::MiniModel::ArithNonLinIntExpr::a

Expressions.

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

int Gecode::MiniModel::ArithNonLinIntExpr::n

Size of variable array.

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

int Gecode::MiniModel::ArithNonLinIntExpr::aInt

Integer argument (used in nroot for example)

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

BoolExpr Gecode::MiniModel::ArithNonLinIntExpr::b

Boolean expression argument (used in ite for example)

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


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