Gecode::MiniModel::BoolExpr Class Reference

#include <minimodel.hh>

List of all members.

---

Detailed Description

Boolean expressions.

Definition at line 451 of file minimodel.hh.

Public Types
enum	NodeType {   NT_VAR, NT_NOT, NT_AND, NT_OR,   NT_IMP, NT_XOR, NT_EQV, NT_RLIN_INT,   NT_RLIN_BOOL }
	Type of Boolean expression. More...
Public Member Functions
	BoolExpr (const BoolExpr &e)
	Copy constructor.
	BoolExpr (const BoolExpr &l, NodeType t, const BoolExpr &r)
	Construct expression for type and subexpresssions.
	BoolExpr (const BoolVar &x)
	Construct expression for variable.
	BoolExpr (const BoolExpr &e, NodeType t)
	Construct expression for negation.
	BoolExpr (const LinRel< IntVar > &rl)
	Construct expression for reified linear relation.
	BoolExpr (const LinRel< BoolVar > &rl)
	Construct expression for reified linear relation.
BoolVar	post (Space *home, IntConLevel icl, PropKind pk) const
	Post propagators for expression.
void	post (Space *home, bool t, IntConLevel icl, PropKind pk) const
	Post propagators for relation.
const BoolExpr &	operator= (const BoolExpr &e)
	Assignment operator.
	~BoolExpr (void)
	Destructor.
Classes
class	Node
	Node for Boolean expression. More...

---

Member Enumeration Documentation

enum Gecode::MiniModel::BoolExpr::NodeType

Type of Boolean expression.

Enumerator:

NT_VAR	Variable.
NT_NOT	Negation.
NT_AND	Conjunction.
NT_OR	Disjunction.
NT_IMP	Implication.
NT_XOR	Exclusive or.
NT_EQV	Equivalence.
NT_RLIN_INT	Reified linear relation (integer variables).
NT_RLIN_BOOL	Reified linear relation (Boolean variables).

Definition at line 454 of file minimodel.hh.

---

Constructor & Destructor Documentation

Gecode::MiniModel::BoolExpr::BoolExpr

(

const BoolExpr &

e

)

[inline]

Copy constructor.

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

Gecode::MiniModel::BoolExpr::BoolExpr	(	const BoolExpr &	l,
		NodeType	t,
		const BoolExpr &	r
	)

Construct expression for type and subexpresssions.

Definition at line 267 of file bool-expr.cc.

Gecode::MiniModel::BoolExpr::BoolExpr

(

const BoolVar &

x

)

Construct expression for variable.

Definition at line 259 of file bool-expr.cc.

Gecode::MiniModel::BoolExpr::BoolExpr	(	const BoolExpr &	e,
		NodeType	t
	)

Construct expression for negation.

Definition at line 279 of file bool-expr.cc.

Gecode::MiniModel::BoolExpr::BoolExpr

(

const LinRel< IntVar > &

rl

)

Construct expression for reified linear relation.

Definition at line 290 of file bool-expr.cc.

Gecode::MiniModel::BoolExpr::BoolExpr

(

const LinRel< BoolVar > &

rl

)

Construct expression for reified linear relation.

Definition at line 299 of file bool-expr.cc.

Gecode::MiniModel::BoolExpr::~BoolExpr

(

void

)

Destructor.

Definition at line 319 of file bool-expr.cc.

---

Member Function Documentation

BoolVar Gecode::MiniModel::BoolExpr::post	(	Space *	home,
		IntConLevel	icl,
		PropKind	pk
	)			const [inline]

Post propagators for expression.

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

void Gecode::MiniModel::BoolExpr::post	(	Space *	home,
		bool	t,
		IntConLevel	icl,
		PropKind	pk
	)			const [inline]

Post propagators for relation.

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

const BoolExpr & Gecode::MiniModel::BoolExpr::operator=

(

const BoolExpr &

e

)

Assignment operator.

Definition at line 309 of file bool-expr.cc.

---

The documentation for this class was generated from the following files:

• gecode/minimodel.hh (Revision: 7354)
• gecode/minimodel/bool-expr.cc (Revision: 6312)
• gecode/minimodel/bool-expr.icc (Revision: 6311)