Functions | |
BoolExpr | Gecode::operator! (const BoolExpr &) |
Negated Boolean expression. More... | |
BoolExpr | Gecode::operator&& (const BoolExpr &, const BoolExpr &) |
Conjunction of Boolean expressions. More... | |
BoolExpr | Gecode::operator|| (const BoolExpr &, const BoolExpr &) |
Disjunction of Boolean expressions. More... | |
BoolExpr | Gecode::operator^ (const BoolExpr &, const BoolExpr &) |
Exclusive-or of Boolean expressions. More... | |
BoolExpr | Gecode::operator!= (const BoolExpr &, const BoolExpr &) |
Non-equivalence of Boolean expressions. More... | |
BoolExpr | Gecode::operator== (const BoolExpr &, const BoolExpr &) |
Equivalence of Boolean expressions. More... | |
BoolExpr | Gecode::operator>> (const BoolExpr &, const BoolExpr &) |
Implication of Boolean expressions. More... | |
BoolExpr | Gecode::operator<< (const BoolExpr &, const BoolExpr &) |
Reverse implication of Boolean expressions. More... | |
Boolean expressions can be freely composed of variables with the usual connectives and reified linear expressions.
BoolExpr Gecode::operator! | ( | const BoolExpr & | e | ) |
Negated Boolean expression.
Definition at line 605 of file bool-expr.cpp.
Conjunction of Boolean expressions.
Definition at line 592 of file bool-expr.cpp.
Disjunction of Boolean expressions.
Definition at line 596 of file bool-expr.cpp.
Exclusive-or of Boolean expressions.
Definition at line 600 of file bool-expr.cpp.
BoolExpr Gecode::operator!= | ( | const BoolExpr & | l, |
const BoolExpr & | r | ||
) |
Non-equivalence of Boolean expressions.
Definition at line 610 of file bool-expr.cpp.
Equivalence of Boolean expressions.
Definition at line 614 of file bool-expr.cpp.
Implication of Boolean expressions.
Definition at line 618 of file bool-expr.cpp.
Reverse implication of Boolean expressions.
Definition at line 623 of file bool-expr.cpp.