Classes | |
class | MaxPlusAutomaton |
class | ThroughputCalculator |
Typedefs | |
typedef ::FSM::Labeled::State < pair< CId, unsigned int > , MPDelay > | MPAState |
typedef ::FSM::Labeled::Edge < pair< CId, unsigned int > , MPDelay > | MPAEdge |
typedef ::FSM::Labeled::SetOfStates < pair< CId, unsigned int > , MPDelay > | MPASetOfStates |
typedef ::FSM::Labeled::SetOfEdges < pair< CId, unsigned int > , MPDelay > | MPASetOfEdges |
Detailed Description
namespace MPExploreStateSpace This namespace contains the implementation of the throughput analysis function.
Typedef Documentation
typedef ::FSM::Labeled::Edge<pair<CId, unsigned int>, MPDelay> FSMSADF::MPExploreMaxPlusAutomaton::MPAEdge |
typedef ::FSM::Labeled::SetOfEdges<pair<CId, unsigned int>, MPDelay> FSMSADF::MPExploreMaxPlusAutomaton::MPASetOfEdges |
typedef ::FSM::Labeled::SetOfStates<pair<CId, unsigned int>, MPDelay> FSMSADF::MPExploreMaxPlusAutomaton::MPASetOfStates |
typedef ::FSM::Labeled::State<pair<CId, unsigned int>, MPDelay> FSMSADF::MPExploreMaxPlusAutomaton::MPAState |