Generated on Thu Mar 22 10:39:49 2012 for Gecode by doxygen 1.6.3

Posting of expressions and relations
[Direct modeling support]

Functions

IntVar Gecode::expr (Home home, const LinExpr &e, IntConLevel icl=ICL_DEF)
 Post linear expression and return its value.
SetVar Gecode::expr (Home home, const SetExpr &e)
 Post set expression and return its value.
BoolVar Gecode::expr (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF)
 Post Boolean expression and return its value.
void Gecode::rel (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF)
 Post Boolean relation.

Function Documentation

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

Post linear expression and return its value.

SetVar Gecode::expr ( Home  home,
const SetExpr &  e 
)

Post set expression and return its value.

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

Post Boolean expression and return its value.

void Gecode::rel ( Home  home,
const BoolExpr &  e,
IntConLevel  icl 
)

Post Boolean relation.