Gecode::BoolExpr Class Reference

Boolean expressions. More...

#include <minimodel.hh>

List of all members.

Classes
class	MiscExpr
	Miscealloneous Boolean expressions. More...
class	NNF
	Node for negation normalform (NNF) 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_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 LinRel &rl)
	Construct expression for reified linear 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 956 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_RSET	Reified set relation.
NT_MISC	Other Boolean expression.

Definition at line 959 of file minimodel.hh.

---

Constructor & Destructor Documentation

Gecode::BoolExpr::BoolExpr

(

void

)

Default constructor.

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

Gecode::BoolExpr::BoolExpr

(

const BoolExpr &

e

)

[inline]

Copy constructor.

Definition at line 69 of file bool-expr.hpp.

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

Construct expression for type and subexpresssions.

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

Gecode::BoolExpr::BoolExpr

(

const BoolVar &

x

)

Construct expression for variable.

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

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

Construct expression for negation.

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

Gecode::BoolExpr::BoolExpr

(

const LinRel &

rl

)

Construct expression for reified linear relation.

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

Gecode::BoolExpr::BoolExpr

(

const SetRel &

rs

)

Construct expression for reified set relation.

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

Gecode::BoolExpr::BoolExpr

(

const SetCmpRel &

rs

)

Construct expression for reified set relation.

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

Gecode::BoolExpr::BoolExpr

(

BoolExpr::MiscExpr *

m

)

[explicit]

Construct expression for miscellaneous Boolean expression.

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

Gecode::BoolExpr::~BoolExpr

(

void

)

Destructor.

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

---

Member Function Documentation

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

Post propagators for expression.

Definition at line 74 of file bool-expr.hpp.

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

Post propagators for relation.

Definition at line 80 of file bool-expr.hpp.

const BoolExpr & Gecode::BoolExpr::operator=

(

const BoolExpr &

e

)

Assignment operator.

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

---

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

• gecode/minimodel.hh (Revision: 12537)
• gecode/minimodel/bool-expr.cpp (Revision: 12537)
• gecode/minimodel/bool-expr.hpp (Revision: 12537)