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

Collaboration diagram for cz::muni::stanse::threadchecker::graph::DependencyCycleDetector:

[legend]

List of all members.

Public Member Functions
Set< Cycle >	detect (DependencyGraph dependencyGraph)
Static Public Member Functions
static DependencyCycleDetector	getInstance ()
Classes
class	GraphState

---

Detailed Description

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

Author:

Jan Kučera

---

Member Function Documentation

static DependencyCycleDetector cz::muni::stanse::threadchecker::graph::DependencyCycleDetector::getInstance

(

)

[inline, static]

Function returns singleton instance of class DependencyCycleDetector

Returns:

DependencyCycleDetector instance of DependencyCycleDetector

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

---

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

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