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.