#include <Domains.hh>

Public Member Functions
	StructureDomainData (const Identifier &name, const map< Identifier, const DomainData * > &structure, unsigned id)

virtual	~StructureDomainData ()

virtual bool	isFinite () const

virtual unsigned	cardinality () const

virtual bool	contains (const Value &value) const

virtual DomainType	domainType () const

virtual DomainIterator	begin () const

virtual DomainIterator	end () const

virtual DomainIterator	find (const Value &value) const

virtual string	printDomain () const

Value	defaultValue () const

Public Member Functions inherited from Diades::Altarica::DomainData
	DomainData ()

	DomainData (const Identifier &name)

void	setId (unsigned id)

unsigned	id () const

void	setName (const string &name)

void	setOtherName (const string &name) const

const string &	name () const

set< Identifier >::const_iterator	otherNameBegin () const

set< Identifier >::const_iterator	otherNameEnd () const

virtual	~DomainData ()

DomainCategory	category () const

Type	type () const

bool	operator< (const DomainData &domain) const

Private Member Functions
void	generateStructuredBeginAndEnd (map< Identifier, DomainIterator > &begin, map< Identifier, DomainIterator > &end)

Private Attributes
map< Identifier, const DomainData * >	_structure

map< Identifier, DomainIterator >	_begin

map< Identifier, DomainIterator >	_end

Friends
class	VariableFactory

class	VariableData

Additional Inherited Members
Protected Attributes inherited from Diades::Altarica::DomainData
unsigned	_id

Type	_type

DomainCategory	_category

set< Identifier >	_otherNames

Detailed Description

Definition at line 596 of file Domains.hh.

Constructor & Destructor Documentation

Diades::Altarica::StructureDomainData::StructureDomainData	(	const Identifier &	name,
		const map< Identifier, const DomainData * > &	structure,
		unsigned	id
	)

inline

Definition at line 606 of file Domains.hh.

References Diades::Altarica::DomainData::_category, Diades::Altarica::DomainData::_id, generateStructuredBeginAndEnd(), Diades::Altarica::DomainData::id(), and Diades::Altarica::Structured.

virtual Diades::Altarica::StructureDomainData::~StructureDomainData ( )

inlinevirtual

Definition at line 616 of file Domains.hh.

Member Function Documentation

virtual DomainIterator Diades::Altarica::StructureDomainData::begin ( ) const

inlinevirtual

Returns: a forward iterator on the first element of the domain if this domain is finite, if the domain is not finite, return an end-forward iterator (i.e. begin() == end())

Implements Diades::Altarica::DomainData.

Definition at line 621 of file Domains.hh.

virtual unsigned Diades::Altarica::StructureDomainData::cardinality ( ) const

virtual

Returns: the number of elements in the domain, infinite if it is not finite

Implements Diades::Altarica::DomainData.

virtual bool Diades::Altarica::StructureDomainData::contains ( const Value & value ) const

virtual

Parameters

value a Value

Returns: true if value is contained in the domain, false otherwise

Implements Diades::Altarica::DomainData.

Value Diades::Altarica::StructureDomainData::defaultValue ( ) const

virtual

Returns: the default value of the Domain

Implements Diades::Altarica::DomainData.

virtual DomainType Diades::Altarica::StructureDomainData::domainType ( ) const

inlinevirtual

Returns: the type of the domain

Implements Diades::Altarica::DomainData.

Definition at line 620 of file Domains.hh.

References Diades::Altarica::Structure.

virtual DomainIterator Diades::Altarica::StructureDomainData::end ( ) const

inlinevirtual

Returns: a forward iterator on the element after the last element of the domain if this domain is finite, if the domain is not finite, return an end-forward iterator (i.e. begin() == end())

Implements Diades::Altarica::DomainData.

Definition at line 625 of file Domains.hh.

virtual DomainIterator Diades::Altarica::StructureDomainData::find ( const Value & value ) const

virtual

Returns: an iterator on the Domain which is a reference to the value 'value'. end() if such a Value does not exists

Implements Diades::Altarica::DomainData.

void Diades::Altarica::StructureDomainData::generateStructuredBeginAndEnd	(	map< Identifier, DomainIterator > &	begin,
		map< Identifier, DomainIterator > &	end
	)

private

Referenced by StructureDomainData().

virtual bool Diades::Altarica::StructureDomainData::isFinite ( ) const

virtual

Is the domain finite ?

Returns: true if the cardinality of the domain is finite

Implements Diades::Altarica::DomainData.

virtual string Diades::Altarica::StructureDomainData::printDomain ( ) const

virtual

Returns: a string that describe the content of the domain

Implements Diades::Altarica::DomainData.

Friends And Related Function Documentation

friend class VariableData

friend

Definition at line 644 of file Domains.hh.

friend class VariableFactory

friend

Definition at line 643 of file Domains.hh.

Member Data Documentation

map<Identifier, DomainIterator> Diades::Altarica::StructureDomainData::_begin

private

Definition at line 600 of file Domains.hh.

map<Identifier, DomainIterator> Diades::Altarica::StructureDomainData::_end

private

Definition at line 601 of file Domains.hh.

map<Identifier, const DomainData *> Diades::Altarica::StructureDomainData::_structure

private

Definition at line 599 of file Domains.hh.

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

/home/yannick/compilation/stable/include/dialtarica/Domains.hh

Public Member Functions

Private Member Functions

Private Attributes

Friends

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation

Member Data Documentation