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: