Diades::Altarica::BooleanDomain Class Reference

#include <Domains.hh>

Inheritance diagram for Diades::Altarica::BooleanDomain:

Public Member Functions
	BooleanDomain (DomainFactory &factory)
virtual	~BooleanDomain ()
virtual bool	isFinite () const
virtual unsigned	cardinality () const
virtual DomainType	domainType () const
virtual bool	contains (const Value &value) const
virtual DomainIterator	begin () const
virtual DomainIterator	end () const
virtual DomainIterator	find (const Value &value) const
virtual string	printDomain () const
const Value &	defaultValue () const
Public Member Functions inherited from Diades::Altarica::Domain
unsigned	id () const
const Identifier &	name () const
set< Identifier >::const_iterator	otherNameBegin () const
set< Identifier >::const_iterator	otherNameEnd () const
virtual	~Domain ()
Category	category () const
const Type &	type () const
const AltaricaModel &	owner () const
AltaricaModel &	owner ()
bool	operator< (const Domain &domain) const
bool	operator== (const Domain &domain) const
bool	operator!= (const Domain &domain) const
bool	isNull () const

Private Attributes
Value::ConstReference	_isTrue
Value::ConstReference	_isFalse

Friends
class	DomainIterator

Additional Inherited Members
Public Types inherited from Diades::Altarica::Domain
enum	Category { InvalidDomain, Simple, Arrayed, Structured }
enum	DomainType {   NotADomain, Range, Enumeration, Integers,   Booleans, Structure, Array }
typedef reference_wrapper< Domain >	Reference
typedef reference_wrapper< Domain const >	ConstReference
typedef Domain *	Pointer
typedef const Domain *	ConstPointer
typedef map< Identifier, ConstReference >	StructureFields
typedef DomainIterator	Iterator
Protected Member Functions inherited from Diades::Altarica::Domain
void	setId (unsigned id)
	Domain (const Identifier &name, DomainFactory &factory)
void	setName (const Identifier &name)
void	setOtherName (const Identifier &name) const
Protected Attributes inherited from Diades::Altarica::Domain
DomainFactory &	_factory
Identifier	_name
unsigned	_id
Type::ConstReference	_type
Category	_category
set< Identifier >	_otherNames

Detailed Description

Definition at line 561 of file Domains.hh.

Constructor & Destructor Documentation

BooleanDomain()

Diades::Altarica::BooleanDomain::BooleanDomain

(

DomainFactory &

factory

)

~BooleanDomain()

virtual Diades::Altarica::BooleanDomain::~BooleanDomain ( )

inlinevirtual

Definition at line 568 of file Domains.hh.

Member Function Documentation

begin()

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

Definition at line 573 of file Domains.hh.

References Diades::Altarica::DomainIterator::DomainIterator().

cardinality()

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

inlinevirtual

Returns

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

Implements Diades::Altarica::Domain.

Definition at line 570 of file Domains.hh.

contains()

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

virtual

Parameters

value

a Value

Returns

true if value is contained in the domain, false otherwise

Implements Diades::Altarica::Domain.

defaultValue()

const Value& Diades::Altarica::BooleanDomain::defaultValue ( ) const

inlinevirtual

Returns

the default value of the Domain

Implements Diades::Altarica::Domain.

Definition at line 607 of file Domains.hh.

domainType()

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

inlinevirtual

Returns

the type of the domain

Implements Diades::Altarica::Domain.

Definition at line 571 of file Domains.hh.

References Diades::Altarica::DomainIterator::Booleans.

end()

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

Definition at line 577 of file Domains.hh.

References Diades::Altarica::DomainIterator::DomainIterator().

find()

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

Definition at line 585 of file Domains.hh.

References Diades::Altarica::Value::boolean(), Diades::Altarica::DomainIterator::DomainIterator(), Diades::Altarica::Type::isBoolean(), and Diades::Altarica::Value::type().

isFinite()

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

inlinevirtual

Is the domain finite ?

Returns

true if the cardinality of the domain is finite

Implements Diades::Altarica::Domain.

Definition at line 569 of file Domains.hh.

printDomain()

virtual string Diades::Altarica::BooleanDomain::printDomain ( ) const

virtual

Returns

a string that describe the content of the domain

Implements Diades::Altarica::Domain.

Friends And Related Function Documentation

DomainIterator

friend class DomainIterator

friend

Definition at line 609 of file Domains.hh.

Member Data Documentation

_isFalse

Value::ConstReference Diades::Altarica::BooleanDomain::_isFalse

private

Definition at line 565 of file Domains.hh.

_isTrue

Value::ConstReference Diades::Altarica::BooleanDomain::_isTrue

private

Definition at line 564 of file Domains.hh.

---

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

• include/diades/altarica/Domains.hh