Generated on Wed Nov 1 15:05:21 2006 for Gecode by doxygen 1.4.5
Gecode::MiniModel::LinExpr

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 LinExpr & operator= (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

unsigned int Gecode::MiniModel::LinExpr::n
 

Number of variables in sub terms.

Definition at line 107 of file minimodel.hh.

int Gecode::MiniModel::LinExpr::c
 

Constant for expression.

Definition at line 108 of file minimodel.hh.

int Gecode::MiniModel::LinExpr::sign
 

Sign for expression.

Definition at line 109 of file minimodel.hh.

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