Package owl.automaton.algorithm
-
Class Summary Class Description LanguageContainment LanguageEmptiness LanguageMembership SccDecomposition<S> This class provides a decomposition into strongly connected components (SCCs) of a directed graph given by either anAutomatonor aSuccessorFunction.