Generated on Wed Nov 1 15:05:03 2006 for Gecode by doxygen 1.4.5

Linear expressions and relations
[Direct modelling]

Collaboration diagram for Linear expressions and relations:

Detailed Description

Linear expressions can be freely composed of sums and differences of integer variables (Gecode::IntVar) possibly with integer coefficients and integer constants.

Note that integer variables are automatically available as linear expressions.

Linear relations are obtained from linear expressions with the normal relation operators.


Functions

Gecode::MiniModel::LinExpr operator+ (int, const Gecode::MiniModel::LinExpr &)
 Construct linear expression as sum of linear expression and integer.
Gecode::MiniModel::LinExpr operator+ (const Gecode::MiniModel::LinExpr &, int)
 Construct linear expression as sum of integer and linear expression.
Gecode::MiniModel::LinExpr operator+ (const Gecode::MiniModel::LinExpr &, const Gecode::MiniModel::LinExpr &)
 Construct linear expression as sum of linear expressions.
Gecode::MiniModel::LinExpr operator- (int, const Gecode::MiniModel::LinExpr &)
 Construct linear expression as difference of linear expression and integer.
Gecode::MiniModel::LinExpr operator- (const Gecode::MiniModel::LinExpr &, int)
 Construct linear expression as difference of integer and linear expression.
Gecode::MiniModel::LinExpr operator- (const Gecode::MiniModel::LinExpr &, const Gecode::MiniModel::LinExpr &)
 Construct linear expression as difference of linear expressions.
Gecode::MiniModel::LinExpr operator- (const Gecode::MiniModel::LinExpr &)
 Construct linear expression as negative of linear expression.
Gecode::MiniModel::LinExpr operator * (int, const Gecode::IntVar &)
 Construct linear expression as product of integer coefficient and integer variable.
Gecode::MiniModel::LinExpr operator * (const Gecode::IntVar &, int)
 Construct linear expression as product of integer coefficient and integer variable.
Gecode::MiniModel::LinExpr operator * (const Gecode::MiniModel::LinExpr &, int)
 Construct linear expression as product of integer coefficient and linear expression.
Gecode::MiniModel::LinExpr operator * (int, const Gecode::MiniModel::LinExpr &)
 Construct linear expression as product of integer coefficient and linear expression.
Gecode::MiniModel::LinRel operator== (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear equality relation.
Gecode::MiniModel::LinRel operator== (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear equality relation.
Gecode::MiniModel::LinRel operator== (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear equality relation.
Gecode::MiniModel::LinRel operator!= (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear disequality relation.
Gecode::MiniModel::LinRel operator!= (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear disequality relation.
Gecode::MiniModel::LinRel operator!= (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear disequality relation.
Gecode::MiniModel::LinRel operator< (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator< (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator< (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator<= (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator<= (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator<= (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator> (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator> (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator> (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator>= (int l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator>= (const Gecode::MiniModel::LinExpr &l, int r)
 Construct linear inequality relation.
Gecode::MiniModel::LinRel operator>= (const Gecode::MiniModel::LinExpr &l, const Gecode::MiniModel::LinExpr &r)
 Construct linear inequality relation.

Function Documentation

Gecode::MiniModel::LinExpr operator+ (  int  ,
const Gecode::MiniModel::LinExpr & 
)  [inline]
 

Construct linear expression as sum of linear expression and integer.

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

Gecode::MiniModel::LinExpr operator+ (  const Gecode::MiniModel::LinExpr &  ,
int 
)  [inline]
 

Construct linear expression as sum of integer and linear expression.

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

Gecode::MiniModel::LinExpr operator+ (  const Gecode::MiniModel::LinExpr &  ,
const Gecode::MiniModel::LinExpr & 
)  [inline]
 

Construct linear expression as sum of linear expressions.

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

Gecode::MiniModel::LinExpr operator- (  int  ,
const Gecode::MiniModel::LinExpr & 
)  [inline]
 

Construct linear expression as difference of linear expression and integer.

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

Gecode::MiniModel::LinExpr operator- (  const Gecode::MiniModel::LinExpr &  ,
int 
)  [inline]
 

Construct linear expression as difference of integer and linear expression.

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

Gecode::MiniModel::LinExpr operator- (  const Gecode::MiniModel::LinExpr &  ,
const Gecode::MiniModel::LinExpr & 
)  [inline]
 

Construct linear expression as difference of linear expressions.

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

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

Construct linear expression as negative of linear expression.

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

Gecode::MiniModel::LinExpr operator * (  int  ,
const Gecode::IntVar & 
)  [inline]
 

Construct linear expression as product of integer coefficient and integer variable.

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

Gecode::MiniModel::LinExpr operator * (  const Gecode::IntVar &  ,
int 
)  [inline]
 

Construct linear expression as product of integer coefficient and integer variable.

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

Gecode::MiniModel::LinExpr operator * (  const Gecode::MiniModel::LinExpr &  ,
int 
)  [inline]
 

Construct linear expression as product of integer coefficient and linear expression.

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

Gecode::MiniModel::LinExpr operator * (  int  ,
const Gecode::MiniModel::LinExpr & 
)  [inline]
 

Construct linear expression as product of integer coefficient and linear expression.

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

Gecode::MiniModel::LinRel operator== (  int  l,
const Gecode::MiniModel::LinExpr &  r
)  [inline]
 

Construct linear equality relation.

Definition at line 83 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator== (  const Gecode::MiniModel::LinExpr &  l,
int  r
)  [inline]
 

Construct linear equality relation.

Definition at line 88 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator== (  const Gecode::MiniModel::LinExpr &  l,
const Gecode::MiniModel::LinExpr &  r
)  [inline]
 

Construct linear equality relation.

Definition at line 93 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator!= (  int  l,
const Gecode::MiniModel::LinExpr &  r
)  [inline]
 

Construct linear disequality relation.

Definition at line 99 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator!= (  const Gecode::MiniModel::LinExpr &  l,
int  r
)  [inline]
 

Construct linear disequality relation.

Definition at line 104 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator!= (  const Gecode::MiniModel::LinExpr &  l,
const Gecode::MiniModel::LinExpr &  r
)  [inline]
 

Construct linear disequality relation.

Definition at line 109 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator< (  int  l,
const Gecode::MiniModel::LinExpr &  r
)  [inline]
 

Construct linear inequality relation.

Definition at line 115 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator< (  const Gecode::MiniModel::LinExpr &  l,
int  r
)  [inline]
 

Construct linear inequality relation.

Definition at line 120 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator< (  const Gecode::MiniModel::LinExpr &  l,
const Gecode::MiniModel::LinExpr &  r
)  [inline]
 

Construct linear inequality relation.

Definition at line 125 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator<= (  int  l,
const Gecode::MiniModel::LinExpr &  r
)  [inline]
 

Construct linear inequality relation.

Definition at line 131 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator<= (  const Gecode::MiniModel::LinExpr &  l,
int  r
)  [inline]
 

Construct linear inequality relation.

Definition at line 136 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator<= (  const Gecode::MiniModel::LinExpr &  l,
const Gecode::MiniModel::LinExpr &  r
)  [inline]
 

Construct linear inequality relation.

Definition at line 141 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator> (  int  l,
const Gecode::MiniModel::LinExpr &  r
)  [inline]
 

Construct linear inequality relation.

Definition at line 147 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator> (  const Gecode::MiniModel::LinExpr &  l,
int  r
)  [inline]
 

Construct linear inequality relation.

Definition at line 152 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator> (  const Gecode::MiniModel::LinExpr &  l,
const Gecode::MiniModel::LinExpr &  r
)  [inline]
 

Construct linear inequality relation.

Definition at line 157 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator>= (  int  l,
const Gecode::MiniModel::LinExpr &  r
)  [inline]
 

Construct linear inequality relation.

Definition at line 163 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator>= (  const Gecode::MiniModel::LinExpr &  l,
int  r
)  [inline]
 

Construct linear inequality relation.

Definition at line 168 of file lin-rel.icc.

Gecode::MiniModel::LinRel operator>= (  const Gecode::MiniModel::LinExpr &  l,
const Gecode::MiniModel::LinExpr &  r
)  [inline]
 

Construct linear inequality relation.

Definition at line 173 of file lin-rel.icc.