SDF3 :: SDF3

#include <thrutils.h>

List of all members.

Static Public Member Functions
static EdgeLabeledScenarioFSM *	convertFSMToEdgeLabeled (FSM *fsm)
static EdgeLabeledScenarioFSM *	minimalEdgeLabeledFSM (FSM *fsm)
static MatrixLabeledScenarioFSM *	convertToMatrixLabeledScenarioFSM (EdgeLabeledScenarioFSM elsfsm, ScenarioMatrices sm)
static MatrixLabeledScenarioFSM *	convertToFullMatrixLabeledScenarioFSM (EdgeLabeledScenarioFSM elsfsm, ScenarioMatrices sm)

Member Function Documentation

EdgeLabeledScenarioFSM * FSMSADF::FSMConverter::convertFSMToEdgeLabeled ( FSMSADF::FSM * fsm ) [static]

Create a new state machine where edges are labelled instead of states

References FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::addEdge(), FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::addState(), FSMSADF::FSMtransition::getDstState(), FSMSADF::GraphComponent::getId(), FSMSADF::FSM::getInitialState(), FSMSADF::GraphComponent::getName(), FSMSADF::FSMstate::getScenario(), FSMSADF::FSM::getStates(), FSMSADF::FSMstate::getTransitions(), MAX, and FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::setInitialState().

Referenced by minimalEdgeLabeledFSM().

Here is the call graph for this function:

MatrixLabeledScenarioFSM * FSMSADF::FSMConverter::convertToFullMatrixLabeledScenarioFSM	(	EdgeLabeledScenarioFSM *	elsfsm,
		ScenarioMatrices *	sm
	)			`[static]`

References FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::addEdge(), FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::addState(), FSM::Abstract::Edge::getDestination(), FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::getEdges(), FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::getInitialState(), FSM::Abstract::Edge::getSource(), FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::getStates(), FSM::Labeled::Edge< StateLabelType, EdgeLabelType >::label, FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::setInitialState(), and FSM::Labeled::State< StateLabelType, EdgeLabelType >::stateLabel.

Here is the call graph for this function:

MatrixLabeledScenarioFSM * FSMSADF::FSMConverter::convertToMatrixLabeledScenarioFSM	(	EdgeLabeledScenarioFSM *	elsfsm,
		ScenarioMatrices *	sm
	)			`[static]`

References FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::addEdge(), FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::addState(), FSM::Abstract::Edge::getDestination(), FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::getEdges(), FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::getInitialState(), FSM::Abstract::Edge::getSource(), FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::getStates(), FSM::Labeled::Edge< StateLabelType, EdgeLabelType >::label, FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::setInitialState(), FSM::Labeled::State< StateLabelType, EdgeLabelType >::stateLabel, and FSMSADF::ScenarioMatrices::vectorSize().

Referenced by FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughputMax().

Here is the call graph for this function:

EdgeLabeledScenarioFSM * FSMSADF::FSMConverter::minimalEdgeLabeledFSM ( FSM * fsm ) [static]

References convertFSMToEdgeLabeled(), and FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::minimizeEdgeLabels().

Referenced by FSMSADF::MPExploreMaxPlusAutomaton::ThroughputCalculator::calculateThroughput(), FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughput(), and FSMSADF::MPExploreStateSpace::StateSpaceExploration::exploreThroughputMax().

Here is the call graph for this function:

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