bool-expr.icc File Reference

(Revision: 6311)

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::MiniModel
Functions
Gecode::MiniModel::BoolExpr	operator && (const Gecode::MiniModel::BoolExpr &l, const Gecode::MiniModel::BoolExpr &r)
	Conjunction of Boolean expressions.
Gecode::MiniModel::BoolExpr	operator|| (const Gecode::MiniModel::BoolExpr &l, const Gecode::MiniModel::BoolExpr &r)
	Disjunction of Boolean expressions.
Gecode::MiniModel::BoolExpr	operator^ (const Gecode::MiniModel::BoolExpr &l, const Gecode::MiniModel::BoolExpr &r)
	Exclusive-or of Boolean expressions.
template<class Var>
Gecode::MiniModel::BoolExpr	operator~ (const Gecode::MiniModel::LinRel< Var > &rl)
	Reification of linear relations.
Gecode::MiniModel::BoolExpr	operator! (const Gecode::MiniModel::BoolExpr &e)
	Negated Boolean expression.
MiniModel::BoolExpr	Gecode::eqv (const MiniModel::BoolExpr &, const MiniModel::BoolExpr &)
	Equivalence of Boolean expressions.
MiniModel::BoolExpr	Gecode::imp (const MiniModel::BoolExpr &, const MiniModel::BoolExpr &)
	Implication of Boolean expressions.
BoolVar	Gecode::post (Space *home, const MiniModel::BoolExpr &e, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
	Post Boolean expression and return its value.
BoolVar	Gecode::post (Space *home, const BoolVar &b, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
	Post Boolean expression (special case for variable) and return its value.