FSMSADF::MPExploreBindingAware::SGraph Class Reference
#include <mpexplore_binding_aware.h>
Collaboration diagram for FSMSADF::MPExploreBindingAware::SGraph:
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:
Member Function Documentation
ActorCount * FSMSADF::MPExploreBindingAware::SGraph::repetitionVector | ( | ) |
Member Data Documentation
Referenced by FSMSADF::MPExploreBindingAware::State::initSchedules().
unsigned int FSMSADF::MPExploreBindingAware::SGraph::historySize |
Referenced by SGraph().
Referenced by SGraph().
Referenced by SGraph(), and FSMSADF::MPExploreBindingAware::State::State().
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: