Event generator and storage. More...

#include <Event.hh>

Public Member Functions
	EventFactory ()

const vector< Event > &	events () const

const Event &	getEvent (const EventDecl &decl, const Node &scope)

Private Attributes
unordered_map< string, unsigned >	_storage

vector< Event >	_events

Detailed Description

Event generator and storage.

An EventFactory generates and stores the instanciation of EventDecl within a Node (BddNode)

Definition at line 138 of file Event.hh.

Constructor & Destructor Documentation

◆ EventFactory()

Diades::Altarica::EventFactory::EventFactory ( )

inline

Default constructor

Definition at line 156 of file Event.hh.

Member Function Documentation

◆ events()

const vector<Event>& Diades::Altarica::EventFactory::events ( ) const

inline

Returns: the set of generated events

Definition at line 166 of file Event.hh.

Referenced by Diades::Altarica::BddNode::events().

◆ getEvent()

const Event& Diades::Altarica::EventFactory::getEvent	(	const EventDecl &	decl,
		const Node &	scope
	)

Get/Create a Event

Parameters

decl
scope

Returns: the Event whose declaration is decl and its scope is 'scope'

Member Data Documentation

◆ _events

vector<Event> Diades::Altarica::EventFactory::_events

private

_events where the Events are stored

Definition at line 149 of file Event.hh.

◆ _storage

unordered_map<string,unsigned> Diades::Altarica::EventFactory::_storage

private

_dictionary where the Event are indexed

Definition at line 144 of file Event.hh.

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

include/diades/altarica/Event.hh

Public Member Functions

Private Attributes