SDFstateSpaceDeadlockAnalysis::TransitionSystem::State Class Reference
#include <deadlock.h>
Collaboration diagram for SDFstateSpaceDeadlockAnalysis::TransitionSystem::State:
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 | ( | ) | [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
Referenced by clear(), init(), operator==(), and print().
The documentation for this class was generated from the following files: