Boolean expressions and relations
[Direct modelling]

---

Detailed Description

Boolean expressions can be freely composed of variables with the usual connectives and reified linear expressions.

Boolean relations are obtained from Boolean expressions with functions tt (stating that the expression must be true) and ff (stating that the expression must be false).

Namespaces
namespace	Gecode
	Gecode toplevel namespace.
Functions
Gecode::MiniModel::BoolExpr	operator! (const Gecode::MiniModel::BoolExpr &)
	Negated Boolean expression.
Gecode::MiniModel::BoolExpr	operator && (const Gecode::MiniModel::BoolExpr &, const Gecode::MiniModel::BoolExpr &)
	Conjunction of Boolean expressions.
Gecode::MiniModel::BoolExpr	operator|| (const Gecode::MiniModel::BoolExpr &, const Gecode::MiniModel::BoolExpr &)
	Disjunction of Boolean expressions.
Gecode::MiniModel::BoolExpr	operator^ (const Gecode::MiniModel::BoolExpr &, const Gecode::MiniModel::BoolExpr &)
	Exclusive-or of Boolean expressions.
template<class Var>
Gecode::MiniModel::BoolExpr	operator~ (const Gecode::MiniModel::LinRel< Var > &)
	Reification of linear relations.

---

Function Documentation

Gecode::MiniModel::BoolExpr operator!

(

const Gecode::MiniModel::BoolExpr &

)

[inline]

Negated Boolean expression.

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

Gecode::MiniModel::BoolExpr operator &&	(	const Gecode::MiniModel::BoolExpr &	,
		const Gecode::MiniModel::BoolExpr &
	)			[inline]

Conjunction of Boolean expressions.

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

Gecode::MiniModel::BoolExpr operator||	(	const Gecode::MiniModel::BoolExpr &	,
		const Gecode::MiniModel::BoolExpr &
	)			[inline]

Disjunction of Boolean expressions.

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

Gecode::MiniModel::BoolExpr operator^	(	const Gecode::MiniModel::BoolExpr &	,
		const Gecode::MiniModel::BoolExpr &
	)			[inline]

Exclusive-or of Boolean expressions.

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

template<class Var>

Gecode::MiniModel::BoolExpr operator~

(

const Gecode::MiniModel::LinRel< Var > &

)

[inline]

Reification of linear relations.

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