Public Member Functions | Public Attributes | Private Attributes

FSMSADF::MPExploreBindingAware::SGraph Class Reference

#include <mpexplore_binding_aware.h>

Collaboration diagram for FSMSADF::MPExploreBindingAware::SGraph:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 SGraph (ScenarioGraph *g, Scenario *s)
 ~SGraph ()
ActorCount * repetitionVector ()
void fire (State *x, Actor *a)

Public Attributes

unsigned int stateSize
unsigned int historySize
unsigned int newTokenIndex
map< Channel *, unsigned int > synchStorage
ScenarioGraph * scenarioGraph
BindingAwareGraph::BindingAwareProperties bindingProperties
Scenario * scenario

Private Attributes

ActorCount * repVec
map< Processor *, Time > startOfPeriodOnProcessor

Detailed Description

class SGraph Decorates a scenario graph with information for MaxPlus analysis.

Constructor & Destructor Documentation

FSMSADF::MPExploreBindingAware::SGraph::SGraph ( ScenarioGraph *  g,
Scenario *  s 
)

SGraph() Constructor.

References a, c, FSMSADF::computeRepetitionVector(), FSMSADF::ScenarioGraph::getActors(), FSMSADF::ScenarioGraph::getChannels(), FSMSADF::Channel::getInitialTokens(), FSMSADF::Port::getRateOfScenario(), FSMSADF::Channel::getSrcActor(), FSMSADF::Channel::getSrcPort(), historySize, repVec, scenario, scenarioGraph, stateSize, and synchStorage.

Here is the call graph for this function:

FSMSADF::MPExploreBindingAware::SGraph::~SGraph (  ) 

~SGraph() Destructor.

References repVec.

Member Function Documentation

void FSMSADF::MPExploreBindingAware::SGraph::fire ( State *  x,
Actor *  a 
) [inline]

fire()

ActorCount * FSMSADF::MPExploreBindingAware::SGraph::repetitionVector (  ) 

repetitionVector()

Member Data Documentation

BindingAwareGraph::BindingAwareProperties FSMSADF::MPExploreBindingAware::SGraph::bindingProperties

Referenced by FSMSADF::MPExploreBindingAware::State::initSchedules().

unsigned int FSMSADF::MPExploreBindingAware::SGraph::historySize

Referenced by SGraph().

unsigned int FSMSADF::MPExploreBindingAware::SGraph::newTokenIndex
ActorCount* FSMSADF::MPExploreBindingAware::SGraph::repVec [private]

Referenced by SGraph(), and ~SGraph().

Scenario* FSMSADF::MPExploreBindingAware::SGraph::scenario

Referenced by SGraph().

ScenarioGraph* FSMSADF::MPExploreBindingAware::SGraph::scenarioGraph

Referenced by SGraph(), and FSMSADF::MPExploreBindingAware::State::State().

map<Processor*,Time> FSMSADF::MPExploreBindingAware::SGraph::startOfPeriodOnProcessor [private]
unsigned int FSMSADF::MPExploreBindingAware::SGraph::stateSize

Referenced by SGraph().

map<Channel*, unsigned int> FSMSADF::MPExploreBindingAware::SGraph::synchStorage

Referenced by SGraph().

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