Posting of expressions and relations
[Direct modeling support]
Functions | |
IntVar | Gecode::expr (Home home, const LinIntExpr &e, const IntPropLevels &ipls=IntPropLevels::def) |
Post linear expression and return its value. | |
FloatVar | Gecode::expr (Home home, const LinFloatExpr &e) |
Post float 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, const IntPropLevels &ipls=IntPropLevels::def) |
Post Boolean expression and return its value. | |
void | Gecode::rel (Home home, const BoolExpr &e, const IntPropLevels &ipls=IntPropLevels::def) |
Post Boolean relation. |
Function Documentation
IntVar Gecode::expr | ( | Home | home, | |
const LinIntExpr & | e, | |||
const IntPropLevels & | ipls | |||
) |
Post linear expression and return its value.
FloatVar Gecode::expr | ( | Home | home, | |
const LinFloatExpr & | e | |||
) |
Post float 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, | |||
const IntPropLevels & | ipls | |||
) |
Post Boolean expression and return its value.
void Gecode::rel | ( | Home | home, | |
const BoolExpr & | e, | |||
const IntPropLevels & | ipls | |||
) |
Post Boolean relation.