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

List of all members.

---

Detailed Description

Generic variables.

A generic variable can represent any Gecode variable. It can be used in VarArrays, and it supports generic update during cloning.

Definition at line 707 of file reflection.icc.

Public Member Functions
	Var (void)
	Default constructor.
template<class VarImp>
	Var (const VarBase< VarImp > &v)
	Construct from v.
	Var (const Var &v)
	Construct from v.
	Var (VarImpBase *var, const Support::Symbol &vti)
	Construct from var with variable type identifier vti.
void	update (Space *home, bool share, Var &v)
	Update during cloning.
std::ostream &	print (std::ostream &os) const
	Output to os.
Arg *	spec (const Space *home, VarMap &vm) const
	Reflection.
VarImpBase *	varImpBase (void) const
	Cast to variable implementation base.
template<class VarImp>
VarImp *	var (void) const
	Cast to concrete variable type.

---

Constructor & Destructor Documentation

Gecode::Reflection::Var::Var

(

void

)

[inline]

Default constructor.

Definition at line 768 of file reflection.icc.

template<class VarImp>

Gecode::Reflection::Var::Var

(

const VarBase< VarImp > &

v

)

[inline, explicit]

Construct from v.

Definition at line 772 of file reflection.icc.

Gecode::Reflection::Var::Var

(

const Var &

v

)

[inline]

Construct from v.

Definition at line 778 of file reflection.icc.

Gecode::Reflection::Var::Var	(	VarImpBase *	var,
		const Support::Symbol &	vti
	)			[inline]

Construct from var with variable type identifier vti.

Definition at line 781 of file reflection.icc.

---

Member Function Documentation

void Gecode::Reflection::Var::update	(	Space *	home,
		bool	share,
		Var &	v
	)

Update during cloning.

Definition at line 928 of file reflection.cc.

std::ostream & Gecode::Reflection::Var::print

(

std::ostream &

os

)

const

Output to os.

Definition at line 934 of file reflection.cc.

Arg * Gecode::Reflection::Var::spec	(	const Space *	home,
		VarMap &	vm
	)			const

Reflection.

Definition at line 939 of file reflection.cc.

VarImpBase * Gecode::Reflection::Var::varImpBase

(

void

)

const [inline]

Cast to variable implementation base.

Definition at line 785 of file reflection.icc.

template<class VarImp>

VarImp * Gecode::Reflection::Var::var

(

void

)

const [inline]

Cast to concrete variable type.

Definition at line 791 of file reflection.icc.

---

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

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