#include <PetriEventManager.hh>

Public Member Functions
	PetriEventManager ()

const EventId	temporalEvent () const

Public Member Functions inherited from Diades::Automata::Experimental::EventManager< _Event, _EventId, NullEvent, NullEventId, Hash >
	EventManager ()=default

	EventManager (EventManager const &other)=default

EventManager &	operator= (EventManager const &other)=default

	EventManager (EventManager &&other)=default

EventManager &	operator= (EventManager &&other)=default

virtual	~EventManager ()=default

bool	hasEvent (const Event &event) const

bool	hasEventId (EventId id) const

bool	setEvent (const Event &event, EventId id)

EventId	eventId (const Event &event)

const Event &	getEvent (EventId id) const

size_t	numberOfEvents () const

EventId	nullEventId () const

Event	nullEvent () const

Public Member Functions inherited from Diades::Utils::InfoManager< _Event, _EventId, NullEvent, NullEventId, Hash >
	InfoManager ()=default

	InfoManager (InfoManager const &other)=default

	InfoManager (InfoManager &&other)

InfoManager &	operator= (InfoManager const &other)

InfoManager &	operator= (InfoManager &&other)

virtual	~InfoManager ()=default

bool	hasInfo (const Info &info) const

bool	hasInfoId (InfoId id) const

bool	setInfo (const Info &info, InfoId id)

InfoId	infoId (const Info &info)

const Info &	getInfo (InfoId id) const

InfoManager &	initialise (unsigned capacity)

const std::vector< Info > &	storage () const

InfoIdIterator	begin () const

InfoIdIterator	end () const

InfoIdRangeInfoIterator< InfoIdIterator >	infoIdRangeInfoIterator (InfoIdIterator iterator) const

size_t	numberOfInfos () const

bool	isConsistentWith (const InfoManager &manager) const

bool	isEquivalentTo (const InfoManager &manager) const

InfoManager &	appendWith (const InfoManager &manager)

InfoManager &	makeIntersection (const InfoManager &m1, const InfoManager &m2)

InfoManager &	makeUnion (const InfoManager &m1, const InfoManager &m2)

bool	isNull (const Info &info) const

bool	isNullId (const InfoId &infoId) const

Static Public Member Functions
static PetriEventManager &	petriEventManager ()

Static Public Member Functions inherited from Diades::Automata::Experimental::EventManager< _Event, _EventId, NullEvent, NullEventId, Hash >
static string	typeName ()

Static Public Member Functions inherited from Diades::Utils::InfoManager< _Event, _EventId, NullEvent, NullEventId, Hash >
static string	typeName ()

Private Attributes
EventId	_temporalEvent

Additional Inherited Members
Public Types inherited from Diades::Automata::Experimental::EventManager< _Event, _EventId, NullEvent, NullEventId, Hash >
using	IM = InfoManager< _Event, _EventId, NullEvent, NullEventId, Hash >

using	Event = typename IM::Info

using	EventId = typename IM::InfoId

using	Exception = Diades::Utils::Exception< EventManager >

Public Types inherited from Diades::Utils::InfoManager< _Event, _EventId, NullEvent, NullEventId, Hash >
using	Info = _Event

using	InfoId = _EventId

using	NullInfo = NullEvent

using	NullInfoId = NullEventId

using	Hash = Hash

using	Exception = Diades::Utils::Exception< InfoManager >

using	InfoIdRangeInfoIterator = Diades::Utils::RangeMapperIterator< GetInfo< InfoIdIterator > >

Public Attributes inherited from Diades::Utils::InfoManager< _Event, _EventId, NullEvent, NullEventId, Hash >
const Info	nullInfo

const InfoId	nullInfoId

Protected Types inherited from Diades::Utils::InfoManager< _Event, _EventId, NullEvent, NullEventId, Hash >
using	Map = std::unordered_map< size_t, std::vector< InfoId > >

using	InfoIdIterator = typename std::vector< InfoId >::const_iterator

Protected Attributes inherited from Diades::Utils::InfoManager< _Event, _EventId, NullEvent, NullEventId, Hash >
Map	_infoMap

std::vector< Info >	_infos

std::vector< InfoId >	_infoIds

Detailed Description

This class is in charge of creating Event objects. The main idea is to avoid the creation of two objects containing the same data (EventData). When it is required to create an event, it is necessary to use the EventFactory.

Definition at line 28 of file PetriEventManager.hh.

Constructor & Destructor Documentation

◆ PetriEventManager()

Diades::Petri::PetriEventManager::PetriEventManager ( )

Default constructor

Returns: an empty EventFactory

Member Function Documentation

◆ petriEventManager()

static PetriEventManager& Diades::Petri::PetriEventManager::petriEventManager ( )

static

Referenced by Diades::Petri::LabelledNet::beginOfTransitionWithEvent(), Diades::Petri::LabelledNet::endOfTransitionWithEvent(), Diades::Petri::LabelledNet::nameOfTransition2Dot(), and Diades::Petri::LabelledNet::net2TinaTransitionName().

◆ temporalEvent()

const EventId Diades::Petri::PetriEventManager::temporalEvent ( ) const

inline

Definition at line 49 of file PetriEventManager.hh.

References _temporalEvent.

Member Data Documentation

◆ _temporalEvent

EventId Diades::Petri::PetriEventManager::_temporalEvent

private

Definition at line 36 of file PetriEventManager.hh.

Referenced by temporalEvent().

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

/home/yannick/laas/redmine/tools/diades/include/diades/petri/PetriEventManager.hh

Public Member Functions

Static Public Member Functions

Private Attributes

Additional Inherited Members