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

#include <fsm.h>

Inheritance diagram for FSM::Labeled::State< StateLabelType, EdgeLabelType >:

Collaboration diagram for FSM::Labeled::State< StateLabelType, EdgeLabelType >:

List of all members.

Public Member Functions
	State (const StateLabelType &withLabel)
const StateLabelType &	getLabel (void) const
SetOfStates< StateLabelType, EdgeLabelType > *	nextStatesOfEdgeLabel (const EdgeLabelType l)
State< StateLabelType, EdgeLabelType > *	nextStateOfEdgeLabel (const EdgeLabelType l)
Public Attributes
StateLabelType	stateLabel

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

---

Constructor & Destructor Documentation

template<typename StateLabelType, typename EdgeLabelType>

FSM::Labeled::State< StateLabelType, EdgeLabelType >::State

(

const StateLabelType &

withLabel

)

[inline]

Reimplemented in FSM::StateStringLabeled::State.

---

Member Function Documentation

template<typename StateLabelType, typename EdgeLabelType>

const StateLabelType& FSM::Labeled::State< StateLabelType, EdgeLabelType >::getLabel

(

void

)

const [inline]

Referenced by FSMSADF::MPExploreMaxPlusAutomaton::ThroughputCalculator::calculateThroughput().

template<typename StateLabelType, typename EdgeLabelType>

State<StateLabelType,EdgeLabelType>* FSM::Labeled::State< StateLabelType, EdgeLabelType >::nextStateOfEdgeLabel

(

const EdgeLabelType

l

)

[inline]

template<typename StateLabelType, typename EdgeLabelType>

SetOfStates<StateLabelType,EdgeLabelType>* FSM::Labeled::State< StateLabelType, EdgeLabelType >::nextStatesOfEdgeLabel

(

const EdgeLabelType

l

)

[inline]

Referenced by FSM::Labeled::FiniteStateMachine< pair< CId, unsigned int >, MPDelay >::determinizeEdgeLabels(), and FSM::Labeled::FiniteStateMachine< pair< CId, unsigned int >, MPDelay >::edgesEquivalent().

---

Member Data Documentation

template<typename StateLabelType, typename EdgeLabelType>

StateLabelType FSM::Labeled::State< StateLabelType, EdgeLabelType >::stateLabel

Referenced by FSMSADF::FSMConverter::convertToFullMatrixLabeledScenarioFSM(), FSMSADF::FSMConverter::convertToMatrixLabeledScenarioFSM(), and FSM::Labeled::FiniteStateMachine< pair< CId, unsigned int >, MPDelay >::getStateLabeled().

---

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

• base/fsm/fsm.h