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

Private Attributes


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: