Posting of expressions and relations
[Direct modelling]
Functions | |
template<class Var> | |
IntVar | Gecode::post (Space *home, const MiniModel::LinExpr< Var > &e, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post linear expression and return its value. | |
IntVar | Gecode::post (Space *home, const IntVar &x, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post linear expression (special case for integer variable) and return its value. | |
IntVar | Gecode::post (Space *home, int n, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post linear expression (special case for constant) and return its value. | |
template<class Var> | |
void | Gecode::post (Space *home, const MiniModel::LinRel< Var > &r, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post linear relation. | |
void | Gecode::post (Space *home, bool r, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Make it work for special integer only-case. | |
BoolVar | Gecode::post (Space *home, const MiniModel::BoolExpr &e, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post Boolean expression and return its value. | |
BoolVar | Gecode::post (Space *home, const BoolVar &b, IntConLevel icl=ICL_DEF, PropKind pk=PK_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, PropKind pk=PK_DEF) |
Post Boolean relation. |
Function Documentation
template<class Var>
IntVar Gecode::post | ( | Space * | home, | |
const MiniModel::LinExpr< Var > & | e, | |||
IntConLevel | icl, | |||
PropKind | pk | |||
) | [inline] |
IntVar Gecode::post | ( | Space * | , | |
const IntVar & | x, | |||
IntConLevel | , | |||
PropKind | ||||
) | [inline] |
Post linear expression (special case for integer variable) and return its value.
Definition at line 352 of file lin-expr.icc.
IntVar Gecode::post | ( | Space * | home, | |
int | n, | |||
IntConLevel | , | |||
PropKind | ||||
) | [inline] |
Post linear expression (special case for constant) and return its value.
Definition at line 357 of file lin-expr.icc.
template<class Var>
void Gecode::post | ( | Space * | home, | |
const MiniModel::LinRel< Var > & | r, | |||
IntConLevel | icl, | |||
PropKind | pk | |||
) | [inline] |
void Gecode::post | ( | Space * | home, | |
bool | r, | |||
IntConLevel | , | |||
PropKind | ||||
) | [inline] |
BoolVar Gecode::post | ( | Space * | home, | |
const MiniModel::BoolExpr & | e, | |||
IntConLevel | icl, | |||
PropKind | pk | |||
) | [inline] |
BoolVar Gecode::post | ( | Space * | , | |
const BoolVar & | b, | |||
IntConLevel | , | |||
PropKind | ||||
) | [inline] |
Post Boolean expression (special case for variable) and return its value.
Definition at line 124 of file bool-expr.icc.
void Gecode::post | ( | Space * | home, | |
const MiniModel::BoolRel & | r, | |||
IntConLevel | icl, | |||
PropKind | pk | |||
) | [inline] |