Public Member Functions | Static Public Member Functions | Public Attributes | Private Member Functions | Private Attributes

MaxPlusAnalysis::GraphDecoration::Graph Class Reference

#include <mpexplore.h>

Collaboration diagram for MaxPlusAnalysis::GraphDecoration::Graph:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 Graph ()
virtual ~Graph ()
 Graph (TimedSDFgraph *g)
ActorCount * repetitionVector ()
void fire (State *x, Actor *a, double precision)
void fireSymbolic (SymbolicState *x, Actor *a)
void fire_reverse (State *x, Actor *a)

Static Public Member Functions

static void fire (State *x, Actor *a)

Public Attributes

ActorList * actors
ChannelList * channels
unsigned int stateSize
unsigned int historySize
unsigned int newTokenIndex

Private Member Functions

void init ()

Private Attributes

ActorCount * repVec

Detailed Description

class Graph Decorates an SDF graph with information for MaxPlus analysis.

Constructor & Destructor Documentation

Graph::Graph (  ) 

Graph()

References init().

Here is the call graph for this function:

Graph::~Graph (  )  [virtual]

~Graph()

References actors, and channels.

Graph::Graph ( TimedSDFgraph *  g  ) 

Graph()

References a, actors, SDFgraph::actorsBegin(), SDFgraph::actorsEnd(), c, channels, SDFgraph::channelsBegin(), SDFgraph::channelsEnd(), FSMSADF::computeRepetitionVector(), MaxPlusAnalysis::GraphDecoration::Actor::executionTime, SDFport::getChannel(), TimedSDFactor::getExecutionTime(), SDFchannel::getInitialTokens(), SDFport::getRate(), SDFchannel::getSrcActor(), SDFchannel::getSrcPort(), SDFport::getType(), historySize, MaxPlusAnalysis::GraphDecoration::Channel::historyStartIndex, MaxPlusAnalysis::GraphDecoration::Actor::index, MaxPlusAnalysis::GraphDecoration::Channel::index, init(), MaxPlusAnalysis::GraphDecoration::Actor::inputPorts, SDFgraph::nrChannels(), MaxPlusAnalysis::GraphDecoration::Channel::nrInitialTokens, MaxPlusAnalysis::GraphDecoration::Actor::outputPorts, pi, SDFactor::portsBegin(), SDFactor::portsEnd(), MaxPlusAnalysis::GraphDecoration::Channel::repetitionVectorEntry, repVec, MaxPlusAnalysis::GraphDecoration::ActorCount::setValue(), stateSize, MaxPlusAnalysis::GraphDecoration::Channel::stateStartIndex, MaxPlusAnalysis::GraphDecoration::Channel::synchStorage, and v.

Here is the call graph for this function:

Member Function Documentation

void Graph::fire ( State *  x,
Actor *  a 
) [inline, static]

fire()

References MaxPlusAnalysis::DependencyGraphs::Graph::addDependency(), MaxPlusAnalysis::GraphDecoration::Port::channel, MaxPlusAnalysis::State::consume(), criticalChannels, MaxPlusAnalysis::GraphDecoration::Actor::executionTime, MaxPlusAnalysis::GraphDecoration::Actor::inputPorts, numberOfCriticalChannels, MaxPlusAnalysis::GraphDecoration::Actor::outputPorts, and MaxPlusAnalysis::State::produce().

Referenced by MaxPlusAnalysis::Exploration::explore(), MaxPlusAnalysis::Exploration::exploreDelayForSchedule(), and MaxPlusAnalysis::Exploration::exploreEigen().

Here is the call graph for this function:

void Graph::fire ( State *  x,
Actor *  a,
double  precision 
)

fireSchedule() fire()

References MaxPlusAnalysis::State::consume(), MaxPlusAnalysis::GraphDecoration::Actor::executionTime, MaxPlusAnalysis::GraphDecoration::Actor::inputPorts, MAX, MaxPlusAnalysis::GraphDecoration::Actor::outputPorts, and MaxPlusAnalysis::State::produce().

Here is the call graph for this function:

void Graph::fire_reverse ( State *  x,
Actor *  a 
)

fire_reverse()

References MaxPlusAnalysis::State::consume_back(), MaxPlusAnalysis::GraphDecoration::Actor::executionTime, MaxPlusAnalysis::GraphDecoration::Actor::inputPorts, MIN, MaxPlusAnalysis::GraphDecoration::Actor::outputPorts, and MaxPlusAnalysis::State::produce_front().

Referenced by MaxPlusAnalysis::Exploration::explore_backward().

Here is the call graph for this function:

void Graph::fireSymbolic ( SymbolicState *  x,
Actor *  a 
)

fireSymbolic()

References MaxPlusAnalysis::SymbolicToken::add(), MaxPlusAnalysis::SymbolicState::consume(), MaxPlusAnalysis::SymbolicToken::copy(), MaxPlusAnalysis::GraphDecoration::Actor::executionTime, MaxPlusAnalysis::GraphDecoration::Actor::inputPorts, MaxPlusAnalysis::SymbolicToken::maxWith(), MaxPlusAnalysis::GraphDecoration::Actor::outputPorts, and MaxPlusAnalysis::SymbolicState::produce().

Referenced by MaxPlusAnalysis::Exploration::convertToMaxPlusMatrix().

Here is the call graph for this function:

void Graph::init (  )  [private]

init()

References actors, and channels.

Referenced by Graph().

ActorCount * Graph::repetitionVector (  ) 

repetitionVector()

References MaxPlusAnalysis::GraphDecoration::ActorCount::copy(), and repVec.

Referenced by MaxPlusAnalysis::Exploration::convertToMaxPlusMatrix(), MaxPlusAnalysis::Exploration::explore(), MaxPlusAnalysis::Exploration::explore_backward(), MaxPlusAnalysis::Exploration::exploreDelayForSchedule(), MaxPlusAnalysis::Exploration::exploreEigen(), and MaxPlusAnalysis::State::zeroScheduleState().

Here is the call graph for this function:

Member Data Documentation

ActorList* MaxPlusAnalysis::GraphDecoration::Graph::actors

Referenced by MaxPlusAnalysis::GraphDecoration::ActorCount::ActorCount(), MaxPlusAnalysis::Exploration::convertToMaxPlusMatrix(), MaxPlusAnalysis::Exploration::explore(), MaxPlusAnalysis::Exploration::explore_backward(), MaxPlusAnalysis::Exploration::exploreDelayForSchedule(), MaxPlusAnalysis::Exploration::exploreEigen(), Graph(), init(), and ~Graph().

ChannelList* MaxPlusAnalysis::GraphDecoration::Graph::channels

Referenced by MaxPlusAnalysis::State::fromVector(), Graph(), init(), MaxPlusAnalysis::State::State(), MaxPlusAnalysis::SymbolicState::SymbolicState(), MaxPlusAnalysis::State::zeroScheduleState(), MaxPlusAnalysis::SymbolicState::zeroState(), MaxPlusAnalysis::State::zeroState(), and ~Graph().

unsigned int MaxPlusAnalysis::GraphDecoration::Graph::historySize

Referenced by Graph().

unsigned int MaxPlusAnalysis::GraphDecoration::Graph::newTokenIndex
ActorCount* MaxPlusAnalysis::GraphDecoration::Graph::repVec [private]

Referenced by Graph(), and repetitionVector().

unsigned int MaxPlusAnalysis::GraphDecoration::Graph::stateSize

Referenced by Graph(), and MaxPlusAnalysis::SymbolicState::zeroState().

The documentation for this class was generated from the following files: