DiaDes  0.1
DIAgnosis of Discrete-Event System
Diades::Automata::ConnectionMap Member List

This is the complete list of members for Diades::Automata::ConnectionMap, including all inherited members.

_componentMappingDiades::Automata::ConnectionMapprivate
_componentNodesDiades::Automata::ConnectionMapprivate
_componentsDiades::Automata::ConnectionMapprivate
_connectionDiades::Automata::ConnectionMapprivate
_eventsDiades::Automata::ConnectionMapprivate
_nodeMappingDiades::Automata::ConnectionMapprivate
_topologyDiades::Automata::ConnectionMapprivate
ComponentPointer typedefDiades::Automata::ConnectionMapprivate
connection() constDiades::Automata::ConnectionMapinline
ConnectionMap()Diades::Automata::ConnectionMapinline
ConnectionMap(const Topology &topology, Topology::Connection connection)Diades::Automata::ConnectionMapinline
ConnectionMap(const ConnectionMap &map)Diades::Automata::ConnectionMapinline
eventBegin() constDiades::Automata::ConnectionMapinline
eventEnd() constDiades::Automata::ConnectionMapinline
EventIterator typedefDiades::Automata::ConnectionMap
getComponent(Node node) constDiades::Automata::ConnectionMapinline
getEvent(Node node) constDiades::Automata::ConnectionMapinline
getEvent(const ObservableComponent &component) constDiades::Automata::ConnectionMapinline
getNode(const ObservableComponent &component) constDiades::Automata::ConnectionMapinline
mapComponentToNode(const ObservableComponent &component, Node node)Diades::Automata::ConnectionMap
mapEventToNode(Event event, Node node)Diades::Automata::ConnectionMap
null() constDiades::Automata::ConnectionMapinline
operator=(const ConnectionMap &map)Diades::Automata::ConnectionMapinline
topology() constDiades::Automata::ConnectionMapinline
valid() constDiades::Automata::ConnectionMap