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. |
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.