SDFstateSpaceDeadlockAnalysis Class Reference
#include <deadlock.h>
Classes | |
class | TransitionSystem |
Public Member Functions | |
SDFstateSpaceDeadlockAnalysis () | |
~SDFstateSpaceDeadlockAnalysis () | |
bool | isDeadlockFree (SDFgraph *g) |
Detailed Description
Deadlock analysis Analyze whether an SDFG is deadlock free or not.
Constructor & Destructor Documentation
SDFstateSpaceDeadlockAnalysis::SDFstateSpaceDeadlockAnalysis | ( | ) | [inline] |
SDFstateSpaceDeadlockAnalysis::~SDFstateSpaceDeadlockAnalysis | ( | ) | [inline] |
Member Function Documentation
bool SDFstateSpaceDeadlockAnalysis::isDeadlockFree | ( | SDFgraph * | g | ) |
isDeadlockFree () Analyze whether an SDFG is deadlock free.
References SDFstateSpaceDeadlockAnalysis::TransitionSystem::execSDFgraph().
Referenced by analyzeSDFG().
Here is the call graph for this function:
The documentation for this class was generated from the following files: