Classes | Typedefs

FSMSADF::MPExploreMaxPlusAutomaton Namespace Reference

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