bool-expr.cpp File Reference

#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...
Namespaces
namespace	Gecode
	Gecode toplevel namespace
Functions
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 BoolExpr &)
	Negated Boolean expression.
BoolExpr	Gecode::operator!= (const BoolExpr &, const BoolExpr &)
	Non-equivalence of Boolean expressions.
BoolExpr	Gecode::operator== (const BoolExpr &, const BoolExpr &)
	Equivalence of Boolean expressions.
BoolExpr	Gecode::operator>> (const BoolExpr &, const BoolExpr &)
	Implication of Boolean expressions.
BoolExpr	Gecode::operator<< (const BoolExpr &, const BoolExpr &)
	Reverse implication of Boolean expressions.
BoolVar	Gecode::expr (Home home, const BoolExpr &e, const IntPropLevels &ipls=IntPropLevels::def)
	Post Boolean expression and return its value.
void	Gecode::rel (Home home, const BoolExpr &e, const IntPropLevels &ipls=IntPropLevels::def)
	Post Boolean relation.
BoolExpr	Gecode::element (const BoolVarArgs &x, const LinIntExpr &y)
	Return expression for .

---

Variable Documentation

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 { ... } ::@64 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 { ... } ::@65 a

For atomic nodes.

union { ... } u

Union depending on nodetype t.