Public Member Functions | Public Attributes

FSM::Labeled::Edge< StateLabelType, EdgeLabelType > Class Template Reference

#include <fsm.h>

Inheritance diagram for FSM::Labeled::Edge< StateLabelType, EdgeLabelType >:
Inheritance graph
[legend]
Collaboration diagram for FSM::Labeled::Edge< StateLabelType, EdgeLabelType >:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 Edge (State< StateLabelType, EdgeLabelType > *src, EdgeLabelType &lbl, State< StateLabelType, EdgeLabelType > *dst)

Public Attributes

EdgeLabelType label

template<typename StateLabelType, typename EdgeLabelType>
class FSM::Labeled::Edge< StateLabelType, EdgeLabelType >

Constructor & Destructor Documentation

template<typename StateLabelType, typename EdgeLabelType>
FSM::Labeled::Edge< StateLabelType, EdgeLabelType >::Edge ( State< StateLabelType, EdgeLabelType > *  src,
EdgeLabelType &  lbl,
State< StateLabelType, EdgeLabelType > *  dst 
) [inline]

Member Data Documentation

template<typename StateLabelType, typename EdgeLabelType>
EdgeLabelType FSM::Labeled::Edge< StateLabelType, EdgeLabelType >::label

Referenced by FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM(), FSMSADF::MPExploreMaxPlusAutomaton::ThroughputCalculator::calculateThroughput(), FSMSADF::FSMConverter::convertToFullMatrixLabeledScenarioFSM(), FSMSADF::FSMConverter::convertToMatrixLabeledScenarioFSM(), FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughput(), FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughputMax(), FSM::Labeled::FiniteStateMachine< pair< CId, unsigned int >, MPDelay >::insertOutgoingLabels(), 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().

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