FSMSADF::MPExploreMaxPlusAutomaton::ThroughputCalculator Class Reference
#include <maxplusautomaton.h>
Public Member Functions | |
| Throughput | calculateThroughput (Graph *g) |
Member Function Documentation
| Throughput FSMSADF::MPExploreMaxPlusAutomaton::ThroughputCalculator::calculateThroughput | ( | Graph * | g | ) |
Compute the throughput of an FSM-based SDAF graph through a max-plus automaton.
References FSMSADF::GraphConversion::computeMaxPlusMatricesFromScenarios(), FSM::Abstract::Edge::getDestination(), FSMSADF::Graph::getFSM(), FSM::Labeled::State< StateLabelType, EdgeLabelType >::getLabel(), FSM::Abstract::State::getOutgoingEdges(), FSM::Labeled::FiniteStateMachine< StateLabelType, EdgeLabelType >::getStates(), FSM::Labeled::Edge< StateLabelType, EdgeLabelType >::label, FSMSADF::FSMConverter::minimalEdgeLabeledFSM(), and MaxPlus::MP_ISMINUSINFINITY().
Here is the call graph for this function:
The documentation for this class was generated from the following files: