bool-expr.hpp File Reference

(Revision: 9878)

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.
template<class Var >
BoolExpr	Gecode::operator~ (const LinRel< Var > &)
	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.
BoolVar	Gecode::post (Home home, const BoolVar &b, IntConLevel icl=ICL_DEF)
	Post Boolean expression (special case for variable) and return its value.