Generated on Mon May 10 06:46:55 2010 for Gecode by doxygen 1.6.3

Gecode::LinExpr Class Reference

Linear expressions. More...

#include <minimodel.hh>

List of all members.

Public Types

enum  NodeType {
  NT_VAR_INT, NT_VAR_BOOL, NT_SUM_INT, NT_SUM_BOOL,
  NT_ADD, NT_SUB, NT_MUL
}
 

Type of linear expression.

More...

Public Member Functions

 LinExpr (const IntVar &x, int a=1)
 Create expression.
 LinExpr (const BoolVar &x, int a=1)
 Create expression.
 LinExpr (const IntVarArgs &x)
 Create sum expression.
 LinExpr (const IntArgs &a, const IntVarArgs &x)
 Create sum expression.
 LinExpr (const BoolVarArgs &x)
 Create sum expression.
 LinExpr (const IntArgs &a, const BoolVarArgs &x)
 Create sum expression.
 LinExpr (const LinExpr &e)
 Copy constructor.
 LinExpr (const LinExpr &e0, NodeType t, const LinExpr &e1)
 Create expression for type and subexpressions.
 LinExpr (const LinExpr &e0, NodeType t, int c)
 Create expression for type and subexpression.
 LinExpr (int a, const LinExpr &e)
 Create expression for multiplication.
const LinExproperator= (const LinExpr &e)
 Assignment operator.
void post (Home home, IntRelType irt, IntConLevel icl) const
 Post propagator.
void post (Home home, IntRelType irt, const BoolVar &b, IntConLevel icl) const
 Post reified propagator.
IntVar post (Home home, IntConLevel icl) const
 Post propagator and return variable for value.
 ~LinExpr (void)
 Destructor.

Detailed Description

Linear expressions.

Definition at line 97 of file minimodel.hh.


Member Enumeration Documentation

Type of linear expression.

Enumerator:
NT_VAR_INT 

Linear term with integer variable.

NT_VAR_BOOL 

Linear term with Boolean variable.

NT_SUM_INT 

Sum of integer variables.

NT_SUM_BOOL 

Sum of Boolean variables.

NT_ADD 

Addition of linear terms.

NT_SUB 

Subtraction of linear terms.

NT_MUL 

Multiplication by coefficient.

Definition at line 101 of file minimodel.hh.


Constructor & Destructor Documentation

Gecode::LinExpr::LinExpr ( const IntVar x,
int  a = 1 
) [inline]

Create expression.

Definition at line 98 of file lin-expr.hpp.

Gecode::LinExpr::LinExpr ( const BoolVar x,
int  a = 1 
) [inline]

Create expression.

Definition at line 109 of file lin-expr.hpp.

Gecode::LinExpr::LinExpr ( const IntVarArgs x  )  [inline]

Create sum expression.

Definition at line 120 of file lin-expr.hpp.

Gecode::LinExpr::LinExpr ( const IntArgs a,
const IntVarArgs x 
) [inline]

Create sum expression.

Definition at line 136 of file lin-expr.hpp.

Gecode::LinExpr::LinExpr ( const BoolVarArgs x  )  [inline]

Create sum expression.

Definition at line 154 of file lin-expr.hpp.

Gecode::LinExpr::LinExpr ( const IntArgs a,
const BoolVarArgs x 
) [inline]

Create sum expression.

Definition at line 170 of file lin-expr.hpp.

Gecode::LinExpr::LinExpr ( const LinExpr e  )  [inline]

Copy constructor.

Definition at line 92 of file lin-expr.hpp.

Gecode::LinExpr::LinExpr ( const LinExpr e0,
NodeType  t,
const LinExpr e1 
) [inline]

Create expression for type and subexpressions.

Definition at line 188 of file lin-expr.hpp.

Gecode::LinExpr::LinExpr ( const LinExpr e0,
NodeType  t,
int  c 
) [inline]

Create expression for type and subexpression.

Definition at line 198 of file lin-expr.hpp.

Gecode::LinExpr::LinExpr ( int  a,
const LinExpr e 
) [inline]

Create expression for multiplication.

Definition at line 209 of file lin-expr.hpp.

Gecode::LinExpr::~LinExpr ( void   ) 

Destructor.

Definition at line 69 of file lin-expr.cpp.


Member Function Documentation

const LinExpr & Gecode::LinExpr::operator= ( const LinExpr e  ) 

Assignment operator.

Definition at line 60 of file lin-expr.cpp.

void Gecode::LinExpr::post ( Home  home,
IntRelType  irt,
IntConLevel  icl 
) const [inline]

Post propagator.

Definition at line 230 of file lin-expr.hpp.

void Gecode::LinExpr::post ( Home  home,
IntRelType  irt,
const BoolVar b,
IntConLevel  icl 
) const [inline]

Post reified propagator.

Definition at line 273 of file lin-expr.hpp.

IntVar Gecode::LinExpr::post ( Home  home,
IntConLevel  icl 
) const [inline]

Post propagator and return variable for value.

Definition at line 317 of file lin-expr.hpp.


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