maxplusautomaton.h File Reference

#include "../../base/graph.h"
#include "base/fsm/fsm.h"
#include "thrutils.h"
Include dependency graph for maxplusautomaton.h:
This graph shows which files directly or indirectly include this file:

Classes

class  FSMSADF::MPExploreMaxPlusAutomaton::MaxPlusAutomaton
class  FSMSADF::MPExploreMaxPlusAutomaton::ThroughputCalculator

Namespaces

namespace  FSMSADF
namespace  FSMSADF::MPExploreMaxPlusAutomaton

Typedefs

typedef ::FSM::Labeled::State
< pair< CId, unsigned int >
, MPDelay > 
FSMSADF::MPExploreMaxPlusAutomaton::MPAState
typedef ::FSM::Labeled::Edge
< pair< CId, unsigned int >
, MPDelay > 
FSMSADF::MPExploreMaxPlusAutomaton::MPAEdge
typedef
::FSM::Labeled::SetOfStates
< pair< CId, unsigned int >
, MPDelay > 
FSMSADF::MPExploreMaxPlusAutomaton::MPASetOfStates
typedef
::FSM::Labeled::SetOfEdges
< pair< CId, unsigned int >
, MPDelay > 
FSMSADF::MPExploreMaxPlusAutomaton::MPASetOfEdges

Functions

Throughput FSMSADF::throughputAnalysisGraphUsingMaxPlusAutomaton (Graph *g)