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)