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.
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.
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.