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

Posting of expressions and relations
[Direct modelling]

Collaboration diagram for Posting of expressions and relations:


Functions

IntVar Gecode::post (Space *home, const MiniModel::LinExpr &e, IntConLevel icl=ICL_DEF)
 Post linear expression and return its value.
IntVar Gecode::post (Space *home, const IntVar &x, IntConLevel icl=ICL_DEF)
 Post linear expression (special case for variable) and return its value.
IntVar Gecode::post (Space *home, int n, IntConLevel icl=ICL_DEF)
 Post linear expression (special case for constant) and return its value.
void Gecode::post (Space *home, const MiniModel::LinRel &r, IntConLevel icl=ICL_DEF)
 Post linear relation.
void Gecode::post (Space *home, bool r, IntConLevel icl=ICL_DEF)
 Make it work for special integer only-case.
BoolVar Gecode::post (Space *home, const MiniModel::BoolExpr &e, IntConLevel icl=ICL_DEF)
 Post Boolean expression and return its value.
BoolVar Gecode::post (Space *home, const BoolVar &b, IntConLevel icl=ICL_DEF)
 Post Boolean expression (special case for variable) and return its value.
void Gecode::post (Space *home, const MiniModel::BoolRel &r, IntConLevel icl=ICL_DEF)
 Post Boolean relation.

Function Documentation

IntVar Gecode::post (  Space *  home,
const MiniModel::LinExpr &  e,
IntConLevel  icl = ICL_DEF
)  [inline]
 

Post linear expression and return its value.

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

IntVar Gecode::post (  Space *  home,
const IntVar &  x,
IntConLevel  icl = ICL_DEF
)  [inline]
 

Post linear expression (special case for variable) and return its value.

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

IntVar Gecode::post (  Space *  home,
int  n,
IntConLevel  icl = ICL_DEF
)  [inline]
 

Post linear expression (special case for constant) and return its value.

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

void Gecode::post (  Space *  home,
const MiniModel::LinRel &  r,
IntConLevel  icl = ICL_DEF
)  [inline]
 

Post linear relation.

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

void Gecode::post (  Space *  home,
bool  r,
IntConLevel  icl = ICL_DEF
)  [inline]
 

Make it work for special integer only-case.

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

BoolVar Gecode::post (  Space *  home,
const MiniModel::BoolExpr &  e,
IntConLevel  icl = ICL_DEF
)  [inline]
 

Post Boolean expression and return its value.

Definition at line 179 of file bool-expr.icc.

BoolVar Gecode::post (  Space *  home,
const BoolVar &  b,
IntConLevel  icl = ICL_DEF
)  [inline]
 

Post Boolean expression (special case for variable) and return its value.

Definition at line 184 of file bool-expr.icc.

void Gecode::post (  Space *  home,
const MiniModel::BoolRel &  r,
IntConLevel  icl = ICL_DEF
)  [inline]
 

Post Boolean relation.

Definition at line 59 of file bool-rel.icc.