FSMSADF::MPExplore::ActorCount Class Reference
#include <mpexplore.h>
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().
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().
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: