FSMSADF::MPExploreBindingAware::SGraph Class Reference

#include <mpexplore_binding_aware.h>

Collaboration diagram for FSMSADF::MPExploreBindingAware::SGraph:

List of all members.

Public Member Functions

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

Public Attributes

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

Private Attributes

map< Processor *, TimestartOfPeriodOnProcessor

Detailed Description

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

Constructor & Destructor Documentation

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

~SGraph() Destructor.

References repVec.

Member Function Documentation

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

Member Data Documentation

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