bool-expr.hpp File Reference
(Revision: 9878)
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. | |
template<class Var > | |
BoolExpr | Gecode::operator~ (const LinRel< Var > &) |
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. | |
BoolVar | Gecode::post (Home home, const BoolVar &b, IntConLevel icl=ICL_DEF) |
Post Boolean expression (special case for variable) and return its value. |