DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#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) | |
ConnectionMap & | operator= (const ConnectionMap &map) |
bool | null () const |
bool | valid () const |
const Topology & | topology () 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 ObservableComponent & | getComponent (Node node) const |
Node | getNode (const ObservableComponent &component) const |
EventIterator | eventBegin () const |
EventIterator | eventEnd () const |
Private Types | |
typedef const ObservableComponent * | ComponentPointer |
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 |
Definition at line 19 of file ConnectionMap.hh.
|
private |
Definition at line 22 of file ConnectionMap.hh.
typedef vector<Event>::const_iterator Diades::Automata::ConnectionMap::EventIterator |
Definition at line 118 of file ConnectionMap.hh.
|
inline |
Definition at line 31 of file ConnectionMap.hh.
|
inline |
Definition at line 32 of file ConnectionMap.hh.
References Diades::Automata::Topology::cliqueBegin(), and Diades::Automata::Topology::cliqueEnd().
|
inline |
Definition at line 43 of file ConnectionMap.hh.
|
inline |
Definition at line 75 of file ConnectionMap.hh.
References _connection, mapComponentToNode(), and mapEventToNode().
Referenced by null().
|
inline |
Definition at line 120 of file ConnectionMap.hh.
Referenced by main().
|
inline |
Definition at line 125 of file ConnectionMap.hh.
Referenced by main().
|
inline |
Definition at line 100 of file ConnectionMap.hh.
Definition at line 81 of file ConnectionMap.hh.
|
inline |
Definition at line 91 of file ConnectionMap.hh.
|
inline |
Definition at line 107 of file ConnectionMap.hh.
void Diades::Automata::ConnectionMap::mapComponentToNode | ( | const ObservableComponent & | component, |
Node | node | ||
) |
Referenced by connection().
Referenced by connection().
|
inline |
Definition at line 66 of file ConnectionMap.hh.
References connection(), and valid().
|
inline |
Definition at line 51 of file ConnectionMap.hh.
References _componentMapping, _componentNodes, _components, _connection, _events, _nodeMapping, and _topology.
|
inline |
Definition at line 73 of file ConnectionMap.hh.
References _topology.
bool Diades::Automata::ConnectionMap::valid | ( | ) | const |
Referenced by null().
|
private |
Definition at line 29 of file ConnectionMap.hh.
Referenced by operator=().
|
private |
Definition at line 26 of file ConnectionMap.hh.
Referenced by operator=().
|
private |
Definition at line 25 of file ConnectionMap.hh.
Referenced by operator=().
|
private |
Definition at line 24 of file ConnectionMap.hh.
Referenced by connection(), and operator=().
|
private |
Definition at line 27 of file ConnectionMap.hh.
Referenced by operator=().
|
private |
Definition at line 28 of file ConnectionMap.hh.
Referenced by operator=().
|
private |
Definition at line 23 of file ConnectionMap.hh.
Referenced by operator=(), and topology().