SDFstateSpaceDeadlockAnalysis::TransitionSystem::State Class Reference

#include <deadlock.h>

Collaboration diagram for SDFstateSpaceDeadlockAnalysis::TransitionSystem::State:

List of all members.

Public Member Functions

 State (const uint nrActors=0, const uint nrChannels=0)
 ~State ()
void init (const uint nrActors, const uint nrChannels)
bool operator== (const State &s)
void clear ()
void print (ostream &out)

Public Attributes

vector< TBufSizech

Constructor & Destructor Documentation

SDFstateSpaceDeadlockAnalysis::TransitionSystem::State::State ( const uint  nrActors = 0,
const uint  nrChannels = 0 
) [inline]

References init().

Here is the call graph for this function:

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

Member Function Documentation

void SDFstateSpaceDeadlockAnalysis::TransitionSystem::State::clear (  ) 

clearState () The function sets the state to zero.

References ch.

Referenced by SDFstateSpaceDeadlockAnalysis::TransitionSystem::execSDFgraph().

void SDFstateSpaceDeadlockAnalysis::TransitionSystem::State::init ( const uint  nrActors,
const uint  nrChannels 
) [inline]
bool SDFstateSpaceDeadlockAnalysis::TransitionSystem::State::operator== ( const State s  ) 

operator== () The function compares to states and returns true if they are equal.

References ch.

void SDFstateSpaceDeadlockAnalysis::TransitionSystem::State::print ( ostream &  out  ) 

printState () Print the state to the supplied stream.

References ch.


Member Data Documentation


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