Generated on Mon Nov 30 23:53:42 2009 for Gecode by doxygen 1.6.1

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.