sdf/analysis/maxplus/mpexplore.h File Reference
#include <vector>
#include <string>
#include <list>
#include "../../base/timed/graph.h"
#include "../../../base/maxplus/maxplus.h"
#include "../../../base/maxplus/maxplus.h"
Include dependency graph for sdf/analysis/maxplus/mpexplore.h:
This graph shows which files directly or indirectly include this file:
Classes | |
class | MaxPlusAnalysis::GraphDecoration::Channel |
class | MaxPlusAnalysis::GraphDecoration::ChannelList |
class | MaxPlusAnalysis::GraphDecoration::Port |
class | MaxPlusAnalysis::GraphDecoration::PortList |
class | MaxPlusAnalysis::GraphDecoration::Actor |
class | MaxPlusAnalysis::GraphDecoration::ActorList |
class | MaxPlusAnalysis::GraphDecoration::ActorCount |
class | MaxPlusAnalysis::GraphDecoration::Graph |
class | MaxPlusAnalysis::Exploration |
Namespaces | |
namespace | MaxPlusAnalysis |
namespace | MaxPlusAnalysis::GraphDecoration |
Functions | |
MPTime | MaxPlusAnalysis::mpStateSpaceThroughputAnalysis (TimedSDFgraph *g, ostream &sout) |
MPTime | MaxPlusAnalysis::mpStateSpaceThroughputAnalysis_backward (TimedSDFgraph *g, ostream &sout) |
MPTime | MaxPlusAnalysis::mpStateSpaceDelayAnalysis (TimedSDFgraph *g, MaxPlus::Vector *gamma0, MaxPlus::Vector *gamma_s, MPTime period, ostream &sout) |
void | MaxPlusAnalysis::mpStateSpaceEigenAnalysis (TimedSDFgraph *g, MaxPlus::Vector **eigenvector, MPTime *eigenvalue, ostream &sout) |