Diades::Petri::Extensions Class Reference

list of Extension objects More...

#include <Extensions.hh>

Public Member Functions
	Extensions ()
bool	empty () const
void	selectMinimalExtension (Extension &extension)
void	removeExtension (Extension &extension)
void	addExtension (const Extension &extension)
void	append (Extensions &extensions)
void	clear ()

Private Attributes
PartialOrder< Extension, AdequateOrder, ExtensionEquality >	_order

Detailed Description

list of Extension objects

Definition at line 42 of file Extensions.hh.

Constructor & Destructor Documentation

Extensions()

Diades::Petri::Extensions::Extensions

(

)

default constructor

Member Function Documentation

addExtension()

void Diades::Petri::Extensions::addExtension

(

const Extension &

extension

)

Parameters

extension

the Extension to add

append()

void Diades::Petri::Extensions::append

(

Extensions &

extensions

)

Parameters

extensions

the Extensions to append to the current one

clear()

void Diades::Petri::Extensions::clear

(

)

Clear the extensions

empty()

bool Diades::Petri::Extensions::empty

(

)

const

Returns

true if there is no Extension in the current set

removeExtension()

void Diades::Petri::Extensions::removeExtension

(

Extension &

extension

)

Remove an Extension from the current set

Parameters

extension

the Extension to remove

selectMinimalExtension()

void Diades::Petri::Extensions::selectMinimalExtension

(

Extension &

extension

)

Select the minimal extension with respect to an adequate order

Parameters

extension

the selected extension is updated

Member Data Documentation

_order

PartialOrder<Extension,AdequateOrder,ExtensionEquality> Diades::Petri::Extensions::_order

private

_extensions sorted set of Extension elements. The order of the Extension objects is the ones of the Extension.

Definition at line 49 of file Extensions.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/petri/Extensions.hh