|
Functions |
| BoolExpr | Gecode::operator! (const BoolExpr &) |
| | Negated Boolean expression.
|
| 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::eqv (const BoolExpr &, const BoolExpr &) |
| | Equivalence of Boolean expressions.
|
| BoolExpr | Gecode::imp (const BoolExpr &, const BoolExpr &) |
| | Implication of Boolean expressions.
|
| BoolRel | Gecode::tt (const BoolExpr &) |
| | State that Boolean expression must be true.
|
| BoolRel | Gecode::ff (const BoolExpr &) |
| | State that Boolean expression must be false.
|
Detailed Description
Boolean expressions can be freely composed of variables with the usual connectives and reified linear expressions.
Boolean relations are obtained from Boolean expressions with functions tt (stating that the expression must be true) and ff (stating that the expression must be false).
Function Documentation
| BoolExpr Gecode::operator! |
( |
const BoolExpr & |
e |
) |
[inline] |
| BoolExpr Gecode::operator&& |
( |
const BoolExpr & |
l, |
|
|
const BoolExpr & |
r | |
|
) |
| | [inline] |
Conjunction of Boolean expressions.
Definition at line 64 of file bool-expr.hpp.
| BoolExpr Gecode::operator|| |
( |
const BoolExpr & |
l, |
|
|
const BoolExpr & |
r | |
|
) |
| | [inline] |
Disjunction of Boolean expressions.
Definition at line 69 of file bool-expr.hpp.
| BoolExpr Gecode::operator^ |
( |
const BoolExpr & |
l, |
|
|
const BoolExpr & |
r | |
|
) |
| | [inline] |
Exclusive-or of Boolean expressions.
Definition at line 74 of file bool-expr.hpp.
template<class Var >
| BoolExpr Gecode::operator~ |
( |
const LinRel< Var > & |
rl |
) |
[inline] |
Reification of linear relations.
Definition at line 80 of file bool-expr.hpp.
| BoolExpr Gecode::eqv |
( |
const BoolExpr & |
l, |
|
|
const BoolExpr & |
r | |
|
) |
| | [inline] |
Equivalence of Boolean expressions.
Definition at line 91 of file bool-expr.hpp.
| BoolExpr Gecode::imp |
( |
const BoolExpr & |
l, |
|
|
const BoolExpr & |
r | |
|
) |
| | [inline] |
Implication of Boolean expressions.
Definition at line 96 of file bool-expr.hpp.
| BoolRel Gecode::tt |
( |
const BoolExpr & |
e |
) |
[inline] |
State that Boolean expression must be true.
Definition at line 58 of file bool-rel.hpp.
| BoolRel Gecode::ff |
( |
const BoolExpr & |
e |
) |
[inline] |
State that Boolean expression must be false.
Definition at line 62 of file bool-rel.hpp.
