Hierarchy For Package owl.automaton

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • owl.automaton.AbstractMemoizingAutomaton<S,A> (implements owl.automaton.Automaton<S,A>)
    • owl.automaton.AbstractMemoizingAutomaton.EdgeMapImplementation<S,A>
    • owl.automaton.AbstractMemoizingAutomaton.EdgesImplementation<S,A>
      • owl.automaton.AbstractMemoizingAutomaton.EdgeImplementation<S,A>
    • owl.automaton.AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A>
      • owl.automaton.EmptyAutomaton<S,A>
      • owl.automaton.SingletonAutomaton<S,A>
    • owl.automaton.AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation<A,B,C>
  • owl.automaton.AnnotatedStateOptimisation
  • owl.automaton.AutomatonUtil
  • owl.automaton.AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B>
  • owl.automaton.BooleanOperations
  • owl.automaton.HashMapAutomaton<S,A> (implements owl.automaton.MutableAutomaton<S,A>)
  • owl.automaton.MutableAutomatonUtil
  • owl.automaton.ParityUtil
  • owl.automaton.UltimatelyPeriodicWord
  • owl.automaton.Views
  • owl.automaton.Views.Filter<S>
  • owl.automaton.Views.Filter.Builder<S>

Interface Hierarchy

• owl.automaton.AnnotatedState<S>
• owl.automaton.Automaton<S,A>
  • owl.automaton.MutableAutomaton<S,A>
• java.util.function.Function<T,R>
  • owl.automaton.SuccessorFunction<S>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • owl.automaton.Automaton.Property