Gecode::SetExpr Class Reference

Set expressions More...

#include <minimodel.hh>

List of all members.

Classes
class	NNF
	Node for negation normalform (NNF) More...
class	Node
	Node for set expression More...
Public Types
enum	NodeType {   NT_VAR, NT_CONST, NT_LEXP, NT_CMPL,   NT_INTER, NT_UNION, NT_DUNION }
	Type of set expression. More...
Public Member Functions
	SetExpr (void)
	Default constructor.
	SetExpr (const SetExpr &e)
	Copy constructor.
	SetExpr (const SetExpr &l, NodeType t, const SetExpr &r)
	Construct expression for type and subexpresssions.
	SetExpr (const SetVar &x)
	Construct expression for variable.
	SetExpr (const LinExpr &x)
	Construct expression for integer variable.
	SetExpr (const IntSet &s)
	Construct expression for constant.
	SetExpr (const SetExpr &e, NodeType t)
	Construct expression for negation.
SetVar	post (Home home) const
	Post propagators for expression.
void	post (Home home, SetRelType srt, const SetExpr &e) const
	Post propagators for relation.
void	post (Home home, BoolVar b, bool t, SetRelType srt, const SetExpr &e) const
	Post propagators for reified relation.
const SetExpr &	operator= (const SetExpr &e)
	Assignment operator.
	~SetExpr (void)
	Destructor.
Static Public Member Functions
static bool	same (NodeType t0, NodeType t1)
	Check if types agree.

---

Detailed Description

Set expressions

Definition at line 714 of file minimodel.hh.

---

Member Enumeration Documentation

enum Gecode::SetExpr::NodeType

Type of set expression.

Enumerator:

NT_VAR	Variable.
NT_CONST	Constant.
NT_LEXP	Linear expression.
NT_CMPL	Complement.
NT_INTER	Intersection.
NT_UNION	Union.
NT_DUNION	Disjoint union.

Definition at line 717 of file minimodel.hh.

---

Constructor & Destructor Documentation

Gecode::SetExpr::SetExpr

(

void

)

[inline]

Default constructor.

Definition at line 59 of file set-expr.hpp.

Gecode::SetExpr::SetExpr

(

const SetExpr &

e

)

[inline]

Copy constructor.

Definition at line 62 of file set-expr.hpp.

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

Construct expression for type and subexpresssions.

Definition at line 87 of file set-expr.cpp.

Gecode::SetExpr::SetExpr

(

const SetVar &

x

)

Construct expression for variable.

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

Gecode::SetExpr::SetExpr

(

const LinExpr &

x

)

[explicit]

Construct expression for integer variable.

Definition at line 79 of file set-expr.cpp.

Gecode::SetExpr::SetExpr

(

const IntSet &

s

)

Construct expression for constant.

Definition at line 71 of file set-expr.cpp.

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

Construct expression for negation.

Definition at line 99 of file set-expr.cpp.

Gecode::SetExpr::~SetExpr

(

void

)

Destructor.

Definition at line 126 of file set-expr.cpp.

---

Member Function Documentation

bool Gecode::SetExpr::same	(	NodeType	t0,
		NodeType	t1
	)			[inline, static]

Check if types agree.

Definition at line 67 of file set-expr.hpp.

SetVar Gecode::SetExpr::post

(

Home

home

)

const [inline]

Post propagators for expression.

Definition at line 72 of file set-expr.hpp.

void Gecode::SetExpr::post	(	Home	home,
		SetRelType	srt,
		const SetExpr &	e
	)			const [inline]

Post propagators for relation.

Definition at line 81 of file set-expr.hpp.

void Gecode::SetExpr::post	(	Home	home,
		BoolVar	b,
		bool	t,
		SetRelType	srt,
		const SetExpr &	e
	)			const [inline]

Post propagators for reified relation.

Definition at line 86 of file set-expr.hpp.

const SetExpr & Gecode::SetExpr::operator=

(

const SetExpr &

e

)

Assignment operator.

Definition at line 116 of file set-expr.cpp.

---

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

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