Hierarchy For Package net.automatalib.automaton

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • net.automatalib.automaton.base.AbstractCompact<I,T,SP,TP> (implements net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>, net.automatalib.automaton.concept.StateIDs<S>, net.automatalib.automaton.concept.StateLocalInput<S,I>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>, net.automatalib.automaton.UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>)
    • net.automatalib.automaton.base.AbstractCompactDeterministic<I,T,SP,TP> (implements net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP>, net.automatalib.automaton.MutableDeterministic.FullIntAbstraction<T,SP,TP>, net.automatalib.automaton.MutableDeterministic.StateIntAbstraction<I,T,SP,TP>)
      • net.automatalib.automaton.base.AbstractCompactSimpleDeterministic<I,SP>
        • net.automatalib.automaton.UniversalCompactSimpleDet<I,SP>
      • net.automatalib.automaton.UniversalCompactDet<I,SP,TP>
  • net.automatalib.automaton.CompactTransition<TP>

Interface Hierarchy

• net.automatalib.automaton.AutomatonCreator<A,I>
• net.automatalib.automaton.concept.FiniteRepresentation
  • net.automatalib.automaton.simple.SimpleAutomaton<S,I> (also extends java.lang.Iterable<T>, net.automatalib.ts.simple.SimpleTS<S,I>)
    • net.automatalib.automaton.Automaton<S,I,T> (also extends net.automatalib.ts.TransitionSystem<S,I,T>)
      • net.automatalib.automaton.DeterministicAutomaton<S,I,T> (also extends net.automatalib.ts.DeterministicTransitionSystem<S,I,T>, net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S,I>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
      • net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T> (also extends net.automatalib.graph.concept.GraphViewable, net.automatalib.automaton.concept.InputAlphabetHolder<I>)
        • net.automatalib.automaton.UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>)
      • net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP> (also extends net.automatalib.ts.UniversalTransitionSystem<S,I,T,SP,TP>)
        • net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
          • net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.DeterministicAutomaton<S,I,T>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
        • net.automatalib.automaton.UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T>)
    • net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S,I> (also extends net.automatalib.ts.simple.SimpleDTS<S,I>)
      • net.automatalib.automaton.DeterministicAutomaton<S,I,T> (also extends net.automatalib.automaton.Automaton<S,I,T>, net.automatalib.ts.DeterministicTransitionSystem<S,I,T>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
  • net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
    • net.automatalib.automaton.DeterministicAutomaton.IntAbstraction<T>
      • net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction<T> (also extends net.automatalib.automaton.simple.SimpleDeterministicAutomaton.FullIntAbstraction)
        • net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP> (also extends net.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic.FullIntAbstraction<T,SP,TP> (also extends net.automatalib.automaton.MutableDeterministic.IntAbstraction<T,SP,TP>)
      • net.automatalib.automaton.DeterministicAutomaton.StateIntAbstraction<I,T> (also extends net.automatalib.automaton.simple.SimpleDeterministicAutomaton.StateIntAbstraction<I>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP> (also extends net.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic.StateIntAbstraction<I,T,SP,TP> (also extends net.automatalib.automaton.MutableDeterministic.IntAbstraction<T,SP,TP>)
      • net.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>
        • net.automatalib.automaton.MutableDeterministic.IntAbstraction<T,SP,TP>
          • net.automatalib.automaton.MutableDeterministic.FullIntAbstraction<T,SP,TP> (also extends net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic.StateIntAbstraction<I,T,SP,TP> (also extends net.automatalib.automaton.UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP> (also extends net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction<T>)
          • net.automatalib.automaton.MutableDeterministic.FullIntAbstraction<T,SP,TP> (also extends net.automatalib.automaton.MutableDeterministic.IntAbstraction<T,SP,TP>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP> (also extends net.automatalib.automaton.DeterministicAutomaton.StateIntAbstraction<I,T>)
          • net.automatalib.automaton.MutableDeterministic.StateIntAbstraction<I,T,SP,TP> (also extends net.automatalib.automaton.MutableDeterministic.IntAbstraction<T,SP,TP>)
    • net.automatalib.automaton.simple.SimpleDeterministicAutomaton.FullIntAbstraction
      • net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction<T> (also extends net.automatalib.automaton.DeterministicAutomaton.IntAbstraction<T>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP> (also extends net.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic.FullIntAbstraction<T,SP,TP> (also extends net.automatalib.automaton.MutableDeterministic.IntAbstraction<T,SP,TP>)
    • net.automatalib.automaton.simple.SimpleDeterministicAutomaton.StateIntAbstraction<I>
      • net.automatalib.automaton.DeterministicAutomaton.StateIntAbstraction<I,T> (also extends net.automatalib.automaton.DeterministicAutomaton.IntAbstraction<T>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP> (also extends net.automatalib.automaton.UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic.StateIntAbstraction<I,T,SP,TP> (also extends net.automatalib.automaton.MutableDeterministic.IntAbstraction<T,SP,TP>)
• net.automatalib.graph.concept.GraphViewable
  • net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T> (also extends net.automatalib.automaton.Automaton<S,I,T>, net.automatalib.automaton.concept.InputAlphabetHolder<I>)
    • net.automatalib.automaton.UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>)
• net.automatalib.automaton.concept.InputAlphabetHolder<I>
  • net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T> (also extends net.automatalib.automaton.Automaton<S,I,T>, net.automatalib.graph.concept.GraphViewable)
    • net.automatalib.automaton.UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>)
• java.lang.Iterable<T>
  • net.automatalib.automaton.simple.SimpleAutomaton<S,I> (also extends net.automatalib.automaton.concept.FiniteRepresentation, net.automatalib.ts.simple.SimpleTS<S,I>)
    • net.automatalib.automaton.Automaton<S,I,T> (also extends net.automatalib.ts.TransitionSystem<S,I,T>)
      • net.automatalib.automaton.DeterministicAutomaton<S,I,T> (also extends net.automatalib.ts.DeterministicTransitionSystem<S,I,T>, net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S,I>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
      • net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T> (also extends net.automatalib.graph.concept.GraphViewable, net.automatalib.automaton.concept.InputAlphabetHolder<I>)
        • net.automatalib.automaton.UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>)
      • net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP> (also extends net.automatalib.ts.UniversalTransitionSystem<S,I,T,SP,TP>)
        • net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
          • net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.DeterministicAutomaton<S,I,T>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
        • net.automatalib.automaton.UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T>)
    • net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S,I> (also extends net.automatalib.ts.simple.SimpleDTS<S,I>)
      • net.automatalib.automaton.DeterministicAutomaton<S,I,T> (also extends net.automatalib.automaton.Automaton<S,I,T>, net.automatalib.ts.DeterministicTransitionSystem<S,I,T>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
• net.automatalib.ts.simple.SimpleTS<S,I>
  • net.automatalib.automaton.simple.SimpleAutomaton<S,I> (also extends net.automatalib.automaton.concept.FiniteRepresentation, java.lang.Iterable<T>)
    • net.automatalib.automaton.Automaton<S,I,T> (also extends net.automatalib.ts.TransitionSystem<S,I,T>)
      • net.automatalib.automaton.DeterministicAutomaton<S,I,T> (also extends net.automatalib.ts.DeterministicTransitionSystem<S,I,T>, net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S,I>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
      • net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T> (also extends net.automatalib.graph.concept.GraphViewable, net.automatalib.automaton.concept.InputAlphabetHolder<I>)
        • net.automatalib.automaton.UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>)
      • net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP> (also extends net.automatalib.ts.UniversalTransitionSystem<S,I,T,SP,TP>)
        • net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
          • net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.DeterministicAutomaton<S,I,T>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
        • net.automatalib.automaton.UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T>)
    • net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S,I> (also extends net.automatalib.ts.simple.SimpleDTS<S,I>)
      • net.automatalib.automaton.DeterministicAutomaton<S,I,T> (also extends net.automatalib.automaton.Automaton<S,I,T>, net.automatalib.ts.DeterministicTransitionSystem<S,I,T>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
  • net.automatalib.ts.simple.SimpleDTS<S,I>
    • net.automatalib.ts.DeterministicTransitionSystem<S,I,T> (also extends net.automatalib.ts.TransitionSystem<S,I,T>)
      • net.automatalib.automaton.DeterministicAutomaton<S,I,T> (also extends net.automatalib.automaton.Automaton<S,I,T>, net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S,I>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
      • net.automatalib.ts.UniversalDTS<S,I,T,SP,TP> (also extends net.automatalib.ts.UniversalTransitionSystem<S,I,T,SP,TP>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.DeterministicAutomaton<S,I,T>, net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
    • net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S,I> (also extends net.automatalib.automaton.simple.SimpleAutomaton<S,I>)
      • net.automatalib.automaton.DeterministicAutomaton<S,I,T> (also extends net.automatalib.automaton.Automaton<S,I,T>, net.automatalib.ts.DeterministicTransitionSystem<S,I,T>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
  • net.automatalib.ts.TransitionSystem<S,I,T>
    • net.automatalib.automaton.Automaton<S,I,T> (also extends net.automatalib.automaton.simple.SimpleAutomaton<S,I>)
      • net.automatalib.automaton.DeterministicAutomaton<S,I,T> (also extends net.automatalib.ts.DeterministicTransitionSystem<S,I,T>, net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S,I>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
      • net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T> (also extends net.automatalib.graph.concept.GraphViewable, net.automatalib.automaton.concept.InputAlphabetHolder<I>)
        • net.automatalib.automaton.UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>)
      • net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP> (also extends net.automatalib.ts.UniversalTransitionSystem<S,I,T,SP,TP>)
        • net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
          • net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.DeterministicAutomaton<S,I,T>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
        • net.automatalib.automaton.UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T>)
    • net.automatalib.ts.DeterministicTransitionSystem<S,I,T> (also extends net.automatalib.ts.simple.SimpleDTS<S,I>)
      • net.automatalib.automaton.DeterministicAutomaton<S,I,T> (also extends net.automatalib.automaton.Automaton<S,I,T>, net.automatalib.automaton.simple.SimpleDeterministicAutomaton<S,I>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
      • net.automatalib.ts.UniversalDTS<S,I,T,SP,TP> (also extends net.automatalib.ts.UniversalTransitionSystem<S,I,T,SP,TP>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.DeterministicAutomaton<S,I,T>, net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
    • net.automatalib.ts.UniversalTransitionSystem<S,I,T,SP,TP>
      • net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.Automaton<S,I,T>)
        • net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
          • net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.DeterministicAutomaton<S,I,T>, net.automatalib.ts.UniversalDTS<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)
        • net.automatalib.automaton.UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.FiniteAlphabetAutomaton<S,I,T>)
      • net.automatalib.ts.UniversalDTS<S,I,T,SP,TP> (also extends net.automatalib.ts.DeterministicTransitionSystem<S,I,T>)
        • net.automatalib.automaton.UniversalDeterministicAutomaton<S,I,T,SP,TP> (also extends net.automatalib.automaton.DeterministicAutomaton<S,I,T>, net.automatalib.automaton.UniversalAutomaton<S,I,T,SP,TP>)
          • net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.MutableAutomaton<S,I,T,SP,TP>)
            • net.automatalib.automaton.ShrinkableDeterministic<S,I,T,SP,TP> (also extends net.automatalib.automaton.ShrinkableAutomaton<S,I,T,SP,TP>)