Generated on Sat Apr 10 2021 00:00:00 for Gecode by doxygen 1.9.1
bool-expr.cpp File Reference

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 $x[y]$. More...
 

Function Documentation

◆ operator&&()

BoolExpr Gecode::operator&& ( const BoolExpr l,
const BoolExpr r 
)

Conjunction of Boolean expressions.

Definition at line 587 of file bool-expr.cpp.

◆ operator||()

BoolExpr Gecode::operator|| ( const BoolExpr l,
const BoolExpr r 
)

Disjunction of Boolean expressions.

Definition at line 591 of file bool-expr.cpp.

◆ operator^()

BoolExpr Gecode::operator^ ( const BoolExpr l,
const BoolExpr r 
)

Exclusive-or of Boolean expressions.

Definition at line 595 of file bool-expr.cpp.

◆ operator!()

BoolExpr Gecode::operator! ( const BoolExpr e)

Negated Boolean expression.

Definition at line 600 of file bool-expr.cpp.

◆ operator!=()

BoolExpr Gecode::operator!= ( const BoolExpr l,
const BoolExpr r 
)

Non-equivalence of Boolean expressions.

Definition at line 605 of file bool-expr.cpp.

◆ operator==()

BoolExpr Gecode::operator== ( const BoolExpr l,
const BoolExpr r 
)

Equivalence of Boolean expressions.

Definition at line 609 of file bool-expr.cpp.

◆ operator>>()

BoolExpr Gecode::operator>> ( const BoolExpr l,
const BoolExpr r 
)

Implication of Boolean expressions.

Definition at line 613 of file bool-expr.cpp.

◆ operator<<()

BoolExpr Gecode::operator<< ( const BoolExpr l,
const BoolExpr r 
)

Reverse implication of Boolean expressions.

Definition at line 617 of file bool-expr.cpp.

◆ expr()

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.

◆ rel()

void Gecode::rel ( Home  home,
const BoolExpr e,
const IntPropLevels ipls 
)

Post Boolean relation.

Definition at line 638 of file bool-expr.cpp.

◆ element()

BoolExpr Gecode::element ( const BoolVarArgs b,
const LinIntExpr idx 
)

Return expression for $x[y]$.

Definition at line 694 of file bool-expr.cpp.

Variable Documentation

◆ t

NodeType t

Type of node.

Definition at line 230 of file bool-expr.cpp.

◆ p

int p

Number of positive literals for node type.

Definition at line 232 of file bool-expr.cpp.

◆ n

int n

Number of negative literals for node type.

Definition at line 234 of file bool-expr.cpp.

◆ l

NNF* l

Left subtree.

Definition at line 240 of file bool-expr.cpp.

◆ r

NNF* r

Right subtree.

Definition at line 242 of file bool-expr.cpp.

◆ 

struct { ... } b

For binary nodes (and, or, eqv)

◆ neg

bool neg

Is atomic formula negative.

Definition at line 247 of file bool-expr.cpp.

◆ x

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.