# Hierarchy For All Packages

Package Hierarchies:

- owl.automaton,
- owl.automaton.acceptance,
- owl.automaton.acceptance.optimizations,
- owl.automaton.algorithms,
- owl.automaton.edge,
- owl.automaton.output,
- owl.automaton.transformations,
- owl.automaton.util,
- owl.cinterface,
- owl.collections,
- owl.factories,
- owl.factories.jbdd,
- owl.game,
- owl.game.algorithms,
- owl.game.output,
- owl.grammar,
- owl.ltl,
- owl.ltl.algorithms,
- owl.ltl.parser,
- owl.ltl.rewriter,
- owl.ltl.robust,
- owl.ltl.util,
- owl.ltl.visitors,
- owl.run,
- owl.run.modules,
- owl.run.parser,
- owl.translations,
- owl.translations.canonical,
- owl.translations.delag,
- owl.translations.dpa2safety,
- owl.translations.dra2dpa,
- owl.translations.fgx2dpa,
- owl.translations.ltl2dpa,
- owl.translations.ltl2dra,
- owl.translations.ltl2ldba,
- owl.translations.ltl2nba,
- owl.translations.mastertheorem,
- owl.translations.modules,
- owl.translations.nba2dpa,
- owl.translations.nba2ldba,
- owl.translations.rabinizer,
- owl.util,
- owl.util.annotation

## Class Hierarchy

- java.lang.Object
  - owl.automaton.AbstractCachedStatesAutomaton<S,​A> (implements owl.automaton.Automaton<S,​A>)
    - owl.automaton.AbstractImplicitAutomaton<S,​A>
      - owl.automaton.ImplicitNonDeterministicEdgeTreeAutomaton<S,​A> (implements owl.automaton.EdgeTreeAutomatonMixin<S,​A>)
      - owl.automaton.Views.AutomatonView<S,​A>
    - owl.translations.canonical.DeterministicConstructions.CoSafety
    - owl.translations.canonical.DeterministicConstructions.FgSafety
    - owl.translations.canonical.DeterministicConstructions.GCoSafety
    - owl.translations.canonical.DeterministicConstructions.GfCoSafety
    - owl.translations.canonical.DeterministicConstructions.Safety
    - owl.translations.canonical.DeterministicConstructions.Tracking
    - owl.translations.canonical.LegacyFactory
    - owl.translations.canonical.NonDeterministicConstructions.CoSafety
    - owl.translations.canonical.NonDeterministicConstructions.FgSafety
    - owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
    - owl.translations.canonical.NonDeterministicConstructions.Safety
    - owl.translations.canonical.NonDeterministicConstructions.Tracking
    - owl.automaton.TwoPartAutomaton<A,​B,​C> (implements owl.automaton.EdgeTreeAutomatonMixin<S,​A>)
  - 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.automaton.acceptance.optimizations.AcceptanceOptimizations
  - owl.game.output.Aig
  - owl.game.output.AigerPrinter (implements owl.game.output.AigConsumer)
  - owl.game.output.AigFactory
  - owl.translations.ltl2ldba.AnnotatedLDBA<S,​T,​B,​X,​Y>
  - owl.automaton.util.AnnotatedStateOptimisation
  - owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints (implements java.lang.Comparable<T>, owl.ltl.LtlLanguageExpressible)
  - owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
  - owl.translations.ltl2ldba.AsymmetricLDBAConstruction<B> (implements java.util.function.Function<T,​R>)
  - owl.translations.ltl2ldba.AsymmetricProductState (implements owl.ltl.LtlLanguageExpressible)
  - owl.automaton.AutomatonFactory
  - owl.automaton.AutomatonOperations
  - owl.automaton.AutomatonReader
  - owl.automaton.AutomatonReader.HoaState
  - owl.automaton.AutomatonUtil
  - org.antlr.v4.runtime.BaseErrorListener (implements org.antlr.v4.runtime.ANTLRErrorListener)
    - owl.ltl.parser.TokenErrorListener
  - owl.automaton.acceptance.BooleanExpressions
  - owl.translations.canonical.BreakpointState<E>
  - owl.translations.nba2ldba.BreakpointState<S>
  - owl.automaton.transformations.BuchiDegeneralization
  - owl.collections.Collections3
  - owl.ltl.visitors.Converter (implements java.util.function.UnaryOperator<T>, owl.ltl.visitors.Visitor<R>)
    - owl.ltl.visitors.UnabbreviateVisitor
  - owl.util.DaemonThreadFactory (implements java.util.concurrent.ThreadFactory)
  - owl.cinterface.DecomposedDPA
  - owl.cinterface.DecomposedDPA.Reference
  - owl.ltl.rewriter.DeduplicationRewriter (implements owl.ltl.visitors.Visitor<R>)
  - owl.run.DefaultCli
  - owl.translations.delag.DelagBuilder (implements java.util.function.Function<T,​R>)
  - owl.cinterface.DeterministicAutomaton<S,​T>
  - owl.translations.canonical.DeterministicConstructions
  - owl.translations.dpa2safety.DPA2Safety<S> (implements java.util.function.BiFunction<T,​U,​R>)
  - owl.automaton.edge.Edge<S>
  - owl.automaton.edge.Edges
  - owl.collections.Either<A,​B>
  - owl.ltl.EquivalenceClass (implements owl.ltl.LtlLanguageExpressible)
  - owl.translations.ExternalTranslator (implements java.util.function.Function<T,​R>)
  - owl.factories.Factories
  - owl.translations.fgx2dpa.FGX2DPA
  - owl.translations.mastertheorem.Fixpoints (implements java.lang.Comparable<T>)
  - owl.ltl.Formula (implements java.lang.Comparable<T>)
    - owl.ltl.Formula.LogicalOperator
      - owl.ltl.Biconditional
      - owl.ltl.BooleanConstant
      - owl.ltl.PropositionalFormula
        - owl.ltl.Conjunction
        - owl.ltl.Disjunction
    - owl.ltl.Formula.TemporalOperator
      - owl.ltl.Formula.ModalOperator
        - owl.ltl.BinaryModalOperator
          - owl.ltl.MOperator
          - owl.ltl.ROperator
          - owl.ltl.UOperator
          - owl.ltl.WOperator
        - owl.ltl.UnaryModalOperator
          - owl.ltl.FOperator
          - owl.ltl.GOperator
            - owl.ltl.FrequencyG
          - owl.ltl.XOperator
      - owl.ltl.Literal
  - owl.ltl.util.FormulaIsomorphism
  - owl.ltl.Formulas
  - owl.game.GameFactory
  - owl.game.GameUtil
  - owl.game.GameViews
  - owl.game.GameViews.Node<S> (implements owl.automaton.util.AnnotatedState<S>)
  - owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
  - owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair (implements java.lang.Comparable<T>)
  - owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
  - owl.translations.canonical.GenericConstructions
  - 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.factories.jbdd.JBddSupplier (implements owl.factories.FactorySupplier)
  - owl.game.output.LabelledAig
  - 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.ltl.algorithms.LanguageAnalysis
  - owl.automaton.algorithms.LanguageContainment
  - owl.automaton.algorithms.LanguageEmptiness
  - owl.automaton.algorithms.LanguageMembership
  - owl.ltl.visitors.LatexPrintVisitor (implements owl.ltl.visitors.Visitor<R>)
  - owl.ltl.rewriter.LiteralMapper
  - owl.ltl.rewriter.LiteralMapper.ShiftedFormula
  - owl.translations.LTL2DAFunction (implements java.util.function.Function<T,​R>)
  - owl.translations.modules.LTL2DAModule
  - owl.translations.modules.LTL2DGRAModule
  - owl.translations.ltl2dpa.LTL2DPAFunction (implements java.util.function.Function<T,​R>)
  - owl.translations.modules.LTL2DPAModule (implements owl.run.modules.OwlModuleParser.TransformerParser)
  - owl.translations.modules.LTL2DRAModule
  - owl.translations.modules.LTL2LDBAModule
  - owl.translations.modules.LTL2LDGBAModule
  - owl.translations.LTL2NAFunction (implements java.util.function.Function<T,​R>)
  - owl.translations.modules.LTL2NAModule
  - owl.translations.modules.LTL2NBAModule (implements owl.run.modules.OwlModuleParser.TransformerParser)
  - owl.translations.modules.LTL2NGBAModule (implements owl.run.modules.OwlModuleParser.TransformerParser)
  - owl.ltl.parser.LtlParser
  - owl.grammar.LTLParserBaseListener (implements owl.grammar.LTLParserListener)
  - 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.translations.nba2ldba.NBA2LDBA.LDBA<S>
  - owl.translations.canonical.NonDeterministicConstructions
  - 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.automaton.acceptance.optimizations.OmegaAcceptanceOptimizations
  - 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.automaton.acceptance.optimizations.ParityAcceptanceOptimizations
  - 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.translations.mastertheorem.Predicates
  - owl.ltl.visitors.PrintVisitor (implements owl.ltl.visitors.Visitor<R>)
  - owl.translations.ltl2nba.ProductState
  - 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.translations.ltl2ldba.BlockingModalOperatorsVisitor
  - owl.ltl.rewriter.PullUpXVisitor (implements owl.ltl.visitors.Visitor<R>)
  - owl.ltl.rewriter.PullUpXVisitor.XFormula
  - owl.automaton.acceptance.RabinAcceptance.Builder
  - owl.translations.rabinizer.RabinizerBuilder
  - owl.translations.rabinizer.RabinizerConfiguration
  - owl.translations.rabinizer.RabinizerState
  - owl.translations.nba2dpa.RankingState<S>
  - org.antlr.v4.runtime.Recognizer<Symbol,​ATNInterpreter>
    - org.antlr.v4.runtime.Lexer (implements org.antlr.v4.runtime.TokenSource)
      - owl.grammar.LTLLexer
    - org.antlr.v4.runtime.Parser
      - owl.grammar.LTLParser
  - owl.translations.mastertheorem.Rewriter
  - owl.translations.mastertheorem.Rewriter.ToCoSafety
  - owl.translations.mastertheorem.Rewriter.ToSafety
  - owl.ltl.robust.RobustLtlInputReader (implements owl.run.modules.OwlModuleParser.ReaderParser)
  - owl.ltl.robust.RobustLtlParser
  - owl.translations.canonical.RoundRobinState<E>
  - 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.run.RunUtil
  - owl.translations.fgx2dpa.SafetyAutomaton
  - owl.translations.SafetyCoreDetector
  - owl.automaton.algorithms.SccDecomposition<S>
  - owl.translations.mastertheorem.Selector
  - 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.translations.ltl2dra.SymmetricDRAConstruction<R> (implements java.util.function.Function<T,​R>)
  - owl.translations.mastertheorem.SymmetricEvaluatedFixpoints (implements java.lang.Comparable<T>, owl.ltl.LtlLanguageExpressible)
  - owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.DeterministicAutomata
  - owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.NonDeterministicAutomata
  - owl.translations.ltl2ldba.SymmetricLDBAConstruction<B> (implements java.util.function.Function<T,​R>)
  - owl.translations.ltl2nba.SymmetricNBAConstruction<B> (implements java.util.function.Function<T,​R>)
  - owl.translations.ltl2ldba.SymmetricProductState (implements owl.ltl.LtlLanguageExpressible)
  - 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 (implements java.io.Serializable)
  - owl.run.modules.Transformers
  - owl.run.modules.Transformers.SimpleTransformer (implements owl.run.modules.Transformer, owl.run.modules.Transformer.Instance)
    - owl.automaton.acceptance.optimizations.AcceptanceOptimizations.AcceptanceOptimizationTransformer
    - owl.automaton.transformations.RabinDegeneralization
    - owl.ltl.rewriter.SimplifierTransformer
  - owl.util.TypeUtil
  - owl.automaton.UltimatelyPeriodicWord
  - owl.collections.UpwardClosedSet
  - owl.collections.ValuationSet
  - owl.collections.ValuationTree<E>
    - owl.collections.ValuationTree.Leaf<E>
    - owl.collections.ValuationTree.Node<E>
  - owl.collections.ValuationTrees
  - 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.EdgeMapAutomatonMixin<S,​A>
  - owl.automaton.EdgesAutomatonMixin<S,​A>
  - owl.automaton.EdgeTreeAutomatonMixin<S,​A>
  - owl.game.Game<S,​A> (also extends owl.game.output.AigPrintable)
  - owl.automaton.MutableAutomaton<S,​A>
- owl.automaton.Automaton.Visitor<S>
  - owl.automaton.Automaton.EdgeMapVisitor<S>
  - owl.automaton.Automaton.EdgeTreeVisitor<S>
  - owl.automaton.Automaton.EdgeVisitor<S>
- java.util.function.BiFunction<T,​U,​R>
  - owl.ltl.visitors.BinaryVisitor<P,​R>
- owl.run.Environment
- owl.factories.EquivalenceClassFactory
- owl.factories.FactorySupplier
- java.util.function.Function<T,​R>
  - owl.automaton.SuccessorFunction<S>
  - owl.ltl.visitors.Visitor<R>
- owl.run.modules.InputReaders.CheckedCallback
- owl.util.IntBiConsumer
- owl.ltl.LtlLanguageExpressible
- 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
- org.antlr.v4.runtime.tree.ParseTreeVisitor<T>
  - owl.grammar.LTLParserVisitor<T>
- owl.run.PipelineExecutionContext
- java.util.function.ToIntFunction<T>
  - owl.ltl.visitors.IntVisitor
- owl.run.modules.Transformer.Instance
- owl.factories.ValuationSetFactory

## Annotation Type Hierarchy

- owl.util.annotation.CEntryPoint (implements java.lang.annotation.Annotation)
- 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.PreferredEdgeAccess
    - owl.automaton.Automaton.Property
    - owl.ltl.FrequencyG.Comparison
    - owl.ltl.FrequencyG.Limes
    - owl.game.Game.Owner
    - owl.automaton.output.HoaPrinter.HoaOption
    - owl.translations.LTL2DAFunction.Constructions
    - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
    - owl.translations.LTL2NAFunction.Constructions
    - owl.run.modules.OwlModuleRegistry.Type
    - owl.automaton.acceptance.ParityAcceptance.Parity
    - owl.ltl.robust.Robustness
    - owl.ltl.rewriter.SimplifierFactory.Mode
    - owl.ltl.SyntacticFragment