Generated on Mon Nov 30 23:53:42 2009 for Gecode by doxygen 1.6.1

Boolean expressions and relations
[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.
template<class Var >
BoolExpr Gecode::operator~ (const LinRel< Var > &)
 Reification of linear relations.
BoolExpr Gecode::eqv (const BoolExpr &, const BoolExpr &)
 Equivalence of Boolean expressions.
BoolExpr Gecode::imp (const BoolExpr &, const BoolExpr &)
 Implication of Boolean expressions.
BoolRel Gecode::tt (const BoolExpr &)
 State that Boolean expression must be true.
BoolRel Gecode::ff (const BoolExpr &)
 State that Boolean expression must be false.

Detailed Description

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

Boolean relations are obtained from Boolean expressions with functions tt (stating that the expression must be true) and ff (stating that the expression must be false).


Function Documentation

BoolExpr Gecode::operator! ( const BoolExpr &  e  )  [inline]

Negated Boolean expression.

BoolExpr Gecode::operator&& ( const BoolExpr &  l,
const BoolExpr &  r 
) [inline]

Conjunction of Boolean expressions.

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

Disjunction of Boolean expressions.

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

Exclusive-or of Boolean expressions.

template<class Var >
BoolExpr Gecode::operator~ ( const LinRel< Var > &  rl  )  [inline]

Reification of linear relations.

BoolExpr Gecode::eqv ( const BoolExpr &  l,
const BoolExpr &  r 
) [inline]

Equivalence of Boolean expressions.

BoolExpr Gecode::imp ( const BoolExpr &  l,
const BoolExpr &  r 
) [inline]

Implication of Boolean expressions.

BoolRel Gecode::tt ( const BoolExpr &  e  )  [inline]

State that Boolean expression must be true.

BoolRel Gecode::ff ( const BoolExpr &  e  )  [inline]

State that Boolean expression must be false.