#include <gecode/minimodel.hh>
Go to the source code of this file.
Classes | |
class | Gecode::BoolExpr::Node |
Node for Boolean expression More... | |
class | Gecode::BElementExpr |
Boolean element expressions. More... | |
Functions | |
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 &) |
Negated Boolean expression. 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... | |
BoolVar | Gecode::expr (Home home, const BoolExpr &e, const IntPropLevels &ipls=IntPropLevels::def) |
Post Boolean expression and return its value. More... | |
void | Gecode::rel (Home home, const BoolExpr &e, const IntPropLevels &ipls=IntPropLevels::def) |
Post Boolean relation. More... | |
BoolExpr | Gecode::element (const BoolVarArgs &x, const LinIntExpr &y) |
Return expression for ![]() | |
Conjunction of Boolean expressions.
Definition at line 587 of file bool-expr.cpp.
Disjunction of Boolean expressions.
Definition at line 591 of file bool-expr.cpp.
Exclusive-or of Boolean expressions.
Definition at line 595 of file bool-expr.cpp.
BoolExpr Gecode::operator! | ( | const BoolExpr & | e | ) |
Negated Boolean expression.
Definition at line 600 of file bool-expr.cpp.
Non-equivalence of Boolean expressions.
Definition at line 605 of file bool-expr.cpp.
Equivalence of Boolean expressions.
Definition at line 609 of file bool-expr.cpp.
Implication of Boolean expressions.
Definition at line 613 of file bool-expr.cpp.
Reverse implication of Boolean expressions.
Definition at line 617 of file bool-expr.cpp.
BoolVar Gecode::expr | ( | Home | home, |
const BoolExpr & | e, | ||
const IntPropLevels & | ipls | ||
) |
Post Boolean expression and return its value.
Definition at line 629 of file bool-expr.cpp.
void Gecode::rel | ( | Home | home, |
const BoolExpr & | e, | ||
const IntPropLevels & | ipls | ||
) |
Post Boolean relation.
Definition at line 638 of file bool-expr.cpp.
BoolExpr Gecode::element | ( | const BoolVarArgs & | b, |
const LinIntExpr & | idx | ||
) |
Return expression for .
Definition at line 694 of file bool-expr.cpp.
NodeType t |
Type of node.
Definition at line 230 of file bool-expr.cpp.
int p |
Number of positive literals for node type.
Definition at line 232 of file bool-expr.cpp.
int n |
Number of negative literals for node type.
Definition at line 234 of file bool-expr.cpp.
NNF* l |
Left subtree.
Definition at line 240 of file bool-expr.cpp.
NNF* r |
Right subtree.
Definition at line 242 of file bool-expr.cpp.
struct { ... } b |
For binary nodes (and, or, eqv)
bool neg |
Is atomic formula negative.
Definition at line 247 of file bool-expr.cpp.
Node* x |
Pointer to corresponding Boolean expression node.
Definition at line 249 of file bool-expr.cpp.
struct { ... } a |
For atomic nodes.
union { ... } u |
Union depending on nodetype t.