Posting of expressions and relations
[Direct modeling support]
Functions | |
IntVar | Gecode::post (Home home, const LinExpr &e, IntConLevel icl=ICL_DEF) |
Post linear expression and return its value. | |
void | Gecode::post (Home home, const LinRel &r, IntConLevel icl=ICL_DEF) |
Post linear relation. | |
BoolVar | Gecode::post (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF) |
Post Boolean expression and return its value. | |
void | Gecode::post (Home home, const BoolRel &r, IntConLevel icl=ICL_DEF) |
Post Boolean relation. |
Function Documentation
IntVar Gecode::post | ( | Home | home, | |
const LinExpr & | e, | |||
IntConLevel | icl | |||
) |
Post linear expression and return its value.
void Gecode::post | ( | Home | home, | |
const LinRel & | r, | |||
IntConLevel | icl | |||
) |
Post linear relation.
BoolVar Gecode::post | ( | Home | home, | |
const BoolExpr & | e, | |||
IntConLevel | icl | |||
) |
Post Boolean expression and return its value.
void Gecode::post | ( | Home | home, | |
const BoolRel & | r, | |||
IntConLevel | icl | |||
) |
Post Boolean relation.