maxplusautomaton.cc File Reference

#include "maxplusautomaton.h"
#include "../base/mcmgraph.h"
Include dependency graph for maxplusautomaton.cc:

Namespaces

namespace  FSMSADF
namespace  FSMSADF::MPExploreMaxPlusAutomaton

Functions

Throughput FSMSADF::throughputAnalysisGraphUsingMaxPlusAutomaton (Graph *g)