Hierarchy For Package net.automatalib.ts

Package Hierarchies:

• All Packages

Interface Hierarchy

• 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.ts.FiniteKTS<S,I,T,AP> (also extends net.automatalib.graph.concept.KripkeInterpretation<N,AP>)
• 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.ts.FiniteKTS<S,I,T,AP> (also extends net.automatalib.graph.concept.KripkeInterpretation<N,AP>)
• net.automatalib.graph.concept.KripkeInterpretation<N,AP>
  • net.automatalib.ts.FiniteKTS<S,I,T,AP> (also extends net.automatalib.automaton.Automaton<S,I,T>)
• 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.ts.FiniteKTS<S,I,T,AP> (also extends net.automatalib.graph.concept.KripkeInterpretation<N,AP>)
  • 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.ts.PowersetViewTS<S,I,T,OS,OT>
      • net.automatalib.ts.UniversalDTS<S,I,T,SP,TP> (also extends net.automatalib.ts.UniversalTransitionSystem<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.ts.FiniteKTS<S,I,T,AP> (also extends net.automatalib.graph.concept.KripkeInterpretation<N,AP>)
    • net.automatalib.ts.DeterministicTransitionSystem<S,I,T> (also extends net.automatalib.ts.simple.SimpleDTS<S,I>)
      • net.automatalib.ts.PowersetViewTS<S,I,T,OS,OT>
      • net.automatalib.ts.UniversalDTS<S,I,T,SP,TP> (also extends net.automatalib.ts.UniversalTransitionSystem<S,I,T,SP,TP>)
    • net.automatalib.ts.UniversalTransitionSystem<S,I,T,SP,TP>
      • net.automatalib.ts.UniversalDTS<S,I,T,SP,TP> (also extends net.automatalib.ts.DeterministicTransitionSystem<S,I,T>)
• net.automatalib.ts.TransitionPredicate<S,I,T>