Generated on Wed Mar 19 07:30:11 2008 for Gecode by doxygen 1.5.5

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)
 Construct specification for a variable.
 VarSpec (const VarSpec &s)
 Copy constructor.
const VarSpecoperator= (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.
Argdom (void) const
 Get the domain of this variable.
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 517 of file reflection.cc.

Gecode::Reflection::VarSpec::VarSpec ( Support::Symbol  vti,
Arg domain 
)

Construct specification for a variable.

Definition at line 519 of file reflection.cc.

Gecode::Reflection::VarSpec::VarSpec ( const VarSpec s  ) 

Copy constructor.

Definition at line 522 of file reflection.cc.

Gecode::Reflection::VarSpec::~VarSpec ( void   ) 

Destructor.

Definition at line 539 of file reflection.cc.


Member Function Documentation

const VarSpec & Gecode::Reflection::VarSpec::operator= ( const VarSpec s  ) 

Assignment operator.

Definition at line 528 of file reflection.cc.

void Gecode::Reflection::VarSpec::name ( const Support::Symbol n0  ) 

Set the name for this variable.

Definition at line 545 of file reflection.cc.

Support::Symbol Gecode::Reflection::VarSpec::name ( void   )  const

Get the name of this variable.

Definition at line 552 of file reflection.cc.

bool Gecode::Reflection::VarSpec::hasName ( void   )  const

Return if variable has a name.

Definition at line 559 of file reflection.cc.

Arg * Gecode::Reflection::VarSpec::dom ( void   )  const

Get the domain of this variable.

Definition at line 573 of file reflection.cc.

Support::Symbol Gecode::Reflection::VarSpec::vti ( void   )  const

Definition at line 566 of file reflection.cc.


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