Generated on Sat May 25 2013 18:00:44 for Gecode by doxygen 1.8.3.1
Boolean expressions

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

Detailed Description

Boolean expressions can be freely composed of variables with the usual connectives and reified linear expressions.

Function Documentation

BoolExpr Gecode::operator! ( const BoolExpr &  e)

Negated Boolean expression.

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

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

Conjunction of Boolean expressions.

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

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

Disjunction of Boolean expressions.

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

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

Exclusive-or of Boolean expressions.

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

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

Non-equivalence of Boolean expressions.

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

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

Equivalence of Boolean expressions.

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

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

Implication of Boolean expressions.

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

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

Reverse implication of Boolean expressions.

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