Class Hierarchy
- java.lang.Object
- owl.automaton.acceptance.degeneralization.BuchiDegeneralization
- owl.automaton.acceptance.degeneralization.BuchiDegeneralization.IndexedState<S> (implements owl.automaton.AnnotatedState<S>)
- owl.automaton.acceptance.degeneralization.RabinDegeneralization
- owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState<S> (implements owl.automaton.AnnotatedState<S>)