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