bool-expr.cpp File Reference
(Revision: 10262)
#include <gecode/minimodel.hh>Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
Gecode toplevel namespace | |
Functions | |
| BoolExpr | Gecode::operator&& (const BoolExpr &, const BoolExpr &) |
| Conjunction of Boolean expressions. | |
| BoolExpr | Gecode::operator|| (const BoolExpr &, const BoolExpr &) |
| Disjunction of Boolean expressions. | |
| BoolExpr | Gecode::operator^ (const BoolExpr &, const BoolExpr &) |
| Exclusive-or of Boolean expressions. | |
| BoolExpr | Gecode::operator~ (const LinRel &) |
| Reification of linear relations. | |
| BoolExpr | Gecode::operator! (const BoolExpr &) |
| Negated Boolean expression. | |
| BoolExpr | Gecode::eqv (const BoolExpr &, const BoolExpr &) |
| Equivalence of Boolean expressions. | |
| BoolExpr | Gecode::imp (const BoolExpr &, const BoolExpr &) |
| Implication of Boolean expressions. | |
| BoolVar | Gecode::post (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF) |
| Post Boolean expression and return its value. | |