main page modules namespaces classes files
Gecode home

search for 

bool-expr.icc File Reference

(Revision: 3513)

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

---

Function Documentation

Gecode::MiniModel::BoolExpr operator~ (  const Gecode::MiniModel::LinRel &  rl  )  [inline]

Definition at line 149 of file bool-expr.icc.