All Classes

Class	Description
AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>	This class provides a skeletal implementation of the Automaton interface to minimize the effort required to implement this interface.
AbstractMemoizingAutomaton.EdgeImplementation<S,A extends EmersonLeiAcceptance>	This class provides a skeletal implementation of the Automaton interface to minimize the effort required to implement this interface.
AbstractMemoizingAutomaton.EdgeMapImplementation<S,A extends EmersonLeiAcceptance>	This class provides a skeletal implementation of the Automaton interface to minimize the effort required to implement this interface.
AbstractMemoizingAutomaton.EdgesImplementation<S,A extends EmersonLeiAcceptance>	This class provides a skeletal implementation of the Automaton interface to minimize the effort required to implement this interface.
AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A extends EmersonLeiAcceptance>	This class provides a skeletal implementation of the Automaton interface to minimize the effort required to implement this interface.
AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation<A,B,C extends EmersonLeiAcceptance>	This class provides a skeletal implementation of the Automaton interface to minimize the effort required to implement this interface.
AbstractPortfolio<A extends EmersonLeiAcceptance>
AcceptanceOptimizations
Aig
AigConsumer
AigerPrinter
AigFactory
AigPrintable
AllAcceptance
AnnotatedLDBA<S,T extends LtlLanguageExpressible,B extends GeneralizedBuchiAcceptance,X,Y>	Translation-specific internal representation of LDBAs.
AnnotatedState<S>
AnnotatedStateOptimisation
ArraysSupport
AsymmetricEvaluatedFixpoints
AsymmetricEvaluatedFixpoints.DeterministicAutomata
AsymmetricLDBAConstruction<B extends GeneralizedBuchiAcceptance>
AsymmetricProductState
AsymmetricRankingState
Automaton<S,A extends EmersonLeiAcceptance>	An automaton over infinite words.
Automaton.Property
AutomatonConversionCommands
AutomatonConversionCommands.Nba2DpaCommand
AutomatonConversionCommands.NbaSimCommand
AutomatonUtil
AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B extends GeneralizedBuchiAcceptance>
BackwardDirectSimulation<S>
BddSet	Symbolic representation of a Set<BitSet>.
BddSetFactory
Bibliography
Bibliography.Publication
Biconditional	Biconditional.
BinaryVisitor<P,R>
BitSet2
BlockingElements	Check if a language represented by an EquivalenceClass is "blocked".
BooleanConstant
BooleanExpressions
BooleanOperations	This class provides standard boolean operations (union, intersection, complementation) on automata.
BreakpointState<S>
BuchiAcceptance
BuchiDegeneralization	This class provides a conversion from generalised Büchi automata into Büchi automata.
BuchiDegeneralization.IndexedState<S>
BuchiSimulation
BuchiSimulation.SimulationType
CAutomaton
CAutomaton.Acceptance
CDoubleVector
CDoubleVectorBuilder
CInterface
CInterface.CDirectives
CIntVector
CIntVectorBuilder
CIntVectors
CLabelledFormula
CLabelledFormula.AtomicPropositionStatus
CoBuchiAcceptance
Collections3
ColorRefinement<S>	Computes direct simulation relation of an automaton based on the color refinement algorithm.
ColorRefinement.Neighborhood	Represents the neighborhood of a state.
ColorRefinement.NeighborType	Represents a neighbor type consisting of color and associated valuation.
CombineUntilVisitor
CommandLine	CommandLine interpreter that uses reflection to initialize an annotated user object with values obtained from the command line arguments.
CommandLine.AbstractHandler<R,T extends CommandLine.AbstractHandler<R,T>>	Deprecated. see CommandLine.execute(String...)
CommandLine.AbstractParseResultHandler<R>	Deprecated. see CommandLine.execute(String...), CommandLine.getExecutionStrategy(), CommandLine.getParameterExceptionHandler(), CommandLine.getExecutionExceptionHandler()
CommandLine.ArgGroup	A Command may define one or more ArgGroups: a group of options, positional parameters or a mixture of the two.
CommandLine.Command	Annotate your class with @Command when you want more control over the format of the generated help message.
CommandLine.DefaultExceptionHandler<R>	Deprecated. see CommandLine.execute(String...), CommandLine.getParameterExceptionHandler() and CommandLine.getExecutionExceptionHandler()
CommandLine.DuplicateNameException	Exception indicating that multiple named elements have incorrectly used the same name.
CommandLine.DuplicateOptionAnnotationsException	Exception indicating that multiple fields have been annotated with the same Option name.
CommandLine.ExecutionException	Exception indicating a problem while invoking a command or subcommand.
CommandLine.ExitCode	Defines some exit codes used by picocli as default return values from the execute and executeHelpRequest methods.
CommandLine.Help	A collection of methods and inner classes that provide fine-grained control over the contents and layout of the usage help message to display to end users when help is requested or invalid input values were specified.
CommandLine.Help.Ansi	Provides methods and inner classes to support using ANSI escape codes in usage help messages.
CommandLine.Help.Ansi.IStyle	Defines the interface for an ANSI escape sequence.
CommandLine.Help.Ansi.Style	A set of pre-defined ANSI escape code styles and colors, and a set of convenience methods for parsing text with embedded markup style names, as well as convenience methods for converting styles to strings with embedded escape codes.
CommandLine.Help.ColorScheme	All usage help message are generated with a color scheme that assigns certain styles and colors to common parts of a usage message: the command name, options, positional parameters and option parameters.
CommandLine.Help.ColorScheme.Builder	Builder class to create ColorScheme instances.
CommandLine.Help.Column	Columns define the width, indent (leading number of spaces in a column before the value) and Overflow policy of a column in a TextTable.
CommandLine.Help.Column.Overflow	Policy for handling text that is longer than the column width: span multiple columns, wrap to the next row, or simply truncate the portion that doesn't fit.
CommandLine.Help.IOptionRenderer	When customizing online help for Option details, a custom IOptionRenderer can be used to create textual representation of an Option in a tabular format: one or more rows, each containing one or more columns.
CommandLine.Help.IParameterRenderer	When customizing online help for positional parameters details, a custom IParameterRenderer can be used to create textual representation of a Parameters field in a tabular format: one or more rows, each containing one or more columns.
CommandLine.Help.IParamLabelRenderer	When customizing online usage help for an option parameter or a positional parameter, a custom IParamLabelRenderer can be used to render the parameter name or label to a String.
CommandLine.Help.Layout	Use a Layout to format usage help text for options and parameters in tabular format.
CommandLine.Help.TextTable	Responsible for spacing out CommandLine.Help.Ansi.Text values according to the CommandLine.Help.Column definitions the table was created with.
CommandLine.Help.TextTable.Cell	Helper class to index positions in a Help.TextTable.
CommandLine.Help.Visibility	Controls the visibility of certain aspects of the usage help message.
CommandLine.HelpCommand	Help command that can be installed as a subcommand on all application commands.
CommandLine.IDefaultValueProvider	Provides default value for a command.
CommandLine.IExceptionHandler	Deprecated. see CommandLine.execute(String...), CommandLine.IParameterExceptionHandler and CommandLine.IExecutionExceptionHandler
CommandLine.IExceptionHandler2<R>	Deprecated. see CommandLine.execute(String...), CommandLine.IParameterExceptionHandler and CommandLine.IExecutionExceptionHandler
CommandLine.IExecutionExceptionHandler	Classes implementing this interface know how to handle Exceptions that occurred while executing the Runnable, Callable or Method user object of the command.
CommandLine.IExecutionStrategy	Implementations are responsible for "executing" the user input and returning an exit code.
CommandLine.IExitCodeExceptionMapper	Interface that provides the appropriate exit code that will be returned from the execute method for an exception that occurred during parsing or while invoking the command's Runnable, Callable, or Method.
CommandLine.IExitCodeGenerator	@Command-annotated classes can implement this interface to specify an exit code that will be returned from the execute method when the command is successfully invoked.
CommandLine.IFactory	Factory for instantiating classes that are registered declaratively with annotation attributes, like CommandLine.Command.subcommands(), CommandLine.Option.converter(), CommandLine.Parameters.converter() and CommandLine.Command.versionProvider().
CommandLine.IHelpCommandInitializable	Deprecated. use CommandLine.IHelpCommandInitializable2 instead
CommandLine.IHelpCommandInitializable2	Help commands that provide usage help for other commands can implement this interface to be initialized with the information they need.
CommandLine.IHelpFactory	Creates the CommandLine.Help instance used to render the usage help message.
CommandLine.IHelpSectionRenderer	Renders a section of the usage help message.
CommandLine.IModelTransformer	Provides a way to modify how the command model is built.
CommandLine.INegatableOptionTransformer	Determines the option name transformation of negatable boolean options.
CommandLine.InitializationException	Exception indicating a problem during CommandLine initialization.
CommandLine.IParameterConsumer	Options or positional parameters can be assigned a IParameterConsumer that implements custom logic to process the parameters for this option or this position.
CommandLine.IParameterExceptionHandler	Classes implementing this interface know how to handle ParameterExceptions (usually from invalid user input).
CommandLine.IParameterPreprocessor	Options, positional parameters and commands can be assigned a IParameterPreprocessor that implements custom logic to preprocess the parameters for this option, position or command.
CommandLine.IParseResultHandler	Deprecated. Use CommandLine.IExecutionStrategy instead.
CommandLine.IParseResultHandler2<R>	Deprecated. use CommandLine.IExecutionStrategy instead, see CommandLine.execute(String...)
CommandLine.ITypeConverter<K>	When parsing command line arguments and initializing fields annotated with @Option or @Parameters, String values can be converted to any type for which a ITypeConverter is registered.
CommandLine.IVersionProvider	Provides version information for a command.
CommandLine.MaxValuesExceededException	Exception indicating that more values were specified for an option or parameter than its arity allows.
CommandLine.MissingParameterException	Exception indicating that a required parameter was not specified.
CommandLine.MissingTypeConverterException	Exception indicating that an annotated field had a type for which no CommandLine.ITypeConverter was registered.
CommandLine.Mixin	Fields annotated with @Mixin are "expanded" into the current command: @Option and @Parameters in the mixin class are added to the options and positional parameters of this command.
CommandLine.Model	This class provides a namespace for classes and interfaces that model concepts and attributes of command line interfaces in picocli.
CommandLine.Model.ArgGroupSpec	The ArgGroupSpec class models a group of arguments (options, positional parameters or a mixture of the two).
CommandLine.Model.ArgGroupSpec.Builder	Builder responsible for creating valid ArgGroupSpec objects.
CommandLine.Model.ArgSpec	Models the shared attributes of CommandLine.Model.OptionSpec and CommandLine.Model.PositionalParamSpec.
CommandLine.Model.CommandSpec	The CommandSpec class models a command specification, including the options, positional parameters and subcommands supported by the command, as well as attributes for the version help message and the usage help message of the command.
CommandLine.Model.IAnnotatedElement	Internal interface to allow annotation processors to construct a command model at compile time.
CommandLine.Model.IExtensible	Interface to allow extending the capabilities of other interface without Java 8 default methods.
CommandLine.Model.IGetter	Customizable getter for obtaining the current value of an option or positional parameter.
CommandLine.Model.IOrdered	Interface for sorting options and groups together.
CommandLine.Model.IScope	The scope of a getter/setter binding is the context where the current value should be gotten from or set to.
CommandLine.Model.ISetter	Customizable setter for modifying the value of an option or positional parameter.
CommandLine.Model.ITypeInfo	Encapculates type information for an option or parameter to make this information available both at runtime and at compile time (when Class values are not available).
CommandLine.Model.Messages	Utility class for getting resource bundle strings.
CommandLine.Model.MethodParam	Command method parameter, similar to java.lang.reflect.Parameter (not available before Java 8).
CommandLine.Model.OptionSpec	The OptionSpec class models aspects of a named option of a command, including whether it is required or optional, the option parameters supported (or required) by the option, and attributes for the usage help message describing the option.
CommandLine.Model.OptionSpec.Builder	Builder responsible for creating valid OptionSpec objects.
CommandLine.Model.ParserSpec	Models parser configuration specification.
CommandLine.Model.PositionalParamSpec	The PositionalParamSpec class models aspects of a positional parameter of a command, including whether it is required or optional, and attributes for the usage help message describing the positional parameter.
CommandLine.Model.PositionalParamSpec.Builder	Builder responsible for creating valid PositionalParamSpec objects.
CommandLine.Model.UnmatchedArgsBinding	This class allows applications to specify a custom binding that will be invoked for unmatched arguments.
CommandLine.Model.UsageMessageSpec	Models the usage help message specification and can be used to customize the usage help message.
CommandLine.MutuallyExclusiveArgsException	Exception indicating that the user input included multiple arguments from a mutually exclusive group.
CommandLine.Option	Annotate fields in your class with @Option and picocli will initialize these fields when matching arguments are specified on the command line.
CommandLine.OverwrittenOptionException	Exception indicating that an option for a single-value option field has been specified multiple times on the command line.
CommandLine.ParameterException	Exception indicating something went wrong while parsing command line options.
CommandLine.ParameterIndexGapException	Exception indicating that there was a gap in the indices of the fields annotated with CommandLine.Parameters.
CommandLine.Parameters	Fields annotated with @Parameters will be initialized with positional parameters.
CommandLine.ParentCommand	Fields annotated with @ParentCommand will be initialized with the parent command of the current subcommand.
CommandLine.ParseResult	Encapsulates the result of parsing an array of command line arguments.
CommandLine.ParseResult.Builder	Builds immutable ParseResult instances.
CommandLine.ParseResult.GroupMatch	A group's multiplicity specifies how many matches of a group may appear on the command line.
CommandLine.ParseResult.GroupMatchContainer	Provides information about an CommandLine.ArgGroup that was matched on the command line.
CommandLine.PicocliException	Base class of all exceptions thrown by picocli.CommandLine.
CommandLine.PropertiesDefaultProvider	IDefaultValueProvider implementation that loads default values for command line options and positional parameters from a properties file or Properties object.
CommandLine.Range	Describes the number of parameters required and accepted by an option or a positional parameter.
CommandLine.RegexTransformer	A regular expression-based option name transformation for negatable options.
CommandLine.RegexTransformer.Builder	Builder for creating RegexTransformer objects.
CommandLine.RunAll	Command line execution strategy that prints help if requested, and otherwise executes the top-level command and all subcommands as Runnable, Callable or Method.
CommandLine.RunFirst	Command line execution strategy that prints help if requested, and otherwise executes the top-level Runnable or Callable command.
CommandLine.RunLast	Command line execution strategy that prints help if requested, and otherwise executes the most specific Runnable or Callable subcommand.
CommandLine.ScopeType	Specifies the scope of the element.
CommandLine.Spec	Fields annotated with @Spec will be initialized with the CommandSpec for the command the field is part of.
CommandLine.Spec.Target	Identifies what kind of CommandSpec should be injected.
CommandLine.TypeConversionException	Exception thrown by CommandLine.ITypeConverter implementations to indicate a String could not be converted.
CommandLine.Unmatched	Fields annotated with @Unmatched will be initialized with the list of unmatched command line arguments, if any.
CommandLine.UnmatchedArgumentException	Exception indicating that a command line argument could not be mapped to any of the fields annotated with CommandLine.Option or CommandLine.Parameters.
Conjunction
ConjunctiveNormalForm<V>
Converter
DeduplicationRewriter
DelagBuilder
DeterministicConstructions
DeterministicConstructions.BreakpointStateAccepting
DeterministicConstructions.BreakpointStateAcceptingRoundRobin
DeterministicConstructions.BreakpointStateRejecting
DeterministicConstructions.BreakpointStateRejectingRoundRobin
DeterministicConstructions.CoSafety
DeterministicConstructions.CoSafetySafety
DeterministicConstructions.CoSafetySafetyRoundRobin
DeterministicConstructions.GfCoSafety
DeterministicConstructions.Safety
DeterministicConstructions.SafetyCoSafety
DeterministicConstructions.SafetyCoSafetyRoundRobin
DeterministicConstructions.SuspensionCheck
DeterministicConstructions.Tracking
DeterministicConstructionsPortfolio<A extends EmersonLeiAcceptance>
Determinization
Determinization.BreakpointState<S>
DFISymbolicDPASolver	This is a symbolic implementation of the explicit fix-point iteration algorithm with freezing as described in https://doi.org/10.4204/EPTCS.305.9.
Disjunction
Edge<S>	This class represents edges of automata including their acceptance membership.
Edges
Either<A,B>
Either.Type
EmersonLeiAcceptance
EmptyAutomaton<S,A extends EmersonLeiAcceptance>
EquivalenceClass	A propositional equivalence class of an LTL formula.
EquivalenceClassFactory	A factory for creating propositional equivalence classes for LTL formulas.
EquivalenceClassFactory.Encoding
EverythingIsNonnullByDefault
ExternalTranslator
ExternalTranslator.InputMode
Factories
FactorySupplier
Fixpoints
FOperator	Finally.
Formula
Formula.BinaryTemporalOperator
Formula.NaryPropositionalOperator
Formula.PropositionalOperator
Formula.TemporalOperator
Formula.UnaryTemporalOperator
FormulaIsomorphism
Formulas
ForwardDelayedSimulation<S>
ForwardDirectLookaheadSimulation<S>
ForwardDirectSimulation<S>	Simulation type for forward-direct multipebble simulation games.
ForwardFairSimulation<S>
Game<S,A extends EmersonLeiAcceptance>
Game.Owner
GameFactory
GameViews
GameViews.Node<S>	A state of the split game.
GeneralizedBuchiAcceptance
GeneralizedCoBuchiAcceptance
GeneralizedRabinAcceptance	Generalized Rabin Acceptance - OR (Fin(i) and AND Inf(j)).
GeneralizedRabinAcceptance.Builder
GeneralizedRabinAcceptance.RabinPair
GeneralizedRabinAcceptanceOptimizations
GenericConstructions
GfgCoBuchiMinimization	This class implements [ICALP'19] minimization of GFG automata.
GOperator	Globally.
HashMapAutomaton<S,A extends EmersonLeiAcceptance>
HashTrieMap<K,V>	A TrieMap is a Map with sequences as keys that are organized in a Trie for value retrieval.
HashTrieSet<E>	A TrieMap is a Map with sequences as keys that are organized in a Trie for value retrieval.
HOAConsumerPrintFixed	This HOAConsumer renders the method calls to produce a valid HOA automaton output.
HOAFParserCCFixed
HOAFParserFixed	Public interface to the HOA format parser.
HoaReader
HoaWriter
HoaWriter.UncheckedHoaConsumerException
IARBuilder<R>
IARState<R>
ImmutableBitSet	This class implements an immutable vector of bits.
IncrementalSolver
IntPreOrder	This class represents a total pre-orders of {1,..n}, which are identified by a list of their equivalence classes.
IntVisitor
JbddIncrementalSolver
JBddSupplier
LabelledAig
LabelledFormula
LabelledSplit
LanguageAnalysis
LanguageContainment
LanguageEmptiness
LanguageMembership
LatexPrintVisitor
Literal
LiteralMapper
LiteralMapper.ShiftedLabelledFormula
LTL2DPAFunction
LTL2DPAFunction.Configuration
LtlfParser
LtlfToLtlTranslator
LtlfToLtlTranslator.LtlfToLtlVisitor
LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
LtlLanguageExpressible
LTLLexer
LtlParser
LTLParser
LTLParser.AndExpressionContext
LTLParser.AtomExpressionContext
LTLParser.BinaryExpressionContext
LTLParser.BinaryOpContext
LTLParser.BinaryOperationContext
LTLParser.BinaryUnaryContext
LTLParser.BoolContext
LTLParser.BooleanContext
LTLParser.DoubleQuotedVariableContext
LTLParser.ExpressionContext
LTLParser.FormulaContext
LTLParser.NestedContext
LTLParser.OrExpressionContext
LTLParser.SingleQuotedVariableContext
LTLParser.UnaryAtomContext
LTLParser.UnaryExpressionContext
LTLParser.UnaryOpContext
LTLParser.UnaryOperationContext
LTLParser.VariableContext
LTLParserBaseListener	This class provides an empty implementation of LTLParserListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
LTLParserBaseVisitor<T>	This class provides an empty implementation of LTLParserVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.
LTLParserListener	This interface defines a complete listener for a parse tree produced by LTLParser.
LTLParserVisitor<T>	This interface defines a complete generic visitor for a parse tree produced by LTLParser.
LtlTranslationRepository	Central repository of all implemented LTL translations.
LtlTranslationRepository.BranchingMode
LtlTranslationRepository.LtlToDelaTranslation
LtlTranslationRepository.LtlToDpaTranslation
LtlTranslationRepository.LtlToDraTranslation
LtlTranslationRepository.LtlToLdbaTranslation
LtlTranslationRepository.LtlToNbaTranslation
LtlTranslationRepository.LtlTranslation<L extends U,U extends EmersonLeiAcceptance>
LtlTranslationRepository.Option
ManualVariableAllocation
MonitorState
MOperator	Strong Release.
MtBdd<E>	A multi-terminal binary decision diagram (MTBDD).
MtBdd.Leaf<E>
MtBdd.Node<E>
MtBddOperations	This class provides operations for MTBDDs.
MultiPebble<S>	Abstracts multiple pebbles controlled by Duplicator in a multipebble simulation game.
MutableAutomaton<S,A extends EmersonLeiAcceptance>	A mutation interface extending Automaton.
MutableAutomatonUtil
NBA2LDBA
NbaAdjMat<S>
NbaDet	This class provides the entry-point for the translation from non-deterministic Büchi automata to deterministic parity automata described in Bibliography.ICALP_19_1 with optimisations from Bibliography.ATVA_19.
NbaDetConf<S>	This is the structure containing all required information that is used in the determinization process and is obtained based on an NbaDetArgs instance.
NbaDetConf.UpdateMode
NbaDetConfSets	these sets reflect the different determinisation components to be used in the DetState i.e.
NbaDetState<S>	This is the state type of the deterministic parity automaton produced by nbadet.
NbaLangInclusions	This class glues available algorithms that can underapprox.
NbaLangInclusions.SimType	Register new simulation algorithms here.
NbaSimAlgorithm<S,T>	Interface that all pluggable language inclusion / simulation algorithms should implement.
Negation
NonDeterministicConstructions
NonDeterministicConstructions.CoSafety
NonDeterministicConstructions.FgSafety
NonDeterministicConstructions.GfCoSafety
NonDeterministicConstructions.Safety
NonDeterministicConstructions.Tracking
NonDeterministicConstructionsPortfolio<A extends EmersonLeiAcceptance>
NormalformDELAConstruction	A translation from LTL to deterministic Emerson-Lei automata using the \Delta_2-normalisation procedure.
NormalformDELAConstruction.Construction
NormalformDELAConstruction.State
NormalformDPAConstruction
NormalformDRAConstruction<R extends GeneralizedRabinAcceptance>
NormalForms
Normalisation	Δ₂-Normalisation according to Bibliography.LICS_20 with minor tweaks skipping unnecessary rewrite steps.
Normalisation.NormalisationMethod
NullablePair<A,B>
NumberingStateEncoderFactory
OinkGameSolver
OinkGameSolver.OinkExecutionException	Abstracts potential errors when executing oink to solve a game.
OmegaAcceptanceCast	This class provides functionality to cast an automaton to an automaton with a more generic acceptance condition.
OwlCommand
OwlCommandRuntimeReflectionRegistrationFeature
OwlVersion
OwlVersion.NameAndVersion
Pair<A,B>
ParallelEvaluation	This class provides static methods that evaluate the list of suppliers in parallel.
ParityAcceptance
ParityAcceptance.Parity
ParityAcceptanceOptimizations
ParityGameSolver
ParityGameSolver.WinningRegions<S>
ParityUtil
Pebble<S>	Abstraction of a single pebble in a multipebble simulation game.
PgSolverFormat
Predicates
PreprocessorVisitor
PrintVisitor
ProductState<T>
ProductState
PropositionalFormula<T>	A propositional formula.
PropositionalFormula.Biconditional<T>
PropositionalFormula.Conjunction<T>
PropositionalFormula.Disjunction<T>
PropositionalFormula.Negation<T>
PropositionalFormula.Polarity
PropositionalFormula.Variable<T>
PropositionalFormulaHelper
PropositionalIntVisitor	Visitor skeleton implementation that views the formula as propositional formula.
PropositionalSimplifier
PropositionalVisitor<T>	Visitor skeleton implementation that views the formula as propositional formula.
PushNextThroughPropositionalVisitor
RabinAcceptance	This class represents a Rabin acceptance.
RabinAcceptance.Builder
RabinDegeneralization
RabinDegeneralization.DegeneralizedRabinState<S>
RabinizerBuilder	Central class handling the Rabinizer construction.
RabinizerConfiguration
RabinizerState
RangedVariableAllocator
RankedSlice	type/wrapper of ranked slices, which are just tuples of disjoint sets, with entries that are additionally to the index order also ranked by some extra total order (i.e.
Rewriter
Rewriter.ToCoSafety
Rewriter.ToSafety
RobustLtlParser
Robustness
ROperator	Weak Release.
RoundRobinState<E>
SccDecomposition<S>	This class provides a decomposition into strongly connected components (SCCs) of a directed graph given by either an Automaton or a SuccessorFunction.
Selector
SequentialVariableAllocationCombiner	Combines variable allocations in sequence and moves atomic propositions to the front or the back.
SimplifierRepository
SimulationGame<S,T extends SimulationType.SimulationState>	Wrapper class that takes a simulationType and constructs the actual game itself based on the state and transition function defined within the concrete simulationType.
SimulationStates
SimulationStates.LookaheadSimulationState<S>
SimulationStates.MultipebbleSimulationState<S>	Holds all information necessary to implement forward multipebble simulations.
SimulationType<S,T extends SimulationType.SimulationState>
SimulationType.SimulationState
SimulationUtil
SingletonAutomaton<S,A extends EmersonLeiAcceptance>
SmartSucc<S>	This class acts like a "smart cache" for the states produced during NBA determinization.
Solver	Interface for SAT-solver for propositional formulas.
Split
SplitUntilVisitor
State<T>
StateFeatures
StateFeatures.Feature
StateFeatures.Feature.Type
StateFeatures.TemporalOperatorsProfileNormalForm
Statistics
SuccessorFunction<S>
SymbolicAutomaton<A extends EmersonLeiAcceptance>	An automaton over infinite words.
SymbolicAutomaton.StateEncoder<S>
SymbolicAutomaton.StateEncoderFactory
SymbolicAutomaton.VariableAllocation
SymbolicAutomaton.VariableAllocator
SymbolicBooleanOperations	Boolean operations on symbolic automata.
SymbolicDPAConstruction
SymbolicDPASolver
SymbolicDPASolver.Solution
SymbolicDPASolver.Solution.Winner
SymbolicDRA2DPAConstruction
SymbolicNormalformDRAConstruction
SymbolicSccDecomposition
SymmetricDRAConstruction<R extends GeneralizedRabinAcceptance>	Implements the construction of Bibliography.LICS_18.
SymmetricEvaluatedFixpoints
SymmetricEvaluatedFixpoints.DeterministicAutomata
SymmetricEvaluatedFixpoints.NonDeterministicAutomata
SymmetricLDBAConstruction<B extends GeneralizedBuchiAcceptance>
SymmetricNBAConstruction<B extends GeneralizedBuchiAcceptance>
SymmetricProductState
SymmetricRankingState
SymmetricRankingState
SyntacticFragment
SyntacticFragments
SyntacticFragments.FormulaClass
SyntacticFragments.Type
SyntacticSimplifier
TokenErrorListener
ToStateAcceptanceFixed	Convert automaton to state-based acceptance.
Transition<S>
TrieMap<K,V>	A trieMap maps sequences of keys to a value.
TrieSet<E>
UltimatelyPeriodicWord
UnabbreviateVisitor
UnmanagedMemory
UOperator	Strong Until.
UpwardClosedSet	Bucket-based implementation of an upward-closed set.
Views
Views.Filter<S>
Views.Filter.Builder<S>
Visitor<R>
WOperator	Weak Until.
XDepthVisitor
XOperator	Next.
ZielonkaDag
ZielonkaGameSolver
ZielonkaTreeTransformations
ZielonkaTreeTransformations.AlternatingCycleDecomposition<S>
ZielonkaTreeTransformations.AutomatonWithZielonkaTreeLookup<S,A extends EmersonLeiAcceptance>
ZielonkaTreeTransformations.ConditionalZielonkaTree
ZielonkaTreeTransformations.Path
ZielonkaTreeTransformations.ZielonkaState<S>
ZielonkaTreeTransformations.ZielonkaTree
ZielonkaTreeTransformations.ZielonkaTreeLookup<S>