Generated on Thu Feb 21 2013 23:11:53 for Gecode by doxygen 1.8.3.1
Posting of expressions and relations

Functions

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

Detailed Description

Function Documentation

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

Post linear expression and return its value.

Definition at line 585 of file lin-expr.cpp.

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

Post set expression and return its value.

Definition at line 693 of file set-expr.cpp.

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

Post Boolean expression and return its value.

Definition at line 454 of file bool-expr.cpp.

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

Post Boolean relation.

Definition at line 462 of file bool-expr.cpp.