FSMSADF::MPExplore::SGraph Class Reference

#include <mpexplore.h>

Collaboration diagram for FSMSADF::MPExplore::SGraph:

List of all members.

Public Member Functions

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

Public Attributes

unsigned int stateSize
unsigned int historySize
unsigned int newTokenIndex
map< Channel *, unsigned int > synchStorage
ScenarioGraphscenarioGraph
Scenarioscenario

Private Attributes

ActorCountrepVec

Detailed Description

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


Constructor & Destructor Documentation


Member Function Documentation

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

Member Data Documentation

Referenced by SGraph().


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