SDFstateSpaceDeadlockAnalysis Class Reference

#include <deadlock.h>

List of all members.


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: