Public Member Functions

FSMSADF::MPExplore::ActorCount Class Reference

#include <mpexplore.h>

List of all members.

Public Member Functions

 ActorCount (RepetitionVector &v)
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::MPExplore::ActorCount::ActorCount ( RepetitionVector &  v  ) 

ActorCount() Constructor.

Member Function Documentation

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

decreaseValue() Decrement the actor count of actor a.

References FSMSADF::GraphComponent::getId().

Referenced by FSMSADF::MPExplore::Exploration::exploreDelayForSchedule(), and FSMSADF::MPExplore::Exploration::exploreEigen().

Here is the call graph for this function:

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

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

References FSMSADF::GraphComponent::getId().

Referenced by FSMSADF::MPExplore::Exploration::exploreDelayForSchedule(), and FSMSADF::MPExplore::Exploration::exploreEigen().

Here is the call graph for this function:

bool FSMSADF::MPExplore::ActorCount::isEmpty (  ) 

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

Referenced by FSMSADF::MPExplore::Exploration::exploreDelayForSchedule(), and FSMSADF::MPExplore::Exploration::exploreEigen().

uint FSMSADF::MPExplore::ActorCount::sum (  ) 

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

Referenced by FSMSADF::MPExplore::Exploration::exploreDelayForSchedule(), and FSMSADF::MPExplore::Exploration::exploreEigen().

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