Generated on Mon Nov 30 23:53:47 2009 for Gecode by doxygen 1.6.1

Gecode::LinExpr< Var > Class Template Reference

Linear expressions. More...

#include <minimodel.hh>

List of all members.

Public Types

enum  NodeType { NT_VAR, NT_ADD, NT_SUB, NT_MUL }
 

Type of linear expression.

More...

Public Member Functions

 LinExpr (void)
 Default constructor.
 LinExpr (const Var &x, int a=1)
 Create 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.
template<>
IntVar post (Home home, IntConLevel icl) const
template<>
IntVar post (Home home, IntConLevel icl) const

Detailed Description

template<class Var>
class Gecode::LinExpr< Var >

Linear expressions.

Definition at line 96 of file minimodel.hh.


Member Enumeration Documentation

template<class Var>
enum Gecode::LinExpr::NodeType

Type of linear expression.

Enumerator:
NT_VAR 

Linear term with variable.

NT_ADD 

Addition of linear terms.

NT_SUB 

Subtraction of linear terms.

NT_MUL 

Multiplication by coefficient.

Definition at line 99 of file minimodel.hh.


Constructor & Destructor Documentation

template<class Var >
Gecode::LinExpr< Var >::LinExpr ( void   )  [inline]

Default constructor.

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

template<class Var>
Gecode::LinExpr< Var >::LinExpr ( const Var &  x,
int  a = 1 
) [inline]

Create expression.

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

template<class Var>
Gecode::LinExpr< Var >::LinExpr ( const LinExpr< Var > &  e  )  [inline]

Copy constructor.

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

template<class Var>
Gecode::LinExpr< Var >::LinExpr ( const LinExpr< Var > &  e0,
NodeType  t,
const LinExpr< Var > &  e1 
) [inline]

Create expression for type and subexpressions.

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

template<class Var>
Gecode::LinExpr< Var >::LinExpr ( const LinExpr< Var > &  e0,
NodeType  t,
int  c 
) [inline]

Create expression for type and subexpression.

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

template<class Var>
Gecode::LinExpr< Var >::LinExpr ( int  a,
const LinExpr< Var > &  e 
) [inline]

Create expression for multiplication.

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

template<class Var >
Gecode::LinExpr< Var >::~LinExpr ( void   )  [inline]

Destructor.

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


Member Function Documentation

template<class Var >
const LinExpr< Var > & Gecode::LinExpr< Var >::operator= ( const LinExpr< Var > &  e  )  [inline]

Assignment operator.

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

template<class Var >
void Gecode::LinExpr< Var >::post ( Home  home,
IntRelType  irt,
IntConLevel  icl 
) const [inline]

Post propagator.

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

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

Post reified propagator.

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

template<class Var>
IntVar Gecode::LinExpr< Var >::post ( Home  home,
IntConLevel  icl 
) const

Post propagator and return variable for value.

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

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

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

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


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