Generated on Mon May 10 06:46:50 2010 for Gecode by doxygen 1.6.3

Posting of expressions and relations
[Direct modeling support]

Functions

IntVar Gecode::post (Home home, const LinExpr &e, IntConLevel icl=ICL_DEF)
 Post linear expression and return its value.
void Gecode::post (Home home, const LinRel &r, IntConLevel icl=ICL_DEF)
 Post linear relation.
BoolVar Gecode::post (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF)
 Post Boolean expression and return its value.
void Gecode::post (Home home, const BoolRel &r, IntConLevel icl=ICL_DEF)
 Post Boolean relation.

Function Documentation

IntVar Gecode::post ( Home  home,
const LinExpr &  e,
IntConLevel  icl 
)

Post linear expression and return its value.

void Gecode::post ( Home  home,
const LinRel &  r,
IntConLevel  icl 
)

Post linear relation.

BoolVar Gecode::post ( Home  home,
const BoolExpr &  e,
IntConLevel  icl 
)

Post Boolean expression and return its value.

void Gecode::post ( Home  home,
const BoolRel &  r,
IntConLevel  icl 
)

Post Boolean relation.