Generated on Fri Oct 19 11:26:18 2018 for Gecode by doxygen 1.6.3

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.
LinIntExpra
 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

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

Expressions.

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

Size of variable array.

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

Integer argument (used in nroot for example).

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

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: