Package owl.automaton.algorithms
-
Class Summary Class Description EmptinessCheck LanguageAnalysis SccDecomposition<S> Finds the SCCs of a given graph / transition system using Tarjan's algorithm.
Class | Description |
---|---|
EmptinessCheck | |
LanguageAnalysis | |
SccDecomposition<S> |
Finds the SCCs of a given graph / transition system using Tarjan's algorithm.
|