#include <Domains.hh>

Public Member Functions
	DomainData ()

	DomainData (const Identifier &name)

void	setId (unsigned id)

unsigned	id () const

virtual string	printDomain () const =0

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 ()

virtual bool	isFinite () const =0

virtual unsigned	cardinality () const =0

virtual bool	contains (const Value &value) const =0

virtual DomainIterator	begin () const =0

virtual DomainIterator	end () const =0

virtual DomainIterator	find (const Value &value) const =0

virtual DomainType	domainType () const =0

DomainCategory	category () const

virtual Value	defaultValue () const =0

Type	type () const

bool	operator< (const DomainData &domain) const

Protected Attributes
unsigned	_id

Type	_type

DomainCategory	_category

set< Identifier >	_otherNames

Private Attributes
Identifier	_name

Detailed Description

This class defines the internal representation of a Domain. This class is a virtual class that cannot be instanciated. It is used as an abstraction for the set of available domain types.

Definition at line 180 of file Domains.hh.

Constructor & Destructor Documentation

Diades::Altarica::DomainData::DomainData ( )

inline

Default constructor

Definition at line 197 of file Domains.hh.

Diades::Altarica::DomainData::DomainData ( const Identifier & name )

inline

Default constructor

Definition at line 202 of file Domains.hh.

virtual Diades::Altarica::DomainData::~DomainData ( )

inlinevirtual

Destructor

Definition at line 272 of file Domains.hh.

Member Function Documentation

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

pure virtual

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())

Implemented in Diades::Altarica::ArrayDomainData, Diades::Altarica::StructureDomainData, Diades::Altarica::IntegerDomainData, Diades::Altarica::BooleanDomainData, Diades::Altarica::EnumerationDomainData, and Diades::Altarica::RangeDomainData.

Referenced by Diades::Altarica::Domain::begin().

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

pure virtual

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

Implemented in Diades::Altarica::ArrayDomainData, Diades::Altarica::StructureDomainData, Diades::Altarica::IntegerDomainData, Diades::Altarica::BooleanDomainData, Diades::Altarica::EnumerationDomainData, and Diades::Altarica::RangeDomainData.

Referenced by Diades::Altarica::Domain::cardinality().

DomainCategory Diades::Altarica::DomainData::category ( ) const

inline

Returns: the category of the domain

Definition at line 312 of file Domains.hh.

References _category.

Referenced by Diades::Altarica::Domain::category().

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

pure virtual

Parameters

value a Value

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

Implemented in Diades::Altarica::ArrayDomainData, Diades::Altarica::StructureDomainData, Diades::Altarica::IntegerDomainData, Diades::Altarica::BooleanDomainData, Diades::Altarica::EnumerationDomainData, and Diades::Altarica::RangeDomainData.

Referenced by Diades::Altarica::Domain::contains().

virtual Value Diades::Altarica::DomainData::defaultValue ( ) const

pure virtual

Returns: the default value of the Domain

Implemented in Diades::Altarica::ArrayDomainData, Diades::Altarica::StructureDomainData, Diades::Altarica::IntegerDomainData, Diades::Altarica::BooleanDomainData, Diades::Altarica::EnumerationDomainData, and Diades::Altarica::RangeDomainData.

Referenced by Diades::Altarica::Domain::defaultValue().

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

pure virtual

Returns: the type of the domain

Implemented in Diades::Altarica::ArrayDomainData, Diades::Altarica::StructureDomainData, Diades::Altarica::IntegerDomainData, Diades::Altarica::BooleanDomainData, Diades::Altarica::EnumerationDomainData, and Diades::Altarica::RangeDomainData.

Referenced by Diades::Altarica::Domain::domainType().

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

pure virtual

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())

Implemented in Diades::Altarica::ArrayDomainData, Diades::Altarica::StructureDomainData, Diades::Altarica::IntegerDomainData, Diades::Altarica::BooleanDomainData, Diades::Altarica::EnumerationDomainData, and Diades::Altarica::RangeDomainData.

Referenced by Diades::Altarica::Domain::end().

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

pure virtual