Classes | Public Types | Public Member Functions | Private Member Functions | Private Attributes

SDFstateSpaceDeadlockAnalysis::TransitionSystem Class Reference

Collaboration diagram for SDFstateSpaceDeadlockAnalysis::TransitionSystem:
Collaboration graph
[legend]

List of all members.

Classes

class  State

Public Types

typedef list< State > States
typedef States::iterator StatesIter

Public Member Functions

 TransitionSystem (SDFgraph *gr)
 ~TransitionSystem ()
bool execSDFgraph ()

Private Member Functions

bool actorReadyToFire (SDFactor *a)
void fireActor (SDFactor *a)

Private Attributes

SDFgraph * g
State initialState
State currentState

Member Typedef Documentation

typedef list<State> SDFstateSpaceDeadlockAnalysis::TransitionSystem::States
typedef States::iterator SDFstateSpaceDeadlockAnalysis::TransitionSystem::StatesIter

Constructor & Destructor Documentation

SDFstateSpaceDeadlockAnalysis::TransitionSystem::TransitionSystem ( SDFgraph *  gr  )  [inline]

References g.

SDFstateSpaceDeadlockAnalysis::TransitionSystem::~TransitionSystem (  )  [inline]

Member Function Documentation

bool SDFstateSpaceDeadlockAnalysis::TransitionSystem::actorReadyToFire ( SDFactor *  a  )  [private]

actorReadyToFire () The function returns true when the actor is ready to fire in state s. Else it returns false.

References c, CH_TOKENS, SDFport::getChannel(), SDFcomponent::getId(), SDFport::getRate(), SDFport::getType(), SDFactor::portsBegin(), and SDFactor::portsEnd().

Referenced by execSDFgraph().

Here is the call graph for this function:

bool SDFstateSpaceDeadlockAnalysis::TransitionSystem::execSDFgraph (  ) 

execSDFgraph() Execute the SDF graph till a deadlock is found or a recurrent state. The throughput is returned.

References a, actorReadyToFire(), SDFgraph::actorsBegin(), SDFgraph::actorsEnd(), c, CH, SDFgraph::channelsBegin(), SDFgraph::channelsEnd(), SDFstateSpaceDeadlockAnalysis::TransitionSystem::State::clear(), FSMSADF::computeRepetitionVector(), currentState, fireActor(), g, SDFcomponent::getId(), SDFchannel::getInitialTokens(), SDFstateSpaceDeadlockAnalysis::TransitionSystem::State::init(), initialState, SDFgraph::nrActors(), and SDFgraph::nrChannels().

Referenced by SDFstateSpaceDeadlockAnalysis::isDeadlockFree().

Here is the call graph for this function:

void SDFstateSpaceDeadlockAnalysis::TransitionSystem::fireActor ( SDFactor *  a  )  [private]

fireActor () Fire an actor. Remove tokens from all input channels and produce tokens on all output channels.

References c, CONSUME, SDFport::getChannel(), SDFcomponent::getId(), SDFport::getRate(), SDFport::getType(), SDFactor::portsBegin(), SDFactor::portsEnd(), and PRODUCE.

Referenced by execSDFgraph().

Here is the call graph for this function:

Member Data Documentation

State SDFstateSpaceDeadlockAnalysis::TransitionSystem::currentState [private]

Referenced by execSDFgraph().

SDFgraph* SDFstateSpaceDeadlockAnalysis::TransitionSystem::g [private]

Referenced by execSDFgraph(), and TransitionSystem().

State SDFstateSpaceDeadlockAnalysis::TransitionSystem::initialState [private]

Referenced by execSDFgraph().

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