Gecode::BoolExpr Class Reference

Boolean expressions. More...

#include <minimodel.hh>

List of all members.

Classes
class	MiscExpr
	Miscealloneous Boolean expressions. More...
class	Node
	Node for Boolean expression More...
Public Types
enum	NodeType {   NT_VAR, NT_NOT, NT_AND, NT_OR,   NT_EQV, NT_RLIN, NT_RLINFLOAT, NT_RSET,   NT_MISC }
	Type of Boolean expression. More...
Public Member Functions
	BoolExpr (void)
	Default constructor.
	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 LinIntRel &rl)
	Construct expression for reified linear relation.
	BoolExpr (const LinFloatRel &rfl)
	Construct expression for reified float relation.
	BoolExpr (const SetRel &rs)
	Construct expression for reified set relation.
	BoolExpr (const SetCmpRel &rs)
	Construct expression for reified set relation.
	BoolExpr (MiscExpr *m)
	Construct expression for miscellaneous Boolean expression.
BoolVar	expr (Home home, IntConLevel icl) const
	Post propagators for expression.
void	rel (Home home, IntConLevel icl) const
	Post propagators for relation.
const BoolExpr &	operator= (const BoolExpr &e)
	Assignment operator.
	~BoolExpr (void)
	Destructor.

---

Detailed Description

Boolean expressions.

Definition at line 1234 of file minimodel.hh.

---

Member Enumeration Documentation

enum Gecode::BoolExpr::NodeType

Type of Boolean expression.

Enumerator:

NT_VAR	Variable.
NT_NOT	Negation.
NT_AND	Conjunction.
NT_OR	Disjunction.
NT_EQV	Equivalence.
NT_RLIN	Reified linear relation.
NT_RLINFLOAT	Reified linear relation.
NT_RSET	Reified set relation.
NT_MISC	Other Boolean expression.

Definition at line 1237 of file minimodel.hh.

---

Constructor & Destructor Documentation

Gecode::BoolExpr::BoolExpr

(

void

)

Default constructor.

Definition at line 118 of file bool-expr.cpp.

Gecode::BoolExpr::BoolExpr

(

const BoolExpr &

e

)

Copy constructor.

Definition at line 120 of file bool-expr.cpp.

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

Construct expression for type and subexpresssions.

Definition at line 132 of file bool-expr.cpp.

Gecode::BoolExpr::BoolExpr

(

const BoolVar &

x

)

Construct expression for variable.

Definition at line 124 of file bool-expr.cpp.

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

Construct expression for negation.

Definition at line 144 of file bool-expr.cpp.

Gecode::BoolExpr::BoolExpr

(

const LinIntRel &

rl

)

Construct expression for reified linear relation.

Definition at line 160 of file bool-expr.cpp.

Gecode::BoolExpr::BoolExpr

(

const LinFloatRel &

rfl

)

Construct expression for reified float relation.

Definition at line 170 of file bool-expr.cpp.

Gecode::BoolExpr::BoolExpr

(

const SetRel &

rs

)

Construct expression for reified set relation.

Definition at line 181 of file bool-expr.cpp.

Gecode::BoolExpr::BoolExpr

(

const SetCmpRel &

rs

)

Construct expression for reified set relation.

Definition at line 190 of file bool-expr.cpp.

Gecode::BoolExpr::BoolExpr

(

BoolExpr::MiscExpr *

m

)

[explicit]

Construct expression for miscellaneous Boolean expression.

Definition at line 200 of file bool-expr.cpp.

Gecode::BoolExpr::~BoolExpr

(

void

)

Destructor.

Definition at line 222 of file bool-expr.cpp.

---

Member Function Documentation

BoolVar Gecode::BoolExpr::expr	(	Home	home,
		IntConLevel	icl
	)			const

Post propagators for expression.

Definition at line 579 of file bool-expr.cpp.

void Gecode::BoolExpr::rel	(	Home	home,
		IntConLevel	icl
	)			const

Post propagators for relation.

Definition at line 585 of file bool-expr.cpp.

const BoolExpr & Gecode::BoolExpr::operator=

(

const BoolExpr &

e

)

Assignment operator.

Definition at line 210 of file bool-expr.cpp.

---

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

• gecode/minimodel.hh (Revision: 14471)
• gecode/minimodel/bool-expr.cpp (Revision: 13588)