DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Member Functions | List of all members
Diades::Altarica::IntegerDomainData Class Reference

#include <Domains.hh>

Public Member Functions

 IntegerDomainData ()
 
virtual ~IntegerDomainData ()
 
bool isFinite () const
 
virtual unsigned cardinality () const
 
bool contains (const Value &value) const
 
virtual DomainType domainType () const
 
DomainIterator begin () const
 
DomainIterator end () const
 
virtual DomainIterator find (const Value &value) const
 
Value defaultValue () const
 
virtual string printDomain () 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
 

Additional Inherited Members

- Protected Attributes inherited from Diades::Altarica::DomainData
unsigned _id
 
Type _type
 
DomainCategory _category
 
set< Identifier_otherNames
 

Detailed Description

An internal class that represents the integer domain. Do not use.

Definition at line 533 of file Domains.hh.

Constructor & Destructor Documentation

Diades::Altarica::IntegerDomainData::IntegerDomainData ( )
inline
virtual Diades::Altarica::IntegerDomainData::~IntegerDomainData ( )
inlinevirtual

Definition at line 541 of file Domains.hh.

Member Function Documentation

DomainIterator Diades::Altarica::IntegerDomainData::begin ( ) const
inlinevirtual
Returns
an iterator on -infinity
Postcondition
begin() == end(), i.e. do even try to enumerate the set of integers!!Use find to get more pertinent iterators.

Implements Diades::Altarica::DomainData.

Definition at line 554 of file Domains.hh.

virtual unsigned Diades::Altarica::IntegerDomainData::cardinality ( ) const
inlinevirtual
Returns
the number of elements in the domain, infinite if it is not finite

Implements Diades::Altarica::DomainData.

Definition at line 543 of file Domains.hh.

bool Diades::Altarica::IntegerDomainData::contains ( const Value value) const
inlinevirtual
Parameters
valuea Value
Returns
true if value is contained in the domain, false otherwise

Implements Diades::Altarica::DomainData.

Definition at line 544 of file Domains.hh.

References Diades::Altarica::TypeFactory::factory(), Diades::Altarica::TypeFactory::getInteger(), and Diades::Altarica::Value::type().

Value Diades::Altarica::IntegerDomainData::defaultValue ( ) const
inlinevirtual
Returns
a string that describe the content of the domain
the default value of the Domain

Implements Diades::Altarica::DomainData.

Definition at line 585 of file Domains.hh.

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

virtual DomainType Diades::Altarica::IntegerDomainData::domainType ( ) const
inlinevirtual
Returns
the type of the domain

Implements Diades::Altarica::DomainData.

Definition at line 546 of file Domains.hh.

References Diades::Altarica::Integers.

DomainIterator Diades::Altarica::IntegerDomainData::end ( ) const
inlinevirtual
Returns
an iterator on +infinity

Implements Diades::Altarica::DomainData.

Definition at line 562 of file Domains.hh.

Referenced by find().

virtual DomainIterator Diades::Altarica::IntegerDomainData::find ( const Value value) const
inlinevirtual
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.

Definition at line 570 of file Domains.hh.

References end(), Diades::Altarica::Value::integer(), Diades::Altarica::Type::isInteger(), and Diades::Altarica::Value::type().

bool Diades::Altarica::IntegerDomainData::isFinite ( ) const
inlinevirtual

Is the domain finite ?

Returns
true if the cardinality of the domain is finite

Implements Diades::Altarica::DomainData.

Definition at line 542 of file Domains.hh.

virtual string Diades::Altarica::IntegerDomainData::printDomain ( ) const
virtual
Returns
a string that describe the content of the domain

Implements Diades::Altarica::DomainData.


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