Public Member Functions | Public Attributes

SDFstateSpaceDeadlockAnalysis::TransitionSystem::State Class Reference

#include <deadlock.h>

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

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< TBufSize > ch

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]

References ch.

Referenced by SDFstateSpaceDeadlockAnalysis::TransitionSystem::execSDFgraph(), and State().

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

vector< TBufSize > SDFstateSpaceDeadlockAnalysis::TransitionSystem::State::ch

Referenced by clear(), init(), operator==(), and print().

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