Generated on Thu Feb 21 2013 23:11:52 for Gecode by doxygen 1.8.3.1
bool-expr.cpp File Reference

(Revision: 12537)

Go to the source code of this file.

Classes

class  Gecode::BElementExpr
 Boolean element expressions. More...
 

Namespaces

namespace  Gecode
 Gecode toplevel namespace
 

Functions

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 &)
 Negated Boolean expression. 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...
 
BoolVar Gecode::expr (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF)
 Post Boolean expression and return its value. More...
 
void Gecode::rel (Home home, const BoolExpr &e, IntConLevel icl=ICL_DEF)
 Post Boolean relation. More...
 
BoolExpr Gecode::element (const BoolVarArgs &x, const LinExpr &y)
 Return expression for $x[y]$. More...