DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <TopologyMap.hh>
Public Types | |
typedef Diades::Utils::Exception< Topology > | Exception |
Public Member Functions | |
TopologyMap (const Topology &topology) | |
bool | valid () const |
const Topology & | topology () const |
void | mapComponentToNode (const ObservableComponent &component, Topology::Node itsNode) |
Node | getNodeSourceOf (Event event) const |
const ObservableComponent & | getComponent (Topology::Node node) const |
Topology::Node | getNode (const ObservableComponent &component) const |
void | addConnection (Topology::Connection connection, Topology::Node node, Event event) |
void | importMap (const string &fileName) |
void | exportMap (const string &fileName) |
const ConnectionMap & | getConnectionMap (Topology::Connection connection) const |
Static Public Member Functions | |
static string | typeName () |
Private Types | |
typedef const ObservableComponent * | ComponentPointer |
typedef ConstNodeMap< ConnectionMap > | _ConnMap |
typedef ConstNodeMap< ComponentPointer > | _CompMap |
Private Attributes | |
const Topology * | _topology |
_ConnMap | _connMap |
_CompMap | _compMap |
unordered_map< ComponentPointer, Node > | _nodeMap |
unordered_map< Event, Node > | _eventMap |
This class maps a Topology to the involved Components and Events in this Topology
Definition at line 25 of file TopologyMap.hh.
|
private |
Definition at line 31 of file TopologyMap.hh.
|
private |
Definition at line 30 of file TopologyMap.hh.
|
private |
Definition at line 29 of file TopologyMap.hh.
Definition at line 41 of file TopologyMap.hh.
|
inline |
Definition at line 47 of file TopologyMap.hh.
|
inline |
Definition at line 78 of file TopologyMap.hh.
References exportMap(), importMap(), and topology().
void Diades::Automata::TopologyMap::exportMap | ( | const string & | fileName | ) |
Referenced by addConnection().
|
inline |
Definition at line 64 of file TopologyMap.hh.
References Diades::Automata::Topology::graph(), require, and topology().
|
inline |
Definition at line 90 of file TopologyMap.hh.
Referenced by main().
|
inline |
Definition at line 72 of file TopologyMap.hh.
Definition at line 53 of file TopologyMap.hh.
void Diades::Automata::TopologyMap::importMap | ( | const string & | fileName | ) |
Referenced by addConnection(), and main().
void Diades::Automata::TopologyMap::mapComponentToNode | ( | const ObservableComponent & | component, |
Topology::Node | itsNode | ||
) |
Referenced by main(), and topology().
|
inline |
Definition at line 49 of file TopologyMap.hh.
References _topology, and mapComponentToNode().
Referenced by addConnection(), getComponent(), and valid().
|
inlinestatic |
Definition at line 40 of file TopologyMap.hh.
|
inline |
Definition at line 48 of file TopologyMap.hh.
References topology(), and Diades::Automata::Topology::valid().
|
private |
Definition at line 35 of file TopologyMap.hh.
|
private |
Definition at line 34 of file TopologyMap.hh.
Definition at line 37 of file TopologyMap.hh.
|
private |
Definition at line 36 of file TopologyMap.hh.
|
private |
Definition at line 33 of file TopologyMap.hh.
Referenced by topology().