# Hierarchy For All Packages

Package Hierarchies:

- owl.automaton,
- owl.automaton.acceptance,
- owl.automaton.algorithms,
- owl.automaton.edge,
- owl.automaton.ldba,
- owl.automaton.minimizations,
- owl.automaton.output,
- owl.automaton.transformations,
- owl.automaton.util,
- owl.collections,
- owl.factories,
- owl.factories.jbdd,
- owl.game,
- owl.game.algorithms,
- owl.game.output,
- owl.grammar,
- owl.jni,
- owl.ltl,
- owl.ltl.algorithms,
- owl.ltl.parser,
- owl.ltl.rewriter,
- owl.ltl.robust,
- owl.ltl.tlsf,
- owl.ltl.util,
- owl.ltl.visitors,
- owl.run,
- owl.run.modules,
- owl.run.parser,
- owl.translations,
- owl.translations.delag,
- owl.translations.dpa2safety,
- owl.translations.dra2dpa,
- owl.translations.fgx2dpa,
- owl.translations.ldba2dpa,
- owl.translations.ldba2dra,
- owl.translations.ltl2dpa,
- owl.translations.ltl2dra,
- owl.translations.ltl2ldba,
- owl.translations.ltl2ldba.breakpoint,
- owl.translations.ltl2ldba.breakpointfree,
- owl.translations.nba2dpa,
- owl.translations.nba2ldba,
- owl.translations.rabinizer,
- owl.translations.safra,
- owl.util,
- owl.util.annotation

## Class Hierarchy

- java.lang.Object
  - owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder<S,T,U> (implements owl.automaton.ldba.MutableAutomatonBuilder<S,T,U>)
    - owl.translations.ltl2ldba.breakpoint.DegeneralizedAcceptingComponentBuilder
    - owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
    - owl.translations.ltl2ldba.breakpoint.GeneralizedAcceptingComponentBuilder
    - owl.translations.ltl2ldba.breakpointfree.GeneralizedAcceptingComponentBuilder
  - owl.automaton.AbstractAutomaton<S,A> (implements owl.automaton.Automaton<S,A>)
    - owl.automaton.ImplicitCachedStatesAutomaton<S,A>
      - owl.automaton.Views.AutomatonView<S,A>
  - owl.translations.ldba2dpa.AbstractBuilder<S,T,A,L,B>
  - owl.ltl.AbstractFormula (implements owl.ltl.Formula)
    - owl.ltl.Biconditional
    - owl.ltl.BinaryModalOperator
      - owl.ltl.MOperator
      - owl.ltl.ROperator
      - owl.ltl.UOperator
      - owl.ltl.WOperator
    - owl.ltl.Literal
    - owl.ltl.PropositionalFormula
      - owl.ltl.Conjunction
      - owl.ltl.Disjunction
    - owl.ltl.UnaryModalOperator
      - owl.ltl.FOperator
      - owl.ltl.GOperator
        - owl.ltl.FrequencyG
      - owl.ltl.XOperator
  - owl.translations.ltl2ldba.AbstractJumpManager<X>
    - owl.translations.ltl2ldba.breakpointfree.FGObligationsJumpManager
    - owl.translations.ltl2ldba.breakpoint.GObligationsJumpManager
  - owl.translations.ltl2ldba.AbstractLTL2LDBAModule (implements owl.run.modules.OwlModuleParser.TransformerParser)
    - owl.translations.ltl2ldba.LTL2LDBAModule
    - owl.translations.ltl2ldba.LTL2LDGBAModule
  - org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T> (implements org.antlr.v4.runtime.tree.ParseTreeVisitor<T>)
    - owl.grammar.LTLParserBaseVisitor<T> (implements owl.grammar.LTLParserVisitor<T>)
    - owl.grammar.TLSFParserBaseVisitor<T> (implements owl.grammar.TLSFParserVisitor<T>)
  - owl.game.output.Aig
  - owl.game.output.AigerPrinter (implements owl.game.output.AigConsumer)
  - owl.game.output.AigFactory
  - owl.automaton.AutomatonFactory
  - owl.automaton.AutomatonOperations
  - owl.automaton.AutomatonReader
  - owl.automaton.AutomatonReader.HoaState
  - owl.automaton.AutomatonUtil
  - owl.automaton.AutomatonUtil.InitialComponentState<S> (implements owl.automaton.util.AnnotatedState<S>)
  - org.antlr.v4.runtime.BaseErrorListener (implements org.antlr.v4.runtime.ANTLRErrorListener)
    - owl.ltl.parser.TokenErrorListener
  - owl.ltl.BooleanConstant (implements owl.ltl.Formula)
  - owl.automaton.acceptance.BooleanExpressions
  - owl.translations.ltl2ldba.breakpointfree.BooleanLattice (implements owl.translations.ldba2dpa.LanguageLattice<S,A,L>)
  - owl.translations.nba2ldba.BreakpointState<S>
  - owl.automaton.transformations.BuchiDegeneralization
  - owl.collections.Collections3
  - owl.ltl.visitors.Collector
  - owl.ltl.visitors.Converter (implements java.util.function.Function<T,R>, owl.ltl.visitors.Visitor<R>)
    - owl.translations.ltl2ldba.FGSubstitution
    - owl.translations.ltl2ldba.GFSubstitution
    - owl.ltl.visitors.UnabbreviateVisitor
  - owl.util.DaemonThreadFactory (implements java.util.concurrent.ThreadFactory)
  - owl.run.DefaultCli
  - owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
  - owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
  - owl.translations.delag.DelagBuilder<T> (implements java.util.function.Function<T,R>)
  - owl.translations.dpa2safety.DPA2Safety<S> (implements java.util.function.BiFunction<T,U,R>)
  - owl.automaton.edge.Edges
  - owl.automaton.algorithms.EmptinessCheck
  - owl.ltl.EquivalenceClass
  - owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice (implements owl.translations.ldba2dpa.LanguageLattice<S,A,L>)
  - owl.translations.ltl2ldba.EquivalenceClassStateFactory
  - owl.translations.ExternalTranslator (implements java.util.function.Function<T,R>)
  - owl.factories.Factories
  - owl.translations.ltl2ldba.breakpointfree.FGObligations (implements owl.translations.ltl2ldba.RecurringObligation)
  - owl.translations.fgx2dpa.FGX2DPA
  - owl.translations.ldba2dpa.FlatRankingAutomaton
  - owl.translations.ldba2dpa.FlatRankingState<S,T> (implements owl.automaton.util.AnnotatedState<S>)
  - owl.ltl.util.FormulaIsomorphism
  - owl.game.GameFactory
  - owl.game.GameUtil
  - owl.game.GameViews
  - owl.game.GameViews.Node<S> (implements owl.automaton.util.AnnotatedState<S>)
  - owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
  - owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
  - owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
  - owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
  - owl.automaton.minimizations.GeneralizedRabinMinimizations
  - owl.automaton.minimizations.GenericMinimizations
  - owl.translations.ltl2ldba.breakpoint.GObligations (implements owl.translations.ltl2ldba.RecurringObligation)
  - owl.util.GuardedStream
  - owl.automaton.output.HoaPrinter
  - owl.translations.dra2dpa.IARBuilder<R>
  - owl.translations.dra2dpa.IARState<R> (implements owl.automaton.util.AnnotatedState<S>)
  - owl.run.modules.InputReaders
  - owl.run.modules.InputReaders.HoaReader (implements owl.run.modules.InputReader)
  - owl.factories.jbdd.JBddSupplier (implements owl.factories.FactorySupplier)
  - owl.jni.JniAutomaton<S>
  - owl.jni.JniEmersonLeiAutomaton
  - owl.jni.JniEmersonLeiAutomaton.Reference
  - owl.translations.ltl2ldba.Jump<U>
  - owl.game.output.LabelledAig
  - owl.automaton.edge.LabelledEdge<S>
  - owl.automaton.edge.LabelledEdges
  - owl.ltl.LabelledFormula
  - owl.ltl.robust.LabelledSplit
  - owl.collections.LabelledTree<L1,L2>
    - owl.collections.LabelledTree.Leaf<L1,L2>
    - owl.collections.LabelledTree.Node<L1,L2>
  - owl.automaton.algorithms.LanguageAnalysis
  - owl.ltl.algorithms.LanguageAnalysis
  - owl.automaton.ldba.LimitDeterministicAutomatonBuilder<S,KeyT,T,B,C>
  - owl.automaton.ldba.LimitDeterministicAutomatonImpl<S,T,U,V> (implements owl.automaton.ldba.LimitDeterministicAutomaton<S,T,U,V>)
  - owl.ltl.rewriter.LiteralMapper
  - owl.ltl.rewriter.LiteralMapper.ShiftedFormula
  - owl.translations.LTL2DAFunction (implements java.util.function.Function<T,R>)
  - owl.translations.LTL2DAModule
  - owl.translations.LTL2DPA
  - owl.translations.ltl2dpa.LTL2DPACliParser (implements owl.run.modules.OwlModuleParser.TransformerParser)
  - owl.translations.ltl2dpa.LTL2DPAFunction (implements java.util.function.Function<T,R>)
  - owl.translations.ltl2dra.LTL2DRACliParser (implements owl.run.modules.OwlModuleParser.TransformerParser)
  - owl.translations.ltl2dra.LTL2DRAFunction (implements java.util.function.Function<T,R>)
  - owl.translations.ltl2ldba.LTL2LDBAFunction<S,B,C> (implements java.util.function.Function<T,R>)
  - owl.ltl.parser.LtlParser
  - owl.grammar.LTLParserBaseListener (implements owl.grammar.LTLParserListener)
  - owl.translations.ldba2dra.MapRankingAutomaton
  - owl.translations.ldba2dra.MapRankingState<S,K,V> (implements owl.automaton.util.AnnotatedState<S>)
  - owl.automaton.minimizations.MinimizationUtil
  - owl.translations.fgx2dpa.Monitor<F>
  - owl.automaton.MutableAutomatonFactory
  - owl.automaton.MutableAutomatonUtil
  - owl.automaton.MutableAutomatonUtil.Sink
  - owl.translations.nba2dpa.NBA2DPA (implements java.util.function.Function<T,R>)
  - owl.translations.nba2ldba.NBA2LDBA (implements java.util.function.Function<T,R>)
  - owl.ltl.rewriter.NormalForms
  - owl.automaton.acceptance.OmegaAcceptance
    - owl.automaton.acceptance.AllAcceptance
    - owl.automaton.acceptance.CoBuchiAcceptance
    - owl.automaton.acceptance.EmersonLeiAcceptance
    - owl.automaton.acceptance.GeneralizedBuchiAcceptance
      - owl.automaton.acceptance.BuchiAcceptance
    - owl.automaton.acceptance.GeneralizedRabinAcceptance
      - owl.automaton.acceptance.RabinAcceptance
    - owl.automaton.acceptance.NoneAcceptance
    - owl.automaton.acceptance.ParityAcceptance
  - owl.run.modules.OutputWriters
  - owl.run.modules.OutputWriters.AutomatonStats
  - owl.run.modules.OutputWriters.ToHoa (implements owl.run.modules.OutputWriter)
  - owl.run.modules.OwlModuleRegistry
  - owl.run.parser.OwlParser
  - owl.game.algorithms.ParityGameSolver
  - owl.automaton.transformations.ParityUtil
  - owl.run.parser.PartialConfigurationParser
  - owl.run.parser.PartialModuleConfiguration
  - owl.run.parser.PartialModuleConfiguration.Constructor
  - owl.run.Pipeline
  - owl.run.parser.PipelineParser
  - owl.run.PipelineRunner
  - owl.ltl.visitors.PrintVisitor (implements owl.ltl.visitors.Visitor<R>)
  - owl.translations.fgx2dpa.PromisedSet
  - owl.ltl.visitors.PropositionalIntVisitor (implements owl.ltl.visitors.IntVisitor)
  - owl.ltl.visitors.PropositionalVisitor<T> (implements owl.ltl.visitors.Visitor<R>)
    - owl.ltl.visitors.SubstitutionVisitor
  - owl.factories.PropositionVisitor (implements owl.ltl.visitors.IntVisitor)
  - owl.ltl.rewriter.PullUpXVisitor (implements java.util.function.UnaryOperator<T>, owl.ltl.visitors.Visitor<R>)
  - owl.ltl.rewriter.PullUpXVisitor.XFormula
  - owl.automaton.acceptance.RabinAcceptance.Builder
  - owl.translations.rabinizer.RabinizerBuilder
  - owl.translations.rabinizer.RabinizerCliParser (implements owl.run.modules.OwlModuleParser.TransformerParser)
  - owl.translations.rabinizer.RabinizerConfiguration
  - owl.translations.rabinizer.RabinizerDegeneralizeMain
  - owl.translations.rabinizer.RabinizerMain
  - owl.translations.rabinizer.RabinizerState
  - org.antlr.v4.runtime.Recognizer<Symbol,ATNInterpreter>
    - org.antlr.v4.runtime.Lexer (implements org.antlr.v4.runtime.TokenSource)
      - owl.grammar.LTLLexer
      - owl.grammar.TLSFLexer
    - org.antlr.v4.runtime.Parser
      - owl.grammar.LTLParser
      - owl.grammar.TLSFParser
  - owl.ltl.robust.RobustLtlInputReader (implements owl.run.modules.OwlModuleParser.ReaderParser)
  - owl.ltl.robust.RobustLtlParser
  - org.antlr.v4.runtime.RuleContext (implements org.antlr.v4.runtime.tree.RuleNode)
    - org.antlr.v4.runtime.ParserRuleContext
      - owl.grammar.LTLParser.AndExpressionContext
      - owl.grammar.LTLParser.AtomExpressionContext
        - owl.grammar.LTLParser.BooleanContext
        - owl.grammar.LTLParser.DoubleQuotedVariableContext
        - owl.grammar.LTLParser.NestedContext
        - owl.grammar.LTLParser.SingleQuotedVariableContext
        - owl.grammar.LTLParser.VariableContext
      - owl.grammar.LTLParser.BinaryExpressionContext
        - owl.grammar.LTLParser.BinaryOperationContext
        - owl.grammar.LTLParser.BinaryUnaryContext
      - owl.grammar.LTLParser.BinaryOpContext
      - owl.grammar.LTLParser.BoolContext
      - owl.grammar.LTLParser.ComparisonContext
      - owl.grammar.LTLParser.ExpressionContext
      - owl.grammar.LTLParser.FormulaContext
      - owl.grammar.LTLParser.FrequencyOpContext
      - owl.grammar.LTLParser.FrequencySpecContext
        - owl.grammar.LTLParser.FractionContext
        - owl.grammar.LTLParser.ProbabilityContext
      - owl.grammar.LTLParser.OrExpressionContext
      - owl.grammar.LTLParser.UnaryExpressionContext
        - owl.grammar.LTLParser.UnaryAtomContext
        - owl.grammar.LTLParser.UnaryOperationContext
      - owl.grammar.LTLParser.UnaryOpContext
      - owl.grammar.TLSFParser.InputContext
      - owl.grammar.TLSFParser.OutputContext
      - owl.grammar.TLSFParser.SemanticsContext
      - owl.grammar.TLSFParser.SpecificationContext
      - owl.grammar.TLSFParser.TargetContext
      - owl.grammar.TLSFParser.TlsfContext
  - owl.run.RunUtil
  - owl.translations.fgx2dpa.SafetyAutomaton
  - owl.translations.ltl2ldba.SafetyDetector
  - owl.translations.safra.SafraBuilder
  - owl.translations.safra.SafraBuilder.Label<S>
  - owl.automaton.algorithms.SccDecomposition<S>
  - owl.run.ServerCli
  - owl.run.ServerRunner (implements java.util.concurrent.Callable<V>)
  - owl.ltl.rewriter.SimplifierFactory
  - owl.ltl.robust.Split
  - owl.translations.delag.State<T>
  - owl.util.StringUtil
  - owl.ltl.SyntacticFragments
  - owl.translations.Synthesis
  - java.lang.Throwable (implements java.io.Serializable)
    - java.lang.Exception
      - owl.run.modules.OwlModuleRegistry.OwlModuleNotFoundException
      - owl.run.parser.PipelineParser.ModuleParseException
      - java.lang.RuntimeException
        - owl.run.PipelineException
  - owl.ltl.tlsf.Tlsf
  - owl.ltl.parser.TlsfParser
  - owl.grammar.TLSFParserBaseListener (implements owl.grammar.TLSFParserListener)
  - owl.run.modules.Transformers
  - owl.run.modules.Transformers.SimpleTransformer (implements owl.run.modules.Transformer, owl.run.modules.Transformer.Instance)
    - owl.automaton.minimizations.ImplicitMinimizeTransformer
    - owl.automaton.transformations.RabinDegeneralization
    - owl.ltl.rewriter.SimplifierTransformer
  - owl.translations.safra.Tree<L>
  - owl.util.TypeUtil
  - owl.collections.ValuationSet
  - owl.collections.ValuationSetUtil
  - owl.automaton.Views
  - owl.ltl.visitors.XDepthVisitor (implements owl.ltl.visitors.IntVisitor)

## Interface Hierarchy

- owl.game.output.AigConsumer
- owl.game.output.AigPrintable
  - owl.game.Game<S,A> (also extends owl.automaton.Automaton<S,A>)
- owl.automaton.util.AnnotatedState<S>
- owl.automaton.Automaton<S,A>
  - owl.automaton.EdgesAutomatonMixin<S,A>
  - owl.game.Game<S,A> (also extends owl.game.output.AigPrintable)
  - owl.automaton.LabelledEdgesAutomatonMixin<S,A>
  - owl.automaton.MutableAutomaton<S,A>
- owl.automaton.Automaton.Visitor<S>
  - owl.automaton.Automaton.EdgeVisitor<S>
    - owl.automaton.Automaton.HybridVisitor<S> (also extends owl.automaton.Automaton.LabelledEdgeVisitor<S>)
  - owl.automaton.Automaton.LabelledEdgeVisitor<S>
    - owl.automaton.Automaton.HybridVisitor<S> (also extends owl.automaton.Automaton.EdgeVisitor<S>)
- owl.ltl.visitors.BinaryVisitor<P,R>
- owl.automaton.edge.Edge<S>
- owl.run.Environment
- owl.factories.EquivalenceClassFactory
- owl.factories.FactorySupplier
- owl.ltl.Formula
- java.util.function.Function<T,R>
  - owl.automaton.SuccessorFunction<S>
- owl.run.modules.InputReaders.CheckedCallback
- owl.util.IntBiConsumer
- owl.ltl.visitors.IntVisitor
- owl.translations.ldba2dpa.Language<L>
- owl.translations.ldba2dpa.LanguageLattice<S,A,L>
- owl.automaton.ldba.LimitDeterministicAutomaton<S,T,U,V>
- owl.automaton.minimizations.Minimization<S,A>
- owl.automaton.ldba.MutableAutomatonBuilder<S,T,U>
- owl.run.modules.OutputWriter.Binding
- owl.run.modules.OwlModule
  - owl.run.modules.InputReader
  - owl.run.modules.OutputWriter
  - owl.run.modules.Transformer
- owl.run.modules.OwlModuleParser<M>
  - owl.run.modules.OwlModuleParser.ReaderParser
  - owl.run.modules.OwlModuleParser.TransformerParser
  - owl.run.modules.OwlModuleParser.WriterParser
- org.antlr.v4.runtime.tree.ParseTreeListener
  - owl.grammar.LTLParserListener
  - owl.grammar.TLSFParserListener
- org.antlr.v4.runtime.tree.ParseTreeVisitor<T>
  - owl.grammar.LTLParserVisitor<T>
  - owl.grammar.TLSFParserVisitor<T>
- owl.run.PipelineExecutionContext
- owl.translations.ltl2ldba.RecurringObligation
- owl.run.modules.Transformer.Instance
- owl.factories.ValuationSetFactory
- owl.ltl.visitors.Visitor<R>

## Annotation Type Hierarchy

- owl.util.annotation.EverythingIsNonnullByDefault (implements java.lang.annotation.Annotation)
- owl.util.annotation.HashedTuple (implements java.lang.annotation.Annotation)
- owl.util.annotation.Tuple (implements java.lang.annotation.Annotation)

## Enum Hierarchy

- java.lang.Object
  - java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    - owl.automaton.Automaton.Property
    - owl.ltl.FrequencyG.Comparison
    - owl.ltl.FrequencyG.Limes
    - owl.game.Game.Owner
    - owl.automaton.output.HoaPrinter.HoaOption
    - owl.jni.JniEmersonLeiAutomaton.SafetySplittingMode
    - owl.automaton.ldba.LimitDeterministicAutomatonBuilder.Configuration
    - owl.translations.LTL2DAFunction.Constructions
    - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
    - owl.translations.ltl2dra.LTL2DRAFunction.Configuration
    - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
    - owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
    - owl.run.modules.OutputWriters.ToHoa.Setting
    - owl.run.modules.OwlModuleRegistry.Type
    - owl.automaton.acceptance.ParityAcceptance.Parity
    - owl.ltl.robust.Robustness
    - owl.ltl.rewriter.SimplifierFactory.Mode
    - owl.ltl.SyntacticFragment
    - owl.ltl.tlsf.Tlsf.Semantics