Posting of expressions and relations
[Direct modeling support]
Functions | |
template<class Var > | |
IntVar | Gecode::post (Home home, const LinExpr< Var > &e, IntConLevel icl=ICL_DEF) |
Post linear expression and return its value. | |
IntVar | Gecode::post (Home home, const IntVar &x, IntConLevel icl=ICL_DEF) |
Post linear expression (special case for integer variable) and return its value. | |
IntVar | Gecode::post (Home home, int n, IntConLevel icl=ICL_DEF) |
Post linear expression (special case for constant) and return its value. | |
template<class Var > | |
void | Gecode::post (Home home, const LinRel< Var > &r, IntConLevel icl=ICL_DEF) |
Post linear relation. | |
void | Gecode::post (Home home, bool r, IntConLevel icl=ICL_DEF) |
Make it work for special integer only-case. | |
BoolVar | Gecode::post (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF) |
Post Boolean expression and return its value. | |
BoolVar | Gecode::post (Home home, const BoolVar &b, IntConLevel icl=ICL_DEF) |
Post Boolean expression (special case for variable) and return its value. | |
void | Gecode::post (Home home, const BoolRel &r, IntConLevel icl=ICL_DEF) |
Post Boolean relation. |
Function Documentation
template<class Var >
IntVar Gecode::post | ( | Home | home, | |
const LinExpr< Var > & | e, | |||
IntConLevel | icl | |||
) | [inline] |
Post linear expression and return its value.
IntVar Gecode::post | ( | Home | , | |
const IntVar & | x, | |||
IntConLevel | ||||
) | [inline] |
Post linear expression (special case for integer variable) and return its value.
IntVar Gecode::post | ( | Home | home, | |
int | n, | |||
IntConLevel | ||||
) | [inline] |
Post linear expression (special case for constant) and return its value.
template<class Var >
void Gecode::post | ( | Home | home, | |
const LinRel< Var > & | r, | |||
IntConLevel | icl | |||
) | [inline] |
Post linear relation.
void Gecode::post | ( | Home | home, | |
bool | r, | |||
IntConLevel | ||||
) | [inline] |
Make it work for special integer only-case.
BoolVar Gecode::post | ( | Home | home, | |
const BoolExpr & | e, | |||
IntConLevel | icl | |||
) | [inline] |
Post Boolean expression and return its value.
BoolVar Gecode::post | ( | Home | , | |
const BoolVar & | b, | |||
IntConLevel | ||||
) | [inline] |
Post Boolean expression (special case for variable) and return its value.
void Gecode::post | ( | Home | home, | |
const BoolRel & | r, | |||
IntConLevel | icl | |||
) | [inline] |
Post Boolean relation.