it.unibz.inf.ontop.spec.ontology.impl

Class GabowSCC<V,E>

java.lang.Object

it.unibz.inf.ontop.spec.ontology.impl.GabowSCC<V,E>

public class GabowSCC<V,E>
extends Object

Allows obtaining the strongly connected components of a directed graph. The implemented algorithm follows Cheriyan-Mehlhorn/Gabow's algorithm Presented in Path-based depth-first search for strong and biconnected components by Gabow (2000). The running time is order of O(|V|+|E|) TODO: replace by GabowStrongConnectivityInspector (from an updated JGraphT)

Constructor Summary

Constructors

Constructor and Description
GabowSCC(org.jgrapht.graph.DefaultDirectedGraph<V,E> directedGraph) The constructor of GabowSCC class.

Method Summary

Modifier and Type	Method and Description
org.jgrapht.graph.DefaultDirectedGraph<V,E>	getGraph() Returns the graph inspected
boolean	isStronglyConnected() Returns true if the graph instance is strongly connected.
List<Equivalences<V>>	stronglyConnectedSets() Computes a List of Sets, where each set contains vertices which together form a strongly connected component within the given graph.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GabowSCC

public GabowSCC(org.jgrapht.graph.DefaultDirectedGraph<V,E> directedGraph)

The constructor of GabowSCC class.

Parameters:

directedGraph - the graph to inspect

Throws:

IllegalArgumentException

Method Detail

getGraph

public org.jgrapht.graph.DefaultDirectedGraph<V,E> getGraph()

Returns the graph inspected

Returns:

the graph inspected

isStronglyConnected

public boolean isStronglyConnected()

Returns true if the graph instance is strongly connected.

Returns:

true if the graph is strongly connected, false otherwise

stronglyConnectedSets

public List<Equivalences<V>> stronglyConnectedSets()

Computes a List of Sets, where each set contains vertices which together form a strongly connected component within the given graph.

Returns:

List of EquivalanceClasses containing the strongly connected components