MaxPlusAnalysis::GraphDecoration::ActorCount Class Reference

#include <mpexplore.h>

List of all members.

Public Member Functions

 ActorCount (Graph *G)
 ~ActorCount ()
bool isEmpty ()
unsigned int getValue (Actor *a)
void setValue (Actor *a, unsigned int v)
void setValue (unsigned int i, unsigned int v)
void decreaseValue (Actor *a)
ActorCountcopy ()
unsigned int sum ()

Private Member Functions

 ActorCount (size_t sz)

Private Attributes

size_t size
unsigned int * table

Detailed Description

class ActorCount Associates with every actor a number, representing a number of firings (e.g., a repetition vector)

Constructor & Destructor Documentation

MaxPlusAnalysis::ActorCount::ActorCount ( GraphDecoration::Graph G  ) 
MaxPlusAnalysis::ActorCount::~ActorCount (  ) 


References table.

MaxPlusAnalysis::ActorCount::ActorCount ( size_t  sz  )  [private]


References size, and table.

Member Function Documentation

ActorCount * MaxPlusAnalysis::ActorCount::copy (  ) 


References ActorCount(), setValue(), size, and table.

Referenced by MaxPlusAnalysis::GraphDecoration::Graph::repetitionVector().

Here is the call graph for this function:

void MaxPlusAnalysis::ActorCount::setValue ( unsigned int  i,
unsigned int  v 


References table.

void MaxPlusAnalysis::ActorCount::setValue ( Actor a,
unsigned int  v 

Member Data Documentation

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