Gecode::Reflection::Unreflector Class Reference
[Reflection API]

List of all members.

---

Detailed Description

Unreflection from VarSpec and ActorSpec

An Unreflector allows you to install variables and propagators in a Space using variable and actor specifications.

Definition at line 743 of file reflection.icc.

Public Member Functions
	Unreflector (Space *home0, Reflection::VarMap &m0)
	Constructor.
	~Unreflector (void)
	Destructor.
Reflection::VarMap &	varMap (void) const
	Return the VarMap.
void	var (Reflection::VarSpec &spec)
	Create a new variable from spec.
void	post (Reflection::ActorSpec &spec)
	Post the constraint defined by spec.

---

Constructor & Destructor Documentation

Gecode::Reflection::Unreflector::Unreflector	(	Space *	home0,
		Reflection::VarMap &	m0
	)

Constructor.

Definition at line 896 of file reflection.cc.

Gecode::Reflection::Unreflector::~Unreflector

(

void

)

Destructor.

Definition at line 899 of file reflection.cc.

---

Member Function Documentation

Reflection::VarMap & Gecode::Reflection::Unreflector::varMap

(

void

)

const

Return the VarMap.

Definition at line 902 of file reflection.cc.

void Gecode::Reflection::Unreflector::var

(

Reflection::VarSpec &

spec

)

Create a new variable from spec.

Definition at line 907 of file reflection.cc.

void Gecode::Reflection::Unreflector::post

(

Reflection::ActorSpec &

spec

)

Post the constraint defined by spec.

Definition at line 921 of file reflection.cc.

---

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

• gecode/kernel/reflection.icc (Revision: 7297)
• gecode/kernel/reflection.cc (Revision: 7297)