Generated on Sat Nov 11 01:12:22 2006 for Gecode by doxygen 1.5.1

Gecode::MiniModel::LinExpr Class Reference

#include <minimodel.hh>

List of all members.


Detailed Description

Linear expressions.

Definition at line 70 of file minimodel.hh.

Public Member Functions

 LinExpr (void)
 Default constructor.
 LinExpr (const LinExpr &e)
 Copy constructor.
 LinExpr (const IntVar &x, int a=1, int c=0)
 Create expression $a\cdot x+c$.
 LinExpr (const LinExpr &e0, const LinExpr &e1, int s)
 Create expression $e_0+s\cdot e_1$ (where s is the sign).
 LinExpr (const LinExpr &e, int c, int s)
 Create expression $s\cdot e+c$ (where s is the sign).
 LinExpr (int a, const LinExpr &e)
 Create expression $a\cdot e$.
const LinExproperator= (const LinExpr &e)
 Assignment operator.
void post (Space *home, IntRelType irt, IntConLevel icl) const
 Post propagator.
void post (Space *home, IntRelType irt, const BoolVar &b) const
 Post reified propagator.
IntVar post (Space *home, IntConLevel icl) const
 Post propagator and return variable for value.
 ~LinExpr (void)
 Destructor.

Public Attributes

unsigned int n
 Number of variables in sub terms.
int c
 Constant for expression.
int sign
 Sign for expression.


Constructor & Destructor Documentation

Gecode::MiniModel::LinExpr::LinExpr ( void   )  [inline]

Default constructor.

Definition at line 64 of file lin-expr.icc.

Gecode::MiniModel::LinExpr::LinExpr ( const LinExpr e  ) 

Copy constructor.

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

Create expression $a\cdot x+c$.

Definition at line 68 of file lin-expr.icc.

Gecode::MiniModel::LinExpr::LinExpr ( const LinExpr e0,
const LinExpr e1,
int  s 
) [inline]

Create expression $e_0+s\cdot e_1$ (where s is the sign).

Definition at line 73 of file lin-expr.icc.

Gecode::MiniModel::LinExpr::LinExpr ( const LinExpr e,
int  c,
int  s 
) [inline]

Create expression $s\cdot e+c$ (where s is the sign).

Definition at line 79 of file lin-expr.icc.

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

Create expression $a\cdot e$.

Definition at line 85 of file lin-expr.icc.

Gecode::MiniModel::LinExpr::~LinExpr ( void   )  [inline]

Destructor.

Definition at line 105 of file lin-expr.icc.


Member Function Documentation

const LinExpr & Gecode::MiniModel::LinExpr::operator= ( const LinExpr e  )  [inline]

Assignment operator.

Definition at line 91 of file lin-expr.icc.

void Gecode::MiniModel::LinExpr::post ( Space home,
IntRelType  irt,
IntConLevel  icl 
) const

Post propagator.

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

void Gecode::MiniModel::LinExpr::post ( Space home,
IntRelType  irt,
const BoolVar b 
) const

Post reified propagator.

Definition at line 67 of file lin-expr.cc.

IntVar Gecode::MiniModel::LinExpr::post ( Space home,
IntConLevel  icl 
) const

Post propagator and return variable for value.

Definition at line 74 of file lin-expr.cc.


Member Data Documentation

Number of variables in sub terms.

Definition at line 107 of file minimodel.hh.

Constant for expression.

Definition at line 108 of file minimodel.hh.

Sign for expression.

Definition at line 109 of file minimodel.hh.


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