Functions | |
IntVar | Gecode::expr (Home home, const LinIntExpr &e, IntConLevel icl=ICL_DEF) |
Post linear expression and return its value. More... | |
FloatVar | Gecode::expr (Home home, const LinFloatExpr &e) |
Post float 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... | |
IntVar Gecode::expr | ( | Home | home, |
const LinIntExpr & | e, | ||
IntConLevel | icl | ||
) |
Post linear expression and return its value.
Definition at line 910 of file int-expr.cpp.
FloatVar Gecode::expr | ( | Home | home, |
const LinFloatExpr & | e | ||
) |
Post float expression and return its value.
Definition at line 557 of file float-expr.cpp.
Post set expression and return its value.
Definition at line 835 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 632 of file bool-expr.cpp.
void Gecode::rel | ( | Home | home, |
const BoolExpr & | e, | ||
IntConLevel | icl | ||
) |
Post Boolean relation.
Definition at line 640 of file bool-expr.cpp.