FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton Class Reference
#include <maxplusautomaton.h>
Inheritance diagram for FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton:
Collaboration diagram for FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton:
Public Member Functions | |
MPDelay | calculateMCM (void) |
Member Function Documentation
MPDelay FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton::calculateMCM | ( | void | ) |
References FSMSADF::MCMgraph::addEdge(), FSMSADF::MCMgraph::addNode(), FSMSADF::MCMgraph::calculateMCM(), FSMSADF::_MCMedge::d, FSMSADF::_MCMedge::dst, FSM::Labeled::FiniteStateMachine< pair< CId, unsigned int >, MPDelay >::edges, FSM::Abstract::Edge::getDestination(), FSM::Abstract::State::getOutgoingEdges(), FSM::Labeled::FiniteStateMachine< pair< CId, unsigned int >, MPDelay >::getStates(), FSMSADF::_MCMedge::id, FSMSADF::_MCMnode::id, FSM::Labeled::Edge< StateLabelType, EdgeLabelType >::label, FSMSADF::MCMgraph::pruneEdges(), FSMSADF::_MCMedge::src, FSM::Labeled::FiniteStateMachine< pair< CId, unsigned int >, MPDelay >::states, and FSMSADF::_MCMedge::w.
Here is the call graph for this function:
The documentation for this class was generated from the following files: