Boolean expressions and relations
[Direct modeling support]
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. | |
BoolExpr | Gecode::operator~ (const LinRel &) |
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 | ) |
Negated Boolean expression.
BoolExpr Gecode::operator&& | ( | const BoolExpr & | l, | |
const BoolExpr & | r | |||
) |
Conjunction of Boolean expressions.
BoolExpr Gecode::operator|| | ( | const BoolExpr & | l, | |
const BoolExpr & | r | |||
) |
Disjunction of Boolean expressions.
BoolExpr Gecode::operator^ | ( | const BoolExpr & | l, | |
const BoolExpr & | r | |||
) |
Exclusive-or of Boolean expressions.
BoolExpr Gecode::operator~ | ( | const LinRel & | rl | ) |
Reification of linear relations.
BoolExpr Gecode::eqv | ( | const BoolExpr & | l, | |
const BoolExpr & | r | |||
) |
Equivalence of Boolean expressions.
BoolExpr Gecode::imp | ( | const BoolExpr & | l, | |
const BoolExpr & | r | |||
) |
Implication of Boolean expressions.
BoolRel Gecode::tt | ( | const BoolExpr & | e | ) |
State that Boolean expression must be true.
BoolRel Gecode::ff | ( | const BoolExpr & | e | ) |
State that Boolean expression must be false.