Public Member Functions | Private Attributes

FSM::Abstract::Edge Class Reference

#include <fsm.h>

Inheritance diagram for FSM::Abstract::Edge:
Inheritance graph
[legend]
Collaboration diagram for FSM::Abstract::Edge:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 Edge (State *src, State *dst)
virtual State * getSource ()
virtual State * getDestination ()

Private Attributes

State * source
State * destination

Constructor & Destructor Documentation

FSM::Abstract::Edge::Edge ( State *  src,
State *  dst 
) [inline]

Member Function Documentation

virtual State* FSM::Abstract::Edge::getDestination (  )  [inline, virtual]

Referenced by FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM(), FSMSADF::MPExploreMaxPlusAutomaton::ThroughputCalculator::calculateThroughput(), FSMSADF::FSMConverter::convertToFullMatrixLabeledScenarioFSM(), FSMSADF::FSMConverter::convertToMatrixLabeledScenarioFSM(), FSM::Abstract::DepthFirstSearch::DoDepthFirstSearch(), FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughput(), FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughputMax(), FSM::Labeled::FiniteStateMachine< pair< CId, unsigned int >, MPDelay >::minimizeEdgeLabels(), FSM::Labeled::State< pair< CId, unsigned int >, MPDelay >::nextStateOfEdgeLabel(), and FSM::Labeled::State< pair< CId, unsigned int >, MPDelay >::nextStatesOfEdgeLabel().

virtual State* FSM::Abstract::Edge::getSource (  )  [inline, virtual]

Referenced by FSM::Abstract::State::addOutGoingEdge(), FSMSADF::FSMConverter::convertToFullMatrixLabeledScenarioFSM(), and FSMSADF::FSMConverter::convertToMatrixLabeledScenarioFSM().

Member Data Documentation

State* FSM::Abstract::Edge::destination [private]
State* FSM::Abstract::Edge::source [private]
The documentation for this class was generated from the following file: