sdf/analysis/maxplus/mpexplore.cc File Reference

#include <assert.h>
#include <sstream>
#include "mpexplore.h"
#include "mpstorage.h"
#include "sdf/base/algo/repetition_vector.h"
Include dependency graph for sdf/analysis/maxplus/mpexplore.cc:

Namespaces

namespace  MaxPlusAnalysis

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)

Variables

ostream * MaxPlusAnalysis::out = NULL