DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#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 |
An internal class that represents the integer domain. Do not use.
Definition at line 533 of file Domains.hh.
|
inline |
Definition at line 536 of file Domains.hh.
References Diades::Altarica::DomainData::_category, Diades::Altarica::DomainData::_type, Diades::Altarica::TypeFactory::factory(), Diades::Altarica::TypeFactory::getInteger(), and Diades::Altarica::Simple.
|
inlinevirtual |
Definition at line 541 of file Domains.hh.
|
inlinevirtual |
Implements Diades::Altarica::DomainData.
Definition at line 554 of file Domains.hh.
|
inlinevirtual |
Implements Diades::Altarica::DomainData.
Definition at line 543 of file Domains.hh.
|
inlinevirtual |
value | a Value |
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().
|
inlinevirtual |
Implements Diades::Altarica::DomainData.
Definition at line 585 of file Domains.hh.
References Diades::Altarica::ValueFactory::factory(), and Diades::Altarica::ValueFactory::getValue().
|
inlinevirtual |
Implements Diades::Altarica::DomainData.
Definition at line 546 of file Domains.hh.
References Diades::Altarica::Integers.
|
inlinevirtual |
Implements Diades::Altarica::DomainData.
Definition at line 562 of file Domains.hh.
Referenced by find().
|
inlinevirtual |
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().
|
inlinevirtual |
Is the domain finite ?
Implements Diades::Altarica::DomainData.
Definition at line 542 of file Domains.hh.
|
virtual |
Implements Diades::Altarica::DomainData.