bool-expr.icc File Reference
(Revision: 3513)
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::MiniModel |
Functions | |
Gecode::MiniModel::BoolExpr | operator && (const Gecode::MiniModel::BoolExpr &l, const Gecode::MiniModel::BoolExpr &r) |
Conjunction of Boolean expressions. | |
Gecode::MiniModel::BoolExpr | operator|| (const Gecode::MiniModel::BoolExpr &l, const Gecode::MiniModel::BoolExpr &r) |
Disjunction of Boolean expressions. | |
Gecode::MiniModel::BoolExpr | operator^ (const Gecode::MiniModel::BoolExpr &l, const Gecode::MiniModel::BoolExpr &r) |
Exclusive-or of Boolean expressions. | |
Gecode::MiniModel::BoolExpr | operator~ (const Gecode::MiniModel::LinRel &rl) |
Gecode::MiniModel::BoolExpr | operator! (const Gecode::MiniModel::BoolExpr &e) |
Negated Boolean expression. | |
MiniModel::BoolExpr | Gecode::eqv (const MiniModel::BoolExpr &, const MiniModel::BoolExpr &) |
Equivalence of Boolean expressions. | |
MiniModel::BoolExpr | Gecode::imp (const MiniModel::BoolExpr &, const MiniModel::BoolExpr &) |
Implication of Boolean expressions. | |
BoolVar | Gecode::post (Space *home, const MiniModel::BoolExpr &e, IntConLevel icl=ICL_DEF) |
Post Boolean expression and return its value. | |
BoolVar | Gecode::post (Space *home, const BoolVar &b, IntConLevel icl=ICL_DEF) |
Post Boolean expression (special case for variable) and return its value. |
Function Documentation
|
Definition at line 149 of file bool-expr.icc. |