Posting of expressions and relations
[Direct modelling]
Collaboration diagram for Posting of expressions and relations:
![]() |
Functions | |
IntVar | Gecode::post (Space *home, const MiniModel::LinExpr &e, IntConLevel icl=ICL_DEF) |
Post linear expression and return its value. | |
IntVar | Gecode::post (Space *home, const IntVar &x, IntConLevel icl=ICL_DEF) |
Post linear expression (special case for variable) and return its value. | |
IntVar | Gecode::post (Space *home, int n, IntConLevel icl=ICL_DEF) |
Post linear expression (special case for constant) and return its value. | |
void | Gecode::post (Space *home, const MiniModel::LinRel &r, IntConLevel icl=ICL_DEF) |
Post linear relation. | |
void | Gecode::post (Space *home, bool r, IntConLevel icl=ICL_DEF) |
Make it work for special integer only-case. | |
BoolVar | Gecode::post (Space *home, const MiniModel::BoolExpr &e, IntConLevel icl=ICL_DEF) |
Post Boolean expression and return its value. | |
BoolVar | Gecode::post (Space *home, const BoolVar &b, IntConLevel icl=ICL_DEF) |
Post Boolean expression (special case for variable) and return its value. | |
void | Gecode::post (Space *home, const MiniModel::BoolRel &r, IntConLevel icl=ICL_DEF) |
Post Boolean relation. |
Function Documentation
IntVar Gecode::post | ( | Space * | home, | |
const MiniModel::LinExpr & | e, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
IntVar Gecode::post | ( | Space * | home, | |
const IntVar & | x, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Post linear expression (special case for variable) and return its value.
Definition at line 172 of file lin-expr.icc.
IntVar Gecode::post | ( | Space * | home, | |
int | n, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Post linear expression (special case for constant) and return its value.
Definition at line 177 of file lin-expr.icc.
void Gecode::post | ( | Space * | home, | |
const MiniModel::LinRel & | r, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
void Gecode::post | ( | Space * | home, | |
bool | r, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
BoolVar Gecode::post | ( | Space * | home, | |
const MiniModel::BoolExpr & | e, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
BoolVar Gecode::post | ( | Space * | home, | |
const BoolVar & | b, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |
Post Boolean expression (special case for variable) and return its value.
Definition at line 184 of file bool-expr.icc.
void Gecode::post | ( | Space * | home, | |
const MiniModel::BoolRel & | r, | |||
IntConLevel | icl = ICL_DEF | |||
) | [inline] |