Generated on Mon May 10 06:46:49 2010 for Gecode by doxygen 1.6.3

bool-expr.cpp File Reference

(Revision: 10262)

#include <gecode/minimodel.hh>

Go to the source code of this file.

Namespaces

namespace  Gecode
 

Gecode toplevel namespace


Functions

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 LinRel &)
 Reification of linear relations.
BoolExpr Gecode::operator! (const BoolExpr &)
 Negated Boolean expression.
BoolExpr Gecode::eqv (const BoolExpr &, const BoolExpr &)
 Equivalence of Boolean expressions.
BoolExpr Gecode::imp (const BoolExpr &, const BoolExpr &)
 Implication of Boolean expressions.
BoolVar Gecode::post (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF)
 Post Boolean expression and return its value.