DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Types | Public Member Functions | Private Types | Private Attributes | List of all members
Diades::Automata::ConnectionMap Class Reference

#include <ConnectionMap.hh>

Public Types

typedef vector< Event >::const_iterator EventIterator
 

Public Member Functions

 ConnectionMap ()
 
 ConnectionMap (const Topology &topology, Topology::Connection connection)
 
 ConnectionMap (const ConnectionMap &map)
 
ConnectionMapoperator= (const ConnectionMap &map)
 
bool null () const
 
bool valid () const
 
const Topologytopology () const
 
Topology::Connection connection () const
 
void mapComponentToNode (const ObservableComponent &component, Node node)
 
void mapEventToNode (Event event, Node node)
 
Event getEvent (Node node) const
 
Event getEvent (const ObservableComponent &component) const
 
const ObservableComponentgetComponent (Node node) const
 
Node getNode (const ObservableComponent &component) const
 
EventIterator eventBegin () const
 
EventIterator eventEnd () const
 

Private Types

typedef const ObservableComponentComponentPointer
 

Private Attributes

const Topology_topology
 
Topology::Connection _connection
 
vector< ComponentPointer_components
 
vector< Topology::Node_componentNodes
 
vector< Event_events
 
unordered_map< Node, vector< Topology::Node >::size_type > _nodeMapping
 
unordered_map< ComponentPointer, vector< Topology::Node >::size_type > _componentMapping
 

Detailed Description

Definition at line 19 of file ConnectionMap.hh.

Member Typedef Documentation

◆ ComponentPointer

typedef const ObservableComponent* Diades::Automata::ConnectionMap::ComponentPointer
private

Definition at line 22 of file ConnectionMap.hh.

◆ EventIterator

typedef vector<Event>::const_iterator Diades::Automata::ConnectionMap::EventIterator

Definition at line 118 of file ConnectionMap.hh.

Constructor & Destructor Documentation

◆ ConnectionMap() [1/3]

Diades::Automata::ConnectionMap::ConnectionMap ( )
inline

Definition at line 31 of file ConnectionMap.hh.

◆ ConnectionMap() [2/3]

Diades::Automata::ConnectionMap::ConnectionMap ( const Topology topology,
Topology::Connection  connection 
)
inline

◆ ConnectionMap() [3/3]

Diades::Automata::ConnectionMap::ConnectionMap ( const ConnectionMap map)
inline

Definition at line 43 of file ConnectionMap.hh.

Member Function Documentation

◆ connection()

Topology::Connection Diades::Automata::ConnectionMap::connection ( ) const
inline

Definition at line 75 of file ConnectionMap.hh.

References _connection, mapComponentToNode(), and mapEventToNode().

Referenced by null().

◆ eventBegin()

EventIterator Diades::Automata::ConnectionMap::eventBegin ( ) const
inline

Definition at line 120 of file ConnectionMap.hh.

Referenced by main().

◆ eventEnd()

EventIterator Diades::Automata::ConnectionMap::eventEnd ( ) const
inline

Definition at line 125 of file ConnectionMap.hh.

Referenced by main().

◆ getComponent()

const ObservableComponent& Diades::Automata::ConnectionMap::getComponent ( Node  node) const
inline

Definition at line 100 of file ConnectionMap.hh.

◆ getEvent() [1/2]

Event Diades::Automata::ConnectionMap::getEvent ( Node  node) const
inline

Definition at line 81 of file ConnectionMap.hh.

◆ getEvent() [2/2]

Event Diades::Automata::ConnectionMap::getEvent ( const ObservableComponent component) const
inline

Definition at line 91 of file ConnectionMap.hh.

◆ getNode()

Node Diades::Automata::ConnectionMap::getNode ( const ObservableComponent component) const
inline

Definition at line 107 of file ConnectionMap.hh.

◆ mapComponentToNode()

void Diades::Automata::ConnectionMap::mapComponentToNode ( const ObservableComponent component,
Node  node 
)

Referenced by connection().

◆ mapEventToNode()

void Diades::Automata::ConnectionMap::mapEventToNode ( Event  event,
Node  node 
)

Referenced by connection().

◆ null()

bool Diades::Automata::ConnectionMap::null ( ) const
inline

Definition at line 66 of file ConnectionMap.hh.

References connection(), and valid().

◆ operator=()

ConnectionMap& Diades::Automata::ConnectionMap::operator= ( const ConnectionMap map)
inline

◆ topology()

const Topology& Diades::Automata::ConnectionMap::topology ( ) const
inline

Definition at line 73 of file ConnectionMap.hh.

References _topology.

◆ valid()

bool Diades::Automata::ConnectionMap::valid ( ) const

Referenced by null().

Member Data Documentation

◆ _componentMapping

unordered_map< ComponentPointer,vector<Topology::Node>::size_type > Diades::Automata::ConnectionMap::_componentMapping
private

Definition at line 29 of file ConnectionMap.hh.

Referenced by operator=().

◆ _componentNodes

vector<Topology::Node> Diades::Automata::ConnectionMap::_componentNodes
private

Definition at line 26 of file ConnectionMap.hh.

Referenced by operator=().

◆ _components

vector<ComponentPointer> Diades::Automata::ConnectionMap::_components
private

Definition at line 25 of file ConnectionMap.hh.

Referenced by operator=().

◆ _connection

Topology::Connection Diades::Automata::ConnectionMap::_connection
private

Definition at line 24 of file ConnectionMap.hh.

Referenced by connection(), and operator=().

◆ _events

vector<Event> Diades::Automata::ConnectionMap::_events
private

Definition at line 27 of file ConnectionMap.hh.

Referenced by operator=().

◆ _nodeMapping

unordered_map< Node,vector<Topology::Node>::size_type > Diades::Automata::ConnectionMap::_nodeMapping
private

Definition at line 28 of file ConnectionMap.hh.

Referenced by operator=().

◆ _topology

const Topology* Diades::Automata::ConnectionMap::_topology
private

Definition at line 23 of file ConnectionMap.hh.

Referenced by operator=(), and topology().


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