cz.muni.stanse.threadchecker.graph.DependencyCycleDetector Class Reference

Public Member Functions
Set< Cycle >	detect (DependencyGraph dependencyGraph)

Static Public Member Functions
static DependencyCycleDetector	getInstance ()

Detailed Description

Singleton-type Class which detects cycle in oriented multi-graph

Author

Jan Kučera

Member Function Documentation

Set<Cycle> cz.muni.stanse.threadchecker.graph.DependencyCycleDetector.detect ( DependencyGraph  dependencyGraph )

inline

Method picks up every rule and add it to graph

Parameters

dependencyGraph

Returns

Set<Cycle> found cycles

static DependencyCycleDetector cz.muni.stanse.threadchecker.graph.DependencyCycleDetector.getInstance ( )

inlinestatic

Function returns singleton instance of class DependencyCycleDetector

Returns

DependencyCycleDetector instance of DependencyCycleDetector

---

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

• src/cz/muni/stanse/threadchecker/graph/DependencyCycleDetector.java