Hierarchy For All Packages

Package Hierarchies:

• jhoafparser.extensions,
• owl,
• owl.automaton,
• owl.automaton.acceptance,
• owl.automaton.acceptance.degeneralization,
• owl.automaton.acceptance.optimization,
• owl.automaton.acceptance.transformer,
• owl.automaton.algorithm,
• owl.automaton.algorithm.simulations,
• owl.automaton.determinization,
• owl.automaton.edge,
• owl.automaton.hoa,
• owl.automaton.minimization,
• owl.automaton.symbolic,
• owl.bdd,
• owl.bdd.jbdd,
• owl.cinterface,
• owl.collections,
• owl.command,
• owl.game,
• owl.game.algorithms,
• owl.game.output,
• owl.grammar,
• owl.logic.propositional,
• owl.logic.propositional.sat,
• owl.ltl,
• owl.ltl.algorithms,
• owl.ltl.parser,
• owl.ltl.rewriter,
• owl.ltl.robust,
• owl.ltl.util,
• owl.ltl.visitors,
• owl.translations,
• owl.translations.canonical,
• owl.translations.delag,
• owl.translations.dra2dpa,
• owl.translations.ltl2dela,
• owl.translations.ltl2dpa,
• owl.translations.ltl2dra,
• owl.translations.ltl2ldba,
• owl.translations.ltl2nba,
• owl.translations.mastertheorem,
• owl.translations.nba2ldba,
• owl.translations.nbadet,
• owl.translations.rabinizer,
• owl.util,
• owl.util.annotation,
• picocli

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractSet<E> (implements java.util.Set<E>)
      • owl.collections.HashTrieSet<E> (implements owl.collections.TrieSet<E>)
      • owl.collections.ImmutableBitSet (implements java.lang.Comparable<T>)
  • java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
    • owl.collections.HashTrieMap<K,V> (implements owl.collections.TrieMap<K,V>)
  • 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.translations.canonical.DeterministicConstructions.CoSafety
      • owl.translations.canonical.DeterministicConstructions.CoSafetySafety
      • owl.translations.canonical.DeterministicConstructions.CoSafetySafetyRoundRobin
      • owl.translations.canonical.DeterministicConstructions.GfCoSafety
      • owl.translations.canonical.DeterministicConstructions.Safety
      • owl.translations.canonical.DeterministicConstructions.SafetyCoSafety
      • owl.translations.canonical.DeterministicConstructions.SafetyCoSafetyRoundRobin
      • owl.translations.canonical.DeterministicConstructions.Tracking
      • owl.automaton.EmptyAutomaton<S,A>
      • 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.algorithm.simulations.SimulationGame<S,T> (implements owl.game.Game<S,A>)
      • owl.automaton.SingletonAutomaton<S,A>
    • owl.automaton.AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation<A,B,C>
  • 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.translations.canonical.AbstractPortfolio<A> (implements java.util.function.Function<T,R>)
    • owl.translations.canonical.DeterministicConstructionsPortfolio<A>
    • owl.translations.canonical.NonDeterministicConstructionsPortfolio<A>
  • owl.automaton.acceptance.optimization.AcceptanceOptimizations
  • java.lang.reflect.AccessibleObject (implements java.lang.reflect.AnnotatedElement)
    • picocli.CommandLine.Model.MethodParam
  • 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.AnnotatedStateOptimisation
  • owl.util.ArraysSupport
  • 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.translations.ltl2dpa.AsymmetricRankingState (implements owl.automaton.AnnotatedState<S>)
  • owl.command.AutomatonConversionCommands
  • owl.command.AutomatonConversionCommands.Nba2DpaCommand
  • owl.command.AutomatonConversionCommands.NbaSimCommand
  • owl.automaton.AutomatonUtil
  • owl.automaton.AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B>
  • owl.automaton.algorithm.simulations.BackwardDirectSimulation<S> (implements owl.automaton.algorithm.simulations.SimulationType<S,T>)
  • org.antlr.v4.runtime.BaseErrorListener (implements org.antlr.v4.runtime.ANTLRErrorListener)
    • owl.ltl.parser.TokenErrorListener
  • owl.Bibliography
  • owl.Bibliography.Publication
  • owl.collections.BitSet2
  • owl.translations.BlockingElements
  • jhoafparser.extensions.BooleanExpressions
  • owl.automaton.BooleanOperations
  • owl.translations.nba2ldba.BreakpointState<S>
  • owl.automaton.acceptance.degeneralization.BuchiDegeneralization
  • owl.automaton.acceptance.degeneralization.BuchiDegeneralization.IndexedState<S> (implements owl.automaton.AnnotatedState<S>)
  • owl.automaton.algorithm.simulations.BuchiSimulation
  • owl.cinterface.CAutomaton
  • owl.cinterface.CDoubleVectorBuilder
  • owl.cinterface.CInterface
  • owl.cinterface.CInterface.CDirectives (implements org.graalvm.nativeimage.c.CContext.Directives)
  • owl.cinterface.CIntVectorBuilder
  • owl.cinterface.CIntVectors
  • owl.cinterface.CLabelledFormula
  • owl.collections.Collections3
  • owl.automaton.algorithm.simulations.ColorRefinement<S>
  • owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood
  • owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
  • picocli.CommandLine
  • picocli.CommandLine.AbstractHandler<R,T>
    • picocli.CommandLine.AbstractParseResultHandler<R> (implements picocli.CommandLine.IExecutionStrategy, picocli.CommandLine.IParseResultHandler2<R>)
      • picocli.CommandLine.RunAll (implements picocli.CommandLine.IParseResultHandler)
      • picocli.CommandLine.RunFirst (implements picocli.CommandLine.IParseResultHandler)
      • picocli.CommandLine.RunLast (implements picocli.CommandLine.IParseResultHandler)
    • picocli.CommandLine.DefaultExceptionHandler<R> (implements picocli.CommandLine.IExceptionHandler, picocli.CommandLine.IExceptionHandler2<R>)
  • picocli.CommandLine.ExitCode
  • picocli.CommandLine.Help
  • picocli.CommandLine.Help.Ansi.Text (implements java.lang.Cloneable)
  • picocli.CommandLine.Help.ColorScheme
  • picocli.CommandLine.Help.ColorScheme.Builder
  • picocli.CommandLine.Help.Column
  • picocli.CommandLine.Help.Layout
  • picocli.CommandLine.Help.TextTable
  • picocli.CommandLine.Help.TextTable.Cell
  • picocli.CommandLine.HelpCommand (implements picocli.CommandLine.IHelpCommandInitializable, picocli.CommandLine.IHelpCommandInitializable2, java.lang.Runnable)
  • picocli.CommandLine.Model
  • picocli.CommandLine.Model.ArgGroupSpec (implements picocli.CommandLine.Model.IOrdered)
  • picocli.CommandLine.Model.ArgGroupSpec.Builder
  • picocli.CommandLine.Model.ArgSpec
    • picocli.CommandLine.Model.OptionSpec (implements picocli.CommandLine.Model.IOrdered)
    • picocli.CommandLine.Model.PositionalParamSpec
  • picocli.CommandLine.Model.CommandSpec
  • picocli.CommandLine.Model.Messages
  • picocli.CommandLine.Model.OptionSpec.Builder
  • picocli.CommandLine.Model.ParserSpec
  • picocli.CommandLine.Model.PositionalParamSpec.Builder
  • picocli.CommandLine.Model.UnmatchedArgsBinding
  • picocli.CommandLine.Model.UsageMessageSpec
  • picocli.CommandLine.ParseResult
  • picocli.CommandLine.ParseResult.Builder
  • picocli.CommandLine.ParseResult.GroupMatch
  • picocli.CommandLine.ParseResult.GroupMatchContainer
  • picocli.CommandLine.PropertiesDefaultProvider (implements picocli.CommandLine.IDefaultValueProvider)
  • picocli.CommandLine.Range (implements java.lang.Comparable<T>)
  • picocli.CommandLine.RegexTransformer (implements picocli.CommandLine.INegatableOptionTransformer)
  • picocli.CommandLine.RegexTransformer.Builder
  • owl.logic.propositional.ConjunctiveNormalForm<V>
  • owl.ltl.visitors.Converter (implements java.util.function.UnaryOperator<T>, owl.ltl.visitors.Visitor<R>)
    • owl.ltl.rewriter.CombineUntilVisitor
    • owl.ltl.rewriter.PropositionalSimplifier
    • owl.ltl.rewriter.SplitUntilVisitor
    • owl.ltl.visitors.UnabbreviateVisitor
  • owl.ltl.rewriter.DeduplicationRewriter (implements java.util.function.UnaryOperator<T>, owl.ltl.visitors.Visitor<R>)
  • owl.translations.delag.DelagBuilder (implements java.util.function.Function<T,R>)
  • owl.translations.canonical.DeterministicConstructions
  • owl.translations.canonical.DeterministicConstructions.BreakpointStateAccepting
  • owl.translations.canonical.DeterministicConstructions.BreakpointStateAcceptingRoundRobin
  • owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting
  • owl.translations.canonical.DeterministicConstructions.BreakpointStateRejectingRoundRobin
  • owl.translations.canonical.DeterministicConstructions.SuspensionCheck
  • owl.automaton.determinization.Determinization
  • owl.automaton.determinization.Determinization.BreakpointState<S>
  • owl.automaton.symbolic.DFISymbolicDPASolver (implements owl.automaton.symbolic.SymbolicDPASolver)
  • owl.automaton.edge.Edge<S>
  • owl.automaton.edge.Edges
  • owl.collections.Either<A,B>
  • owl.automaton.acceptance.EmersonLeiAcceptance
    • owl.automaton.acceptance.GeneralizedBuchiAcceptance
      • owl.automaton.acceptance.AllAcceptance
      • owl.automaton.acceptance.BuchiAcceptance
    • owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
      • owl.automaton.acceptance.CoBuchiAcceptance
    • owl.automaton.acceptance.GeneralizedRabinAcceptance
      • owl.automaton.acceptance.RabinAcceptance
    • owl.automaton.acceptance.ParityAcceptance
  • owl.translations.ExternalTranslator (implements java.util.function.Function<T,R>)
  • owl.bdd.Factories
  • owl.translations.mastertheorem.Fixpoints (implements java.lang.Comparable<T>)
  • owl.ltl.Formula (implements java.lang.Comparable<T>)
    • owl.ltl.Formula.PropositionalOperator
      • owl.ltl.Biconditional
      • owl.ltl.BooleanConstant
      • owl.ltl.Formula.NaryPropositionalOperator
        • owl.ltl.Conjunction
        • owl.ltl.Disjunction
      • owl.ltl.Literal
      • owl.ltl.Negation
    • owl.ltl.Formula.TemporalOperator
      • owl.ltl.Formula.BinaryTemporalOperator
        • owl.ltl.MOperator
        • owl.ltl.ROperator
        • owl.ltl.UOperator
        • owl.ltl.WOperator
      • owl.ltl.Formula.UnaryTemporalOperator
        • owl.ltl.FOperator
        • owl.ltl.GOperator
        • owl.ltl.XOperator
  • owl.ltl.util.FormulaIsomorphism
  • owl.ltl.Formulas
  • owl.automaton.algorithm.simulations.ForwardDelayedSimulation<S> (implements owl.automaton.algorithm.simulations.SimulationType<S,T>)
  • owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation<S> (implements owl.automaton.algorithm.simulations.SimulationType<S,T>)
  • owl.automaton.algorithm.simulations.ForwardDirectSimulation<S> (implements owl.automaton.algorithm.simulations.SimulationType<S,T>)
  • owl.automaton.algorithm.simulations.ForwardFairSimulation<S> (implements owl.automaton.algorithm.simulations.SimulationType<S,T>)
  • owl.game.GameFactory
  • owl.game.GameViews
  • owl.game.GameViews.Node<S> (implements owl.automaton.AnnotatedState<S>)
  • owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
  • owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair (implements java.lang.Comparable<T>)
  • owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
  • owl.translations.canonical.GenericConstructions
  • owl.automaton.minimization.GfgCoBuchiMinimization
  • owl.automaton.HashMapAutomaton<S,A> (implements owl.automaton.MutableAutomaton<S,A>)
  • jhoafparser.extensions.HOAConsumerPrintFixed (implements jhoafparser.consumer.HOAConsumer)
  • jhoafparser.extensions.HOAFParserCCFixed (implements jhoafparser.parser.generated.HOAFParserCCConstants)
  • jhoafparser.extensions.HOAFParserFixed
  • owl.automaton.hoa.HoaReader
  • owl.automaton.hoa.HoaWriter
  • owl.translations.dra2dpa.IARBuilder<R>
  • owl.translations.dra2dpa.IARState<R> (implements owl.automaton.AnnotatedState<S>)
  • owl.collections.IntPreOrder
  • owl.logic.propositional.sat.JbddIncrementalSolver (implements owl.logic.propositional.sat.IncrementalSolver)
  • owl.game.output.LabelledAig
  • owl.ltl.LabelledFormula
  • owl.ltl.robust.LabelledSplit
  • owl.ltl.algorithms.LanguageAnalysis
  • owl.automaton.algorithm.LanguageContainment
  • owl.automaton.algorithm.LanguageEmptiness
  • owl.automaton.algorithm.LanguageMembership
  • owl.ltl.visitors.LatexPrintVisitor (implements owl.ltl.visitors.Visitor<R>)
  • owl.ltl.rewriter.LiteralMapper
  • owl.ltl.rewriter.LiteralMapper.ShiftedLabelledFormula
  • owl.translations.ltl2dpa.LTL2DPAFunction (implements java.util.function.Function<T,R>)
  • owl.ltl.parser.LtlfParser
  • owl.ltl.parser.LtlfToLtlTranslator
  • owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor (implements owl.ltl.visitors.Visitor<R>)
  • owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor (implements owl.ltl.visitors.Visitor<R>)
  • owl.ltl.parser.LtlParser
  • owl.grammar.LTLParserBaseListener (implements owl.grammar.LTLParserListener)
  • owl.translations.LtlTranslationRepository
  • owl.automaton.symbolic.ManualVariableAllocation (implements owl.automaton.symbolic.SymbolicAutomaton.VariableAllocation)
  • owl.translations.rabinizer.MonitorState
  • owl.bdd.MtBdd<E>
    • owl.bdd.MtBdd.Leaf<E>
    • owl.bdd.MtBdd.Node<E>
  • owl.bdd.MtBddOperations
  • owl.automaton.algorithm.simulations.MultiPebble<S>
  • owl.automaton.MutableAutomatonUtil
  • owl.translations.nba2ldba.NBA2LDBA (implements java.util.function.Function<T,R>)
  • owl.translations.nbadet.NbaAdjMat<S>
  • owl.translations.nbadet.NbaDet
  • owl.translations.nbadet.NbaDetConf<S>
  • owl.translations.nbadet.NbaDetConfSets
  • owl.translations.nbadet.NbaDetState<S>
  • owl.translations.nbadet.NbaLangInclusions
  • owl.translations.canonical.NonDeterministicConstructions
  • owl.translations.ltl2dela.NormalformDELAConstruction (implements java.util.function.Function<T,R>)
  • owl.translations.ltl2dela.NormalformDELAConstruction.Construction
  • owl.translations.ltl2dela.NormalformDELAConstruction.State
  • owl.translations.ltl2dpa.NormalformDPAConstruction (implements java.util.function.Function<T,R>)
  • owl.translations.ltl2dra.NormalformDRAConstruction<R> (implements java.util.function.Function<T,R>)
  • owl.ltl.rewriter.NormalForms
  • owl.translations.mastertheorem.Normalisation (implements java.util.function.UnaryOperator<T>)
  • owl.collections.NullablePair<A,B>
  • owl.automaton.symbolic.NumberingStateEncoderFactory (implements owl.automaton.symbolic.SymbolicAutomaton.StateEncoderFactory)
  • owl.game.algorithms.OinkGameSolver (implements owl.game.algorithms.ParityGameSolver)
  • owl.automaton.acceptance.OmegaAcceptanceCast
  • owl.command.OwlCommand
  • owl.command.OwlCommandRuntimeReflectionRegistrationFeature (implements org.graalvm.nativeimage.hosted.Feature)
  • owl.util.OwlVersion (implements picocli.CommandLine.IVersionProvider)
  • owl.util.OwlVersion.NameAndVersion
  • owl.collections.Pair<A,B>
  • owl.util.ParallelEvaluation
  • owl.automaton.acceptance.optimization.ParityAcceptanceOptimizations
  • owl.game.algorithms.ParityGameSolver.WinningRegions<S>
  • owl.automaton.ParityUtil
  • owl.automaton.algorithm.simulations.Pebble<S>
  • owl.game.PgSolverFormat
  • owl.translations.mastertheorem.Predicates
  • owl.ltl.parser.PreprocessorVisitor (implements owl.ltl.visitors.Visitor<R>)
  • owl.ltl.visitors.PrintVisitor (implements owl.ltl.visitors.Visitor<R>)
  • owl.translations.delag.ProductState<T>
  • owl.translations.ltl2nba.ProductState
  • owl.logic.propositional.PropositionalFormula<T>
    • owl.logic.propositional.PropositionalFormula.Biconditional<T>
    • owl.logic.propositional.PropositionalFormula.Conjunction<T>
    • owl.logic.propositional.PropositionalFormula.Disjunction<T>
    • owl.logic.propositional.PropositionalFormula.Negation<T>
    • owl.logic.propositional.PropositionalFormula.Variable<T>
  • owl.translations.ltl2dela.PropositionalFormulaHelper
  • owl.ltl.visitors.PropositionalIntVisitor (implements owl.ltl.visitors.IntVisitor)
  • owl.ltl.visitors.PropositionalVisitor<T> (implements owl.ltl.visitors.Visitor<R>)
  • owl.ltl.rewriter.PushNextThroughPropositionalVisitor (implements owl.ltl.visitors.BinaryVisitor<P,R>)
  • owl.automaton.acceptance.RabinAcceptance.Builder
  • owl.automaton.acceptance.degeneralization.RabinDegeneralization
  • owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState<S> (implements owl.automaton.AnnotatedState<S>)
  • owl.translations.rabinizer.RabinizerBuilder
  • owl.translations.rabinizer.RabinizerConfiguration
  • owl.translations.rabinizer.RabinizerState
  • owl.automaton.symbolic.RangedVariableAllocator (implements owl.automaton.symbolic.SymbolicAutomaton.VariableAllocator)
  • owl.translations.nbadet.RankedSlice
  • 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.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.ExpressionContext
      • owl.grammar.LTLParser.FormulaContext
      • owl.grammar.LTLParser.OrExpressionContext
      • owl.grammar.LTLParser.UnaryExpressionContext
        • owl.grammar.LTLParser.UnaryAtomContext
        • owl.grammar.LTLParser.UnaryOperationContext
      • owl.grammar.LTLParser.UnaryOpContext
  • owl.automaton.algorithm.SccDecomposition<S>
  • owl.translations.mastertheorem.Selector
  • owl.automaton.symbolic.SequentialVariableAllocationCombiner
  • owl.automaton.algorithm.simulations.SimulationStates
  • owl.automaton.algorithm.simulations.SimulationType.SimulationState
    • owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState<S>
    • owl.automaton.algorithm.simulations.SimulationStates.MultipebbleSimulationState<S>
  • owl.automaton.algorithm.simulations.SimulationUtil
  • owl.translations.nbadet.SmartSucc<S>
  • owl.logic.propositional.sat.Solver
  • owl.ltl.robust.Split
  • owl.translations.delag.State<T>
  • owl.cinterface.StateFeatures
  • owl.cinterface.StateFeatures.Feature (implements java.lang.Comparable<T>)
  • owl.util.Statistics
  • owl.automaton.symbolic.SymbolicAutomaton<A>
  • owl.automaton.symbolic.SymbolicBooleanOperations
  • owl.translations.ltl2dpa.SymbolicDPAConstruction (implements java.util.function.Function<T,R>)
  • owl.automaton.symbolic.SymbolicDPASolver.Solution
  • owl.automaton.symbolic.SymbolicDRA2DPAConstruction
  • owl.translations.ltl2dra.SymbolicNormalformDRAConstruction (implements java.util.function.Function<T,R>)
  • owl.automaton.symbolic.SymbolicSccDecomposition
  • 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.translations.ltl2dpa.SymmetricRankingState (implements owl.automaton.AnnotatedState<S>)
  • owl.translations.ltl2dra.SymmetricRankingState (implements owl.automaton.AnnotatedState<S>)
  • owl.ltl.SyntacticFragments
  • owl.ltl.SyntacticFragments.FormulaClass
  • owl.ltl.rewriter.SyntacticSimplifier (implements java.util.function.UnaryOperator<T>, owl.ltl.visitors.Visitor<R>)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • picocli.CommandLine.PicocliException
          • picocli.CommandLine.ExecutionException
          • picocli.CommandLine.InitializationException
            • picocli.CommandLine.DuplicateNameException
              • picocli.CommandLine.DuplicateOptionAnnotationsException
            • picocli.CommandLine.ParameterIndexGapException
          • picocli.CommandLine.ParameterException
            • picocli.CommandLine.MaxValuesExceededException
            • picocli.CommandLine.MissingParameterException
            • picocli.CommandLine.MissingTypeConverterException
            • picocli.CommandLine.MutuallyExclusiveArgsException
            • picocli.CommandLine.OverwrittenOptionException
            • picocli.CommandLine.UnmatchedArgumentException
          • picocli.CommandLine.TypeConversionException
        • owl.automaton.hoa.HoaWriter.UncheckedHoaConsumerException
        • owl.game.algorithms.OinkGameSolver.OinkExecutionException
  • jhoafparser.extensions.ToStateAcceptanceFixed (implements jhoafparser.storage.StoredAutomatonManipulator)
  • owl.automaton.algorithm.simulations.Transition<S>
  • owl.automaton.UltimatelyPeriodicWord
  • owl.cinterface.UnmanagedMemory
  • owl.collections.UpwardClosedSet
  • owl.automaton.Views
  • owl.automaton.Views.Filter<S>
  • owl.automaton.Views.Filter.Builder<S>
  • owl.ltl.visitors.XDepthVisitor (implements owl.ltl.visitors.IntVisitor)
  • owl.automaton.acceptance.transformer.ZielonkaDag
  • owl.game.algorithms.ZielonkaGameSolver (implements owl.game.algorithms.ParityGameSolver)
  • owl.automaton.acceptance.transformer.ZielonkaTreeTransformations
  • owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition<S> (implements owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTree)
  • owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ConditionalZielonkaTree (implements owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTree)
  • owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.Path
  • owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaState<S> (implements owl.automaton.AnnotatedState<S>)

Interface Hierarchy

• owl.game.output.AigConsumer
• owl.game.output.AigPrintable
  • owl.game.Game<S,A> (also extends owl.automaton.Automaton<S,A>)
• owl.automaton.AnnotatedState<S>
• owl.automaton.Automaton<S,A>
  • owl.game.Game<S,A> (also extends owl.game.output.AigPrintable)
  • owl.automaton.MutableAutomaton<S,A>
  • owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<S,A> (also extends owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTreeLookup<S>)
• owl.bdd.BddSet
• owl.bdd.BddSetFactory
• java.util.function.BiFunction<T,U,R>
  • owl.ltl.visitors.BinaryVisitor<P,R>
• picocli.CommandLine.Help.Ansi.IStyle
• picocli.CommandLine.Help.IOptionRenderer
• picocli.CommandLine.Help.IParameterRenderer
• picocli.CommandLine.Help.IParamLabelRenderer
• picocli.CommandLine.IDefaultValueProvider
• picocli.CommandLine.IExceptionHandler
• picocli.CommandLine.IExceptionHandler2<R>
• picocli.CommandLine.IExecutionExceptionHandler
• picocli.CommandLine.IExecutionStrategy
• picocli.CommandLine.IExitCodeExceptionMapper
• picocli.CommandLine.IExitCodeGenerator
• picocli.CommandLine.IFactory
• picocli.CommandLine.IHelpCommandInitializable
• picocli.CommandLine.IHelpCommandInitializable2
• picocli.CommandLine.IHelpFactory
• picocli.CommandLine.IHelpSectionRenderer
• picocli.CommandLine.IModelTransformer
• picocli.CommandLine.INegatableOptionTransformer
• picocli.CommandLine.IParameterConsumer
• picocli.CommandLine.IParameterExceptionHandler
• picocli.CommandLine.IParameterPreprocessor
• picocli.CommandLine.IParseResultHandler
• picocli.CommandLine.IParseResultHandler2<R>
• picocli.CommandLine.ITypeConverter<K>
• picocli.CommandLine.IVersionProvider
• picocli.CommandLine.Model.IAnnotatedElement
• picocli.CommandLine.Model.IExtensible
• picocli.CommandLine.Model.IGetter
  • picocli.CommandLine.Model.IScope (also extends picocli.CommandLine.Model.ISetter)
• picocli.CommandLine.Model.IOrdered
• picocli.CommandLine.Model.ISetter
  • picocli.CommandLine.Model.IScope (also extends picocli.CommandLine.Model.IGetter)
• picocli.CommandLine.Model.ITypeInfo
• owl.bdd.EquivalenceClassFactory
• owl.bdd.FactorySupplier
• java.util.function.Function<T,R>
  • owl.automaton.SuccessorFunction<S>
  • owl.ltl.visitors.Visitor<R>
• owl.logic.propositional.sat.IncrementalSolver
• java.lang.Iterable<T>
  • java.util.Collection<E>
    • java.util.Set<E>
      • owl.collections.TrieSet<E>
• owl.ltl.LtlLanguageExpressible
  • owl.ltl.EquivalenceClass
• owl.translations.LtlTranslationRepository.LtlTranslation<L,U>
• java.util.Map<K,V>
  • owl.collections.TrieMap<K,V>
• owl.translations.nbadet.NbaSimAlgorithm<S,T>
• owl.game.algorithms.ParityGameSolver
• org.antlr.v4.runtime.tree.ParseTreeListener
  • owl.grammar.LTLParserListener
• org.antlr.v4.runtime.tree.ParseTreeVisitor<T>
  • owl.grammar.LTLParserVisitor<T>
• owl.automaton.algorithm.simulations.SimulationType<S,T>
• owl.automaton.symbolic.SymbolicAutomaton.StateEncoder<S>
• owl.automaton.symbolic.SymbolicAutomaton.StateEncoderFactory
• owl.automaton.symbolic.SymbolicAutomaton.VariableAllocation
• owl.automaton.symbolic.SymbolicAutomaton.VariableAllocator
• owl.automaton.symbolic.SymbolicDPASolver
• java.util.function.ToIntFunction<T>
  • owl.ltl.visitors.IntVisitor
• org.graalvm.word.WordBase
  • org.graalvm.word.ComparableWord
    • org.graalvm.word.PointerBase
      • owl.cinterface.CDoubleVector
      • owl.cinterface.CIntVector
• owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTree
• owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTreeLookup<S>
  • owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<S,A> (also extends owl.automaton.Automaton<S,A>)

Annotation Type Hierarchy

• picocli.CommandLine.ArgGroup (implements java.lang.annotation.Annotation)
• picocli.CommandLine.Command (implements java.lang.annotation.Annotation)
• picocli.CommandLine.Mixin (implements java.lang.annotation.Annotation)
• picocli.CommandLine.Option (implements java.lang.annotation.Annotation)
• picocli.CommandLine.Parameters (implements java.lang.annotation.Annotation)
• picocli.CommandLine.ParentCommand (implements java.lang.annotation.Annotation)
• picocli.CommandLine.Spec (implements java.lang.annotation.Annotation)
• picocli.CommandLine.Unmatched (implements java.lang.annotation.Annotation)
• owl.util.annotation.EverythingIsNonnullByDefault (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.automaton.algorithm.simulations.BuchiSimulation.SimulationType
    • owl.cinterface.CAutomaton.Acceptance
    • owl.cinterface.CLabelledFormula.AtomicPropositionStatus
    • picocli.CommandLine.Help.Ansi
    • picocli.CommandLine.Help.Ansi.Style (implements picocli.CommandLine.Help.Ansi.IStyle)
    • picocli.CommandLine.Help.Column.Overflow
    • picocli.CommandLine.Help.Visibility
    • picocli.CommandLine.ScopeType
    • picocli.CommandLine.Spec.Target
    • owl.collections.Either.Type
    • owl.bdd.EquivalenceClassFactory.Encoding
    • owl.translations.ExternalTranslator.InputMode
    • owl.game.Game.Owner
    • owl.bdd.jbdd.JBddSupplier (implements owl.bdd.FactorySupplier)
    • owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
    • owl.translations.LtlTranslationRepository.BranchingMode
    • owl.translations.LtlTranslationRepository.LtlToDelaTranslation (implements owl.translations.LtlTranslationRepository.LtlTranslation<L,U>)
    • owl.translations.LtlTranslationRepository.LtlToDpaTranslation (implements owl.translations.LtlTranslationRepository.LtlTranslation<L,U>)
    • owl.translations.LtlTranslationRepository.LtlToDraTranslation (implements owl.translations.LtlTranslationRepository.LtlTranslation<L,U>)
    • owl.translations.LtlTranslationRepository.LtlToLdbaTranslation (implements owl.translations.LtlTranslationRepository.LtlTranslation<L,U>)
    • owl.translations.LtlTranslationRepository.LtlToNbaTranslation (implements owl.translations.LtlTranslationRepository.LtlTranslation<L,U>)
    • owl.translations.LtlTranslationRepository.Option
    • owl.translations.nbadet.NbaDetConf.UpdateMode
    • owl.translations.nbadet.NbaLangInclusions.SimType
    • owl.translations.mastertheorem.Normalisation.NormalisationMethod
    • owl.automaton.acceptance.ParityAcceptance.Parity
    • owl.logic.propositional.PropositionalFormula.Polarity
    • owl.ltl.robust.Robustness
    • owl.ltl.rewriter.SimplifierRepository
    • owl.cinterface.StateFeatures.Feature.Type
    • owl.cinterface.StateFeatures.TemporalOperatorsProfileNormalForm
    • owl.automaton.symbolic.SymbolicDPASolver.Solution.Winner
    • owl.ltl.SyntacticFragment
    • owl.ltl.SyntacticFragments.Type