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) |