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

List of all members.

---

Detailed Description

Variable specification

A VarSpec contains an abstract specification of a variable implementation. These specifications are typically stored in a VarMap.

The type of the variable is represented as a Symbol and called vti (variable type identifier). In order to find out what type of variable a VarSpec corresponds to, you can compare the vti with VarImp::vti of a concrete variable type (e.g. IntVarImp::vti).

The domain of a variable is represented as an Arg. The concrete encoding depends on the variable type.

Definition at line 299 of file reflection.icc.

Public Member Functions
	VarSpec (void)
	Construct empty VarSpec.
	VarSpec (Support::Symbol vti, Arg *domain, bool assigned=false)
	Construct specification for a variable.
	VarSpec (const VarSpec &s)
	Copy constructor.
const VarSpec &	operator= (const VarSpec &s)
	Assignment operator.
	~VarSpec (void)
	Destructor.
void	name (const Support::Symbol &n0)
	Set the name for this variable.
Support::Symbol	name (void) const
	Get the name of this variable.
bool	hasName (void) const
	Return if variable has a name.
Arg *	dom (void) const
	Get the domain of this variable.
bool	assigned (void) const
	Return whether variable is assigned.
Support::Symbol	vti (void) const
Classes
class	Domain
	Implementation of a VarSpec, holding all information about a variable. More...

---

Constructor & Destructor Documentation

Gecode::Reflection::VarSpec::VarSpec

(

void

)

Construct empty VarSpec.

Definition at line 540 of file reflection.cc.

Gecode::Reflection::VarSpec::VarSpec	(	Support::Symbol	vti,
		Arg *	domain,
		bool	assigned = false
	)

Construct specification for a variable.

Definition at line 542 of file reflection.cc.

Gecode::Reflection::VarSpec::VarSpec

(

const VarSpec &

s

)

Copy constructor.

Definition at line 545 of file reflection.cc.

Gecode::Reflection::VarSpec::~VarSpec

(

void

)

Destructor.

Definition at line 562 of file reflection.cc.

---

Member Function Documentation

const VarSpec & Gecode::Reflection::VarSpec::operator=

(

const VarSpec &

s

)

Assignment operator.

Definition at line 551 of file reflection.cc.

void Gecode::Reflection::VarSpec::name

(

const Support::Symbol &

n0

)

Set the name for this variable.

Definition at line 568 of file reflection.cc.

Support::Symbol Gecode::Reflection::VarSpec::name

(

void

)

const

Get the name of this variable.

Definition at line 575 of file reflection.cc.

bool Gecode::Reflection::VarSpec::hasName

(

void

)

const

Return if variable has a name.

Definition at line 582 of file reflection.cc.

Arg * Gecode::Reflection::VarSpec::dom

(

void

)

const

Get the domain of this variable.

Definition at line 596 of file reflection.cc.

bool Gecode::Reflection::VarSpec::assigned

(

void

)

const

Return whether variable is assigned.

Definition at line 603 of file reflection.cc.

Support::Symbol Gecode::Reflection::VarSpec::vti

(

void

)

const

Definition at line 589 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)