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)