Diades::Altarica::ArrayDomainData Class Reference

#include <Domains.hh>

Public Member Functions
	ArrayDomainData (const Identifier &name, const DomainData *domain, unsigned size, unsigned id)
virtual	~ArrayDomainData ()
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
bool	operator< (const ArrayDomainData &domain) 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 Attributes
vector< const DomainData * >	_array
vector< DomainIterator >	_begin
vector< 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 652 of file Domains.hh.

Constructor & Destructor Documentation

Diades::Altarica::ArrayDomainData::ArrayDomainData	(	const Identifier &	name,
		const DomainData *	domain,
		unsigned	size,
		unsigned	id
	)

virtual Diades::Altarica::ArrayDomainData::~ArrayDomainData ( )

inlinevirtual

Definition at line 662 of file Domains.hh.

Member Function Documentation

virtual DomainIterator Diades::Altarica::ArrayDomainData::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 667 of file Domains.hh.

virtual unsigned Diades::Altarica::ArrayDomainData::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::ArrayDomainData::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::ArrayDomainData::defaultValue ( ) const

virtual

Returns

the default value of the Domain

Implements Diades::Altarica::DomainData.

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

inlinevirtual

Returns

the type of the domain

Implements Diades::Altarica::DomainData.

Definition at line 666 of file Domains.hh.

References Diades::Altarica::Array.

virtual DomainIterator Diades::Altarica::ArrayDomainData::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 671 of file Domains.hh.

virtual DomainIterator Diades::Altarica::ArrayDomainData::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.

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

virtual

Is the domain finite ?

Returns

true if the cardinality of the domain is finite

Implements Diades::Altarica::DomainData.

bool Diades::Altarica::ArrayDomainData::operator< ( const ArrayDomainData &  domain ) const

inline

Comparison operator

Definition at line 692 of file Domains.hh.

References _array, and Diades::Altarica::DomainData::name().

virtual string Diades::Altarica::ArrayDomainData::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 710 of file Domains.hh.

friend class VariableFactory

friend

Definition at line 709 of file Domains.hh.

Member Data Documentation

vector<const DomainData *> Diades::Altarica::ArrayDomainData::_array

private

Definition at line 655 of file Domains.hh.

Referenced by operator<().

vector<DomainIterator> Diades::Altarica::ArrayDomainData::_begin

private

Definition at line 656 of file Domains.hh.

vector<DomainIterator> Diades::Altarica::ArrayDomainData::_end

private

Definition at line 657 of file Domains.hh.

---

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

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