Generated on Thu Jan 31 2019 20:56:44 for Gecode by doxygen 1.8.15

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

◆ operator !()

BoolExpr Gecode::operator ! ( const BoolExpr e)

Negated Boolean expression.

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

◆ operator &&()

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

Conjunction of Boolean expressions.

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

◆ operator||()

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

Disjunction of Boolean expressions.

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

◆ operator ^()

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

Exclusive-or of Boolean expressions.

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 610 of file bool-expr.cpp.

◆ operator==()

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

Equivalence of Boolean expressions.

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

◆ operator >>()

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

Implication of Boolean expressions.

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

◆ operator<<()

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

Reverse implication of Boolean expressions.

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