|
BoolExpr | Gecode::operator&& (const BoolExpr &, const BoolExpr &) |
| Conjunction of Boolean expressions. More...
|
|
BoolExpr | Gecode::operator|| (const BoolExpr &, const BoolExpr &) |
| Disjunction of Boolean expressions. More...
|
|
BoolExpr | Gecode::operator^ (const BoolExpr &, const BoolExpr &) |
| Exclusive-or of Boolean expressions. More...
|
|
BoolExpr | Gecode::operator! (const BoolExpr &) |
| Negated Boolean expression. More...
|
|
BoolExpr | Gecode::operator!= (const BoolExpr &, const BoolExpr &) |
| Non-equivalence of Boolean expressions. More...
|
|
BoolExpr | Gecode::operator== (const BoolExpr &, const BoolExpr &) |
| Equivalence of Boolean expressions. More...
|
|
BoolExpr | Gecode::operator>> (const BoolExpr &, const BoolExpr &) |
| Implication of Boolean expressions. More...
|
|
BoolExpr | Gecode::operator<< (const BoolExpr &, const BoolExpr &) |
| Reverse implication of Boolean expressions. More...
|
|
BoolVar | Gecode::expr (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF) |
| Post Boolean expression and return its value. More...
|
|
void | Gecode::rel (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF) |
| Post Boolean relation. More...
|
|
BoolExpr | Gecode::element (const BoolVarArgs &x, const LinExpr &y) |
| Return expression for . More...
|
|