Generated on Sun Feb 17 15:24:49 2019 for Gecode by doxygen 1.6.3

# Boolean expressions [Direct modeling support]

## Functions

BoolExpr Gecode::operator! (const BoolExpr &)
Negated Boolean expression.
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 &, 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.

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

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

Conjunction of Boolean expressions.

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

Disjunction of Boolean expressions.

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

Exclusive-or of Boolean expressions.

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

Non-equivalence of Boolean expressions.

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

Equivalence of Boolean expressions.

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

Implication of Boolean expressions.

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

Reverse implication of Boolean expressions.