#include <mpexplore_binding_aware.h>

Public Member Functions
	ActorCount (RepetitionVector &v)
	~ActorCount ()
bool	isEmpty ()
uint	getValue (Actor *a)
void	decreaseValue (Actor *a)
uint	sum ()

Detailed Description

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

Constructor & Destructor Documentation

FSMSADF::MPExploreBindingAware::ActorCount::ActorCount ( RepetitionVector & v )

ActorCount() Constructor.

FSMSADF::MPExploreBindingAware::ActorCount::~ActorCount ( ) [inline]

void FSMSADF::MPExploreBindingAware::ActorCount::decreaseValue ( Actor * a )

decreaseValue() Decrement the actor count of actor a.

Here is the call graph for this function:

uint FSMSADF::MPExploreBindingAware::ActorCount::getValue ( Actor * a )

getValue() The function returns the actor count of actor a.

Here is the call graph for this function:

bool FSMSADF::MPExploreBindingAware::ActorCount::isEmpty ( )

isEmpty() The function returns true when all actor counts are zero. Otherwise it returns false.

uint FSMSADF::MPExploreBindingAware::ActorCount::sum ( )

sum() The function returns the sum of the actor counts.

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