Class Hierarchy
- java.lang.Object
- owl.translations.ltl2dra.NormalformDRAConstruction<R> (implements java.util.function.Function<T,R>)
- owl.translations.ltl2dra.SymbolicNormalformDRAConstruction (implements java.util.function.Function<T,R>)
- owl.translations.ltl2dra.SymmetricDRAConstruction<R> (implements java.util.function.Function<T,R>)
- owl.translations.ltl2dra.SymmetricRankingState (implements owl.automaton.AnnotatedState<S>)