#include <Domains.hh>

Public Member Functions
	RangeDomainData (const Identifier &name, Value min, Value max, unsigned id)

virtual	~RangeDomainData ()

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

bool	operator< (const RangeDomainData &domain) 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 Attributes
Value	_min

Value	_max

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

Type	_type

DomainCategory	_category

set< Identifier >	_otherNames

Detailed Description

Definition at line 336 of file Domains.hh.

Constructor & Destructor Documentation

Diades::Altarica::RangeDomainData::RangeDomainData	(	const Identifier &	name,
		Value	min,
		Value	max,
		unsigned	id
	)

inline

Definition at line 343 of file Domains.hh.

References Diades::Altarica::DomainData::_category, Diades::Altarica::DomainData::_id, Diades::Altarica::DomainData::_type, Diades::Altarica::TypeFactory::factory(), Diades::Altarica::TypeFactory::getInteger(), Diades::Altarica::DomainData::id(), and Diades::Altarica::Simple.

virtual Diades::Altarica::RangeDomainData::~RangeDomainData ( )

inlinevirtual

Definition at line 351 of file Domains.hh.

Member Function Documentation

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

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

inlinevirtual

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

Implements Diades::Altarica::DomainData.

Definition at line 353 of file Domains.hh.

References Diades::Altarica::Value::integer().

Referenced by operator<().

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

inlinevirtual

Parameters

value a Value

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

Implements Diades::Altarica::DomainData.

Definition at line 354 of file Domains.hh.

References _max.

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

inlinevirtual

Returns: the default value of the Domain

Implements Diades::Altarica::DomainData.

Definition at line 407 of file Domains.hh.

References _min.

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

inlinevirtual

Returns: the type of the domain

Implements Diades::Altarica::DomainData.

Definition at line 355 of file Domains.hh.

References Diades::Altarica::Range.

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

References Diades::Altarica::ValueFactory::factory(), Diades::Altarica::getValue(), and Diades::Altarica::Value::integer().

Referenced by find().

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