#include <mpexplore.h>

Collaboration diagram for MaxPlusAnalysis::GraphDecoration::Graph:

List of all members.

Public Member Functions

 Graph ()
virtual ~Graph ()
 Graph (TimedSDFgraph *g)
ActorCountrepetitionVector ()
void fire (State *x, Actor *a, double precision)
void fireSymbolic (SymbolicState *x, Actor *a)
void fire_reverse (State *x, Actor *a)

Static Public Member Functions

static void fire (State *x, Actor *a)

Public Attributes

unsigned int stateSize
unsigned int historySize
unsigned int newTokenIndex

Private Member Functions

void init ()

Private Attributes


Detailed Description

class Graph Decorates an SDF graph with information for MaxPlus analysis.

Constructor & Destructor Documentation

Graph::Graph (  ) 


References init().

Here is the call graph for this function:

Graph::~Graph (  )  [virtual]


References actors, and channels.

Member Function Documentation

void Graph::init (  )  [private]


References actors, and channels.

Referenced by Graph().

Member Data Documentation

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