Index (owl 21.0 API)

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes All Packages

A

abbreviatedOptionsAllowed() - Method in class picocli.CommandLine.Model.ParserSpec
abbreviatedOptionsAllowed(boolean) - Method in class picocli.CommandLine.Model.ParserSpec
abbreviatedSubcommandsAllowed() - Method in class picocli.CommandLine.Model.ParserSpec
abbreviatedSubcommandsAllowed(boolean) - Method in class picocli.CommandLine.Model.ParserSpec
abbreviatedSynopsis() - Method in class picocli.CommandLine.Help: Generates a generic synopsis like <command name> [OPTIONS] [PARAM1 [PARAM2]...], omitting parts that don't apply to the command (e.g., does not show [OPTIONS] if the command has no options).
abbreviateSynopsis() - Method in annotation type picocli.CommandLine.Command: Specify true to generate an abbreviated synopsis like "<main> [OPTIONS] [PARAMETERS...] [COMMAND]".
abbreviateSynopsis() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns whether the synopsis line(s) should show an abbreviated synopsis without detailed option names.
abbreviateSynopsis(boolean) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets whether the synopsis line(s) should show an abbreviated synopsis without detailed option names.
AbstractHandler() - Constructor for class picocli.CommandLine.AbstractHandler: Deprecated.
AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance> - Class in owl.automaton: 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> - Class in owl.automaton: 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> - Class in owl.automaton: 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> - Class in owl.automaton: 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> - Class in owl.automaton: 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> - Class in owl.automaton: This class provides a skeletal implementation of the Automaton interface to minimize the effort required to implement this interface.
AbstractParseResultHandler() - Constructor for class picocli.CommandLine.AbstractParseResultHandler: Deprecated.
AbstractPortfolio<A extends EmersonLeiAcceptance> - Class in owl.translations.canonical
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.AndExpressionContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BinaryOpContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BinaryOperationContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BoolContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BooleanContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.ExpressionContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.FormulaContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.NestedContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.OrExpressionContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.UnaryAtomContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.UnaryOpContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.UnaryOperationContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.VariableContext
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.BooleanConstant
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.Conjunction
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.Disjunction
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.FOperator
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.GOperator
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.Literal
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.MOperator
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.ROperator
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.UOperator
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.WOperator
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.XOperator
accept(BinaryVisitor<P, R>, P) - Method in class owl.ltl.Biconditional
accept(BinaryVisitor<P, R>, P) - Method in class owl.ltl.Formula
accept(BinaryVisitor<P, R>, P) - Method in class owl.ltl.Negation
accept(IntVisitor) - Method in class owl.ltl.Biconditional
accept(IntVisitor) - Method in class owl.ltl.BooleanConstant
accept(IntVisitor) - Method in class owl.ltl.Conjunction
accept(IntVisitor) - Method in class owl.ltl.Disjunction
accept(IntVisitor) - Method in class owl.ltl.FOperator
accept(IntVisitor) - Method in class owl.ltl.Formula
accept(IntVisitor) - Method in class owl.ltl.GOperator
accept(IntVisitor) - Method in class owl.ltl.Literal
accept(IntVisitor) - Method in class owl.ltl.MOperator
accept(IntVisitor) - Method in class owl.ltl.Negation
accept(IntVisitor) - Method in class owl.ltl.ROperator
accept(IntVisitor) - Method in class owl.ltl.UOperator
accept(IntVisitor) - Method in class owl.ltl.WOperator
accept(IntVisitor) - Method in class owl.ltl.XOperator
accept(Visitor<R>) - Method in class owl.ltl.Biconditional
accept(Visitor<R>) - Method in class owl.ltl.BooleanConstant
accept(Visitor<R>) - Method in class owl.ltl.Conjunction
accept(Visitor<R>) - Method in class owl.ltl.Disjunction
accept(Visitor<R>) - Method in class owl.ltl.FOperator
accept(Visitor<R>) - Method in class owl.ltl.Formula
accept(Visitor<R>) - Method in class owl.ltl.GOperator
accept(Visitor<R>) - Method in class owl.ltl.Literal
accept(Visitor<R>) - Method in class owl.ltl.MOperator
accept(Visitor<R>) - Method in class owl.ltl.Negation
accept(Visitor<R>) - Method in class owl.ltl.ROperator
accept(Visitor<R>) - Method in class owl.ltl.UOperator
accept(Visitor<R>) - Method in class owl.ltl.WOperator
accept(Visitor<R>) - Method in class owl.ltl.XOperator
acceptance - Variable in class owl.automaton.AbstractMemoizingAutomaton
acceptance() - Method in class owl.automaton.AbstractMemoizingAutomaton
acceptance() - Method in class owl.automaton.algorithm.simulations.BackwardDirectSimulation
acceptance() - Method in class owl.automaton.algorithm.simulations.ForwardDelayedSimulation
acceptance() - Method in class owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation
acceptance() - Method in class owl.automaton.algorithm.simulations.ForwardDirectSimulation
acceptance() - Method in class owl.automaton.algorithm.simulations.ForwardFairSimulation
acceptance() - Method in interface owl.automaton.algorithm.simulations.SimulationType
acceptance() - Method in interface owl.automaton.Automaton: Returns the acceptance condition of this automaton.
acceptance() - Method in class owl.automaton.HashMapAutomaton
acceptance() - Method in class owl.automaton.symbolic.SymbolicAutomaton
acceptance() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
acceptance(A) - Method in class owl.automaton.HashMapAutomaton
acceptance(A) - Method in interface owl.automaton.MutableAutomaton
acceptanceClass() - Method in class owl.command.AutomatonConversionCommands.Nba2DpaCommand
acceptanceClass() - Method in class owl.command.AutomatonConversionCommands.NbaSimCommand
acceptanceClassLowerBound() - Method in enum owl.translations.LtlTranslationRepository.LtlToDelaTranslation
acceptanceClassLowerBound() - Method in enum owl.translations.LtlTranslationRepository.LtlToDpaTranslation
acceptanceClassLowerBound() - Method in enum owl.translations.LtlTranslationRepository.LtlToDraTranslation
acceptanceClassLowerBound() - Method in enum owl.translations.LtlTranslationRepository.LtlToLdbaTranslation
acceptanceClassLowerBound() - Method in enum owl.translations.LtlTranslationRepository.LtlToNbaTranslation
acceptanceClassLowerBound() - Method in interface owl.translations.LtlTranslationRepository.LtlTranslation
acceptanceClassUpperBound() - Method in enum owl.translations.LtlTranslationRepository.LtlToDelaTranslation
acceptanceClassUpperBound() - Method in enum owl.translations.LtlTranslationRepository.LtlToDpaTranslation
acceptanceClassUpperBound() - Method in enum owl.translations.LtlTranslationRepository.LtlToDraTranslation
acceptanceClassUpperBound() - Method in enum owl.translations.LtlTranslationRepository.LtlToLdbaTranslation
acceptanceClassUpperBound() - Method in enum owl.translations.LtlTranslationRepository.LtlToNbaTranslation
acceptanceClassUpperBound() - Method in interface owl.translations.LtlTranslationRepository.LtlTranslation
acceptanceClassWithinBounds(Class<? extends U>) - Method in interface owl.translations.LtlTranslationRepository.LtlTranslation
acceptanceCondition(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CAutomaton
AcceptanceCondition() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
AcceptanceConditionAnd() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
AcceptanceConditionAtom() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
acceptanceConditionSets(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CAutomaton
AcceptanceConditionTemporalOperator() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
AcceptanceOptimizations - Class in owl.automaton.acceptance.optimization
acceptanceSets() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
AcceptanceSignature() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
accepting() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
accepting() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateAccepting
accepting() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateAcceptingRoundRobin
acceptingComponent() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
acceptingSccs() - Method in class owl.automaton.algorithm.SccDecomposition: Weak accepting SCCs (non-trivial and only good cycles).
acceptingSet() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
acceptingSet() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance: Returns a set of indices which repeated infinitely often are accepting or Optional.empty() if no such set exists.
acceptingSet() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
acceptingSet() - Method in class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
acceptingSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
acceptingSet() - Method in class owl.automaton.acceptance.ParityAcceptance
accSinks() - Method in class owl.translations.nbadet.NbaDetConf
add() - Method in class owl.automaton.acceptance.RabinAcceptance.Builder
add() - Method in class owl.cinterface.CIntVectorBuilder
add(double) - Method in class owl.cinterface.CDoubleVectorBuilder
add(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
add(int) - Method in class owl.cinterface.CIntVectorBuilder
add(int...) - Method in class owl.cinterface.CIntVectorBuilder
add(int, int) - Method in class owl.cinterface.CIntVectorBuilder
add(int, int, int) - Method in class owl.cinterface.CIntVectorBuilder
add(List<? extends E>, E) - Static method in class owl.collections.Collections3
add(List<E>) - Method in class owl.collections.HashTrieSet
add(Map<K, V>, K, V) - Static method in class owl.collections.Collections3
add(Set<E>, E) - Static method in class owl.collections.Collections3
add(CommandLine.Model.ArgSpec) - Method in class picocli.CommandLine.Model.CommandSpec: Adds the specified option spec or positional parameter spec to the list of configured arguments to expect.
add(CommandLine.Model.ArgSpec, int) - Method in class picocli.CommandLine.ParseResult.Builder: Adds the specified OptionSpec or PositionalParamSpec to the list of options and parameters that were matched on the command line.
addAlias(String, BooleanExpression<AtomLabel>) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
addAll(Collection<Integer>) - Method in class owl.cinterface.CIntVectorBuilder
addAllOptions(List<CommandLine.Model.OptionSpec>, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help.Layout: Calls CommandLine.Help.Layout.addOption(CommandLine.Model.OptionSpec, CommandLine.Help.IParamLabelRenderer) for all Options in the specified list.
addAllPositionalParameters(List<CommandLine.Model.PositionalParamSpec>, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help.Layout: Calls CommandLine.Help.Layout.addPositionalParameter(CommandLine.Model.PositionalParamSpec, CommandLine.Help.IParamLabelRenderer) for all positional parameters in the specified list.
addAllSubcommands(Map<String, CommandLine>) - Method in class picocli.CommandLine.Help: Registers all specified subcommands with this Help.
addArg(CommandLine.Model.ArgSpec) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Adds the specified argument to the list of options and positional parameters that depend on this group.
addArgGroup(CommandLine.Model.ArgGroupSpec) - Method in class picocli.CommandLine.Model.CommandSpec: Adds the specified argument group to the groups in this command.
addComment(String) - Method in interface owl.game.output.AigConsumer
addComment(String) - Method in class owl.game.output.AigerPrinter
addEdge(S, BitSet, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton: Adds a transition from the source state under valuation.
addEdge(S, BddSet, Edge<? extends S>) - Method in class owl.automaton.HashMapAutomaton
addEdge(S, BddSet, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton: Adds transitions from the source state under valuations.
addEdgeImplicit(int, List<Integer>, List<Integer>) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
addEdgeWithLabel(int, BooleanExpression<AtomLabel>, List<Integer>, List<Integer>) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
addEmptyRow() - Method in class picocli.CommandLine.Help.TextTable: Adds the required char[] slots for a new row to the CommandLine.Help.TextTable.columnValues field.
addError(CommandLine.PicocliException) - Method in class picocli.CommandLine.ParseResult.Builder
addInitialState(S) - Method in class owl.automaton.HashMapAutomaton
addInitialState(S) - Method in interface owl.automaton.MutableAutomaton: Add an initial state to the automaton.
addInput(String) - Method in interface owl.game.output.AigConsumer
addInput(String) - Method in class owl.game.output.AigerPrinter
addLatch(String, LabelledAig) - Method in interface owl.game.output.AigConsumer
addLatch(String, LabelledAig) - Method in class owl.game.output.AigerPrinter
addMethodSubcommands() - Method in annotation type picocli.CommandLine.Command: Specify whether methods annotated with @Command should be registered as subcommands of their enclosing @Command class.
addMethodSubcommands() - Method in class picocli.CommandLine.Model.CommandSpec: Reflects on the class of the user object and registers any command methods (class methods annotated with @Command) as subcommands.
addMethodSubcommands(CommandLine.IFactory) - Method in class picocli.CommandLine.Model.CommandSpec: Reflects on the class of the user object and registers any command methods (class methods annotated with @Command) as subcommands.
addMiscHeader(String, List<Object>) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
addMixin(String, Object) - Method in class picocli.CommandLine: Adds the options and positional parameters in the specified mixin to this command.
addMixin(String, CommandLine.Model.CommandSpec) - Method in class picocli.CommandLine.Model.CommandSpec: Adds the specified mixin CommandSpec object to the map of mixins for this command.
addMixin(String, CommandLine.Model.CommandSpec, CommandLine.Model.IAnnotatedElement) - Method in class picocli.CommandLine.Model.CommandSpec: Adds the specified mixin CommandSpec object to the map of mixins for this command.
addOption(CommandLine.Model.OptionSpec) - Method in class picocli.CommandLine.Model.CommandSpec: Adds the specified option spec to the list of configured arguments to expect.
addOption(CommandLine.Model.OptionSpec) - Method in class picocli.CommandLine.ParseResult.Builder: Adds the specified OptionSpec to the list of options that were matched on the command line.
addOption(CommandLine.Model.OptionSpec, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help.Layout: Delegates to the option renderer of this layout to obtain text values for the specified CommandLine.Model.OptionSpec, and then calls the CommandLine.Help.Layout.layout(CommandLine.Model.ArgSpec, CommandLine.Help.Ansi.Text[][]) method to write these text values into the correct cells in the TextTable.
addOptions(List<CommandLine.Model.OptionSpec>, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help.Layout: Calls CommandLine.Help.Layout.addOption(CommandLine.Model.OptionSpec, CommandLine.Help.IParamLabelRenderer) for all non-hidden Options in the list.
addOutput(String, LabelledAig) - Method in interface owl.game.output.AigConsumer
addOutput(String, LabelledAig) - Method in class owl.game.output.AigerPrinter
addParentCommandElement(CommandLine.Model.IAnnotatedElement) - Method in class picocli.CommandLine.Model.CommandSpec: Adds the specified {@literal @}ParentCommand-annotated program element to the list of elements for this command.
addPattern(String, String, String) - Method in class picocli.CommandLine.RegexTransformer.Builder: Adds the specified negative replacement and synopsis replacement for the specified regular expression.
addPositional(CommandLine.Model.PositionalParamSpec) - Method in class picocli.CommandLine.Model.CommandSpec: Adds the specified positional parameter spec to the list of configured arguments to expect.
addPositionalParam(CommandLine.Model.PositionalParamSpec, int) - Method in class picocli.CommandLine.ParseResult.Builder: Adds the specified PositionalParamSpec to the list of parameters that were matched on the command line.
addPositionalParameter(CommandLine.Model.PositionalParamSpec, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help.Layout: Delegates to the parameter renderer of this layout to obtain text values for the specified positional parameter, and then calls CommandLine.Help.Layout.layout(CommandLine.Model.ArgSpec, CommandLine.Help.Ansi.Text[][]) to write these text values into the correct cells in the TextTable.
addPositionalParameters(List<CommandLine.Model.PositionalParamSpec>, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help.Layout: Calls CommandLine.Help.Layout.addPositionalParameter(CommandLine.Model.PositionalParamSpec, CommandLine.Help.IParamLabelRenderer) for all non-hidden Parameters in the list.
addProperties(List<String>) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
addRowValues(String...) - Method in class picocli.CommandLine.Help.TextTable: Delegates to CommandLine.Help.TextTable.addRowValues(CommandLine.Help.Ansi.Text...), after ensuring that multi-line values are layed out in the correct row and column.
addRowValues(CommandLine.Help.Ansi.Text...) - Method in class picocli.CommandLine.Help.TextTable: Adds a new empty row, then calls putValue for each of the specified values, adding more empty rows if the return value indicates that the value spanned multiple columns or was wrapped to multiple rows.
addSpecElement(CommandLine.Model.IAnnotatedElement) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Adds the specified {@literal @}Spec annotated program element to the list of spec elements for this group.
addSpecElement(CommandLine.Model.IAnnotatedElement) - Method in class picocli.CommandLine.Model.CommandSpec: Adds the specified {@literal @}Spec-annotated program element to the list of elements for this command.
addStartStates(List<Integer>) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
addState(int, String, BooleanExpression<AtomLabel>, List<Integer>) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
addState(S) - Method in class owl.automaton.HashMapAutomaton
addState(S) - Method in interface owl.automaton.MutableAutomaton: Adds a state without outgoing edges to the set of states.
addSubcommand(Object) - Method in class picocli.CommandLine: Registers a subcommand with the name obtained from the @Command(name = "...") annotation attribute of the specified command.
addSubcommand(String, Object) - Method in class picocli.CommandLine: Registers a subcommand with the specified name.
addSubcommand(String, Object) - Method in class picocli.CommandLine.Help: Deprecated.
use CommandLine.Help.addAllSubcommands(Map) instead
addSubcommand(String, Object, String...) - Method in class picocli.CommandLine: Registers a subcommand with the specified name and all specified aliases.
addSubcommand(String, CommandLine) - Method in class picocli.CommandLine.Model.CommandSpec: Adds the specified subcommand with the specified name.
addSubcommand(String, CommandLine.Model.CommandSpec) - Method in class picocli.CommandLine.Model.CommandSpec: Adds the specified subcommand with the specified name.
addSubgroup(CommandLine.Model.ArgGroupSpec) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Adds the specified group to the list of subgroups that this group is composed of.
addUnmatched(String) - Method in class picocli.CommandLine.ParseResult.Builder: Adds the specified command line argument to the list of unmatched command line arguments.
addUnmatched(Stack<String>) - Method in class picocli.CommandLine.ParseResult.Builder: Adds all elements of the specified command line arguments stack to the list of unmatched command line arguments.
addUnmatchedArgsBinding(CommandLine.Model.UnmatchedArgsBinding) - Method in class picocli.CommandLine.Model.CommandSpec: Adds the specified UnmatchedArgsBinding to the list of model objects to capture unmatched arguments for this command.
adjustLineBreaksForWideCJKCharacters() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns whether line breaks should take wide Chinese, Japanese and Korean characters into account for line-breaking purposes.
adjustLineBreaksForWideCJKCharacters(boolean) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets whether line breaks should take wide Chinese, Japanese and Korean characters into account, and returns this UsageMessageSpec.
aig() - Method in class owl.game.output.LabelledAig
Aig - Class in owl.game.output
Aig() - Constructor for class owl.game.output.Aig
AigConsumer - Interface in owl.game.output
AigerPrinter - Class in owl.game.output
AigerPrinter(boolean) - Constructor for class owl.game.output.AigerPrinter
AigFactory - Class in owl.game.output
AigFactory() - Constructor for class owl.game.output.AigFactory
AigPrintable - Interface in owl.game.output
aliases() - Method in annotation type picocli.CommandLine.Command: Alternative command names by which this subcommand is recognized on the command line.
aliases() - Method in class picocli.CommandLine.Help: Returns the list of aliases for the command in this Help.
aliases() - Method in class picocli.CommandLine.Model.CommandSpec: Returns the alias command names of this subcommand.
aliases(String...) - Method in class picocli.CommandLine.Model.CommandSpec: Sets the alternative names by which this subcommand is recognized on the command line.
AliasName() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
all() - Method in class owl.ltl.robust.Split
all() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateAccepting
all() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateAcceptingRoundRobin
all() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting
all() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejectingRoundRobin
ALL - owl.ltl.SyntacticFragment
AllAcceptance - Class in owl.automaton.acceptance
allFixpointsPresent(Collection<? extends Formula.TemporalOperator>) - Method in class owl.translations.mastertheorem.Fixpoints
allMatch(Predicate<? super Set<S>>) - Method in class owl.automaton.algorithm.SccDecomposition: Returns whether all strongly connected components match the provided predicate.
allMatch(Predicate<Formula>) - Method in class owl.ltl.Formula
allocate(int, int, int) - Method in class owl.automaton.symbolic.RangedVariableAllocator
allocate(int, int, int) - Method in interface owl.automaton.symbolic.SymbolicAutomaton.VariableAllocator
allOptionsNested() - Method in class picocli.CommandLine.Model.ArgGroupSpec: Returns all options configured for this group and all subgroups.
allowSimplifierOnOutput() - Method in class owl.command.AutomatonConversionCommands.NbaSimCommand
allPairs(Set<? extends A>, Set<? extends B>) - Static method in class owl.collections.Pair
allPairs(Set<A>, Set<B>) - Static method in class owl.collections.NullablePair
allPositionalParametersNested() - Method in class picocli.CommandLine.Model.ArgGroupSpec: Returns all positional parameters configured for this group and all subgroups.
allSubcommands() - Method in class picocli.CommandLine.Help: Returns the map of all subcommand Help instances (including hidden commands) for this command Help.
allSuccessors(Automaton<S, A>, Set<S>, BitSet) - Static method in class owl.automaton.algorithm.simulations.SimulationUtil: Computes all successor states in an automaton for a given valuation.
almostAlways - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints: Corresponds to safetyAutomaton.
alpha() - Method in class owl.automaton.acceptance.transformer.ZielonkaDag
alpha(NormalformDELAConstruction.State) - Method in class owl.translations.ltl2dela.NormalformDELAConstruction.Construction
AlternatingCycleDecomposition() - Constructor for class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
always() - Method in class owl.ltl.robust.LabelledSplit
always() - Method in class owl.ltl.robust.Split
ALWAYS - owl.ltl.robust.Robustness
ALWAYS - picocli.CommandLine.Help.Visibility
and(Collection<? extends EquivalenceClass>) - Method in interface owl.bdd.EquivalenceClassFactory
and(EquivalenceClass) - Method in interface owl.ltl.EquivalenceClass
AND - Static variable in class owl.grammar.LTLLexer
AND - Static variable in class owl.grammar.LTLParser
AND() - Method in class owl.grammar.LTLParser.AndExpressionContext
AND(int) - Method in class owl.grammar.LTLParser.AndExpressionContext
andExit(int) - Method in class picocli.CommandLine.AbstractHandler: Deprecated.
use CommandLine.execute(String...) instead, and call System.exit() in the application.
andExpression() - Method in class owl.grammar.LTLParser
andExpression() - Method in class owl.grammar.LTLParser.OrExpressionContext
andExpression(int) - Method in class owl.grammar.LTLParser.OrExpressionContext
AndExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.AndExpressionContext
annotatedElement - Variable in class picocli.CommandLine.Model.ArgSpec
AnnotatedLDBA<S,T extends LtlLanguageExpressible,B extends GeneralizedBuchiAcceptance,X,Y> - Class in owl.translations.ltl2ldba: Translation-specific internal representation of LDBAs.
AnnotatedState<S> - Interface in owl.automaton
AnnotatedStateOptimisation - Class in owl.automaton
annotation() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
ansi() - Method in class picocli.CommandLine.AbstractHandler: Deprecated.
use CommandLine.AbstractHandler.colorScheme() instead
ansi() - Method in class picocli.CommandLine.Help: Returns whether ANSI escape codes are enabled or not.
ansi() - Method in class picocli.CommandLine.Help.ColorScheme: Returns the Ansi setting of this color scheme.
ansi() - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Returns the Ansi setting of this color scheme builder.
ansi(CommandLine.Help.Ansi) - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Returns the Ansi setting of this color scheme builder.
anyMatch(Predicate<? super Set<S>>) - Method in class owl.automaton.algorithm.SccDecomposition: Returns whether any strongly connected components match the provided predicate.
anyMatch(Predicate<Formula>) - Method in class owl.ltl.Formula
AP_COMBINED - owl.bdd.EquivalenceClassFactory.Encoding: Encode only temporal operators separate from their negation.
AP_SEPARATE - owl.bdd.EquivalenceClassFactory.Encoding: Encode literals and temporal operators separate from their negation.
append(String) - Method in class picocli.CommandLine.Help.Ansi.Text: Deprecated.
use CommandLine.Help.Ansi.Text.concat(String) instead
append(CommandLine.Help.Ansi.Text) - Method in class picocli.CommandLine.Help.Ansi.Text: Deprecated.
use CommandLine.Help.Ansi.Text.concat(CommandLine.Help.Ansi.Text) instead
apply(String, List<CommandLine.Help.Ansi.IStyle>) - Method in enum picocli.CommandLine.Help.Ansi: Deprecated.
use CommandLine.Help.ColorScheme.apply(String, List) instead
apply(String, List<CommandLine.Help.Ansi.IStyle>) - Method in class picocli.CommandLine.Help.ColorScheme: Returns a new Text object where all the specified styles are applied to the full length of the specified plain text.
apply(Automaton<?, ?>) - Method in class owl.translations.nba2ldba.NBA2LDBA
apply(Formula) - Static method in class owl.ltl.rewriter.PushNextThroughPropositionalVisitor
apply(Formula) - Method in enum owl.ltl.rewriter.SimplifierRepository
apply(Formula) - Method in interface owl.ltl.visitors.Visitor
apply(Formula) - Method in class owl.translations.mastertheorem.Normalisation
apply(Formula) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
apply(Formula) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
apply(Formula, P) - Method in interface owl.ltl.visitors.BinaryVisitor
apply(LabelledFormula) - Static method in class owl.ltl.rewriter.PushNextThroughPropositionalVisitor
apply(LabelledFormula) - Method in enum owl.ltl.rewriter.SimplifierRepository
apply(LabelledFormula) - Method in class owl.translations.canonical.DeterministicConstructionsPortfolio
apply(LabelledFormula) - Method in class owl.translations.canonical.NonDeterministicConstructionsPortfolio
apply(LabelledFormula) - Method in class owl.translations.delag.DelagBuilder
apply(LabelledFormula) - Method in class owl.translations.ExternalTranslator
apply(LabelledFormula) - Method in class owl.translations.ltl2dela.NormalformDELAConstruction
apply(LabelledFormula) - Method in class owl.translations.ltl2dpa.LTL2DPAFunction
apply(LabelledFormula) - Method in class owl.translations.ltl2dpa.NormalformDPAConstruction
apply(LabelledFormula) - Method in class owl.translations.ltl2dpa.SymbolicDPAConstruction
apply(LabelledFormula) - Method in class owl.translations.ltl2dra.NormalformDRAConstruction
apply(LabelledFormula) - Method in class owl.translations.ltl2dra.SymbolicNormalformDRAConstruction
apply(LabelledFormula) - Method in class owl.translations.ltl2dra.SymmetricDRAConstruction
apply(LabelledFormula) - Method in class owl.translations.ltl2ldba.AsymmetricLDBAConstruction
apply(LabelledFormula) - Method in class owl.translations.ltl2ldba.SymmetricLDBAConstruction
apply(LabelledFormula) - Method in class owl.translations.ltl2nba.SymmetricNBAConstruction
apply(LabelledFormula) - Method in class owl.translations.mastertheorem.Normalisation
apply(S) - Method in interface owl.automaton.SuccessorFunction
applyAsInt(Formula) - Method in interface owl.ltl.visitors.IntVisitor
applyConstruction(LabelledFormula) - Method in class owl.translations.ltl2dela.NormalformDELAConstruction
applyLDBA(Automaton<?, ?>) - Static method in class owl.translations.nba2ldba.NBA2LDBA
applySystemProperties() - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Replaces colors and styles in this scheme builder with ones specified in system properties, and returns this builder.
applyWithShortcuts(LabelledFormula) - Method in class owl.translations.ltl2ldba.SymmetricLDBAConstruction: Construct and LDBA and remove states from initial component accepting a safety languages that have a corresponding state in the accepting component.
argGroups() - Method in class picocli.CommandLine.Model.CommandSpec: Returns the argument groups in this command.
args() - Method in class owl.translations.nbadet.NbaDetConf
args() - Method in class picocli.CommandLine.Model.ArgGroupSpec: Returns the options and positional parameters in this group; may be empty but not null.
args() - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Returns the list of options and positional parameters that depend on this group.
args() - Method in class picocli.CommandLine.Model.CommandSpec: Returns the list of all options and positional parameters configured for this command.
arithmeticMean(int...) - Static method in class owl.util.Statistics
arity() - Method in class picocli.CommandLine.Model.ArgSpec: Returns how many arguments this option or positional parameter requires.
arity() - Method in annotation type picocli.CommandLine.Option: Specifies the minimum number of required parameters and the maximum number of accepted parameters.
arity() - Method in annotation type picocli.CommandLine.Parameters: Specifies the minimum number of required parameters and the maximum number of accepted parameters.
aritySatisfiedByAttachedOptionParam() - Method in class picocli.CommandLine.Model.ParserSpec: Returns true if options with attached arguments should not consume subsequent arguments and should not validate arity.
aritySatisfiedByAttachedOptionParam(boolean) - Method in class picocli.CommandLine.Model.ParserSpec: Returns true if options with attached arguments should not consume subsequent arguments and should not validate arity.
array - Variable in class owl.collections.IntPreOrder
ArraysSupport - Class in owl.util
aSccs() - Method in class owl.translations.nbadet.NbaDetState: stores active states + rank for acc.
aSccsBuffer() - Method in class owl.translations.nbadet.NbaDetState: stores inactive states for acc.
asccsStates() - Method in class owl.translations.nbadet.NbaDetConfSets
asccStates() - Method in class owl.translations.nbadet.NbaDetConfSets
asCommandLineList() - Method in class picocli.CommandLine.ParseResult: Returns this ParseResult as a list of CommandLine objects, one for each matched command/subcommand.
asInitialState(Formula) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
asMutable(Automaton<S, A>) - Static method in class owl.automaton.MutableAutomatonUtil
asSet(BitSet) - Static method in class owl.collections.BitSet2: Creates a view of the {@param bitSet} as a Set.
asSet(BitSet, IntFunction<? extends S>) - Static method in class owl.collections.BitSet2: Converts a BitSet into a set.
AsymmetricEvaluatedFixpoints - Class in owl.translations.mastertheorem
AsymmetricEvaluatedFixpoints.DeterministicAutomata - Class in owl.translations.mastertheorem
AsymmetricLDBAConstruction<B extends GeneralizedBuchiAcceptance> - Class in owl.translations.ltl2ldba
AsymmetricProductState - Class in owl.translations.ltl2ldba
AsymmetricProductState(int, EquivalenceClass, EquivalenceClass, List<EquivalenceClass>, AsymmetricEvaluatedFixpoints, AsymmetricEvaluatedFixpoints.DeterministicAutomata) - Constructor for class owl.translations.ltl2ldba.AsymmetricProductState
AsymmetricRankingState - Class in owl.translations.ltl2dpa
AsymmetricRankingState() - Constructor for class owl.translations.ltl2dpa.AsymmetricRankingState
at(List<Transition<S>>, int) - Static method in class owl.automaton.algorithm.simulations.Transition
AT_FILE_POSITIONAL_PARAM - Variable in class picocli.CommandLine.Help
atFileCommentChar() - Method in class picocli.CommandLine.Model.ParserSpec
atFileCommentChar(Character) - Method in class picocli.CommandLine.Model.ParserSpec
atFileParameterList() - Method in class picocli.CommandLine.Help: Returns the section of the usage help message that lists the @-file and its description.
atomExpression() - Method in class owl.grammar.LTLParser
atomExpression() - Method in class owl.grammar.LTLParser.UnaryAtomContext
AtomExpressionContext() - Constructor for class owl.grammar.LTLParser.AtomExpressionContext
AtomExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.AtomExpressionContext
atomicPropositions - Variable in class owl.automaton.AbstractMemoizingAutomaton
atomicPropositions() - Method in class owl.automaton.AbstractMemoizingAutomaton
atomicPropositions() - Method in interface owl.automaton.Automaton
atomicPropositions() - Method in class owl.automaton.HashMapAutomaton
atomicPropositions() - Method in class owl.automaton.symbolic.SymbolicAutomaton
atomicPropositions() - Method in interface owl.bdd.EquivalenceClassFactory: The atomic propositions associated with this factory.
atomicPropositions() - Method in class owl.ltl.LabelledFormula
atomicPropositions(boolean) - Method in interface owl.ltl.EquivalenceClass: Collects all literals used in the bdd and stores the corresponding atomic propositions in the BitSet.
atomicPropositions(boolean) - Method in class owl.ltl.Formula
atomicPropositions(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CAutomaton
atomicPropositions(IsolateThread, ObjectHandle, int, CCharPointer, UnsignedWord) - Static method in class owl.cinterface.CAutomaton
atomicPropositionsUncontrollableSize(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CAutomaton
ATVA_18 - Static variable in class owl.Bibliography
ATVA_18_CITEKEY - Static variable in class owl.Bibliography
ATVA_19 - Static variable in class owl.Bibliography
ATVA_19_CITEKEY - Static variable in class owl.Bibliography
aut() - Method in class owl.translations.nbadet.NbaDetConf
authors() - Method in class owl.Bibliography.Publication
AUTO - picocli.CommandLine.Help.Ansi: Only emit ANSI escape codes if the platform supports it and system property "picocli.ansi" is not set to any value other than "true" (case insensitive).
automata - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
automata - Variable in class owl.translations.ltl2ldba.SymmetricProductState
automata - Variable in class owl.translations.ltl2nba.ProductState
Automata() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
automaton() - Method in class owl.automaton.algorithm.SccDecomposition
automaton() - Method in class owl.automaton.AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton
automaton() - Method in class owl.automaton.symbolic.SymbolicDRA2DPAConstruction
automaton() - Method in class owl.automaton.symbolic.SymbolicSccDecomposition
automaton() - Method in class owl.translations.ltl2dela.NormalformDELAConstruction.Construction
Automaton<S,A extends EmersonLeiAcceptance> - Interface in owl.automaton: An automaton over infinite words.
Automaton() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
Automaton.Property - Enum in owl.automaton
AutomatonConversionCommands - Class in owl.command
AutomatonConversionCommands() - Constructor for class owl.command.AutomatonConversionCommands
AutomatonConversionCommands.Nba2DpaCommand - Class in owl.command
AutomatonConversionCommands.NbaSimCommand - Class in owl.command
AutomatonUtil - Class in owl.automaton
AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B extends GeneralizedBuchiAcceptance> - Class in owl.automaton
autoWidth() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns whether picocli should attempt to detect the terminal size and adjust the usage help message width to take the full terminal width.
autoWidth(boolean) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets whether picocli should attempt to detect the terminal size and adjust the usage help message width to take the full terminal width.
auxiliaryTypes() - Method in class picocli.CommandLine.Model.ArgSpec: Returns auxiliary type information used when the CommandLine.Model.ArgSpec.type() is a generic type like Collection, Map or Optional; returns the concrete type when CommandLine.Model.ArgSpec.type() is an abstract class, otherwise, returns the same as CommandLine.Model.ArgSpec.type().
available() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood

B

BACKWARD_SIMULATION - owl.automaton.algorithm.simulations.BuchiSimulation.SimulationType
BackwardDirectSimulation<S> - Class in owl.automaton.algorithm.simulations
BackwardDirectSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Constructor for class owl.automaton.algorithm.simulations.BackwardDirectSimulation
backwardSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
BddSet - Interface in owl.bdd: Symbolic representation of a Set<BitSet>.
BddSetFactory - Interface in owl.bdd
beforeAnalysis(Feature.BeforeAnalysisAccess) - Method in class owl.command.OwlCommandRuntimeReflectionRegistrationFeature
beta(NormalformDELAConstruction.State) - Method in class owl.translations.ltl2dela.NormalformDELAConstruction.Construction
bg(String) - Static method in enum picocli.CommandLine.Help.Ansi.Style: Parses the specified style markup and returns the associated style.
bg_black - picocli.CommandLine.Help.Ansi.Style
bg_blue - picocli.CommandLine.Help.Ansi.Style
bg_cyan - picocli.CommandLine.Help.Ansi.Style
bg_green - picocli.CommandLine.Help.Ansi.Style
bg_magenta - picocli.CommandLine.Help.Ansi.Style
bg_red - picocli.CommandLine.Help.Ansi.Style
bg_white - picocli.CommandLine.Help.Ansi.Style
bg_yellow - picocli.CommandLine.Help.Ansi.Style
Bibliography - Class in owl
Bibliography.Publication - Class in owl
Biconditional - Class in owl.ltl: Biconditional.
Biconditional(Formula, Formula) - Constructor for class owl.ltl.Biconditional
BIIMP - Static variable in class owl.grammar.LTLLexer
BIIMP - Static variable in class owl.grammar.LTLParser
BIIMP() - Method in class owl.grammar.LTLParser.BinaryOpContext
binaryExpression() - Method in class owl.grammar.LTLParser.AndExpressionContext
binaryExpression() - Method in class owl.grammar.LTLParser
binaryExpression() - Method in class owl.grammar.LTLParser.BinaryOperationContext
binaryExpression() - Method in class owl.grammar.LTLParser.UnaryOperationContext
binaryExpression(int) - Method in class owl.grammar.LTLParser.AndExpressionContext
BinaryExpressionContext() - Constructor for class owl.grammar.LTLParser.BinaryExpressionContext
BinaryExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BinaryExpressionContext
binaryOp() - Method in class owl.grammar.LTLParser
binaryOp() - Method in class owl.grammar.LTLParser.BinaryOperationContext
BinaryOpContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BinaryOpContext
BinaryOperationContext(LTLParser.BinaryExpressionContext) - Constructor for class owl.grammar.LTLParser.BinaryOperationContext
BinaryUnaryContext(LTLParser.BinaryExpressionContext) - Constructor for class owl.grammar.LTLParser.BinaryUnaryContext
BinaryVisitor<P,R> - Interface in owl.ltl.visitors
BitSet2 - Class in owl.collections
blink - picocli.CommandLine.Help.Ansi.Style
blockingCoSafetyFormulas(EquivalenceClass) - Static method in class owl.translations.BlockingElements
BlockingElements - Class in owl.translations: Check if a language represented by an EquivalenceClass is "blocked".
blockingSafetyFormulas(EquivalenceClass) - Static method in class owl.translations.BlockingElements
Body() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
bold - picocli.CommandLine.Help.Ansi.Style
bool() - Method in class owl.grammar.LTLParser
bool() - Method in class owl.grammar.LTLParser.BooleanContext
BoolContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BoolContext
BooleanConstant - Class in owl.ltl
BooleanContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.BooleanContext
booleanExpression() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance: Get the canonical representation as PropositionalFormula.
BooleanExpressions - Class in jhoafparser.extensions
BooleanOperations - Class in owl.automaton: This class provides standard boolean operations (union, intersection, complementation) on automata.
bottomSccs() - Method in class owl.automaton.algorithm.SccDecomposition: Return indices of all strongly connected components that are bottom.
BreakpointState<S> - Class in owl.translations.nba2ldba
BreakpointState() - Constructor for class owl.automaton.determinization.Determinization.BreakpointState
BreakpointState() - Constructor for class owl.translations.nba2ldba.BreakpointState
BreakpointStateAccepting() - Constructor for class owl.translations.canonical.DeterministicConstructions.BreakpointStateAccepting
BreakpointStateAcceptingRoundRobin() - Constructor for class owl.translations.canonical.DeterministicConstructions.BreakpointStateAcceptingRoundRobin
BreakpointStateRejecting() - Constructor for class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting
BreakpointStateRejectingRoundRobin() - Constructor for class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejectingRoundRobin
BUCHI - owl.cinterface.CAutomaton.Acceptance
BuchiAcceptance - Class in owl.automaton.acceptance
BuchiDegeneralization - Class in owl.automaton.acceptance.degeneralization: This class provides a conversion from generalised Büchi automata into Büchi automata.
BuchiDegeneralization.IndexedState<S> - Class in owl.automaton.acceptance.degeneralization
BuchiSimulation - Class in owl.automaton.algorithm.simulations
BuchiSimulation() - Constructor for class owl.automaton.algorithm.simulations.BuchiSimulation
BuchiSimulation(ParityGameSolver) - Constructor for class owl.automaton.algorithm.simulations.BuchiSimulation
BuchiSimulation.SimulationType - Enum in owl.automaton.algorithm.simulations
build() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
build() - Method in class owl.automaton.acceptance.RabinAcceptance.Builder
build() - Method in class owl.automaton.Views.Filter.Builder
build() - Method in class owl.translations.dra2dpa.IARBuilder
build() - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Creates and returns a new ColorScheme with the values configured on this builder.
build() - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Returns a valid ArgGroupSpec instance.
build() - Method in class picocli.CommandLine.Model.OptionSpec.Builder: Returns a valid OptionSpec instance.
build() - Method in class picocli.CommandLine.Model.PositionalParamSpec.Builder: Returns a valid PositionalParamSpec instance.
build() - Method in class picocli.CommandLine.ParseResult.Builder: Creates and returns a new ParseResult instance for this builder's configuration.
build() - Method in class picocli.CommandLine.RegexTransformer.Builder
build(Formula, Fixpoints, Factories) - Static method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
build(LabelledFormula, RabinizerConfiguration) - Static method in class owl.translations.rabinizer.RabinizerBuilder
build(Fixpoints, Factories) - Static method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints: Construct the recurring gCosafety for a G-set.
buildEdge(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.CoSafety
buildEdge(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Safety
buildEdge(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.CoSafety
buildEdge(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
buildEdge(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.Safety
builder() - Static method in class owl.automaton.Views.Filter
builder() - Static method in class picocli.CommandLine.Model.ArgGroupSpec: Returns a new CommandLine.Model.ArgGroupSpec.Builder.
builder() - Static method in class picocli.CommandLine.Model.PositionalParamSpec
builder(String[]) - Static method in class picocli.CommandLine.Model.OptionSpec
builder(String, String...) - Static method in class picocli.CommandLine.Model.OptionSpec
builder(CommandLine.Model.CommandSpec) - Static method in class picocli.CommandLine.ParseResult: Creates and returns a new ParseResult.Builder for the specified command spec.
builder(CommandLine.Model.IAnnotatedElement) - Static method in class picocli.CommandLine.Model.ArgGroupSpec: Returns a new CommandLine.Model.ArgGroupSpec.Builder associated with the specified annotated element.
builder(CommandLine.Model.IAnnotatedElement, CommandLine.IFactory) - Static method in class picocli.CommandLine.Model.OptionSpec
builder(CommandLine.Model.IAnnotatedElement, CommandLine.IFactory) - Static method in class picocli.CommandLine.Model.PositionalParamSpec
builder(CommandLine.Model.OptionSpec) - Static method in class picocli.CommandLine.Model.OptionSpec: Returns a Builder initialized from the specified OptionSpec.
builder(CommandLine.Model.PositionalParamSpec) - Static method in class picocli.CommandLine.Model.PositionalParamSpec: Returns a Builder initialized from the specified PositionalSpec.
Builder() - Constructor for class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
Builder() - Constructor for class owl.automaton.acceptance.RabinAcceptance.Builder
Builder() - Constructor for class owl.automaton.Views.Filter.Builder
Builder() - Constructor for class picocli.CommandLine.Help.ColorScheme.Builder: Constructs an empty color scheme builder with Ansi.AUTO.
Builder() - Constructor for class picocli.CommandLine.RegexTransformer.Builder: Constructs an empty builder.
Builder(CommandLine.Help.Ansi) - Constructor for class picocli.CommandLine.Help.ColorScheme.Builder: Constructs an empty color scheme builder with the specified Ansi value.
Builder(CommandLine.Help.ColorScheme) - Constructor for class picocli.CommandLine.Help.ColorScheme.Builder: Constructs a color scheme builder with all attributes copied from the specified color scheme.
Builder(CommandLine.RegexTransformer) - Constructor for class picocli.CommandLine.RegexTransformer.Builder: Constructs a builder populated with the values from the specified RegexTransformer.
buildFormula(Split, EnumSet<Robustness>) - Static method in enum owl.ltl.robust.Robustness

C

calcLongOptionColumnWidth(List<CommandLine.Model.OptionSpec>, List<CommandLine.Model.PositionalParamSpec>, CommandLine.Help.ColorScheme) - Method in class picocli.CommandLine.Help: Returns the width of the long options column in the usage help message.
call() - Method in class owl.command.OwlCommand
call(C, PrintStream, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine: Deprecated.
use CommandLine.execute(String...) and CommandLine.getExecutionResult() instead
call(C, PrintStream, String...) - Static method in class picocli.CommandLine: Deprecated.
use CommandLine.execute(String...) and CommandLine.getExecutionResult() instead
call(C, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine: Deprecated.
use CommandLine.execute(String...) and CommandLine.getExecutionResult() instead
call(C, String...) - Static method in class picocli.CommandLine: Deprecated.
use CommandLine.execute(String...) and CommandLine.getExecutionResult() instead
call(Class<C>, CommandLine.IFactory, PrintStream, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine: Deprecated.
use CommandLine.execute(String...) and CommandLine.getExecutionResult() instead
call(Class<C>, CommandLine.IFactory, PrintStream, String...) - Static method in class picocli.CommandLine: Deprecated.
use CommandLine.execute(String...) and CommandLine.getExecutionResult() instead
call(Class<C>, CommandLine.IFactory, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine: Deprecated.
use CommandLine.execute(String...) and CommandLine.getExecutionResult() instead
call(Class<C>, CommandLine.IFactory, String...) - Static method in class picocli.CommandLine: Deprecated.
use CommandLine.execute(String...) and CommandLine.getExecutionResult() instead
CALL_DESTROY - Static variable in class owl.cinterface.CInterface
canonicalRepresentativeCnf() - Method in interface owl.ltl.EquivalenceClass: The canonical representative for this equivalence class, which is defined as the formula representation of the EquivalenceClass.conjunctiveNormalForm().
canonicalRepresentativeDnf() - Method in interface owl.ltl.EquivalenceClass: The canonical representative for this equivalence class, which is defined as the formula representation of the EquivalenceClass.disjunctiveNormalForm().
cartesianProduct(List<? extends MtBdd<E>>) - Static method in class owl.bdd.MtBddOperations
cartesianProduct(Map<K, ? extends MtBdd<V>>) - Static method in class owl.bdd.MtBddOperations
cartesianProduct(Set<? extends MtBdd<E>>) - Static method in class owl.bdd.MtBddOperations
cartesianProduct(MtBdd<L>, MtBdd<R>, BiFunction<L, R, E>) - Static method in class owl.bdd.MtBddOperations
cartesianProductWithNull(List<? extends MtBdd<E>>) - Static method in class owl.bdd.MtBddOperations: This is a short-hack to fix issues that arise by empty sets in leafs.
caseInsensitiveEnumValuesAllowed() - Method in class picocli.CommandLine.Model.ParserSpec
caseInsensitiveEnumValuesAllowed(boolean) - Method in class picocli.CommandLine.Model.ParserSpec
cast(Automaton<S, A>, Class<? extends B>) - Static method in class owl.automaton.acceptance.OmegaAcceptanceCast: Cast the given automaton to the given acceptance condition if possible.
CAutomaton - Class in owl.cinterface
CAutomaton.Acceptance - Enum in owl.cinterface
CAV_16 - Static variable in class owl.Bibliography
CAV_16_CITEKEY - Static variable in class owl.Bibliography
CAV_18 - Static variable in class owl.Bibliography
CAV_18_CITEKEY - Static variable in class owl.Bibliography
CDirectives() - Constructor for class owl.cinterface.CInterface.CDirectives
CDoubleVector - Interface in owl.cinterface
CDoubleVectorBuilder - Class in owl.cinterface
CDoubleVectorBuilder() - Constructor for class owl.cinterface.CDoubleVectorBuilder
CDoubleVectorBuilder(int) - Constructor for class owl.cinterface.CDoubleVectorBuilder
Cell(int, int) - Constructor for class picocli.CommandLine.Help.TextTable.Cell: Constructs a new Cell with the specified coordinates in the table.
cellAt(int, int) - Method in class picocli.CommandLine.Help.TextTable: Deprecated.
use CommandLine.Help.TextTable.textAt(int, int) instead
channelNames - Static variable in class owl.grammar.LTLLexer
CHAR_TO_STRING - Static variable in class owl.cinterface.CInterface
checkOinkExecutable() - Static method in class owl.game.algorithms.OinkGameSolver
children() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
children() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ConditionalZielonkaTree
children() - Method in interface owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTree
children(ImmutableBitSet) - Method in class owl.automaton.acceptance.transformer.ZielonkaDag
choice(S, Game.Owner) - Method in interface owl.game.Game
choice(T, Game.Owner) - Method in class owl.automaton.algorithm.simulations.SimulationGame
CInterface - Class in owl.cinterface
CInterface.CDirectives - Class in owl.cinterface
CIntVector - Interface in owl.cinterface
CIntVectorBuilder - Class in owl.cinterface
CIntVectorBuilder() - Constructor for class owl.cinterface.CIntVectorBuilder
CIntVectorBuilder(int) - Constructor for class owl.cinterface.CIntVectorBuilder
CIntVectors - Class in owl.cinterface
citeKey() - Method in interface owl.translations.LtlTranslationRepository.LtlTranslation
CLabelledFormula - Class in owl.cinterface
CLabelledFormula.AtomicPropositionStatus - Enum in owl.cinterface
classes() - Method in class owl.collections.IntPreOrder: Returns the number of classes.
classes() - Method in enum owl.ltl.SyntacticFragment
classify(Formula) - Static method in class owl.ltl.SyntacticFragments.FormulaClass
clauses - Variable in class owl.logic.propositional.ConjunctiveNormalForm: Clause-representation of the formula.
clear() - Method in class owl.collections.HashTrieMap
clear() - Method in class owl.collections.HashTrieSet
clearCaches() - Method in interface owl.bdd.EquivalenceClassFactory
clearExecutionResults() - Method in class picocli.CommandLine: Clears the execution result of a previous invocation from this CommandLine and all subcommands.
clone() - Method in class picocli.CommandLine.Help.Ansi.Text
CNF - owl.cinterface.StateFeatures.TemporalOperatorsProfileNormalForm
CO_BUCHI - owl.cinterface.CAutomaton.Acceptance
coarsest(int) - Static method in class owl.collections.IntPreOrder: Returns the coarsest pre-order over the {1,..,n} domain, i.e.
CoBuchiAcceptance - Class in owl.automaton.acceptance
collectErrors() - Method in class picocli.CommandLine.Model.ParserSpec: Returns true if exceptions during parsing should be collected instead of thrown.
collectErrors(boolean) - Method in class picocli.CommandLine.Model.ParserSpec: Sets whether exceptions during parsing should be collected instead of thrown.
Collections3 - Class in owl.collections
ColorRefinement<S> - Class in owl.automaton.algorithm.simulations: Computes direct simulation relation of an automaton based on the color refinement algorithm.
ColorRefinement.Neighborhood - Class in owl.automaton.algorithm.simulations: Represents the neighborhood of a state.
ColorRefinement.NeighborType - Class in owl.automaton.algorithm.simulations: Represents a neighbor type consisting of color and associated valuation.
colorScheme - Variable in class picocli.CommandLine.Help.Layout
colorScheme() - Method in class picocli.CommandLine.AbstractHandler: Deprecated.

Returns the ColorScheme to use.
colorScheme() - Method in class picocli.CommandLine.Help: Returns the ColorScheme model that this Help was constructed with.
colorScheme() - Method in class picocli.CommandLine.Help.Layout: Returns the ColorScheme used to create Text objects in this layout.
colour() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
colourOffset() - Method in class owl.automaton.symbolic.SymbolicAutomaton
colours() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
colours() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ConditionalZielonkaTree
colours() - Method in interface owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTree
colours() - Method in class owl.automaton.edge.Edge: Colours: the acceptance sets this edge is part of.
column - Variable in class picocli.CommandLine.Help.TextTable.Cell: Table column index (zero based).
Column(int, int, CommandLine.Help.Column.Overflow) - Constructor for class picocli.CommandLine.Help.Column
columns() - Method in class picocli.CommandLine.Help.TextTable: The column definitions of this table.
columnValues - Variable in class picocli.CommandLine.Help.TextTable: The char[] slots of the TextTable to copy text values into.
combiner(BinaryOperator<Formula>) - Static method in class owl.ltl.robust.Split
CombineUntilVisitor - Class in owl.ltl.rewriter
CombineUntilVisitor() - Constructor for class owl.ltl.rewriter.CombineUntilVisitor
command() - Method in class picocli.CommandLine.Model.ArgSpec: Returns the command this option or positional parameter belongs to.
commandLine() - Method in class picocli.CommandLine.Model.CommandSpec: Returns the CommandLine constructed with this CommandSpec model.
commandLine(CommandLine) - Method in class picocli.CommandLine.Model.CommandSpec: Sets the CommandLine constructed with this CommandSpec model.
CommandLine - Class in picocli: CommandLine interpreter that uses reflection to initialize an annotated user object with values obtained from the command line arguments.
CommandLine(Object) - Constructor for class picocli.CommandLine: Constructs a new CommandLine interpreter with the specified object (which may be an annotated user object or a CommandSpec) and a default factory.
CommandLine(Object, CommandLine.IFactory) - Constructor for class picocli.CommandLine: Constructs a new CommandLine interpreter with the specified object (which may be an annotated user object or a CommandSpec) and object factory.
CommandLine.AbstractHandler<R,T extends CommandLine.AbstractHandler<R,T>> - Class in picocli: Deprecated.
see CommandLine.execute(String...)
CommandLine.AbstractParseResultHandler<R> - Class in picocli: Deprecated.
see CommandLine.execute(String...), CommandLine.getExecutionStrategy(), CommandLine.getParameterExceptionHandler(), CommandLine.getExecutionExceptionHandler()
CommandLine.ArgGroup - Annotation Type in picocli: A Command may define one or more ArgGroups: a group of options, positional parameters or a mixture of the two.
CommandLine.Command - Annotation Type in picocli: Annotate your class with @Command when you want more control over the format of the generated help message.
CommandLine.DefaultExceptionHandler<R> - Class in picocli: Deprecated.
see CommandLine.execute(String...), CommandLine.getParameterExceptionHandler() and CommandLine.getExecutionExceptionHandler()
CommandLine.DuplicateNameException - Exception in picocli: Exception indicating that multiple named elements have incorrectly used the same name.
CommandLine.DuplicateOptionAnnotationsException - Exception in picocli: Exception indicating that multiple fields have been annotated with the same Option name.
CommandLine.ExecutionException - Exception in picocli: Exception indicating a problem while invoking a command or subcommand.
CommandLine.ExitCode - Class in picocli: Defines some exit codes used by picocli as default return values from the execute and executeHelpRequest methods.
CommandLine.Help - Class in picocli: 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 - Enum in picocli: Provides methods and inner classes to support using ANSI escape codes in usage help messages.
CommandLine.Help.Ansi.IStyle - Interface in picocli: Defines the interface for an ANSI escape sequence.
CommandLine.Help.Ansi.Style - Enum in picocli: 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.Ansi.Text - Class in picocli: Encapsulates rich text with styles and colors.
CommandLine.Help.ColorScheme - Class in picocli: 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 - Class in picocli: Builder class to create ColorScheme instances.
CommandLine.Help.Column - Class in picocli: 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 - Enum in picocli: 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 - Interface in picocli: 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 - Interface in picocli: 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 - Interface in picocli: 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 - Class in picocli: Use a Layout to format usage help text for options and parameters in tabular format.
CommandLine.Help.TextTable - Class in picocli: 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 - Class in picocli: Helper class to index positions in a Help.TextTable.
CommandLine.Help.Visibility - Enum in picocli: Controls the visibility of certain aspects of the usage help message.
CommandLine.HelpCommand - Class in picocli: Help command that can be installed as a subcommand on all application commands.
CommandLine.IDefaultValueProvider - Interface in picocli: Provides default value for a command.
CommandLine.IExceptionHandler - Interface in picocli: Deprecated.
see CommandLine.execute(String...), CommandLine.IParameterExceptionHandler and CommandLine.IExecutionExceptionHandler
CommandLine.IExceptionHandler2<R> - Interface in picocli: Deprecated.
see CommandLine.execute(String...), CommandLine.IParameterExceptionHandler and CommandLine.IExecutionExceptionHandler
CommandLine.IExecutionExceptionHandler - Interface in picocli: 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 - Interface in picocli: Implementations are responsible for "executing" the user input and returning an exit code.
CommandLine.IExitCodeExceptionMapper - Interface in picocli: 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 - Interface in picocli: @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 - Interface in picocli: 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 - Interface in picocli: Deprecated.
use CommandLine.IHelpCommandInitializable2 instead
CommandLine.IHelpCommandInitializable2 - Interface in picocli: Help commands that provide usage help for other commands can implement this interface to be initialized with the information they need.
CommandLine.IHelpFactory - Interface in picocli: Creates the CommandLine.Help instance used to render the usage help message.
CommandLine.IHelpSectionRenderer - Interface in picocli: Renders a section of the usage help message.
CommandLine.IModelTransformer - Interface in picocli: Provides a way to modify how the command model is built.
CommandLine.INegatableOptionTransformer - Interface in picocli: Determines the option name transformation of negatable boolean options.
CommandLine.InitializationException - Exception in picocli: Exception indicating a problem during CommandLine initialization.
CommandLine.IParameterConsumer - Interface in picocli: 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 - Interface in picocli: Classes implementing this interface know how to handle ParameterExceptions (usually from invalid user input).
CommandLine.IParameterPreprocessor - Interface in picocli: 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 - Interface in picocli: Deprecated.
Use CommandLine.IExecutionStrategy instead.
CommandLine.IParseResultHandler2<R> - Interface in picocli: Deprecated.
use CommandLine.IExecutionStrategy instead, see CommandLine.execute(String...)
CommandLine.ITypeConverter<K> - Interface in picocli: 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 - Interface in picocli: Provides version information for a command.
CommandLine.MaxValuesExceededException - Exception in picocli: Exception indicating that more values were specified for an option or parameter than its arity allows.
CommandLine.MissingParameterException - Exception in picocli: Exception indicating that a required parameter was not specified.
CommandLine.MissingTypeConverterException - Exception in picocli: Exception indicating that an annotated field had a type for which no CommandLine.ITypeConverter was registered.
CommandLine.Mixin - Annotation Type in picocli: 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 - Class in picocli: This class provides a namespace for classes and interfaces that model concepts and attributes of command line interfaces in picocli.
CommandLine.Model.ArgGroupSpec - Class in picocli: The ArgGroupSpec class models a group of arguments (options, positional parameters or a mixture of the two).
CommandLine.Model.ArgGroupSpec.Builder - Class in picocli: Builder responsible for creating valid ArgGroupSpec objects.
CommandLine.Model.ArgSpec - Class in picocli: Models the shared attributes of CommandLine.Model.OptionSpec and CommandLine.Model.PositionalParamSpec.
CommandLine.Model.CommandSpec - Class in picocli: 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 - Interface in picocli: Internal interface to allow annotation processors to construct a command model at compile time.
CommandLine.Model.IExtensible - Interface in picocli: Interface to allow extending the capabilities of other interface without Java 8 default methods.
CommandLine.Model.IGetter - Interface in picocli: Customizable getter for obtaining the current value of an option or positional parameter.
CommandLine.Model.IOrdered - Interface in picocli: Interface for sorting options and groups together.
CommandLine.Model.IScope - Interface in picocli: The scope of a getter/setter binding is the context where the current value should be gotten from or set to.
CommandLine.Model.ISetter - Interface in picocli: Customizable setter for modifying the value of an option or positional parameter.
CommandLine.Model.ITypeInfo - Interface in picocli: 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 - Class in picocli: Utility class for getting resource bundle strings.
CommandLine.Model.MethodParam - Class in picocli: Command method parameter, similar to java.lang.reflect.Parameter (not available before Java 8).
CommandLine.Model.OptionSpec - Class in picocli: 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 - Class in picocli: Builder responsible for creating valid OptionSpec objects.
CommandLine.Model.ParserSpec - Class in picocli: Models parser configuration specification.
CommandLine.Model.PositionalParamSpec - Class in picocli: 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 - Class in picocli: Builder responsible for creating valid PositionalParamSpec objects.
CommandLine.Model.UnmatchedArgsBinding - Class in picocli: This class allows applications to specify a custom binding that will be invoked for unmatched arguments.
CommandLine.Model.UsageMessageSpec - Class in picocli: Models the usage help message specification and can be used to customize the usage help message.
CommandLine.MutuallyExclusiveArgsException - Exception in picocli: Exception indicating that the user input included multiple arguments from a mutually exclusive group.
CommandLine.Option - Annotation Type in picocli: 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 in picocli: Exception indicating that an option for a single-value option field has been specified multiple times on the command line.
CommandLine.ParameterException - Exception in picocli: Exception indicating something went wrong while parsing command line options.
CommandLine.ParameterIndexGapException - Exception in picocli: Exception indicating that there was a gap in the indices of the fields annotated with CommandLine.Parameters.
CommandLine.Parameters - Annotation Type in picocli: Fields annotated with @Parameters will be initialized with positional parameters.
CommandLine.ParentCommand - Annotation Type in picocli: Fields annotated with @ParentCommand will be initialized with the parent command of the current subcommand.
CommandLine.ParseResult - Class in picocli: Encapsulates the result of parsing an array of command line arguments.
CommandLine.ParseResult.Builder - Class in picocli: Builds immutable ParseResult instances.
CommandLine.ParseResult.GroupMatch - Class in picocli: A group's multiplicity specifies how many matches of a group may appear on the command line.
CommandLine.ParseResult.GroupMatchContainer - Class in picocli: Provides information about an CommandLine.ArgGroup that was matched on the command line.
CommandLine.PicocliException - Exception in picocli: Base class of all exceptions thrown by picocli.CommandLine.
CommandLine.PropertiesDefaultProvider - Class in picocli: IDefaultValueProvider implementation that loads default values for command line options and positional parameters from a properties file or Properties object.
CommandLine.Range - Class in picocli: Describes the number of parameters required and accepted by an option or a positional parameter.
CommandLine.RegexTransformer - Class in picocli: A regular expression-based option name transformation for negatable options.
CommandLine.RegexTransformer.Builder - Class in picocli: Builder for creating RegexTransformer objects.
CommandLine.RunAll - Class in picocli: 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 - Class in picocli: Command line execution strategy that prints help if requested, and otherwise executes the top-level Runnable or Callable command.
CommandLine.RunLast - Class in picocli: Command line execution strategy that prints help if requested, and otherwise executes the most specific Runnable or Callable subcommand.
CommandLine.ScopeType - Enum in picocli: Specifies the scope of the element.
CommandLine.Spec - Annotation Type in picocli: Fields annotated with @Spec will be initialized with the CommandSpec for the command the field is part of.
CommandLine.Spec.Target - Enum in picocli: Identifies what kind of CommandSpec should be injected.
CommandLine.TypeConversionException - Exception in picocli: Exception thrown by CommandLine.ITypeConverter implementations to indicate a String could not be converted.
CommandLine.Unmatched - Annotation Type in picocli: Fields annotated with @Unmatched will be initialized with the list of unmatched command line arguments, if any.
CommandLine.UnmatchedArgumentException - Exception in picocli: Exception indicating that a command line argument could not be mapped to any of the fields annotated with CommandLine.Option or CommandLine.Parameters.
commandList() - Method in class picocli.CommandLine.Help: Returns a 2-column list with the command names and first line of their header or (if absent) description of the commands returned by CommandLine.Help.subcommands().
commandList(Map<String, CommandLine.Help>) - Method in class picocli.CommandLine.Help: Returns a 2-column list with the command names and first line of their header or (if absent) description of the specified command map.
commandListHeading() - Method in annotation type picocli.CommandLine.Command: Set the heading preceding the subcommands list.
commandListHeading() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the optional heading preceding the subcommand list.
commandListHeading(Object...) - Method in class picocli.CommandLine.Help: Returns the text displayed before the command list; an empty string if there are no commands, otherwise the result of String.format(commandListHeading, params).
commandListHeading(String) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the optional heading preceding the subcommand list.
commandNamesText(String) - Method in class picocli.CommandLine.Help: Returns a Text object containing the command name and all aliases, separated with the specified separator.
commands(CommandLine.Help.Ansi.IStyle...) - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Adds the specified styles to the registered styles for commands in this color scheme builder and returns this builder.
commandSpec() - Method in class picocli.CommandLine.Help: Returns the CommandSpec model that this Help was constructed with.
commandSpec() - Method in class picocli.CommandLine.Model.Messages: Returns the CommandSpec of this object, never null.
commandSpec() - Method in class picocli.CommandLine.ParseResult: Returns the CommandSpec for the matched command.
commandStyles() - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Returns the registered styles for commands in this color scheme builder.
commandStyles() - Method in class picocli.CommandLine.Help.ColorScheme: Returns the registered styles for commands in this color scheme.
commandText(String) - Method in class picocli.CommandLine.Help.ColorScheme: Returns a Text with all command styles applied to the specified command string.
compare(Set<? extends E>, Set<? extends E>) - Static method in class owl.collections.Collections3
compare(Set<? extends Formula>, Set<? extends Formula>) - Static method in class owl.ltl.Formulas
compareTo(GeneralizedRabinAcceptance.RabinPair) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
compareTo(ColorRefinement.Neighborhood) - Method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood: Compares a neighborhood to another such that they can be sorted.
compareTo(StateFeatures.Feature) - Method in class owl.cinterface.StateFeatures.Feature
compareTo(Formula) - Method in class owl.ltl.Formula
compareTo(AsymmetricEvaluatedFixpoints) - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
compareTo(Fixpoints) - Method in class owl.translations.mastertheorem.Fixpoints
compareTo(SymmetricEvaluatedFixpoints) - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
compareTo(CommandLine.Range) - Method in class picocli.CommandLine.Range
compareValue(Formula) - Method in class owl.ltl.BooleanConstant
compareValue(Formula) - Method in class owl.ltl.Formula
compareValue(Formula) - Method in class owl.ltl.Formula.TemporalOperator
compareValue(Formula) - Method in class owl.ltl.Literal
complement() - Method in class owl.automaton.acceptance.ParityAcceptance
complement() - Method in interface owl.bdd.BddSet
COMPLEMENT_CONSTRUCTION_EXACT - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
complete(Automaton<S, ?>) - Static method in class owl.automaton.Views
COMPLETE - owl.automaton.Automaton.Property: An automaton is complete if there is at least one initial state and every state has at least one successor for each letter of the alphabet.
COMPLETE - owl.translations.LtlTranslationRepository.Option: Ensures that the transition relation of the automaton is complete.
completionCandidates() - Method in class picocli.CommandLine.Model.ArgSpec: Returns the explicitly set completion candidates for this option or positional parameter, valid enum constant names, or null if this option or positional parameter does not have any completion candidates and its type is not an enum.
completionCandidates() - Method in annotation type picocli.CommandLine.Option: Use this attribute to specify an Iterable<String> class that generates completion candidates for this option.
completionCandidates() - Method in annotation type picocli.CommandLine.Parameters: Use this attribute to specify an Iterable<String> class that generates completion candidates for this positional parameter.
compute(Automaton<S, ? extends BuchiAcceptance>, T) - Method in interface owl.translations.nbadet.NbaSimAlgorithm: This method should be the actual main entry point into the algorithm.
compute(Automaton<S, BuchiAcceptance>, AutomatonConversionCommands.NbaSimCommand) - Static method in class owl.automaton.algorithm.simulations.BuchiSimulation
compute(Formula, Formula) - Static method in class owl.ltl.util.FormulaIsomorphism
computeEquivalence(Set<Pair<S, S>>) - Static method in class owl.automaton.algorithm.simulations.BuchiSimulation: Computes an equivalence relation based on a given preorder.
computeLangInclusions(Automaton<S, ? extends BuchiAcceptance>, List<NbaLangInclusions.SimType>) - Static method in class owl.translations.nbadet.NbaLangInclusions: Calls all selected algorithms and takes the usion of their results.
computeSims() - Method in class owl.command.AutomatonConversionCommands.Nba2DpaCommand
concat(String) - Method in class picocli.CommandLine.Help.Ansi.Text: Returns a copy of this Text instance with the specified text concatenated to the end.
concat(CommandLine.Help.Ansi.Text) - Method in class picocli.CommandLine.Help.Ansi.Text: Returns a copy of this Text instance with the specified text concatenated to the end.
condensation() - Method in class owl.automaton.algorithm.SccDecomposition: Compute the condensation graph corresponding to the SCC decomposition.
ConditionalZielonkaTree() - Constructor for class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ConditionalZielonkaTree
conjunction(LabelledAig, LabelledAig) - Method in class owl.game.output.AigFactory
Conjunction - Class in owl.ltl
Conjunction(Collection<? extends Formula>) - Constructor for class owl.ltl.Conjunction
Conjunction(Formula...) - Constructor for class owl.ltl.Conjunction
conjunctiveNormalForm() - Method in interface owl.ltl.EquivalenceClass
ConjunctiveNormalForm<V> - Class in owl.logic.propositional
ConjunctiveNormalForm(PropositionalFormula<V>) - Constructor for class owl.logic.propositional.ConjunctiveNormalForm: Construct an equisatisfiable CNF-representation of the given formula.
conjuncts - Variable in class owl.logic.propositional.PropositionalFormula.Conjunction
conjuncts(List<? extends PropositionalFormula<T>>) - Static method in class owl.logic.propositional.PropositionalFormula
conjuncts(PropositionalFormula<T>) - Static method in class owl.logic.propositional.PropositionalFormula
constant - Variable in class owl.grammar.LTLParser.BooleanContext
constant(boolean) - Static method in class owl.logic.propositional.PropositionalFormula
CONSTANT_FALSE - owl.cinterface.CLabelledFormula.AtomicPropositionStatus
CONSTANT_TRUE - owl.cinterface.CLabelledFormula.AtomicPropositionStatus
consumeParameters(Stack<String>, CommandLine.Model.ArgSpec, CommandLine.Model.CommandSpec) - Method in interface picocli.CommandLine.IParameterConsumer: Consumes as many of the specified command line arguments as needed by popping them off the specified Stack.
container() - Method in class picocli.CommandLine.ParseResult.GroupMatch: Returns the container GroupMatchContainer of this match.
contains(int) - Method in class owl.collections.ImmutableBitSet
contains(int) - Method in class picocli.CommandLine.Range: Returns true if this Range includes the specified value, false otherwise.
contains(Object) - Method in class owl.collections.HashTrieSet
contains(Object) - Method in class owl.collections.ImmutableBitSet
contains(BitSet) - Method in interface owl.bdd.BddSet
contains(BitSet) - Method in class owl.collections.UpwardClosedSet
contains(Automaton<?, ?>, Automaton<?, ?>) - Static method in class owl.automaton.algorithm.LanguageContainment: Checks if the first the language of the first automaton is included in the language of the second automaton.
contains(Automaton<S, A>, UltimatelyPeriodicWord) - Static method in class owl.automaton.algorithm.LanguageMembership
contains(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
contains(ImmutableBitSet) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
contains(Formula) - Method in enum owl.ltl.SyntacticFragment
contains(Formula) - Method in class owl.ltl.SyntacticFragments.FormulaClass
contains(LabelledFormula) - Method in enum owl.ltl.SyntacticFragment
contains(LabelledFormula) - Method in class owl.ltl.SyntacticFragments.FormulaClass
containsAll(BitSet) - Method in class owl.collections.ImmutableBitSet
containsAll(Collection<?>) - Method in class owl.collections.ImmutableBitSet
containsAll(Map<? extends K, ? extends V>, Map<? extends K, ? extends V>) - Static method in class owl.collections.Collections3: This method is null-hostile.
containsAll(Automaton<?, AllAcceptance>, Automaton<?, AllAcceptance>) - Static method in class owl.automaton.algorithm.LanguageContainment
containsAll(BddSet) - Method in interface owl.bdd.BddSet
containsCoBuchi(Automaton<?, ? extends CoBuchiAcceptance>, Automaton<?, ? extends CoBuchiAcceptance>) - Static method in class owl.automaton.algorithm.LanguageContainment
containsInfinite(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair: Checks whether the given edge is contained in any Inf set of this pair.
containsKey(Object) - Method in class owl.collections.HashTrieMap
containsKeyWithPrefix(List<?>) - Method in class owl.collections.HashTrieMap
containsKeyWithPrefix(List<?>) - Method in class owl.collections.HashTrieSet
containsKeyWithPrefix(List<?>) - Method in interface owl.collections.TrieMap
containsKeyWithPrefix(List<?>) - Method in interface owl.collections.TrieSet
containsValue(Object) - Method in class owl.collections.HashTrieMap
containsVariable(T) - Method in class owl.logic.propositional.PropositionalFormula.Biconditional
containsVariable(T) - Method in class owl.logic.propositional.PropositionalFormula.Conjunction
containsVariable(T) - Method in class owl.logic.propositional.PropositionalFormula
containsVariable(T) - Method in class owl.logic.propositional.PropositionalFormula.Disjunction
containsVariable(T) - Method in class owl.logic.propositional.PropositionalFormula.Negation
containsVariable(T) - Method in class owl.logic.propositional.PropositionalFormula.Variable
CONTROLLER - owl.automaton.symbolic.SymbolicDPASolver.Solution.Winner
conversion() - Method in class owl.command.AutomatonConversionCommands.Nba2DpaCommand
conversion() - Method in class owl.command.AutomatonConversionCommands.NbaSimCommand
convert(String) - Method in interface picocli.CommandLine.ITypeConverter: Converts the specified command line argument value to some domain object.
convert(Automaton<S, ? extends ParityAcceptance>, ParityAcceptance.Parity) - Static method in class owl.automaton.ParityUtil
converter() - Method in annotation type picocli.CommandLine.Option: Optionally specify one or more CommandLine.ITypeConverter classes to use to convert the command line argument into a strongly typed value (or key-value pair for map fields).
converter() - Method in annotation type picocli.CommandLine.Parameters: Optionally specify one or more CommandLine.ITypeConverter classes to use to convert the command line argument into a strongly typed value (or key-value pair for map fields).
Converter - Class in owl.ltl.visitors
Converter(Set<Class<? extends Formula>>) - Constructor for class owl.ltl.visitors.Converter
Converter(SyntacticFragment) - Constructor for class owl.ltl.visitors.Converter
converters() - Method in class picocli.CommandLine.Model.ArgSpec: Returns one or more type converters to use to convert the command line argument into a strongly typed value (or key-value pair for map fields).
convertParity(Automaton<S, ? extends ParityAcceptance>, ParityAcceptance.Parity) - Static method in class owl.automaton.Views
copy(List<Pair<BitSet, Integer>>) - Static method in class owl.translations.nbadet.RankedSlice: Performs an actual copy (i.e.
copy(CommandLine.Model.CommandSpec, CommandLine.Model.Messages) - Static method in class picocli.CommandLine.Model.Messages: Returns a copy of the specified Messages object with the CommandSpec replaced by the specified one.
copyAsMutable() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
copyFrom(LTLParser.AtomExpressionContext) - Method in class owl.grammar.LTLParser.AtomExpressionContext
copyFrom(LTLParser.BinaryExpressionContext) - Method in class owl.grammar.LTLParser.BinaryExpressionContext
copyFrom(LTLParser.UnaryExpressionContext) - Method in class owl.grammar.LTLParser.UnaryExpressionContext
copyInto(BitSet) - Method in class owl.collections.ImmutableBitSet
copyInto(Automaton<S, ?>, MutableAutomaton<? super S, ?>) - Static method in class owl.automaton.MutableAutomatonUtil: Copies all the states of source into target.
copyOf(ImmutableIntArray) - Static method in class owl.cinterface.CIntVectors
copyOf(BitSet) - Static method in class owl.collections.BitSet2
copyOf(BitSet) - Static method in class owl.collections.ImmutableBitSet
copyOf(Collection<? extends S>, ToIntFunction<? super S>) - Static method in class owl.collections.BitSet2: Converts a set into a bitset.
copyOf(Collection<Integer>) - Static method in class owl.collections.BitSet2
copyOf(Collection<Integer>) - Static method in class owl.collections.ImmutableBitSet
copyOf(Automaton<S, A>) - Static method in class owl.automaton.HashMapAutomaton
copyOf(ImmutableBitSet) - Static method in class owl.cinterface.CIntVectors
copyOf(ImmutableBitSet) - Static method in class owl.collections.BitSet2
copyOf(Game<S, A>) - Static method in class owl.game.GameFactory
coSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
coSafety(LabelledFormula) - Static method in class owl.translations.canonical.DeterministicConstructionsPortfolio
coSafety(LabelledFormula) - Static method in class owl.translations.canonical.NonDeterministicConstructionsPortfolio
coSafetySafety(LabelledFormula) - Static method in class owl.translations.canonical.DeterministicConstructionsPortfolio
count() - Method in class owl.automaton.algorithm.simulations.MultiPebble: Counts how many actual pebbles are contained.
countVariables() - Method in class owl.logic.propositional.PropositionalFormula
countVariables(Map<T, Integer>) - Method in class owl.logic.propositional.PropositionalFormula.Biconditional
countVariables(Map<T, Integer>) - Method in class owl.logic.propositional.PropositionalFormula.Conjunction
countVariables(Map<T, Integer>) - Method in class owl.logic.propositional.PropositionalFormula
countVariables(Map<T, Integer>) - Method in class owl.logic.propositional.PropositionalFormula.Disjunction
countVariables(Map<T, Integer>) - Method in class owl.logic.propositional.PropositionalFormula.Negation
countVariables(Map<T, Integer>) - Method in class owl.logic.propositional.PropositionalFormula.Variable
create() - Static method in class picocli.CommandLine.Model.CommandSpec: Creates and returns a new CommandSpec without any associated user object.
create(Class<K>) - Method in interface picocli.CommandLine.IFactory: Returns an instance of the specified class.
create(List<String>, A) - Static method in class owl.automaton.HashMapAutomaton: Creates an empty automaton with given acceptance condition.
create(List<String>, BddSetFactory, A) - Static method in class owl.automaton.HashMapAutomaton: Creates an empty automaton with given acceptance condition.
create(IsolateThread, CCharPointer, CCharPointerPointer, int) - Static method in class owl.cinterface.CLabelledFormula
create(Automaton<? extends S, ?>) - Method in class owl.automaton.symbolic.NumberingStateEncoderFactory
create(Automaton<? extends S, ?>) - Method in interface owl.automaton.symbolic.SymbolicAutomaton.StateEncoderFactory
create(CommandLine.Model.CommandSpec, CommandLine.Help.ColorScheme) - Method in interface picocli.CommandLine.IHelpFactory: Returns a Help instance to assist in rendering the usage help message
createCaseInsensitive() - Static method in class picocli.CommandLine.RegexTransformer: Returns the RegexTransformer for case-insensitive negatable options.
createConjunction(Iterable<BooleanExpression<T>>) - Static method in class jhoafparser.extensions.BooleanExpressions
createDefault() - Static method in class picocli.CommandLine.RegexTransformer: Returns the RegexTransformer used by default for negatable options.
createDefaultLayout() - Method in class picocli.CommandLine.Help: Returns a Layout instance configured with the user preferences captured in this Help instance.
createDefaultLayout(List<CommandLine.Model.OptionSpec>, List<CommandLine.Model.PositionalParamSpec>, CommandLine.Help.ColorScheme) - Method in class picocli.CommandLine.Help: Returns a Layout instance configured with the user preferences captured in this Help instance.
createDefaultOptionRenderer() - Method in class picocli.CommandLine.Help: Returns a new default OptionRenderer which converts Options to five columns of text to match the default TextTable column layout.
createDefaultOptionSort() - Method in class picocli.CommandLine.Help: Returns a comparator for sorting options, or null, depending on the settings for this command.
createDefaultParameterRenderer() - Method in class picocli.CommandLine.Help: Returns a new default ParameterRenderer which converts positional parameters to four columns of text to match the default TextTable column layout.
createDefaultParamLabelRenderer() - Method in class picocli.CommandLine.Help: Returns a new default param label renderer that separates option parameters from their option name with the specified separator string, and, unless CommandLine.Model.ArgSpec.hideParamSyntax() is true, surrounds optional parameters with '[' and ']' characters and uses ellipses ("...") to indicate that any number of a parameter are allowed.
createDetailedSynopsisCommandText() - Method in class picocli.CommandLine.Help: Returns a Text object containing a partial detailed synopsis showing only the subcommands, starting with a " " space.
createDetailedSynopsisEndOfOptionsText() - Method in class picocli.CommandLine.Help: Returns a Text object containing a partial detailed synopsis showing only the end of options delimiter (if enabled), starting with a " " space.
createDetailedSynopsisGroupsText(Set<CommandLine.Model.ArgSpec>) - Method in class picocli.CommandLine.Help: Returns a Text object containing a partial detailed synopsis showing only the options and positional parameters in the specified validating groups, starting with a " " space.
createDetailedSynopsisOptionsText(Collection<CommandLine.Model.ArgSpec>, Comparator<CommandLine.Model.OptionSpec>, boolean) - Method in class picocli.CommandLine.Help: Returns a Text object containing a partial detailed synopsis showing only the options, starting with a " " space.
createDetailedSynopsisOptionsText(Collection<CommandLine.Model.ArgSpec>, List<CommandLine.Model.OptionSpec>, Comparator<CommandLine.Model.OptionSpec>, boolean) - Method in class picocli.CommandLine.Help: Returns a Text object containing a partial detailed synopsis showing only the specified options, starting with a " " space.
createDetailedSynopsisPositionalsText(Collection<CommandLine.Model.ArgSpec>) - Method in class picocli.CommandLine.Help: Returns a Text object containing a partial detailed synopsis showing only the positional parameters, starting with a " " space.
createHeading(String, Object...) - Method in class picocli.CommandLine.Help: Returns a String that can be used as a help section heading.
createLabelRenderer(CommandLine.Model.CommandSpec) - Method in class picocli.CommandLine.Model.ArgGroupSpec
createMinimalOptionRenderer() - Static method in class picocli.CommandLine.Help: Returns a new minimal OptionRenderer which converts Options to a single row with two columns of text: an option name and a description.
createMinimalParameterRenderer() - Static method in class picocli.CommandLine.Help: Returns a new minimal ParameterRenderer which converts positional parameters to a single row with two columns of text: an option name and a description.
createMinimalParamLabelRenderer() - Static method in class picocli.CommandLine.Help: Returns a value renderer that returns the paramLabel if defined or the field name otherwise.
createPowerSetAutomaton(NbaAdjMat<S>) - Static method in class owl.translations.nbadet.NbaDet: Create a powerset automaton of NBA where state sets are represented by BitSets.
createShortOptionArityAndNameComparator() - Static method in class picocli.CommandLine.Help: Sorts OptionSpecs by their option max arity first, by min arity next, and by option name last.
createShortOptionNameComparator() - Static method in class picocli.CommandLine.Help: Sorts OptionSpecs by their option name in case-insensitive alphabetic order.
createTextTable(Map<?, ?>) - Method in class picocli.CommandLine.Help: Returns a 2-column TextTable containing data from the specified map: the keys are put in the left column and the map values are in the right column.
CSI - Static variable in interface picocli.CommandLine.Help.Ansi.IStyle: The Control Sequence Introducer (CSI) escape sequence "\u001b[".
cube(BitSet) - Method in class owl.game.output.AigFactory
currentCoSafety - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
customMarkupMap() - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Returns the custom mapping from markup names (the names of the CommandLine.Help.Ansi.Style enum constants, like bold, italic, fg_blue, bg_green, etc) to CommandLine.Help.Ansi.IStyle objects in this color scheme.
customMarkupMap() - Method in class picocli.CommandLine.Help.ColorScheme: Returns the custom mapping from markup names (the names of the CommandLine.Help.Ansi.Style enum constants, like bold, italic, fg_blue, bg_green, etc) to CommandLine.Help.Ansi.IStyle objects in this color scheme.
customMarkupMap(Map<String, CommandLine.Help.Ansi.IStyle>) - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Sets the custom mapping from markup names (the names of the CommandLine.Help.Ansi.Style enum constants, like bold, italic, fg_blue, bg_green, etc) to CommandLine.Help.Ansi.IStyle objects in this color scheme.
customSynopsis() - Method in annotation type picocli.CommandLine.Command: Specify one or more custom synopsis lines to display instead of an auto-generated synopsis.
customSynopsis() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the optional custom synopsis lines to use instead of the auto-generated synopsis.
customSynopsis(Object...) - Method in class picocli.CommandLine.Help: Returns command custom synopsis as a string.
customSynopsis(String...) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the optional custom synopsis lines to use instead of the auto-generated synopsis.

D

dblpKey() - Method in class owl.Bibliography.Publication
deduplicate(Set<Edge<Either<A, B>>>) - Method in class owl.automaton.AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation
deduplicate(PropositionalFormula<S>) - Method in class owl.logic.propositional.PropositionalFormula
deduplicate(Formula) - Static method in class owl.ltl.rewriter.DeduplicationRewriter
DeduplicationRewriter - Class in owl.ltl.rewriter
DEFAULT - Static variable in enum owl.translations.LtlTranslationRepository.LtlToDelaTranslation
DEFAULT - Static variable in enum owl.translations.LtlTranslationRepository.LtlToDpaTranslation
DEFAULT - Static variable in enum owl.translations.LtlTranslationRepository.LtlToDraTranslation
DEFAULT - Static variable in enum owl.translations.LtlTranslationRepository.LtlToLdbaTranslation
DEFAULT - Static variable in enum owl.translations.LtlTranslationRepository.LtlToNbaTranslation
DEFAULT_COMMAND_NAME - Static variable in class picocli.CommandLine.Help: Constant String holding the default program name, value defined in CommandLine.Model.CommandSpec.DEFAULT_COMMAND_NAME.
DEFAULT_COMMAND_NAME - Static variable in class picocli.CommandLine.Model.CommandSpec: Constant String holding the default program name: "<main class>" .
DEFAULT_FALLBACK_VALUE - Static variable in class picocli.CommandLine.Model.OptionSpec
DEFAULT_SEPARATOR - Static variable in class picocli.CommandLine.Help: Constant String holding the default string that separates options from option parameters, value defined in CommandLine.Model.ParserSpec.DEFAULT_SEPARATOR.
DEFAULT_USAGE_WIDTH - Static variable in class picocli.CommandLine.Model.UsageMessageSpec: Constant holding the default usage message width: 80.
defaultArity(Class<?>) - Static method in class picocli.CommandLine.Range: Deprecated.
use CommandLine.Range.defaultArity(Field) instead
defaultArity(Field) - Static method in class picocli.CommandLine.Range: Returns the default arity Range: for interactive options/positional parameters, this is 0; for options this is 0 for booleans and 1 for other types, for parameters booleans have arity 0, arrays or Collections have arity "0..*", and other types have arity 1.
defaultColorScheme(CommandLine.Help.Ansi) - Static method in class picocli.CommandLine.Help: Creates and returns a new CommandLine.Help.ColorScheme initialized with picocli default values: commands are bold, options and parameters use a yellow foreground, and option parameters use italic.
defaultEncoding() - Method in interface owl.bdd.EquivalenceClassFactory
defaultExceptionHandler() - Static method in class picocli.CommandLine: Convenience method that returns new DefaultExceptionHandler<List<Object>>().
DefaultExceptionHandler() - Constructor for class picocli.CommandLine.DefaultExceptionHandler: Deprecated.
defaultFactory() - Static method in class picocli.CommandLine: Returns the default CommandLine.IFactory implementation used if no factory was specified in the CommandLine constructor.
defaultOptions() - Static method in enum owl.translations.LtlTranslationRepository.Option
defaultSupplier() - Static method in interface owl.bdd.FactorySupplier
defaultTranslation(Set<LtlTranslationRepository.Option>, LtlTranslationRepository.BranchingMode, Class<? extends A>) - Static method in class owl.translations.LtlTranslationRepository
defaultTranslation(LtlTranslationRepository.BranchingMode, Class<? extends A>) - Static method in class owl.translations.LtlTranslationRepository
defaultValue() - Method in class picocli.CommandLine.Model.ArgSpec: Returns the default value to assign if this option or positional parameter was not specified on the command line, before splitting and type conversion.
defaultValue() - Method in annotation type picocli.CommandLine.Option: Returns the default value of this option, before splitting and type conversion.
defaultValue() - Method in annotation type picocli.CommandLine.Parameters: Returns the default value of this positional parameter, before splitting and type conversion.
defaultValue(CommandLine.Model.ArgSpec) - Method in interface picocli.CommandLine.IDefaultValueProvider: Returns the default value for an option or positional parameter or null.
defaultValue(CommandLine.Model.ArgSpec) - Method in class picocli.CommandLine.PropertiesDefaultProvider
defaultValueProvider() - Method in annotation type picocli.CommandLine.Command: Class that can provide default values dynamically at runtime.
defaultValueProvider() - Method in class picocli.CommandLine.Model.CommandSpec: Returns the default value provider for this command.
defaultValueProvider(CommandLine.IDefaultValueProvider) - Method in class picocli.CommandLine.Model.CommandSpec: Sets default value provider for this command.
defaultValueString() - Method in class picocli.CommandLine.Model.ArgSpec: Returns the default value String for the purpose of displaying it in the description, without interpolating variables.
defaultValueString(boolean) - Method in class picocli.CommandLine.Model.ArgSpec: Returns the default value String displayed in the description; interpolating variables if specified.
degeneralize(Automaton<S, ? extends GeneralizedBuchiAcceptance>) - Static method in class owl.automaton.acceptance.degeneralization.BuchiDegeneralization: Degeneralization procedure.
degeneralize(Automaton<S, ? extends GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.degeneralization.RabinDegeneralization
DegeneralizedRabinState() - Constructor for class owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState
DelagBuilder - Class in owl.translations.delag
DelagBuilder(Function<? super LabelledFormula, ? extends Automaton<?, ?>>) - Constructor for class owl.translations.delag.DelagBuilder
delay(Automaton<S, A>, int) - Static method in class owl.translations.canonical.GenericConstructions
DELAYED_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
DELAYED_SIMULATION - owl.automaton.algorithm.simulations.BuchiSimulation.SimulationType
delayedSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
DELTA - owl.ltl.SyntacticFragments.Type
DELTA_0 - Static variable in class owl.ltl.SyntacticFragments
DELTA_1 - Static variable in class owl.ltl.SyntacticFragments
DELTA_2 - Static variable in class owl.ltl.SyntacticFragments
description() - Method in annotation type picocli.CommandLine.Command: Optional text to display between the synopsis line(s) and the list of options.
description() - Method in class picocli.CommandLine.Model.ArgSpec: Returns the description of this option or positional parameter, after all variables have been rendered, including the ${DEFAULT-VALUE} and ${COMPLETION-CANDIDATES} variables.
description() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the optional text lines to use as the description of the help message, displayed between the synopsis and the options list.
description() - Method in annotation type picocli.CommandLine.Option: Description of this option, used when generating the usage documentation.
description() - Method in annotation type picocli.CommandLine.Parameters: Description of the parameter(s), used when generating the usage documentation.
description(Object...) - Method in class picocli.CommandLine.Help: Returns command description text as a string.
description(String...) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the optional text lines to use as the description of the help message, displayed between the synopsis and the options list.
descriptionHeading() - Method in annotation type picocli.CommandLine.Command: Set the heading preceding the description section.
descriptionHeading() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the optional heading preceding the description section.
descriptionHeading(Object...) - Method in class picocli.CommandLine.Help: Returns the text displayed before the description text; an empty string if there is no description, otherwise the result of String.format(descriptionHeading, params).
descriptionHeading(String) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the heading preceding the description section.
descriptionKey() - Method in class picocli.CommandLine.Model.ArgSpec: Returns the description key of this arg spec, used to get the description from a resource bundle.
descriptionKey() - Method in annotation type picocli.CommandLine.Option: ResourceBundle key for this option.
descriptionKey() - Method in annotation type picocli.CommandLine.Parameters: ResourceBundle key for this option.
destroyObjectHandle(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CInterface
detailedSynopsis(int, Comparator<CommandLine.Model.OptionSpec>, boolean) - Method in class picocli.CommandLine.Help: Generates a detailed synopsis message showing all options and parameters.
detailedSynopsis(Comparator<CommandLine.Model.OptionSpec>, boolean) - Method in class picocli.CommandLine.Help: Deprecated.
use CommandLine.Help.detailedSynopsis(int, Comparator, boolean) instead.
DETERMINISTIC - owl.automaton.Automaton.Property: An automaton is deterministic if there is at most one initial state and every state has at most one successor for each letter of the alphabet.
DETERMINISTIC - owl.translations.LtlTranslationRepository.BranchingMode
deterministicAutomata(Factories, boolean) - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
deterministicAutomata(Factories, boolean) - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
deterministicComplement(Automaton<S, ?>) - Static method in class owl.automaton.BooleanOperations
deterministicComplement(Automaton<S, ?>, Class<? extends A>) - Static method in class owl.automaton.BooleanOperations
deterministicComplementOfCompleteAutomaton(Automaton<S, ?>) - Static method in class owl.automaton.BooleanOperations
deterministicComplementOfCompleteAutomaton(Automaton<S, ?>, Class<? extends A>) - Static method in class owl.automaton.BooleanOperations
DeterministicConstructions - Class in owl.translations.canonical
DeterministicConstructions.BreakpointStateAccepting - Class in owl.translations.canonical
DeterministicConstructions.BreakpointStateAcceptingRoundRobin - Class in owl.translations.canonical
DeterministicConstructions.BreakpointStateRejecting - Class in owl.translations.canonical
DeterministicConstructions.BreakpointStateRejectingRoundRobin - Class in owl.translations.canonical
DeterministicConstructions.CoSafety - Class in owl.translations.canonical
DeterministicConstructions.CoSafetySafety - Class in owl.translations.canonical
DeterministicConstructions.CoSafetySafetyRoundRobin - Class in owl.translations.canonical
DeterministicConstructions.GfCoSafety - Class in owl.translations.canonical
DeterministicConstructions.Safety - Class in owl.translations.canonical
DeterministicConstructions.SafetyCoSafety - Class in owl.translations.canonical
DeterministicConstructions.SafetyCoSafetyRoundRobin - Class in owl.translations.canonical
DeterministicConstructions.SuspensionCheck - Class in owl.translations.canonical
DeterministicConstructions.Tracking - Class in owl.translations.canonical
DeterministicConstructionsPortfolio<A extends EmersonLeiAcceptance> - Class in owl.translations.canonical
DeterministicConstructionsPortfolio(Class<A>) - Constructor for class owl.translations.canonical.DeterministicConstructionsPortfolio
deterministicProduct(PropositionalFormula<Integer>, List<? extends SymbolicAutomaton<?>>) - Static method in class owl.automaton.symbolic.SymbolicBooleanOperations
deterministicSccs() - Method in class owl.automaton.algorithm.SccDecomposition: deterministic SCCs.
deterministicStructureProduct(SymbolicAutomaton<?>, SymbolicAutomaton<?>) - Static method in class owl.automaton.symbolic.SymbolicBooleanOperations
deterministicUnion(List<? extends Automaton<S, ?>>) - Static method in class owl.automaton.BooleanOperations
deterministicUnion(List<? extends SymbolicAutomaton<?>>) - Static method in class owl.automaton.symbolic.SymbolicBooleanOperations
deterministicUnion(Automaton<S1, ?>, Automaton<S2, ?>) - Static method in class owl.automaton.BooleanOperations
deterministicUnion(SymbolicAutomaton<?>...) - Static method in class owl.automaton.symbolic.SymbolicBooleanOperations
Determinization - Class in owl.automaton.determinization
Determinization.BreakpointState<S> - Class in owl.automaton.determinization
determinize(Automaton<S, ? extends BuchiAcceptance>, AutomatonConversionCommands.Nba2DpaCommand) - Static method in class owl.translations.nbadet.NbaDet: Main method of module.
determinizeAllAcceptance(Automaton<S, ? extends AllAcceptance>) - Static method in class owl.automaton.determinization.Determinization
determinizeCoBuchiAcceptance(Automaton<S, ? extends CoBuchiAcceptance>) - Static method in class owl.automaton.determinization.Determinization
determinizeNba(NbaDetConf<S>) - Static method in class owl.translations.nbadet.NbaDet
determinizeNbaAlongScc(Automaton<BitSet, ?>, NbaDetConf<S>) - Static method in class owl.translations.nbadet.NbaDet: Determinize provided NBA partially, while not leaving some automaton refScc.
determinizeNbaTopo(NbaDetConf<S>) - Static method in class owl.translations.nbadet.NbaDet: Determinize automaton, utilizing "topological" optimization, i.e.
DFISymbolicDPASolver - Class in owl.automaton.symbolic: 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.
DFISymbolicDPASolver() - Constructor for class owl.automaton.symbolic.DFISymbolicDPASolver
DIRECT_REFINEMENT_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
DIRECT_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
DIRECT_SIMULATION - owl.automaton.algorithm.simulations.BuchiSimulation.SimulationType
DIRECT_SIMULATION_COLOUR_REFINEMENT - owl.automaton.algorithm.simulations.BuchiSimulation.SimulationType
directLookaheadSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
directSimulates(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, S, S, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation: Checks if two states are forward-direct multipebble similar.
directSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation: Computes the forward multipebble direct simulation for two input automata.
disjunction(LabelledAig, LabelledAig) - Method in class owl.game.output.AigFactory
Disjunction - Class in owl.ltl
Disjunction(Collection<? extends Formula>) - Constructor for class owl.ltl.Disjunction
Disjunction(Formula...) - Constructor for class owl.ltl.Disjunction
disjunctiveNormalForm() - Method in interface owl.ltl.EquivalenceClass
disjuncts - Variable in class owl.logic.propositional.PropositionalFormula.Disjunction
disjuncts(List<? extends PropositionalFormula<T>>) - Static method in class owl.logic.propositional.PropositionalFormula
disjuncts(PropositionalFormula<T>) - Static method in class owl.logic.propositional.PropositionalFormula
DISSERTATION_19 - Static variable in class owl.Bibliography
DISSERTATION_19_CITEKEY - Static variable in class owl.Bibliography
DNF - owl.cinterface.StateFeatures.TemporalOperatorsProfileNormalForm
doi() - Method in class owl.Bibliography.Publication
dominates(ColorRefinement.NeighborType, ColorRefinement.Ordering) - Method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType: Tests whether the neighbor type dominates another one, which holds if the other color is subsumed wrt.
dominates(ColorRefinement.Ordering, ColorRefinement.Neighborhood) - Method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood: Tests whether the neighborhood dominates another, which holds if each neighbor type in the other neighborhood is dominated by one in this neighborhood.
DOUBLE_QUOTED - Static variable in class owl.grammar.LTLLexer
DOUBLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLLexer
DOUBLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLParser
DOUBLE_QUOTED_VARIABLE() - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
DoubleQuotedVariableContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.DoubleQuotedVariableContext
dropStateLabels(Automaton<S, ? extends A>) - Static method in class owl.automaton.Views
dSccs() - Method in class owl.translations.nbadet.NbaDetState: deterministic mixed SCC(s) that are handled separately (if sepDet enabled).
dsccsStates() - Method in class owl.translations.nbadet.NbaDetConfSets
DuplicateNameException(String) - Constructor for exception picocli.CommandLine.DuplicateNameException
DuplicateOptionAnnotationsException(String) - Constructor for exception picocli.CommandLine.DuplicateOptionAnnotationsException

E

eager() - Method in class owl.translations.rabinizer.RabinizerConfiguration
echo() - Method in class picocli.CommandLine.Model.ArgSpec: Returns whether the user input is echoed to the console or not for an interactive option or positional parameter when asking for user input.
echo() - Method in annotation type picocli.CommandLine.Option: Use this attribute to control whether user input for an interactive option is echoed to the console or not.
echo() - Method in annotation type picocli.CommandLine.Parameters: Use this attribute to control whether user input for an interactive positional parameter is echoed to the console or not.
edge(S, BitSet) - Method in class owl.automaton.AbstractMemoizingAutomaton
edge(S, BitSet) - Method in interface owl.automaton.Automaton: Returns the successor edge of the specified state under the given valuation.
edge(S, BitSet) - Method in class owl.automaton.HashMapAutomaton
Edge<S> - Class in owl.automaton.edge: This class represents edges of automata including their acceptance membership.
Edge() - Constructor for class owl.automaton.edge.Edge
Edge() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
edgeFilter(BiPredicate<S, Edge<S>>) - Method in class owl.automaton.Views.Filter.Builder
edgeImpl(S, BitSet) - Method in class owl.automaton.AbstractMemoizingAutomaton.EdgeImplementation
EdgeImplementation(List<String>, Set<S>, A) - Constructor for class owl.automaton.AbstractMemoizingAutomaton.EdgeImplementation
EdgeImplementation(List<String>, BddSetFactory, Set<S>, A) - Constructor for class owl.automaton.AbstractMemoizingAutomaton.EdgeImplementation
edgeMap(S) - Method in class owl.automaton.AbstractMemoizingAutomaton
edgeMap(S) - Method in interface owl.automaton.Automaton: Returns a mapping from all outgoing edges to their valuations of the specified state.
edgeMap(S) - Method in class owl.automaton.HashMapAutomaton
edgeMapImpl(S) - Method in class owl.automaton.AbstractMemoizingAutomaton.EdgeMapImplementation
EdgeMapImplementation(List<String>, Set<S>, A) - Constructor for class owl.automaton.AbstractMemoizingAutomaton.EdgeMapImplementation
EdgeMapImplementation(List<String>, BddSetFactory, Set<S>, A) - Constructor for class owl.automaton.AbstractMemoizingAutomaton.EdgeMapImplementation
edges() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
edges(SimulationStates.LookaheadSimulationState<S>) - Method in class owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation
edges(SimulationStates.MultipebbleSimulationState<S>) - Method in class owl.automaton.algorithm.simulations.BackwardDirectSimulation
edges(SimulationStates.MultipebbleSimulationState<S>) - Method in class owl.automaton.algorithm.simulations.ForwardDelayedSimulation
edges(SimulationStates.MultipebbleSimulationState<S>) - Method in class owl.automaton.algorithm.simulations.ForwardDirectSimulation
edges(SimulationStates.MultipebbleSimulationState<S>) - Method in class owl.automaton.algorithm.simulations.ForwardFairSimulation
edges(S) - Method in class owl.automaton.AbstractMemoizingAutomaton
edges(S) - Method in interface owl.automaton.Automaton: Returns all successor edges of the specified state under any valuation.
edges(S) - Method in class owl.automaton.HashMapAutomaton
edges(S, BitSet) - Method in class owl.automaton.AbstractMemoizingAutomaton
edges(S, BitSet) - Method in interface owl.automaton.Automaton: Returns the successor edges of the specified state under the given valuation.
edges(S, BitSet) - Method in class owl.automaton.HashMapAutomaton
edges(T) - Method in interface owl.automaton.algorithm.simulations.SimulationType
Edges - Class in owl.automaton.edge
Edges() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
edgesImpl(S, BitSet) - Method in class owl.automaton.AbstractMemoizingAutomaton.EdgeImplementation
edgesImpl(S, BitSet) - Method in class owl.automaton.AbstractMemoizingAutomaton.EdgesImplementation
EdgesImplementation(List<String>, Set<S>, A) - Constructor for class owl.automaton.AbstractMemoizingAutomaton.EdgesImplementation
EdgesImplementation(List<String>, BddSetFactory, Set<S>, A) - Constructor for class owl.automaton.AbstractMemoizingAutomaton.EdgesImplementation
edgeTree(IsolateThread, ObjectHandle, int, CIntVector, CIntVector, CDoubleVector) - Static method in class owl.cinterface.CAutomaton
edgeTree(S) - Method in class owl.automaton.AbstractMemoizingAutomaton
edgeTree(S) - Method in interface owl.automaton.Automaton: Returns a decision-tree with nodes labelled by literals and sets of edges as leaves.
edgeTree(S) - Method in class owl.automaton.HashMapAutomaton
edgeTreeImpl(Either<A, B>) - Method in class owl.automaton.AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation
edgeTreeImpl(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
edgeTreeImpl(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
edgeTreeImpl(DeterministicConstructions.BreakpointStateAccepting) - Method in class owl.translations.canonical.DeterministicConstructions.CoSafetySafety
edgeTreeImpl(DeterministicConstructions.BreakpointStateAcceptingRoundRobin) - Method in class owl.translations.canonical.DeterministicConstructions.CoSafetySafetyRoundRobin
edgeTreeImpl(DeterministicConstructions.BreakpointStateRejecting) - Method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafety
edgeTreeImpl(DeterministicConstructions.BreakpointStateRejectingRoundRobin) - Method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafetyRoundRobin
edgeTreeImpl(RoundRobinState<EquivalenceClass>) - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
edgeTreeImpl(RoundRobinState<Formula>) - Method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
edgeTreeImpl(S) - Method in class owl.automaton.AbstractMemoizingAutomaton.EdgeMapImplementation
edgeTreeImpl(S) - Method in class owl.automaton.AbstractMemoizingAutomaton.EdgesImplementation
edgeTreeImpl(S) - Method in class owl.automaton.AbstractMemoizingAutomaton
edgeTreeImpl(S) - Method in class owl.automaton.EmptyAutomaton
edgeTreeImpl(S) - Method in class owl.automaton.SingletonAutomaton
edgeTreeImpl(T) - Method in class owl.automaton.algorithm.simulations.SimulationGame
edgeTreeImplA(A) - Method in class owl.automaton.AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation
edgeTreeImplB(B) - Method in class owl.automaton.AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation
EdgeTreeImplementation(List<String>, Set<S>, A) - Constructor for class owl.automaton.AbstractMemoizingAutomaton.EdgeTreeImplementation
EdgeTreeImplementation(List<String>, BddSetFactory, Set<S>, A) - Constructor for class owl.automaton.AbstractMemoizingAutomaton.EdgeTreeImplementation
Either<A,B> - Class in owl.collections
Either.Type - Enum in owl.collections
EKS16 - owl.translations.LtlTranslationRepository.LtlToDraTranslation
EKS16_DESCRIPTION - Static variable in enum owl.translations.LtlTranslationRepository.LtlToDraTranslation
EKS20 - owl.translations.LtlTranslationRepository.LtlToDraTranslation
EKS20 - owl.translations.LtlTranslationRepository.LtlToLdbaTranslation
EKS20 - owl.translations.LtlTranslationRepository.LtlToNbaTranslation
EKS20_DESCRIPTION - Static variable in enum owl.translations.LtlTranslationRepository.LtlToDraTranslation
EKS20_DESCRIPTION - Static variable in enum owl.translations.LtlTranslationRepository.LtlToLdbaTranslation
EKS20_DESCRIPTION - Static variable in enum owl.translations.LtlTranslationRepository.LtlToNbaTranslation
EKS20_EKRS17 - owl.translations.LtlTranslationRepository.LtlToDpaTranslation
EKS20_EKRS17_DESCRIPTION - Static variable in enum owl.translations.LtlTranslationRepository.LtlToDpaTranslation
element() - Method in interface owl.bdd.BddSet
elements() - Method in interface owl.cinterface.CDoubleVector
elements() - Method in interface owl.cinterface.CIntVector
elements(CDoublePointer) - Method in interface owl.cinterface.CDoubleVector
elements(CIntPointer) - Method in interface owl.cinterface.CIntVector
EmersonLeiAcceptance - Class in owl.automaton.acceptance
empty() - Static method in class owl.collections.IntPreOrder: Returns the empty pre-order.
empty() - Static method in class owl.translations.nbadet.RankedSlice
empty(CommandLine.Model.Messages) - Static method in class picocli.CommandLine.Model.Messages: Returns true if the specified Messages is null or has a null ResourceBundle.
EmptyAutomaton<S,A extends EmersonLeiAcceptance> - Class in owl.automaton
emptyIsAccepting() - Method in class owl.automaton.acceptance.ParityAcceptance
enabled() - Method in enum picocli.CommandLine.Help.Ansi: Returns true if ANSI escape codes should be emitted, false otherwise.
encode(EquivalenceClassFactory.Encoding) - Method in interface owl.ltl.EquivalenceClass
encode(S) - Method in interface owl.automaton.symbolic.SymbolicAutomaton.StateEncoder
encoding() - Method in interface owl.ltl.EquivalenceClass
end(List<Transition<S>>) - Static method in class owl.automaton.algorithm.simulations.Transition
END_OF_OPTIONS_OPTION - Variable in class picocli.CommandLine.Help
endOfOptionsDelimiter() - Method in class picocli.CommandLine.Model.ParserSpec
endOfOptionsDelimiter(String) - Method in class picocli.CommandLine.Model.ParserSpec
endOfOptionsList() - Method in class picocli.CommandLine.Help: Returns the section of the usage help message that lists the -- End of Options delimiter and its description.
enterAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by LTLParser.andExpression().
enterAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by LTLParser.andExpression().
enterBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by LTLParser.binaryOp().
enterBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by LTLParser.binaryOp().
enterBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
enterBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
enterBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
enterBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
enterBool(LTLParser.BoolContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by LTLParser.bool().
enterBool(LTLParser.BoolContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by LTLParser.bool().
enterBoolean(LTLParser.BooleanContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
enterBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
enterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
enterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
enterEveryRule(ParserRuleContext) - Method in class owl.grammar.LTLParserBaseListener
enterExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by LTLParser.expression().
enterExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by LTLParser.expression().
enterFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by LTLParser.formula().
enterFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by LTLParser.formula().
enterNested(LTLParser.NestedContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by the nested labeled alternative in LTLParser.atomExpression().
enterNested(LTLParser.NestedContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by the nested labeled alternative in LTLParser.atomExpression().
enterOrExpression(LTLParser.OrExpressionContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by LTLParser.orExpression().
enterOrExpression(LTLParser.OrExpressionContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by LTLParser.orExpression().
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.AndExpressionContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOpContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOperationContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BoolContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BooleanContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ExpressionContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FormulaContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.NestedContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.OrExpressionContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryAtomContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOpContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOperationContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.VariableContext
enterSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
enterSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
enterUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
enterUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
enterUnaryOp(LTLParser.UnaryOpContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by LTLParser.unaryOp().
enterUnaryOp(LTLParser.UnaryOpContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by LTLParser.unaryOp().
enterUnaryOperation(LTLParser.UnaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
enterUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
enterVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseListener: Enter a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
enterVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserListener: Enter a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
entrySet() - Method in class owl.collections.HashTrieMap
ENVIRONMENT - owl.automaton.symbolic.SymbolicDPASolver.Solution.Winner
EOF() - Method in class owl.grammar.LTLParser.FormulaContext
eqFactory - Variable in class owl.bdd.Factories
equals(Object) - Method in class owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState
equals(Object) - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
equals(Object) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
equals(Object) - Method in class owl.automaton.acceptance.ParityAcceptance
equals(Object) - Method in class owl.automaton.UltimatelyPeriodicWord
equals(Object) - Method in class owl.bdd.MtBdd.Leaf
equals(Object) - Method in class owl.bdd.MtBdd.Node
equals(Object) - Method in class owl.collections.IntPreOrder
equals(Object) - Method in class owl.game.GameViews.Node
equals(Object) - Method in class owl.logic.propositional.ConjunctiveNormalForm
equals(Object) - Method in class owl.logic.propositional.PropositionalFormula.Biconditional
equals(Object) - Method in class owl.logic.propositional.PropositionalFormula.Conjunction
equals(Object) - Method in class owl.logic.propositional.PropositionalFormula.Disjunction
equals(Object) - Method in class owl.logic.propositional.PropositionalFormula.Negation
equals(Object) - Method in class owl.logic.propositional.PropositionalFormula.Variable
equals(Object) - Method in class owl.ltl.Formula
equals(Object) - Method in class owl.translations.delag.ProductState
equals(Object) - Method in class owl.translations.delag.State
equals(Object) - Method in class owl.translations.ltl2dpa.AsymmetricRankingState
equals(Object) - Method in class owl.translations.ltl2dpa.SymmetricRankingState
equals(Object) - Method in class owl.translations.ltl2dra.SymmetricRankingState
equals(Object) - Method in class owl.translations.ltl2ldba.AsymmetricProductState
equals(Object) - Method in class owl.translations.ltl2ldba.SymmetricProductState
equals(Object) - Method in class owl.translations.ltl2nba.ProductState
equals(Object) - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
equals(Object) - Method in class owl.translations.mastertheorem.Fixpoints
equals(Object) - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
equals(Object) - Method in class owl.translations.nba2ldba.BreakpointState
equals(Object) - Method in class owl.translations.rabinizer.MonitorState
equals(Object) - Method in class owl.translations.rabinizer.RabinizerState
equals(Object) - Method in class picocli.CommandLine.Help.Ansi.Text
equals(Object) - Method in class picocli.CommandLine.Help.ColorScheme
equals(Object) - Method in class picocli.CommandLine.Help.Column
equals(Object) - Method in class picocli.CommandLine.Model.ArgGroupSpec
equals(Object) - Method in class picocli.CommandLine.Model.OptionSpec
equals(Object) - Method in class picocli.CommandLine.Model.PositionalParamSpec
equals(Object) - Method in class picocli.CommandLine.Range
equalsAll(Automaton<?, AllAcceptance>, Automaton<?, AllAcceptance>) - Static method in class owl.automaton.algorithm.LanguageContainment
equalsCoBuchi(Automaton<?, ? extends CoBuchiAcceptance>, Automaton<?, ? extends CoBuchiAcceptance>) - Static method in class owl.automaton.algorithm.LanguageContainment
equalsImpl(CommandLine.Model.ArgSpec) - Method in class picocli.CommandLine.Model.ArgSpec
equalsValue(Formula) - Method in class owl.ltl.BooleanConstant
equalsValue(Formula) - Method in class owl.ltl.Formula
equalsValue(Formula) - Method in class owl.ltl.Formula.TemporalOperator
equalsValue(Formula) - Method in class owl.ltl.Literal
equivalenceClass(int) - Method in class owl.collections.IntPreOrder: Returns the class with the given index.
EquivalenceClass - Interface in owl.ltl: A propositional equivalence class of an LTL formula.
EquivalenceClassFactory - Interface in owl.bdd: A factory for creating propositional equivalence classes for LTL formulas.
EquivalenceClassFactory.Encoding - Enum in owl.bdd
err() - Method in class picocli.CommandLine.AbstractHandler: Deprecated.

Returns the stream to print diagnostic messages to.
ERROR - Static variable in class owl.grammar.LTLLexer
ERROR - Static variable in class owl.grammar.LTLParser
errors() - Method in class picocli.CommandLine.ParseResult: If CommandLine.Model.ParserSpec.collectErrors is true, returns the list of exceptions that were encountered during parsing, otherwise, returns an empty list.
errors(CommandLine.Help.Ansi.IStyle...) - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Adds the specified styles to the registered styles for errors in this color scheme builder and returns this builder.
errorStyles() - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Returns the registered styles for errors in this color scheme builder.
errorStyles() - Method in class picocli.CommandLine.Help.ColorScheme: Returns the registered styles for errors in this color scheme.
errorText(String) - Method in class picocli.CommandLine.Help.ColorScheme: Returns a Text with all error styles applied to the specified error string.
evaluate(BitSet) - Method in class owl.logic.propositional.ConjunctiveNormalForm
evaluate(List<? extends Supplier<Optional<T>>>) - Static method in class owl.util.ParallelEvaluation
evaluate(Set<? extends T>) - Method in class owl.logic.propositional.PropositionalFormula.Biconditional
evaluate(Set<? extends T>) - Method in class owl.logic.propositional.PropositionalFormula.Conjunction
evaluate(Set<? extends T>) - Method in class owl.logic.propositional.PropositionalFormula.Disjunction
evaluate(Set<? extends T>) - Method in class owl.logic.propositional.PropositionalFormula
evaluate(Set<? extends T>) - Method in class owl.logic.propositional.PropositionalFormula.Negation
evaluate(Set<? extends T>) - Method in class owl.logic.propositional.PropositionalFormula.Variable
evaluatedFixpoints - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
evaluatedFixpoints - Variable in class owl.translations.ltl2ldba.SymmetricProductState
evaluatedFixpoints - Variable in class owl.translations.ltl2nba.ProductState
even() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
even() - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
even() - Method in class owl.automaton.algorithm.simulations.SimulationStates.MultipebbleSimulationState
evenString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
eventually() - Method in class owl.ltl.robust.LabelledSplit
eventually() - Method in class owl.ltl.robust.Split
EVENTUALLY - owl.ltl.robust.Robustness
EVENTUALLY_ALWAYS - owl.ltl.robust.Robustness
eventuallyAlways() - Method in class owl.ltl.robust.LabelledSplit
eventuallyAlways() - Method in class owl.ltl.robust.Split
EverythingIsNonnullByDefault - Annotation Type in owl.util.annotation
exclusive() - Method in annotation type picocli.CommandLine.ArgGroup: Determines whether this is a mutually exclusive group; true by default.
exclusive() - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Returns whether this is a mutually exclusive group; true by default.
exclusive() - Method in class picocli.CommandLine.Model.ArgGroupSpec: Returns whether this is a mutually exclusive group; true by default.
exclusive(boolean) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Sets whether this is a mutually exclusive group; true by default.
execute(String...) - Method in class picocli.CommandLine: Convenience method to allow command line application authors to avoid some boilerplate code in their application.
execute(CommandLine.ParseResult) - Method in class picocli.CommandLine.AbstractParseResultHandler: Deprecated.
execute(CommandLine.ParseResult) - Method in interface picocli.CommandLine.IExecutionStrategy: "Executes" the user input and returns an exit code.
executeHelpRequest(CommandLine.ParseResult) - Static method in class picocli.CommandLine: Helper method that may be useful when processing the ParseResult that results from successfully parsing command line arguments.
ExecutionException(CommandLine, String) - Constructor for exception picocli.CommandLine.ExecutionException
ExecutionException(CommandLine, String, Throwable) - Constructor for exception picocli.CommandLine.ExecutionException
exit(int) - Method in class picocli.CommandLine.AbstractHandler: Deprecated.

Calls System.exit(int) with the specified exit code.
exitAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by LTLParser.andExpression().
exitAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by LTLParser.andExpression().
exitBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by LTLParser.binaryOp().
exitBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by LTLParser.binaryOp().
exitBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
exitBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
exitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
exitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
exitBool(LTLParser.BoolContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by LTLParser.bool().
exitBool(LTLParser.BoolContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by LTLParser.bool().
exitBoolean(LTLParser.BooleanContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
exitBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
exitCode() - Method in class picocli.CommandLine.AbstractHandler: Deprecated.

Returns the exit code to use as the termination status, or null (the default) if the handler should not call System.exit(int) after processing completes.
exitCodeList() - Method in annotation type picocli.CommandLine.Command: Set the values to be displayed in the exit codes section as a list of "key:value" pairs: keys are exit codes, values are descriptions.
exitCodeList() - Method in class picocli.CommandLine.Help: Returns a 2-column list with exit codes and their description.
exitCodeList() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns an unmodifiable map with values to be displayed in the exit codes section: keys are exit codes, values are descriptions.
exitCodeList(Map<String, String>) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the values to be displayed in the exit codes section: keys are exit codes, values are descriptions.
exitCodeListHeading() - Method in annotation type picocli.CommandLine.Command: Set the heading preceding the exit codes section, may contain "%n" line separators.
exitCodeListHeading() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the optional heading preceding the exit codes section, may contain "%n" line separators.
exitCodeListHeading(Object...) - Method in class picocli.CommandLine.Help: Returns the text displayed before the exit code list text; the result of String.format(exitCodeHeading, params).
exitCodeListHeading(String) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the optional heading preceding the exit codes section, may contain "%n" line separators.
exitCodeOnExecutionException() - Method in annotation type picocli.CommandLine.Command: Exit code signifying that an exception occurred when invoking the Runnable, Callable or Method user object of a command.
exitCodeOnExecutionException() - Method in class picocli.CommandLine.Model.CommandSpec: Returns exit code signifying that an exception occurred when invoking the Runnable, Callable or Method user object of a command.
exitCodeOnExecutionException(int) - Method in class picocli.CommandLine.Model.CommandSpec: Sets exit code signifying that an exception occurred when invoking the Runnable, Callable or Method user object of a command.
exitCodeOnInvalidInput() - Method in annotation type picocli.CommandLine.Command: Exit code for command line usage error.
exitCodeOnInvalidInput() - Method in class picocli.CommandLine.Model.CommandSpec: Returns exit code for command line usage error.
exitCodeOnInvalidInput(int) - Method in class picocli.CommandLine.Model.CommandSpec: Sets exit code for command line usage error.
exitCodeOnSuccess() - Method in annotation type picocli.CommandLine.Command: Exit code for successful termination.
exitCodeOnSuccess() - Method in class picocli.CommandLine.Model.CommandSpec: Returns exit code for successful termination.
exitCodeOnSuccess(int) - Method in class picocli.CommandLine.Model.CommandSpec: Sets exit code for successful termination.
exitCodeOnUsageHelp() - Method in annotation type picocli.CommandLine.Command: Exit code for successful termination after printing usage help on user request.
exitCodeOnUsageHelp() - Method in class picocli.CommandLine.Model.CommandSpec: Returns exit code for successful termination after printing usage help on user request.
exitCodeOnUsageHelp(int) - Method in class picocli.CommandLine.Model.CommandSpec: Sets exit code for successful termination after printing usage help on user request.
exitCodeOnVersionHelp() - Method in annotation type picocli.CommandLine.Command: Exit code for successful termination after printing version help on user request.
exitCodeOnVersionHelp() - Method in class picocli.CommandLine.Model.CommandSpec: Returns exit code for successful termination after printing version help on user request.
exitCodeOnVersionHelp(int) - Method in class picocli.CommandLine.Model.CommandSpec: Sets exit code for successful termination after printing version help on user request.
exitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
exitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
exitEveryRule(ParserRuleContext) - Method in class owl.grammar.LTLParserBaseListener
exitExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by LTLParser.expression().
exitExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by LTLParser.expression().
exitFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by LTLParser.formula().
exitFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by LTLParser.formula().
exitNested(LTLParser.NestedContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by the nested labeled alternative in LTLParser.atomExpression().
exitNested(LTLParser.NestedContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by the nested labeled alternative in LTLParser.atomExpression().
exitOrExpression(LTLParser.OrExpressionContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by LTLParser.orExpression().
exitOrExpression(LTLParser.OrExpressionContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by LTLParser.orExpression().
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.AndExpressionContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOpContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOperationContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BoolContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BooleanContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ExpressionContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FormulaContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.NestedContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.OrExpressionContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryAtomContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOpContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOperationContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.VariableContext
exitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
exitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
exitUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
exitUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
exitUnaryOp(LTLParser.UnaryOpContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by LTLParser.unaryOp().
exitUnaryOp(LTLParser.UnaryOpContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by LTLParser.unaryOp().
exitUnaryOperation(LTLParser.UnaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
exitUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
exitVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseListener: Exit a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
exitVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserListener: Exit a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
expandAtFiles() - Method in class picocli.CommandLine.Model.ParserSpec
expandAtFiles(boolean) - Method in class picocli.CommandLine.Model.ParserSpec
expandedArgs() - Method in class picocli.CommandLine.ParseResult: Returns the command line arguments after @-files were expanded; these are the arguments that were actually parsed.
expandedArgs(Collection<String>) - Method in class picocli.CommandLine.ParseResult.Builder: Sets the specified command line arguments after @-files were expanded; these are the arguments that were actually parsed.
explorationCompleted() - Method in class owl.automaton.AbstractMemoizingAutomaton
explorationCompleted() - Method in class owl.automaton.AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation
explorationCompleted() - Method in class owl.translations.canonical.DeterministicConstructions.CoSafetySafetyRoundRobin
explorationCompleted() - Method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafetyRoundRobin
expression() - Method in class owl.grammar.LTLParser
expression() - Method in class owl.grammar.LTLParser.FormulaContext
expression() - Method in class owl.grammar.LTLParser.NestedContext
ExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.ExpressionContext
ExternalTranslator - Class in owl.translations
ExternalTranslator(String, ExternalTranslator.InputMode) - Constructor for class owl.translations.ExternalTranslator
ExternalTranslator(List<String>, ExternalTranslator.InputMode) - Constructor for class owl.translations.ExternalTranslator
ExternalTranslator.InputMode - Enum in owl.translations
extMask() - Method in class owl.translations.nbadet.NbaDetConf
extractExitCodeGenerators(CommandLine.ParseResult) - Method in class picocli.CommandLine.AbstractParseResultHandler: Deprecated.
extractExitCodeGenerators(CommandLine.ParseResult) - Method in class picocli.CommandLine.RunAll
extractExitCodeGenerators(CommandLine.ParseResult) - Method in class picocli.CommandLine.RunFirst
extractExitCodeGenerators(CommandLine.ParseResult) - Method in class picocli.CommandLine.RunLast
extractFeatures(IsolateThread, ObjectHandle, CIntVector) - Static method in class owl.cinterface.CAutomaton
extractFeatures(IsolateThread, ObjectHandle, CIntVector, CIntVector) - Static method in class owl.cinterface.CAutomaton

F

Factories - Class in owl.bdd
Factories(EquivalenceClassFactory, BddSetFactory) - Constructor for class owl.bdd.Factories
factory - Variable in class owl.automaton.AbstractMemoizingAutomaton
factory() - Method in class owl.automaton.AbstractMemoizingAutomaton
factory() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
factory() - Method in interface owl.automaton.Automaton: Returns the backing engine for the symbolic representation of edges.
factory() - Method in class owl.automaton.HashMapAutomaton
factory() - Method in class owl.automaton.symbolic.SymbolicAutomaton
factory() - Method in interface owl.bdd.BddSet
factory() - Method in interface owl.ltl.EquivalenceClass
factory() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
FactorySupplier - Interface in owl.bdd
faint - picocli.CommandLine.Help.Ansi.Style
FAIR_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
FAIR_SIMULATION - owl.automaton.algorithm.simulations.BuchiSimulation.SimulationType
fairSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
fallback() - Method in class owl.translations.delag.ProductState
fallbackValue() - Method in class picocli.CommandLine.Model.OptionSpec.Builder: Returns the fallback value for this option: the value that is assigned for options with an optional parameter if the option was specified on the command line without parameter.
fallbackValue() - Method in class picocli.CommandLine.Model.OptionSpec: Returns the fallback value for this option: the value that is assigned for options with an optional parameter (for example, arity = "0..1") if the option was specified on the command line without parameter.
fallbackValue() - Method in annotation type picocli.CommandLine.Option: For options with an optional parameter (for example, arity = "0..1"), this value is assigned to the annotated element if the option is specified on the command line without an option parameter.
fallbackValue(String) - Method in class picocli.CommandLine.Model.OptionSpec.Builder: Sets the fallback value for this option: the value that is assigned for options with an optional parameter if the option was specified on the command line without parameter, and returns this builder.
FALSE - Static variable in class owl.game.output.Aig
FALSE - Static variable in class owl.grammar.LTLLexer
FALSE - Static variable in class owl.grammar.LTLParser
FALSE - Static variable in class owl.ltl.BooleanConstant
FALSE - Static variable in class owl.ltl.robust.Split
FALSE() - Method in class owl.grammar.LTLParser.BoolContext
falseChild - Variable in class owl.bdd.MtBdd.Node
falseConstant() - Static method in class owl.logic.propositional.PropositionalFormula
fCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
FEATURE_SEPARATOR - Static variable in class owl.cinterface.CInterface
feedTo(AigConsumer) - Method in interface owl.game.Game
feedTo(AigConsumer) - Method in interface owl.game.output.AigPrintable
fg(String) - Static method in enum picocli.CommandLine.Help.Ansi.Style: Parses the specified style markup and returns the associated style.
fg_black - picocli.CommandLine.Help.Ansi.Style
fg_blue - picocli.CommandLine.Help.Ansi.Style
fg_cyan - picocli.CommandLine.Help.Ansi.Style
fg_green - picocli.CommandLine.Help.Ansi.Style
fg_magenta - picocli.CommandLine.Help.Ansi.Style
fg_red - picocli.CommandLine.Help.Ansi.Style
fg_white - picocli.CommandLine.Help.Ansi.Style
fg_yellow - picocli.CommandLine.Help.Ansi.Style
FGMU - owl.ltl.SyntacticFragment
fgSafety(LabelledFormula) - Static method in class owl.translations.canonical.NonDeterministicConstructionsPortfolio
fgSafety(LabelledFormula, boolean) - Static method in class owl.translations.canonical.DeterministicConstructionsPortfolio
FGX - owl.ltl.SyntacticFragment
filter(IntPredicate) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
filter(Automaton<S, ?>, Set<S>) - Static method in interface owl.automaton.SuccessorFunction
filter(Automaton<S, ?>, Set<S>, Predicate<? super Edge<S>>) - Static method in interface owl.automaton.SuccessorFunction
filter(Game<S, A>, Predicate<S>) - Static method in class owl.game.GameViews
filter(Game<S, A>, Predicate<S>, Predicate<Edge<S>>) - Static method in class owl.game.GameViews
Filter() - Constructor for class owl.automaton.Views.Filter
filtered(Automaton<S, A>, Views.Filter<S>) - Static method in class owl.automaton.Views: Create a filtered view on the passed automaton.
filterExternalIncl(Set<? extends Pair<S, S>>, SccDecomposition<? super S>, BiMap<S, Integer>) - Static method in class owl.translations.nbadet.NbaDetConf
filterInternalIncl(Set<? extends Pair<S, S>>, SccDecomposition<? super S>) - Static method in class owl.translations.nbadet.NbaDetConf
FINALLY - Static variable in class owl.grammar.LTLLexer
FINALLY - Static variable in class owl.grammar.LTLParser
FINALLY() - Method in class owl.grammar.LTLParser.UnaryOpContext
findMatches(CommandLine.Model.ArgGroupSpec) - Method in class picocli.CommandLine.ParseResult: Returns the matches for the specified argument group.
findOption(char) - Method in class picocli.CommandLine.Model.CommandSpec: Returns the option with the specified short name, or null if no option with that name is defined for this command.
findOption(String) - Method in class picocli.CommandLine.Model.CommandSpec: Returns the option with the specified name, or null if no option with that name is defined for this command.
findPartialAssignment(PropositionalFormula<K>, PropositionalFormula<K>) - Static method in class owl.translations.ltl2dela.PropositionalFormulaHelper
finerOrEqual(NbaDetState<S>) - Method in class owl.translations.nbadet.NbaDetState: Check finerOrEqual component-wise, assuming same configuration.
finerOrEqual(RankedSlice, RankedSlice) - Static method in class owl.translations.nbadet.SmartSucc: Returns true if second slice is a neighbor-merged version of the first, ignoring ranks.
finest(int) - Static method in class owl.collections.IntPreOrder: Returns a finest pre-order over the {1,..,n} domain, i.e.
finished() - Method in class owl.translations.delag.ProductState
finSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
first() - Method in class owl.collections.ImmutableBitSet
fixpoints - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
fixpoints - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
fixpoints() - Method in class owl.translations.mastertheorem.Fixpoints
Fixpoints - Class in owl.translations.mastertheorem
Fixpoints() - Constructor for class owl.translations.mastertheorem.Fixpoints
flag() - Method in class owl.automaton.algorithm.simulations.MultiPebble: Computes the 'combined' flag of a multipebble.
flag() - Method in class owl.automaton.algorithm.simulations.Pebble
flag() - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
flatValues() - Method in class owl.bdd.MtBdd: Collect all values in a single set.
flatValues() - Method in class owl.bdd.MtBdd.Leaf
flip() - Method in class owl.game.output.LabelledAig
flipEven() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
flipMax() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
FMSD_16 - Static variable in class owl.Bibliography
FMSD_16_CITEKEY - Static variable in class owl.Bibliography
footer() - Method in annotation type picocli.CommandLine.Command: Optional text to display after the list of options.
footer() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the optional footer text lines displayed at the bottom of the help message.
footer(Object...) - Method in class picocli.CommandLine.Help: Returns command footer text as a string.
footer(String...) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the optional footer text lines displayed at the bottom of the help message.
footerHeading() - Method in annotation type picocli.CommandLine.Command: Set the heading preceding the footer section.
footerHeading() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the optional heading preceding the footer section.
footerHeading(Object...) - Method in class picocli.CommandLine.Help: Returns the text displayed before the footer text; the result of String.format(footerHeading, params).
footerHeading(String) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the optional heading preceding the footer section.
FOperator - Class in owl.ltl: Finally.
FOperator(Formula) - Constructor for class owl.ltl.FOperator
forAnnotatedObject(Object) - Static method in class picocli.CommandLine.Model.CommandSpec: Creates and returns a new CommandSpec initialized from the specified associated user object.
forAnnotatedObject(Object, CommandLine.IFactory) - Static method in class picocli.CommandLine.Model.CommandSpec: Creates and returns a new CommandSpec initialized from the specified associated user object.
forAnnotatedObjectLenient(Object) - Static method in class picocli.CommandLine.Model.CommandSpec: Creates and returns a new CommandSpec initialized from the specified associated user object.
forAnnotatedObjectLenient(Object, CommandLine.IFactory) - Static method in class picocli.CommandLine.Model.CommandSpec: Creates and returns a new CommandSpec initialized from the specified associated user object.
forColumns(CommandLine.Help.Ansi, CommandLine.Help.Column...) - Static method in class picocli.CommandLine.Help.TextTable: Deprecated.
use CommandLine.Help.TextTable.forColumns(CommandLine.Help.ColorScheme, CommandLine.Help.Column...) instead
forColumns(CommandLine.Help.ColorScheme, CommandLine.Help.Column...) - Static method in class picocli.CommandLine.Help.TextTable: Constructs a TextTable with the specified columns.
forColumnWidths(CommandLine.Help.Ansi, int...) - Static method in class picocli.CommandLine.Help.TextTable: Deprecated.
use CommandLine.Help.TextTable.forColumns(CommandLine.Help.ColorScheme, CommandLine.Help.Column...) instead
forColumnWidths(CommandLine.Help.ColorScheme, int...) - Static method in class picocli.CommandLine.Help.TextTable: Constructs a new TextTable with columns with the specified width, all SPANning multiple columns on overflow except the last column which WRAPS to the next row.
forDefaultColumns(CommandLine.Help.Ansi, int) - Static method in class picocli.CommandLine.Help.TextTable: Deprecated.
use CommandLine.Help.TextTable.forDefaultColumns(CommandLine.Help.Ansi, int, int) instead
forDefaultColumns(CommandLine.Help.Ansi, int, int) - Static method in class picocli.CommandLine.Help.TextTable: Deprecated.
use CommandLine.Help.TextTable.forDefaultColumns(CommandLine.Help.ColorScheme, int, int) instead
forDefaultColumns(CommandLine.Help.ColorScheme, int, int) - Static method in class picocli.CommandLine.Help.TextTable: Constructs a TextTable with five columns as follows: required option/parameter marker (width: 2, indent: 0, TRUNCATE on overflow) short option name (width: 2, indent: 0, TRUNCATE on overflow) comma separator (width: 1, indent: 0, TRUNCATE on overflow) long option name(s) (width: 24, indent: 1, SPAN multiple columns on overflow) description line(s) (width: 51, indent: 1, WRAP to next row on overflow)
forEach(Consumer<? super Integer>) - Method in class owl.collections.ImmutableBitSet
forEach(Consumer<? super List<E>>) - Method in class owl.collections.HashTrieSet
forEach(IntConsumer) - Method in class owl.collections.ImmutableBitSet
forEachIndex(IntConsumer) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
forEachInfSet(IntConsumer) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
forEachNonTransientEdge(Automaton<S, ?>, BiConsumer<S, Edge<S>>) - Static method in class owl.automaton.AutomatonUtil
forEachPair(Iterable<E1>, Iterable<E2>, BiConsumer<? super E1, ? super E2>) - Static method in class owl.collections.Collections3
Format() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
formula - Variable in class owl.ltl.rewriter.LiteralMapper.ShiftedLabelledFormula
formula() - Method in class owl.grammar.LTLParser
formula() - Method in class owl.ltl.LabelledFormula
Formula - Class in owl.ltl
Formula.BinaryTemporalOperator - Class in owl.ltl
Formula.NaryPropositionalOperator - Class in owl.ltl
Formula.PropositionalOperator - Class in owl.ltl
Formula.TemporalOperator - Class in owl.ltl
Formula.UnaryTemporalOperator - Class in owl.ltl
FormulaClass() - Constructor for class owl.ltl.SyntacticFragments.FormulaClass
FormulaContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FormulaContext
FormulaIsomorphism - Class in owl.ltl.util
formulaRanking() - Method in class owl.translations.rabinizer.MonitorState
Formulas - Class in owl.ltl
forStringArrayConsumer(CommandLine.Model.ISetter) - Static method in class picocli.CommandLine.Model.UnmatchedArgsBinding: Creates a UnmatchedArgsBinding for a setter that consumes String[] objects.
forStringCollectionSupplier(CommandLine.Model.IGetter) - Static method in class picocli.CommandLine.Model.UnmatchedArgsBinding: Creates a UnmatchedArgsBinding for a getter that produces a Collection<String> that the unmatched arguments can be added to.
ForwardDelayedSimulation<S> - Class in owl.automaton.algorithm.simulations
ForwardDelayedSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Constructor for class owl.automaton.algorithm.simulations.ForwardDelayedSimulation
ForwardDirectLookaheadSimulation<S> - Class in owl.automaton.algorithm.simulations
ForwardDirectLookaheadSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Constructor for class owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation
ForwardDirectSimulation<S> - Class in owl.automaton.algorithm.simulations: Simulation type for forward-direct multipebble simulation games.
ForwardDirectSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Constructor for class owl.automaton.algorithm.simulations.ForwardDirectSimulation: Constructs a simulation game for two given automata and two states.
ForwardFairSimulation<S> - Class in owl.automaton.algorithm.simulations
ForwardFairSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Constructor for class owl.automaton.algorithm.simulations.ForwardFairSimulation
free(PointerBase) - Static method in class owl.cinterface.UnmanagedMemory: Frees unmanaged memory that was previously allocated using methods of this class.
freeUnmanagedMemory(IsolateThread, PointerBase) - Static method in class owl.cinterface.CInterface
fromCValue(int) - Static method in enum owl.cinterface.CAutomaton.Acceptance
fromCValue(int) - Static method in enum owl.cinterface.CLabelledFormula.AtomicPropositionStatus
fromCValue(int) - Static method in enum owl.cinterface.StateFeatures.Feature.Type
fromCValue(int) - Static method in enum owl.translations.LtlTranslationRepository.LtlToDpaTranslation
fromCValue(int) - Static method in enum owl.translations.LtlTranslationRepository.Option
fromInt(int) - Static method in class owl.collections.BitSet2: Converts an int into a BitSet.
fromOmegaAcceptance(EmersonLeiAcceptance) - Static method in enum owl.cinterface.CAutomaton.Acceptance
fromPropositionalFormula(PropositionalFormula<Integer>) - Static method in class jhoafparser.extensions.BooleanExpressions
fromPropositionalFormula(PropositionalFormula<Integer>, Function<? super Integer, ? extends BooleanExpression<A>>) - Static method in class jhoafparser.extensions.BooleanExpressions
fromPropositionalFormula(PropositionalFormula<Integer>, Function<? super Integer, ? extends BooleanExpression<A>>, Function<? super Integer, ? extends BooleanExpression<A>>) - Static method in class jhoafparser.extensions.BooleanExpressions
fromTrieEncoding(List<BitSet>) - Static method in class owl.translations.nbadet.SmartSucc: Reverses the trieMap encoding.
fst() - Method in class owl.collections.NullablePair
fst() - Method in class owl.collections.Pair
FSTTCS_10 - Static variable in class owl.Bibliography
FSTTCS_10_CITEKEY - Static variable in class owl.Bibliography
fullSynopsis() - Method in class picocli.CommandLine.Help: Returns the full usage synopsis of this command.

G

Game<S,A extends EmersonLeiAcceptance> - Interface in owl.game
Game.Owner - Enum in owl.game
GameFactory - Class in owl.game
GameViews - Class in owl.game
GameViews.Node<S> - Class in owl.game: A state of the split game.
GANDALF_17 - Static variable in class owl.Bibliography
GANDALF_17_CITEKEY - Static variable in class owl.Bibliography
gCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
GeneralizedBuchiAcceptance - Class in owl.automaton.acceptance
GeneralizedCoBuchiAcceptance - Class in owl.automaton.acceptance
GeneralizedRabinAcceptance - Class in owl.automaton.acceptance: Generalized Rabin Acceptance - OR (Fin(i) and AND Inf(j)).
GeneralizedRabinAcceptance.Builder - Class in owl.automaton.acceptance
GeneralizedRabinAcceptance.RabinPair - Class in owl.automaton.acceptance
GeneralizedRabinAcceptanceOptimizations - Class in owl.automaton.acceptance.optimization
generateParseException() - Static method in class jhoafparser.extensions.HOAFParserCCFixed: Generate ParseException.
generation(Set<Integer>) - Method in class owl.collections.IntPreOrder: Computes the pre-order obtained by declaring newborn as the smallest elements.
GenericConstructions - Class in owl.translations.canonical
geometricMean(int...) - Static method in class owl.util.Statistics
get() - Method in interface picocli.CommandLine.Model.IGetter: Returns the current value of the binding.
get(int) - Method in class owl.cinterface.CDoubleVectorBuilder
get(int) - Method in class owl.cinterface.CIntVectorBuilder
get(Object) - Method in class owl.collections.HashTrieMap
get(BitSet) - Method in class owl.bdd.MtBdd
get(BitSet) - Method in class owl.bdd.MtBdd.Leaf
get(BitSet) - Method in class owl.bdd.MtBdd.Node
get(Robustness) - Method in class owl.ltl.robust.Split
getAcceptance(NbaDetConf<S>) - Static method in class owl.translations.nbadet.NbaDetState: Naive unoptimized parity acceptance (just uses upper bound of possible priorities).
getAcceptanceSets(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil: Collect all acceptance sets occurring on transitions.
getAcceptanceSets(Automaton<S, ?>, Set<S>) - Static method in class owl.automaton.AutomatonUtil: Collect all acceptance sets occurring on transitions within the given state set.
getActualGenericTypeArguments() - Method in interface picocli.CommandLine.Model.ITypeInfo: Returns the names of the type arguments if this is a generic type.
getAdditionalDescriptionKeys() - Method in class picocli.CommandLine.Model.ArgSpec: Subclasses should override to return a collection of additional description keys that may be used to find description text for this option or positional parameter in the resource bundle.
getAdditionalDescriptionKeys() - Method in class picocli.CommandLine.Model.OptionSpec: Returns the additional lookup keys for finding description lines in the resource bundle for this option.
getAdditionalDescriptionKeys() - Method in class picocli.CommandLine.Model.PositionalParamSpec: Returns the additional lookup keys for finding description lines in the resource bundle for this positional parameter.
getAlgoArgs() - Static method in class owl.translations.nbadet.NbaLangInclusions: Register new simulation algorithms for argument parsing here.
getAlgos() - Static method in class owl.translations.nbadet.NbaLangInclusions: Returns list of available algorithms to get language inclusion pairs.
getAnnotation(Class<T>) - Method in interface picocli.CommandLine.Model.IAnnotatedElement
getAnnotation(Class<T>) - Method in class picocli.CommandLine.Model.MethodParam
getArgSpec() - Method in exception picocli.CommandLine.ParameterException: Returns the ArgSpec object for the (sub)command whose input could not be parsed.
getAtFileCommentChar() - Method in class picocli.CommandLine: Returns the character that starts a single-line comment or null if all content of argument files should be interpreted as arguments (without comments).
getATN() - Method in class owl.grammar.LTLLexer
getATN() - Method in class owl.grammar.LTLParser
getAtom() - Method in class owl.ltl.Literal
getAttractor(Collection<S>, Game.Owner) - Method in interface owl.game.Game
getAttractorFixpoint(Collection<S>, Game.Owner) - Method in interface owl.game.Game
getAuxiliaryTypeInfos() - Method in interface picocli.CommandLine.Model.ITypeInfo: Returns type information of components or elements of a multivalue type.
getAuxiliaryTypes() - Method in interface picocli.CommandLine.Model.ITypeInfo: Returns the component class of an array, or the parameter type of a generic Collection, or the parameter types of the key and the value of a generic Map.
getBddSetFactory() - Method in interface owl.bdd.FactorySupplier
getBddSetFactory() - Method in enum owl.bdd.jbdd.JBddSupplier
getChannelNames() - Method in class owl.grammar.LTLLexer
getCJKAdjustedLength() - Method in class picocli.CommandLine.Help.Ansi.Text: Returns the number of columns this Text will occupy on the console, adjusted for wide CJK characters.
getCJKAdjustedLength(int, int) - Method in class picocli.CommandLine.Help.Ansi.Text: Returns the number of columns that the specified portion of this Text will occupy on the console, adjusted for wide CJK characters.
getClassName() - Method in interface picocli.CommandLine.Model.ITypeInfo
getClassSimpleName() - Method in interface picocli.CommandLine.Model.ITypeInfo
getColorScheme() - Method in class picocli.CommandLine: Returns the color scheme to use when printing help.
getCommand() - Method in class picocli.CommandLine: Returns the annotated user object that this CommandLine instance was constructed with.
getCommandLine() - Method in exception picocli.CommandLine.ExecutionException: Returns the CommandLine object for the (sub)command that could not be invoked.
getCommandLine() - Method in exception picocli.CommandLine.ParameterException: Returns the CommandLine object for the (sub)command whose input could not be parsed.
getCommandMethods(Class<?>, String) - Static method in class picocli.CommandLine: Helper to get methods of a class annotated with @Command via reflection, optionally filtered by method name (not @Command.name).
getCommandName() - Method in class picocli.CommandLine: Returns the command name (also called program name) displayed in the usage help synopsis.
getCommandSpec() - Method in class picocli.CommandLine: Returns the CommandSpec model that this CommandLine was constructed with.
getCValue() - Method in enum owl.cinterface.CAutomaton.Acceptance
getCValue() - Method in enum owl.cinterface.CLabelledFormula.AtomicPropositionStatus
getCValue() - Method in enum owl.cinterface.StateFeatures.Feature.Type
getCValue() - Method in enum owl.translations.LtlTranslationRepository.LtlToDpaTranslation
getCValue() - Method in enum owl.translations.LtlTranslationRepository.Option
getDeclaredAnnotations() - Method in class picocli.CommandLine.Model.MethodParam
getDeclaringExecutable() - Method in class picocli.CommandLine.Model.MethodParam
getDefaultValueProvider() - Method in class picocli.CommandLine: Returns the default value provider for the command, or null if none has been set.
getDepth(Formula) - Static method in class owl.ltl.visitors.XDepthVisitor
getEndOfOptionsDelimiter() - Method in class picocli.CommandLine: Returns the end-of-options delimiter that signals that the remaining command line arguments should be treated as positional parameters.
getEnumConstantNames() - Method in interface picocli.CommandLine.Model.ITypeInfo
getEquivalenceClassFactory(List<String>) - Method in interface owl.bdd.FactorySupplier
getEquivalenceClassFactory(List<String>, EquivalenceClassFactory.Encoding) - Method in interface owl.bdd.FactorySupplier
getEquivalenceClassFactory(List<String>, EquivalenceClassFactory.Encoding) - Method in enum owl.bdd.jbdd.JBddSupplier
getErr() - Method in class picocli.CommandLine: Returns the writer to use when printing diagnostic (error) messages during command execution.
getExecutionExceptionHandler() - Method in class picocli.CommandLine: Returns the handler for dealing with exceptions that occurred in the Callable, Runnable or Method user object of a command when the command was executed.
getExecutionResult() - Method in class picocli.CommandLine: Returns the result of calling the user object Callable or invoking the user object Method after parsing the user input, or null if this command has not been executed or if this CommandLine is for a subcommand that was not specified by the end user on the command line.
getExecutionStrategy() - Method in class picocli.CommandLine: Returns the execution strategy used by the execute method to invoke the business logic on the user objects of this command and/or the user-specified subcommand(s).
getExitCode() - Method in interface picocli.CommandLine.IExitCodeGenerator: Returns the exit code that should be returned from the execute method.
getExitCode(Throwable) - Method in interface picocli.CommandLine.IExitCodeExceptionMapper: Returns the exit code that should be returned from the execute method.
getExitCodeExceptionMapper() - Method in class picocli.CommandLine: Returns the mapper that was set by the application to map from exceptions to exit codes, for use by the execute method.
getExtension(Class<T>) - Method in interface picocli.CommandLine.Model.IExtensible: Returns an instance of the specified class, or null if this extension is not supported.
getFactories(List<String>) - Method in interface owl.bdd.FactorySupplier
getFactories(List<String>, EquivalenceClassFactory.Encoding) - Method in interface owl.bdd.FactorySupplier
getFactory() - Method in class picocli.CommandLine: Returns the factory that this CommandLine was constructed with.
getFalse() - Method in class owl.game.output.AigFactory
getGrammarFileName() - Method in class owl.grammar.LTLLexer
getGrammarFileName() - Method in class owl.grammar.LTLParser
getGroupMatches() - Method in class picocli.CommandLine.ParseResult: Returns the top-level container for the ArgGroupSpec match or matches found.
getHeaderFiles() - Method in class owl.cinterface.CInterface.CDirectives
getHelp() - Method in class picocli.CommandLine: Returns a new Help object created by the IHelpFactory with the CommandSpec and ColorScheme of this command.
getHelpFactory() - Method in class picocli.CommandLine: Returns the IHelpFactory that is used to construct the usage help message.
getHelpSectionKeys() - Method in class picocli.CommandLine: Returns the section keys in the order that the usage help message should render the sections.
getHelpSectionMap() - Method in class picocli.CommandLine: Returns the map of section keys and renderers used to construct the usage help message.
getIncompleteStates(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil: Determines all states which are incomplete, i.e.
getMethodParamPosition() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
getMissing() - Method in exception picocli.CommandLine.MissingParameterException
getMixinName() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
getMixins() - Method in class picocli.CommandLine: Returns a map of user objects whose options and positional parameters were added to ("mixed in" with) this command.
getModeNames() - Method in class owl.grammar.LTLLexer
getName() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
getName() - Method in class picocli.CommandLine.Model.MethodParam
getNameAndVersion() - Static method in class owl.util.OwlVersion: Obtains the name and version of the currently running Owl component.
getNbaAccPseudoSinks(Automaton<S, ? extends BuchiAcceptance>) - Static method in class owl.translations.nbadet.NbaLangInclusions: Returns set of states with accepting loops on any symbol (i.e.
getNegatableOptionTransformer() - Method in class picocli.CommandLine: Returns the INegatableOptionTransformer used to create the negative form of negatable options.
getNextToken() - Static method in class jhoafparser.extensions.HOAFParserCCFixed: Get the next Token.
getNode(int) - Method in class owl.game.output.AigFactory
getNondeterministicStates(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
getOut() - Method in class picocli.CommandLine: Returns the writer used when printing user-requested usage help or version help during command execution.
getOverwritten() - Method in exception picocli.CommandLine.OverwrittenOptionException: Returns the CommandLine.Model.ArgSpec for the option which was being overwritten.
getParameterExceptionHandler() - Method in class picocli.CommandLine: Returns the handler for dealing with invalid user input when the command is executed.
getParameterizedType() - Method in class picocli.CommandLine.Model.MethodParam
getParent() - Method in class picocli.CommandLine: Returns the command that this is a subcommand of, or null if this is a top-level command.
getParseResult() - Method in class picocli.CommandLine
getQuotientable() - Static method in class owl.translations.nbadet.NbaLangInclusions: The following ones are safe for performing a naive quotient using provided equivalences.
getResourceBundle() - Method in class picocli.CommandLine: Returns the ResourceBundle of this command or null if no resource bundle is set.
getRuleIndex() - Method in class owl.grammar.LTLParser.AndExpressionContext
getRuleIndex() - Method in class owl.grammar.LTLParser.AtomExpressionContext
getRuleIndex() - Method in class owl.grammar.LTLParser.BinaryExpressionContext
getRuleIndex() - Method in class owl.grammar.LTLParser.BinaryOpContext
getRuleIndex() - Method in class owl.grammar.LTLParser.BoolContext
getRuleIndex() - Method in class owl.grammar.LTLParser.ExpressionContext
getRuleIndex() - Method in class owl.grammar.LTLParser.FormulaContext
getRuleIndex() - Method in class owl.grammar.LTLParser.OrExpressionContext
getRuleIndex() - Method in class owl.grammar.LTLParser.UnaryExpressionContext
getRuleIndex() - Method in class owl.grammar.LTLParser.UnaryOpContext
getRuleNames() - Method in class owl.grammar.LTLLexer
getRuleNames() - Method in class owl.grammar.LTLParser
getSeparator() - Method in class picocli.CommandLine: Returns the String that separates option names from option values when parsing command line options.
getSerializedATN() - Method in class owl.grammar.LTLLexer
getSerializedATN() - Method in class owl.grammar.LTLParser
getString(String, String) - Method in class picocli.CommandLine.Model.Messages: Returns the String value found in the resource bundle for the specified key, or the specified default value if not found.
getStringArray(String, String[]) - Method in class picocli.CommandLine.Model.Messages: Returns the String array value found in the resource bundle for the specified key, or the specified default value if not found.
getStyledChars(int, int, CommandLine.Help.Ansi.Text, int) - Method in class picocli.CommandLine.Help.Ansi.Text: Copies the specified substring of this Text into the specified destination, preserving the markup.
getSubcommands() - Method in class picocli.CommandLine: Returns a map with the subcommands registered on this instance.
getSuggestions() - Method in exception picocli.CommandLine.UnmatchedArgumentException: Returns suggested solutions if such solutions exist, otherwise returns an empty list.
getSuitable(NbaDetState<S>, BitSet, boolean) - Method in class owl.translations.nbadet.SmartSucc
getter() - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Returns the CommandLine.Model.IGetter that is responsible for supplying the value of the annotated program element associated with this group.
getter() - Method in class picocli.CommandLine.Model.ArgGroupSpec: Returns the CommandLine.Model.IGetter that is responsible for supplying the value of the annotated program element associated with this group.
getter() - Method in class picocli.CommandLine.Model.ArgSpec: Returns the CommandLine.Model.IGetter that is responsible for supplying the value of this argument.
getter() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
getter() - Method in class picocli.CommandLine.Model.UnmatchedArgsBinding: Returns the getter responsible for producing a Collection that the unmatched arguments can be added to.
getter(CommandLine.Model.IGetter) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Sets the CommandLine.Model.IGetter that is responsible for getting the value of the annotated program element associated with this group, and returns this builder.
getToken(int) - Static method in class jhoafparser.extensions.HOAFParserCCFixed: Get the specific Token.
getTokenNames() - Method in class owl.grammar.LTLLexer: Deprecated.
getTokenNames() - Method in class owl.grammar.LTLParser: Deprecated.
getToString() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
getTrue() - Method in class owl.game.output.AigFactory
getType() - Method in interface picocli.CommandLine.Model.ITypeInfo: Returns the class that the option or parameter value should be converted to when matched on the command line.
getType() - Method in class picocli.CommandLine.Model.MethodParam
getTypeInfo() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
getUnmatched() - Method in exception picocli.CommandLine.UnmatchedArgumentException: Returns the unmatched command line arguments.
getUnmatchedArguments() - Method in class picocli.CommandLine: Returns the list of unmatched command line arguments, if any.
getUsageHelpLongOptionsMaxWidth() - Method in class picocli.CommandLine: Returns the maximum usage help long options column max width to the specified value.
getUsageHelpWidth() - Method in class picocli.CommandLine: Returns the maximum width of the usage help message.
getUsageMessage() - Method in class picocli.CommandLine: Similar to CommandLine.usage(PrintStream), but returns the usage help message as a String instead of printing it to the PrintStream.
getUsageMessage(CommandLine.Help.Ansi) - Method in class picocli.CommandLine: Similar to CommandLine.usage(PrintStream, Help.Ansi), but returns the usage help message as a String instead of printing it to the PrintStream.
getUsageMessage(CommandLine.Help.ColorScheme) - Method in class picocli.CommandLine: Similar to CommandLine.usage(PrintStream, Help.ColorScheme), but returns the usage help message as a String instead of printing it to the PrintStream.
getValue() - Method in class picocli.CommandLine.Model.ArgSpec: Returns the current value of this argument.
getValue() - Method in exception picocli.CommandLine.ParameterException: Returns the String value for the (sub)command whose input could not be parsed.
getVersion() - Method in class owl.util.OwlVersion
getVersion() - Method in interface picocli.CommandLine.IVersionProvider: Returns version information for a command.
getVocabulary() - Method in class owl.grammar.LTLLexer
getVocabulary() - Method in class owl.grammar.LTLParser
gfCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
gfCoSafety(LabelledFormula, boolean) - Static method in class owl.translations.canonical.DeterministicConstructionsPortfolio
gfCoSafety(LabelledFormula, boolean) - Static method in class owl.translations.canonical.NonDeterministicConstructionsPortfolio
gfCoSafetyAutomaton - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
gfCoSafetyAutomaton - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.DeterministicAutomata
gfCoSafetyAutomaton - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.NonDeterministicAutomata
GfgCoBuchiMinimization - Class in owl.automaton.minimization: This class implements [ICALP'19] minimization of GFG automata.
GLOBALLY - Static variable in class owl.grammar.LTLLexer
GLOBALLY - Static variable in class owl.grammar.LTLParser
GLOBALLY() - Method in class owl.grammar.LTLParser.UnaryOpContext
globalToLocal(int, SymbolicAutomaton.VariableAllocation) - Method in class owl.automaton.symbolic.SequentialVariableAllocationCombiner
globalToLocal(int, SymbolicAutomaton.VariableType) - Method in class owl.automaton.symbolic.ManualVariableAllocation
globalToLocal(int, SymbolicAutomaton.VariableType) - Method in class owl.automaton.symbolic.SequentialVariableAllocationCombiner
globalToLocal(int, SymbolicAutomaton.VariableType) - Method in interface owl.automaton.symbolic.SymbolicAutomaton.VariableAllocation
globalToLocal(BitSet, SymbolicAutomaton.VariableType) - Method in interface owl.automaton.symbolic.SymbolicAutomaton.VariableAllocation
GOperator - Class in owl.ltl: Globally.
GOperator(Formula) - Constructor for class owl.ltl.GOperator
greatestFixpoints() - Method in class owl.translations.mastertheorem.Fixpoints
group() - Method in class picocli.CommandLine.Model.ArgSpec: Returns the groups this option or positional parameter belongs to, or null if this option is not part of a group.
group() - Method in class picocli.CommandLine.ParseResult.GroupMatch: Returns the ArgGroupSpec of the container GroupMatchContainer of this match.
group() - Method in class picocli.CommandLine.ParseResult.GroupMatchContainer: Returns the ArgGroupSpec whose matches are captured in this GroupMatchContainer.
gSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints

H

handle(CommandLine.ParseResult) - Method in class picocli.CommandLine.AbstractParseResultHandler: Deprecated.

Processes the specified ParseResult and returns the result as a list of objects.
handle(CommandLine.ParseResult) - Method in class picocli.CommandLine.RunAll: Executes the top-level command and all subcommands as Runnable or Callable.
handle(CommandLine.ParseResult) - Method in class picocli.CommandLine.RunFirst: Executes the top-level Runnable or Callable subcommand.
handle(CommandLine.ParseResult) - Method in class picocli.CommandLine.RunLast: Executes the most specific Runnable or Callable subcommand.
handleException(CommandLine.ParameterException, PrintStream, CommandLine.Help.Ansi, String...) - Method in class picocli.CommandLine.DefaultExceptionHandler: Deprecated.
handleException(CommandLine.ParameterException, PrintStream, CommandLine.Help.Ansi, String...) - Method in interface picocli.CommandLine.IExceptionHandler: Deprecated.

Handles a ParameterException that occurred while parsing the command line arguments and optionally returns a list of results.
handleExecutionException(Exception, CommandLine, CommandLine.ParseResult) - Method in interface picocli.CommandLine.IExecutionExceptionHandler: Handles an Exception that occurred while executing the Runnable or Callable command and returns an exit code suitable for returning from CommandLine.execute(String...).
handleExecutionException(CommandLine.ExecutionException, CommandLine.ParseResult) - Method in class picocli.CommandLine.DefaultExceptionHandler: Deprecated.

This implementation always simply rethrows the specified exception.
handleExecutionException(CommandLine.ExecutionException, CommandLine.ParseResult) - Method in interface picocli.CommandLine.IExceptionHandler2: Deprecated.

Handles a ExecutionException that occurred while executing the Runnable or Callable command and optionally returns a list of results.
handleParseException(CommandLine.ParameterException, String[]) - Method in class picocli.CommandLine.DefaultExceptionHandler: Deprecated.

Prints the message of the specified exception, followed by the usage message for the command or subcommand whose input was invalid, to the stream returned by CommandLine.AbstractHandler.err().
handleParseException(CommandLine.ParameterException, String[]) - Method in interface picocli.CommandLine.IExceptionHandler2: Deprecated.

Handles a ParameterException that occurred while parsing the command line arguments and optionally returns a list of results.
handleParseException(CommandLine.ParameterException, String[]) - Method in interface picocli.CommandLine.IParameterExceptionHandler: Handles a ParameterException that occurred while parsing the command line arguments and returns an exit code suitable for returning from CommandLine.execute(String...).
handleParseResult(List<CommandLine>, PrintStream, CommandLine.Help.Ansi) - Method in interface picocli.CommandLine.IParseResultHandler: Deprecated.

Processes a List of CommandLine objects resulting from successfully parsing the command line arguments and optionally returns a list of results.
handleParseResult(List<CommandLine>, PrintStream, CommandLine.Help.Ansi) - Method in class picocli.CommandLine.RunAll: Prints help if requested, and otherwise executes the top-level command and all subcommands as Runnable, Callable or Method.
handleParseResult(List<CommandLine>, PrintStream, CommandLine.Help.Ansi) - Method in class picocli.CommandLine.RunFirst: Prints help if requested, and otherwise executes the top-level Runnable or Callable command.
handleParseResult(List<CommandLine>, PrintStream, CommandLine.Help.Ansi) - Method in class picocli.CommandLine.RunLast: Prints help if requested, and otherwise executes the most specific Runnable or Callable subcommand.
handleParseResult(CommandLine.ParseResult) - Method in class picocli.CommandLine.AbstractParseResultHandler: Deprecated.

Prints help if requested, and otherwise calls CommandLine.AbstractParseResultHandler.handle(CommandLine.ParseResult).
handleParseResult(CommandLine.ParseResult) - Method in interface picocli.CommandLine.IParseResultHandler2: Deprecated.

Processes the ParseResult object resulting from successfully parsing the command line arguments and returns a return value.
hasAtFileParameter() - Method in class picocli.CommandLine.Help: Returns true if the usage help should show the at file parameter in the parameter list, otherwise false.
hasDistinctValues(Map<K, V>) - Static method in class owl.collections.Collections3
hasExitCode() - Method in class picocli.CommandLine.AbstractHandler: Deprecated.

Returns true if an exit code was set with CommandLine.AbstractHandler.andExit(int), or false (the default) if the handler should not call System.exit(int) after processing completes.
hashCode() - Method in class owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState
hashCode() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
hashCode() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
hashCode() - Method in class owl.automaton.acceptance.ParityAcceptance
hashCode() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
hashCode() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ConditionalZielonkaTree
hashCode() - Method in class owl.automaton.UltimatelyPeriodicWord
hashCode() - Method in class owl.bdd.MtBdd.Leaf
hashCode() - Method in class owl.bdd.MtBdd.Node
hashCode() - Method in class owl.collections.IntPreOrder
hashCode() - Method in class owl.game.GameViews.Node
hashCode() - Method in class owl.logic.propositional.ConjunctiveNormalForm
hashCode() - Method in class owl.logic.propositional.PropositionalFormula.Biconditional
hashCode() - Method in class owl.logic.propositional.PropositionalFormula.Conjunction
hashCode() - Method in class owl.logic.propositional.PropositionalFormula.Disjunction
hashCode() - Method in class owl.logic.propositional.PropositionalFormula.Negation
hashCode() - Method in class owl.logic.propositional.PropositionalFormula.Variable
hashCode() - Method in class owl.ltl.Formula
hashCode() - Method in class owl.translations.delag.ProductState
hashCode() - Method in class owl.translations.delag.State
hashCode() - Method in class owl.translations.dra2dpa.IARState
hashCode() - Method in class owl.translations.ltl2dpa.AsymmetricRankingState
hashCode() - Method in class owl.translations.ltl2dpa.SymmetricRankingState
hashCode() - Method in class owl.translations.ltl2dra.SymmetricRankingState
hashCode() - Method in class owl.translations.ltl2ldba.AsymmetricProductState
hashCode() - Method in class owl.translations.ltl2ldba.SymmetricProductState
hashCode() - Method in class owl.translations.ltl2nba.ProductState
hashCode() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
hashCode() - Method in class owl.translations.mastertheorem.Fixpoints
hashCode() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
hashCode() - Method in class owl.translations.nba2ldba.BreakpointState
hashCode() - Method in class owl.translations.rabinizer.MonitorState
hashCode() - Method in class owl.translations.rabinizer.RabinizerState
hashCode() - Method in class picocli.CommandLine.Help.Ansi.Text
hashCode() - Method in class picocli.CommandLine.Help.ColorScheme
hashCode() - Method in class picocli.CommandLine.Help.Column
hashCode() - Method in class picocli.CommandLine.Model.ArgGroupSpec
hashCode() - Method in class picocli.CommandLine.Model.OptionSpec
hashCode() - Method in class picocli.CommandLine.Model.PositionalParamSpec
hashCode() - Method in class picocli.CommandLine.Range
hashCodeImpl() - Method in class picocli.CommandLine.Model.ArgSpec
HashMapAutomaton<S,A extends EmersonLeiAcceptance> - Class in owl.automaton
HashTrieMap<K,V> - Class in owl.collections: A TrieMap is a Map with sequences as keys that are organized in a Trie for value retrieval.
HashTrieMap() - Constructor for class owl.collections.HashTrieMap
HashTrieSet<E> - Class in owl.collections: A TrieMap is a Map with sequences as keys that are organized in a Trie for value retrieval.
HashTrieSet() - Constructor for class owl.collections.HashTrieSet
HashTrieSet(Collection<? extends List<E>>) - Constructor for class owl.collections.HashTrieSet
hasInfSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
hasInitialValue() - Method in class picocli.CommandLine.Model.ArgSpec: Determines whether the option or positional parameter will be reset to the CommandLine.Model.ArgSpec.initialValue() before parsing new input.
hasInitialValue() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
hasMatchedOption(char) - Method in class picocli.CommandLine.ParseResult: Returns whether an option whose aliases include the specified short name was matched on the command line.
hasMatchedOption(String) - Method in class picocli.CommandLine.ParseResult: Returns whether an option whose aliases include the specified name was matched on the command line.
hasMatchedOption(CommandLine.Model.OptionSpec) - Method in class picocli.CommandLine.ParseResult: Returns whether the specified option was matched on the command line.
hasMatchedPositional(int) - Method in class picocli.CommandLine.ParseResult: Returns whether a positional parameter was matched at the specified position.
hasMatchedPositional(CommandLine.Model.PositionalParamSpec) - Method in class picocli.CommandLine.ParseResult: Returns whether the specified positional parameter was matched on the command line.
hasSubcommand() - Method in class picocli.CommandLine.ParseResult: Returns true if a subcommand was matched on the command line, false otherwise.
header() - Method in annotation type picocli.CommandLine.Command: Optional summary description of the command, shown before the synopsis.
header() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the optional header lines displayed at the top of the help message.
header(Object...) - Method in class picocli.CommandLine.Help: Returns the command header text as a string.
header(String...) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the optional header lines displayed at the top of the help message.
Header() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
headerHeading() - Method in annotation type picocli.CommandLine.Command: Set the heading preceding the header section.
headerHeading() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the optional heading preceding the header section.
headerHeading(Object...) - Method in class picocli.CommandLine.Help: Returns the text displayed before the header text; the result of String.format(headerHeading, params).
headerHeading(String) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the heading preceding the header section.
HeaderItem() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
HeaderItemAcceptance() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
HeaderItemAccName() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
HeaderItemAlias() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
HeaderItemAP() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
HeaderItemMisc() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
HeaderItemName() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
HeaderItemProperties() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
HeaderItemStart() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
HeaderItemStates() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
HeaderItemTool() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
HeaderName() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
heading() - Method in annotation type picocli.CommandLine.ArgGroup: The heading of this group, used when generating the usage documentation.
heading() - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Returns the heading of this group, used when generating the usage documentation.
heading() - Method in class picocli.CommandLine.Model.ArgGroupSpec: Returns the heading of this group (may be null), used when generating the usage documentation.
heading(String) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Sets the heading of this group (may be null), used when generating the usage documentation.
headingKey() - Method in annotation type picocli.CommandLine.ArgGroup: ResourceBundle key for this group's usage help message section heading.
headingKey() - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Returns the heading key of this group, used to get the heading from a resource bundle.
headingKey() - Method in class picocli.CommandLine.Model.ArgGroupSpec: Returns the heading key of this group (may be null), used to get the heading from a resource bundle.
headingKey(String) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Sets the heading key of this group, used to get the heading from a resource bundle.
height() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
height() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ConditionalZielonkaTree
height() - Method in interface owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTree
height() - Method in class owl.logic.propositional.PropositionalFormula.Biconditional
height() - Method in class owl.logic.propositional.PropositionalFormula.Conjunction
height() - Method in class owl.logic.propositional.PropositionalFormula.Disjunction
height() - Method in class owl.logic.propositional.PropositionalFormula
height() - Method in class owl.logic.propositional.PropositionalFormula.Negation
height() - Method in class owl.logic.propositional.PropositionalFormula.Variable
height() - Method in class owl.ltl.Formula
height(Collection<? extends Formula>) - Static method in class owl.ltl.Formulas
height(Formula...) - Static method in class owl.ltl.Formulas
help() - Method in class picocli.CommandLine.Model.OptionSpec.Builder: Deprecated.
Use CommandLine.Model.OptionSpec.Builder.usageHelp() and CommandLine.Model.OptionSpec.Builder.versionHelp() instead.
help() - Method in class picocli.CommandLine.Model.OptionSpec: Deprecated.
Use CommandLine.Model.OptionSpec.usageHelp() and CommandLine.Model.OptionSpec.versionHelp() instead.
help() - Method in annotation type picocli.CommandLine.Option: Deprecated.
Use CommandLine.Option.usageHelp() and CommandLine.Option.versionHelp() instead. See CommandLine.printHelpIfRequested(List, PrintStream, CommandLine.Help.Ansi)
help(boolean) - Method in class picocli.CommandLine.Model.OptionSpec.Builder: Sets whether this option disables validation of the other arguments, and returns this builder.
Help(Object) - Constructor for class picocli.CommandLine.Help: Constructs a new Help instance with a default color scheme, initialized from annotations on the specified class and superclasses.
Help(Object, CommandLine.Help.Ansi) - Constructor for class picocli.CommandLine.Help: Constructs a new Help instance with a default color scheme, initialized from annotations on the specified class and superclasses.
Help(Object, CommandLine.Help.ColorScheme) - Constructor for class picocli.CommandLine.Help: Deprecated.
use Help(picocli.CommandLine.Model.CommandSpec, picocli.CommandLine.Help.ColorScheme)
Help(CommandLine.Model.CommandSpec, CommandLine.Help.ColorScheme) - Constructor for class picocli.CommandLine.Help: Constructs a new Help instance with the specified color scheme, initialized from annotations on the specified class and superclasses.
helpCommand() - Method in annotation type picocli.CommandLine.Command: Set this attribute to true if this subcommand is a help command, and required options and positional parameters of the parent command should not be validated.
helpCommand() - Method in class picocli.CommandLine.Model.CommandSpec: Returns whether this subcommand is a help command, and required options and positional parameters of the parent command should not be validated.
helpCommand(boolean) - Method in class picocli.CommandLine.Model.CommandSpec: Sets whether this is a help command and required parameter checking should be suspended.
HelpCommand() - Constructor for class picocli.CommandLine.HelpCommand
helpFactory() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the IHelpFactory that is used to construct the usage help message.
helpFactory(CommandLine.IHelpFactory) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets a new IHelpFactory to customize the usage help message.
hidden() - Method in annotation type picocli.CommandLine.Command: Set hidden=true if this command should not be included in the list of commands in the usage help of the parent command.
hidden() - Method in class picocli.CommandLine.Model.ArgSpec: Returns whether this option should be excluded from the usage message.
hidden() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns whether this command should be hidden from the usage help message of the parent command.
hidden() - Method in annotation type picocli.CommandLine.Option: Set hidden=true if this option should not be included in the usage help message.
hidden() - Method in annotation type picocli.CommandLine.Parameters: Set hidden=true if this parameter should not be included in the usage message.
hidden(boolean) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Set the hidden flag on this command to control whether to show or hide it in the help usage text of the parent command.
hideParamSyntax() - Method in class picocli.CommandLine.Model.ArgSpec: Returns whether usage syntax decorations around the paramLabel should be suppressed.
hideParamSyntax() - Method in annotation type picocli.CommandLine.Option: Returns whether usage syntax decorations around the paramLabel should be suppressed.
hideParamSyntax() - Method in annotation type picocli.CommandLine.Parameters: Returns whether usage syntax decorations around the paramLabel should be suppressed.
higher(int) - Method in class owl.collections.ImmutableBitSet: Returns the least element in this set strictly greater than the given element.
HOAConsumerPrintFixed - Class in jhoafparser.extensions: This HOAConsumer renders the method calls to produce a valid HOA automaton output.
HOAConsumerPrintFixed(Writer) - Constructor for class jhoafparser.extensions.HOAConsumerPrintFixed: Constructor
HOAFParserCCFixed - Class in jhoafparser.extensions
HOAFParserCCFixed(InputStream) - Constructor for class jhoafparser.extensions.HOAFParserCCFixed: Constructor with InputStream.
HOAFParserCCFixed(InputStream, String) - Constructor for class jhoafparser.extensions.HOAFParserCCFixed: Constructor with InputStream and supplied encoding
HOAFParserCCFixed(Reader) - Constructor for class jhoafparser.extensions.HOAFParserCCFixed: Constructor.
HOAFParserCCFixed(HOAFParserCCTokenManager) - Constructor for class jhoafparser.extensions.HOAFParserCCFixed: Constructor with generated Token Manager.
HOAFParserFixed - Class in jhoafparser.extensions: Public interface to the HOA format parser.
HOAFParserFixed() - Constructor for class jhoafparser.extensions.HOAFParserFixed
HoaReader - Class in owl.automaton.hoa
HoaWriter - Class in owl.automaton.hoa
HoaWriter.UncheckedHoaConsumerException - Exception in owl.automaton.hoa

I

IARBuilder<R> - Class in owl.translations.dra2dpa
IARBuilder(Automaton<R, ? extends RabinAcceptance>, ParityAcceptance.Parity) - Constructor for class owl.translations.dra2dpa.IARBuilder
IARState<R> - Class in owl.translations.dra2dpa
IARState() - Constructor for class owl.translations.dra2dpa.IARState
ICALP_19_1 - Static variable in class owl.Bibliography
ICALP_19_1_CITEKEY - Static variable in class owl.Bibliography
ICALP_19_2 - Static variable in class owl.Bibliography
ICALP_19_2_CITEKEY - Static variable in class owl.Bibliography
ICALP_21 - Static variable in class owl.Bibliography
ICALP_21_CITEKEY - Static variable in class owl.Bibliography
Identifier() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
ImmutableBitSet - Class in owl.collections: This class implements an immutable vector of bits.
IMP - Static variable in class owl.grammar.LTLLexer
IMP - Static variable in class owl.grammar.LTLParser
IMP() - Method in class owl.grammar.LTLParser.BinaryOpContext
implies(EquivalenceClass) - Method in interface owl.ltl.EquivalenceClass
incrementalSolver() - Static method in class owl.logic.propositional.sat.Solver
incrementalSolver(Solver.Engine) - Static method in class owl.logic.propositional.sat.Solver
IncrementalSolver - Interface in owl.logic.propositional.sat
indent - Variable in class picocli.CommandLine.Help.Column: Indent (number of empty spaces at the start of the column preceding the text value)
indentWrappedLines - Variable in class picocli.CommandLine.Help.TextTable: By default, indent wrapped lines by 2 spaces.
index - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
index() - Method in class owl.automaton.acceptance.degeneralization.BuchiDegeneralization.IndexedState
index() - Method in class owl.translations.canonical.RoundRobinState
index() - Method in class picocli.CommandLine.Model.PositionalParamSpec.Builder: Returns an index or range specifying which of the command line arguments should be assigned to this positional parameter.
index() - Method in class picocli.CommandLine.Model.PositionalParamSpec: Returns an index or range specifying which of the command line arguments should be assigned to this positional parameter.
index() - Method in annotation type picocli.CommandLine.Parameters: Specify an index ("0", or "1", etc.) to pick which of the command line arguments should be assigned to this field.
index(String) - Method in class picocli.CommandLine.Model.PositionalParamSpec.Builder: Sets the index or range specifying which of the command line arguments should be assigned to this positional parameter, and returns this builder.
index(CommandLine.Range) - Method in class picocli.CommandLine.Model.PositionalParamSpec.Builder: Sets the index or range specifying which of the command line arguments should be assigned to this positional parameter, and returns this builder.
index(S) - Method in class owl.automaton.algorithm.SccDecomposition: Find the index of the strongly connected component this state belongs to.
INDEX - Static variable in class owl.Bibliography
IndexedState() - Constructor for class owl.automaton.acceptance.degeneralization.BuchiDegeneralization.IndexedState
indexMap() - Method in class owl.automaton.algorithm.SccDecomposition
indexOf(List<Set<E>>, E) - Static method in class owl.collections.Collections3: Returns the index of the first occurrence of the specified element in this list of sets, or -1 if this list does not contain the element.
indices() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.Path
inDifferentSccs(NormalformDELAConstruction.State) - Method in class owl.translations.ltl2dela.NormalformDELAConstruction.State
INFINITELY_OFTEN - owl.ltl.robust.Robustness
infinitelyOften - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints: Corresponds to gfCoSafetyAutomaton.
infinitelyOften() - Method in class owl.ltl.robust.LabelledSplit
infinitelyOften() - Method in class owl.ltl.robust.Split
infSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
infSet(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
infSetCount() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
infSetStream() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
INHERIT - picocli.CommandLine.ScopeType: The element exists in the command where the element is defined and all descendents (subcommands, sub-subcommands, etc.).
inherited() - Method in class picocli.CommandLine.Model.ArgSpec: Returns whether this option is inherited from a parent command.
inherited() - Method in class picocli.CommandLine.Model.CommandSpec: Returns whether this command is inherited from a parent command.
init(CommandLine, CommandLine.Help.Ansi, PrintStream, PrintStream) - Method in class picocli.CommandLine.HelpCommand: Deprecated.
init(CommandLine, CommandLine.Help.Ansi, PrintStream, PrintStream) - Method in interface picocli.CommandLine.IHelpCommandInitializable: Deprecated.
init(CommandLine, CommandLine.Help.ColorScheme, PrintWriter, PrintWriter) - Method in class picocli.CommandLine.HelpCommand: Initializes this object with the information needed to implement a help command that provides usage help for other commands.
init(CommandLine, CommandLine.Help.ColorScheme, PrintWriter, PrintWriter) - Method in interface picocli.CommandLine.IHelpCommandInitializable2: Initializes this object with the information needed to implement a help command that provides usage help for other commands.
initialComponent() - Method in class owl.automaton.AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton
initialComponent() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
InitializationException(String) - Constructor for exception picocli.CommandLine.InitializationException
InitializationException(String, Exception) - Constructor for exception picocli.CommandLine.InitializationException
initialState() - Method in class owl.automaton.AbstractMemoizingAutomaton
initialState() - Method in interface owl.automaton.Automaton: Returns the initial state.
initialState(Formula) - Method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafety
initialStates - Variable in class owl.automaton.AbstractMemoizingAutomaton
initialStates() - Method in class owl.automaton.AbstractMemoizingAutomaton
initialStates() - Method in class owl.automaton.algorithm.SccDecomposition
initialStates() - Method in class owl.automaton.algorithm.simulations.BackwardDirectSimulation
initialStates() - Method in class owl.automaton.algorithm.simulations.ForwardDelayedSimulation
initialStates() - Method in class owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation
initialStates() - Method in class owl.automaton.algorithm.simulations.ForwardDirectSimulation
initialStates() - Method in class owl.automaton.algorithm.simulations.ForwardFairSimulation
initialStates() - Method in interface owl.automaton.algorithm.simulations.SimulationType
initialStates() - Method in interface owl.automaton.Automaton: Returns the set of initial states, which can potentially be empty.
initialStates() - Method in class owl.automaton.HashMapAutomaton
initialStates() - Method in class owl.automaton.symbolic.SymbolicAutomaton
initialStates(Collection<? extends S>) - Method in class owl.automaton.HashMapAutomaton
initialStates(Collection<? extends S>) - Method in interface owl.automaton.MutableAutomaton: Sets the set of initial states of the automaton.
initialStates(Set<S>) - Method in class owl.automaton.Views.Filter.Builder
initialStatesWithRemainder(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.Safety
initialValue() - Method in class picocli.CommandLine.Model.ArgSpec: Returns the initial value of this option or positional parameter: the value that, if CommandLine.Model.ArgSpec.hasInitialValue() is true, the option will be reset to before parsing (regardless of whether a default value exists), to clear values that would otherwise remain from parsing previous input.
inner - Variable in class owl.grammar.LTLParser.UnaryOperationContext
insertSynopsisCommandName(int, CommandLine.Help.Ansi.Text) - Method in class picocli.CommandLine.Help: Returns the detailed synopsis text by inserting the command name before the specified text with options and positional parameters details.
INSTANCE - Static variable in class owl.automaton.acceptance.AllAcceptance
INSTANCE - Static variable in class owl.automaton.acceptance.BuchiAcceptance
INSTANCE - Static variable in class owl.automaton.acceptance.CoBuchiAcceptance
INSTANCE - Static variable in class owl.automaton.symbolic.NumberingStateEncoderFactory
INSTANCE - Static variable in class owl.ltl.rewriter.PropositionalSimplifier
INSTANCE - Static variable in class owl.ltl.rewriter.PushNextThroughPropositionalVisitor
Integer() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
interactive() - Method in class picocli.CommandLine.Model.ArgSpec: Returns whether this option will prompt the user to enter a value on the command line.
interactive() - Method in annotation type picocli.CommandLine.Option: Set interactive=true to make this option prompt the end user for a value (like a password).
interactive() - Method in annotation type picocli.CommandLine.Parameters: Set interactive=true if this positional parameter will prompt the end user for a value (like a password).
internalShowDefaultValue(boolean) - Method in class picocli.CommandLine.Model.ArgSpec: Returns whether the default for this option or positional parameter should be shown, potentially overriding the specified global setting.
internalShowDefaultValue(boolean) - Method in class picocli.CommandLine.Model.OptionSpec
interpolateVariables() - Method in class picocli.CommandLine.Model.CommandSpec: Returns whether whether variables should be interpolated in String values.
interpolateVariables(Boolean) - Method in class picocli.CommandLine.Model.CommandSpec: Sets whether whether variables should be interpolated in String values.
intersection(BitSet) - Method in class owl.collections.ImmutableBitSet
intersection(BitSet, BitSet) - Static method in class owl.collections.BitSet2
intersection(Collection<Integer>) - Method in class owl.collections.ImmutableBitSet
intersection(List<? extends Automaton<S, ?>>) - Static method in class owl.automaton.BooleanOperations
intersection(List<? extends SymbolicAutomaton<?>>) - Static method in class owl.automaton.symbolic.SymbolicBooleanOperations
intersection(Automaton<S1, ?>, Automaton<S2, ?>) - Static method in class owl.automaton.BooleanOperations
intersection(SymbolicAutomaton<?>...) - Static method in class owl.automaton.symbolic.SymbolicBooleanOperations
intersection(BddSet) - Method in interface owl.bdd.BddSet
intersection(BddSet...) - Method in interface owl.bdd.BddSet
intersection(BddSet...) - Method in interface owl.bdd.BddSetFactory
intersection(MtBdd<E>) - Method in interface owl.bdd.BddSet
intersection(ImmutableBitSet) - Method in class owl.collections.ImmutableBitSet
intersection(UpwardClosedSet) - Method in class owl.collections.UpwardClosedSet
intersects(Collection<Integer>) - Method in class owl.collections.ImmutableBitSet
intIterator() - Method in class owl.collections.ImmutableBitSet
intMask() - Method in class owl.translations.nbadet.NbaDetConf
IntPreOrder - Class in owl.collections: This class represents a total pre-orders of {1,..n}, which are identified by a list of their equivalence classes.
intStream() - Method in class owl.collections.ImmutableBitSet
IntVisitor - Interface in owl.ltl.visitors
inverse(BddSetFactory) - Method in class owl.bdd.MtBdd
inverse(BddSetFactory, IntUnaryOperator) - Method in class owl.bdd.MtBdd
invoke(String, Class<?>, PrintStream, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine: Deprecated.
use CommandLine.execute(String...) and CommandLine.getExecutionResult() instead
invoke(String, Class<?>, PrintStream, String...) - Static method in class picocli.CommandLine: Deprecated.
use CommandLine.execute(String...) and CommandLine.getExecutionResult() instead
invoke(String, Class<?>, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine: Deprecated.
use CommandLine.execute(String...) and CommandLine.getExecutionResult() instead
invoke(String, Class<?>, String...) - Static method in class picocli.CommandLine: Deprecated.
use CommandLine.execute(String...) and CommandLine.getExecutionResult() instead
is(Automaton.Property) - Method in class owl.automaton.AbstractMemoizingAutomaton.EdgeImplementation
is(Automaton.Property) - Method in class owl.automaton.AbstractMemoizingAutomaton
is(Automaton.Property) - Method in interface owl.automaton.Automaton
is(Automaton.Property) - Method in class owl.automaton.symbolic.SymbolicAutomaton
is(Automaton.Property) - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
IS_FIXPOINT - Static variable in class owl.translations.mastertheorem.Predicates
IS_GREATEST_FIXPOINT - Static variable in class owl.translations.mastertheorem.Predicates
IS_LEAST_FIXPOINT - Static variable in class owl.translations.mastertheorem.Predicates
isAbbreviatedOptionsAllowed() - Method in class picocli.CommandLine: Returns whether abbreviation of option names should be allowed when matching options.
isAbbreviatedSubcommandsAllowed() - Method in class picocli.CommandLine: Returns whether abbreviation of subcommands should be allowed when matching subcommands.
isAccepting(int) - Method in class owl.automaton.acceptance.ParityAcceptance
isAccepting(int) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
isAccepting(BitSet) - Method in class owl.automaton.acceptance.EmersonLeiAcceptance: Returns whether repeating these acceptance indices infinitely often would be accepting.
isAccepting(Set<Integer>) - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
isAcceptingEdge(Edge<?>) - Method in class owl.automaton.acceptance.EmersonLeiAcceptance: Returns whether repeating this edge infinitely often would be accepting.
isAccessible() - Method in class picocli.CommandLine.Model.MethodParam
isAddMethodSubcommands() - Method in class picocli.CommandLine.Model.CommandSpec: Returns whether method commands should be added as subcommands.
isAdjustLineBreaksForWideCJKCharacters() - Method in class picocli.CommandLine.Help.TextTable
isAdjustLineBreaksForWideCJKCharacters() - Method in class picocli.CommandLine: Returns whether line breaks should take wide Chinese, Japanese and Korean characters into account for line-breaking purposes.
isAlmostAll(Formula) - Static method in class owl.ltl.SyntacticFragments
isAnnotationPresent(Class<? extends Annotation>) - Method in interface picocli.CommandLine.Model.IAnnotatedElement
isArgGroup() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
isArgSpec() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
isArray() - Method in interface picocli.CommandLine.Model.ITypeInfo
isBlocked(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.SuspensionCheck
isBlockedByCoSafety(EquivalenceClass) - Static method in class owl.translations.BlockingElements
isBlockedByCoSafety(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.SuspensionCheck
isBlockedBySafety(EquivalenceClass) - Static method in class owl.translations.BlockingElements
isBlockedBySafety(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.SuspensionCheck
isBlockedByTransient(EquivalenceClass) - Static method in class owl.translations.BlockingElements
isBlockedByTransient(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.SuspensionCheck
isBoolean() - Method in interface picocli.CommandLine.Model.ITypeInfo: Returns true if CommandLine.Model.ITypeInfo.getType() is boolean or java.lang.Boolean.
isBottomScc(Set<S>) - Method in class owl.automaton.algorithm.SccDecomposition: Determine if a given strongly connected component is bottom.
isCaseInsensitiveEnumValuesAllowed() - Method in class picocli.CommandLine: Returns whether the parser should ignore case when converting arguments to enum values.
isCollection() - Method in interface picocli.CommandLine.Model.ITypeInfo
isConstant() - Method in class owl.game.output.Aig
isCoSafety(EquivalenceClass) - Static method in class owl.ltl.SyntacticFragments
isCoSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
isCoSafetySafety(Formula) - Static method in class owl.ltl.SyntacticFragments
isCoveredBy(SymmetricProductState) - Method in class owl.translations.ltl2ldba.SymmetricProductState
isDistinct(List<E>) - Static method in class owl.collections.Collections3
isEmpty() - Method in interface owl.bdd.BddSet
isEmpty() - Method in class owl.collections.HashTrieMap
isEmpty() - Method in class owl.collections.HashTrieSet
isEmpty() - Method in class owl.collections.ImmutableBitSet
isEmpty() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
isEmpty() - Method in class picocli.CommandLine.ParseResult.GroupMatch: Returns true if this match has no matched arguments and no matched subgroups.
isEmpty(Automaton<S, ?>) - Static method in class owl.automaton.algorithm.LanguageEmptiness
isEmpty(Automaton<S, ?>, Set<S>) - Static method in class owl.automaton.algorithm.LanguageEmptiness
isEnum() - Method in interface picocli.CommandLine.Model.ITypeInfo: Returns true if CommandLine.Model.ITypeInfo.getType() is an enum.
isEqual(Formula, Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
isEven() - Method in enum owl.game.Game.Owner
isExpandAtFiles() - Method in class picocli.CommandLine: Returns whether arguments starting with '@' should be treated as the path to an argument file and its contents should be expanded into separate arguments for each line in the specified file.
isFalse() - Method in class owl.logic.propositional.PropositionalFormula
isFalse() - Method in interface owl.ltl.EquivalenceClass
isFgSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
isFinite(EquivalenceClass) - Static method in class owl.ltl.SyntacticFragments
isFinite(Formula) - Static method in class owl.ltl.SyntacticFragments
isFSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
isGCoSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
isGfCoSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
isInfinite(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
isInfinitelyOften(Formula) - Static method in class owl.ltl.SyntacticFragments
isInstanceOf(Class<? extends EmersonLeiAcceptance>, Class<? extends EmersonLeiAcceptance>) - Static method in class owl.automaton.acceptance.OmegaAcceptanceCast
isInteractive() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
isInterpolateVariables() - Method in class picocli.CommandLine: Returns whether whether variables should be interpolated in String values.
isLeaf() - Method in class owl.game.output.Aig
isLessOrEqual(AbstractMemoizingAutomaton<S, ?>, int) - Static method in class owl.automaton.AutomatonUtil
isLessOrEqual(Automaton<S, ?>, int) - Static method in class owl.automaton.AutomatonUtil
isLiveness() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
isLiveness() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
isMap() - Method in interface picocli.CommandLine.Model.ITypeInfo
isMethodParameter() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
isMixin() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
isMultiValue() - Method in class picocli.CommandLine.Model.ArgSpec: Returns true if this argument's CommandLine.Model.ArgSpec.type() is an array, a Collection or a Map, false otherwise.
isMultiValue() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
isMultiValue() - Method in interface picocli.CommandLine.Model.ITypeInfo: Returns true if CommandLine.Model.ITypeInfo.getType() is an array, map or collection.
isNegated() - Method in class owl.game.output.LabelledAig
isNegated() - Method in class owl.ltl.Literal
isOdd() - Method in enum owl.game.Game.Owner
isOption() - Method in class picocli.CommandLine.Model.ArgSpec: Returns true if this argument is a named option, false otherwise.
isOption() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
isOption() - Method in class picocli.CommandLine.Model.OptionSpec
isOption() - Method in class picocli.CommandLine.Model.PositionalParamSpec
isOptional() - Method in interface picocli.CommandLine.Model.ITypeInfo: Returns true if CommandLine.Model.ITypeInfo.getType() is java.util.Optional
isOptionsCaseInsensitive() - Method in class picocli.CommandLine: Returns whether upper case and lower case should be ignored when matching option names.
isOverwrittenOptionsAllowed() - Method in class picocli.CommandLine: Returns whether options for single-value fields can be specified multiple times on the command line.
isParameter() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
isParentCommand() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
isPi2OrFgPi1(Formula.TemporalOperator) - Static method in class owl.translations.mastertheorem.Normalisation
isPositional() - Method in class picocli.CommandLine.Model.ArgSpec: Returns true if this argument is a positional parameter, false otherwise.
isPositional() - Method in class picocli.CommandLine.Model.OptionSpec
isPositional() - Method in class picocli.CommandLine.Model.PositionalParamSpec
isPosixClusteredShortOptionsAllowed() - Method in class picocli.CommandLine: Returns whether the parser accepts clustered short options.
isPureEventual() - Method in class owl.ltl.Biconditional
isPureEventual() - Method in class owl.ltl.BooleanConstant
isPureEventual() - Method in class owl.ltl.FOperator
isPureEventual() - Method in class owl.ltl.Formula.BinaryTemporalOperator
isPureEventual() - Method in class owl.ltl.Formula
isPureEventual() - Method in class owl.ltl.Formula.NaryPropositionalOperator
isPureEventual() - Method in class owl.ltl.GOperator
isPureEventual() - Method in class owl.ltl.Literal
isPureEventual() - Method in class owl.ltl.Negation
isPureEventual() - Method in class owl.ltl.XOperator
isPureUniversal() - Method in class owl.ltl.Biconditional
isPureUniversal() - Method in class owl.ltl.BooleanConstant
isPureUniversal() - Method in class owl.ltl.FOperator
isPureUniversal() - Method in class owl.ltl.Formula.BinaryTemporalOperator
isPureUniversal() - Method in class owl.ltl.Formula
isPureUniversal() - Method in class owl.ltl.Formula.NaryPropositionalOperator
isPureUniversal() - Method in class owl.ltl.GOperator
isPureUniversal() - Method in class owl.ltl.Literal
isPureUniversal() - Method in class owl.ltl.Negation
isPureUniversal() - Method in class owl.ltl.XOperator
isRelative() - Method in class picocli.CommandLine.Range: Returns true if this Range contains a relative index like "1+", or false if this Range does not contain any relative indices.
isSafety() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
isSafety() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
isSafety(EquivalenceClass) - Static method in class owl.ltl.SyntacticFragments
isSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
isSafetyCoSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
isSatisfiable(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
isSigma2OrGfSigma1(Formula.TemporalOperator) - Static method in class owl.translations.mastertheorem.Normalisation
isSingleStep(Formula) - Static method in class owl.ltl.SyntacticFragments
isSingleton() - Method in class owl.automaton.algorithm.simulations.MultiPebble
isSpec() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
isSplitQuotedStrings() - Method in class picocli.CommandLine: Deprecated.
Most applications should not change the default. The rare application that does need to split parameter values without respecting quotes should use CommandLine.Model.ParserSpec.splitQuotedStrings(boolean).
isStopAtPositional() - Method in class picocli.CommandLine: Returns whether the parser interprets the first positional parameter as "end of options" so the remaining arguments are all treated as positional parameters.
isStopAtUnmatched() - Method in class picocli.CommandLine: Returns whether the parser should stop interpreting options and positional parameters as soon as it encounters an unmatched option.
isSubcommandsCaseInsensitive() - Method in class picocli.CommandLine: Returns whether upper case and lower case should be ignored when matching subcommands.
isSubgroupOf(CommandLine.Model.ArgGroupSpec) - Method in class picocli.CommandLine.Model.ArgGroupSpec: Returns true if this group is a subgroup (or a nested sub-subgroup, to any level of depth) of the specified group, false otherwise.
isSuspendable() - Method in class owl.ltl.Formula
isSuspended() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting
isToggleBooleanFlags() - Method in class picocli.CommandLine: Returns whether the value of boolean flag options should be "toggled" when the option is matched.
isTransientScc(Set<? extends S>) - Method in class owl.automaton.algorithm.SccDecomposition: Determine if a given strongly connected component is transient.
isTrimQuotes() - Method in class picocli.CommandLine: Returns whether the parser should trim quotes from command line arguments.
isTrivialScc(BddSet) - Method in class owl.automaton.symbolic.SymbolicSccDecomposition
isTrue() - Method in class owl.logic.propositional.PropositionalFormula
isTrue() - Method in interface owl.ltl.EquivalenceClass
isUniversal(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
isUniverse() - Method in interface owl.bdd.BddSet
isUnknownOption() - Method in exception picocli.CommandLine.UnmatchedArgumentException: Returns true if the first unmatched command line arguments resembles an option, false otherwise.
isUnmatched() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
isUnmatchedArgumentsAllowed() - Method in class picocli.CommandLine: Returns whether the end user may specify arguments on the command line that are not matched to any option or parameter fields.
isUnmatchedOptionsAllowedAsOptionParameters() - Method in class picocli.CommandLine: Returns whether options can have parameter values that resemble an option, or whether such values should be rejected as unknown options.
isUnmatchedOptionsArePositionalParams() - Method in class picocli.CommandLine: Returns whether arguments on the command line that resemble an option should be treated as positional parameters.
isUnresolved() - Method in class picocli.CommandLine.Range: Returns true if this range contains a relative index like "1+", or variables that have not been expanded yet, false if this Range does not contain any variables or relative indices.
isUnsatisfiable(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
isUnspecified() - Method in class picocli.CommandLine.Range: Returns true if this Range is a default value, false if the user specified this value.
isUsageHelpAutoWidth() - Method in class picocli.CommandLine: Returns whether picocli should attempt to detect the terminal size and adjust the usage help message width to take the full terminal width.
isUsageHelpRequested() - Method in class picocli.CommandLine: Returns true if an option annotated with CommandLine.Option.usageHelp() was specified on the command line.
isUsageHelpRequested() - Method in class picocli.CommandLine.ParseResult: Returns true if one of the options that was matched on the command line is a usageHelp option.
isUseSimplifiedAtFiles() - Method in class picocli.CommandLine: Returns whether to use a simplified argument file format that is compatible with JCommander.
isValid(Automaton<S, BuchiAcceptance>) - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
isValid(S, Automaton<S, BuchiAcceptance>) - Method in class owl.automaton.algorithm.simulations.Transition
isVariable - Variable in class picocli.CommandLine.Range: Deprecated.
use CommandLine.Range.isVariable() instead
isVariable() - Method in class owl.game.output.Aig
isVariable() - Method in class picocli.CommandLine.Range: Returns true if this range has no fixed upper bound.
isVersionHelpRequested() - Method in class picocli.CommandLine: Returns true if an option annotated with CommandLine.Option.versionHelp() was specified on the command line.
isVersionHelpRequested() - Method in class picocli.CommandLine.ParseResult: Returns true if one of the options that was matched on the command line is a versionHelp option.
isWellFormedAutomaton(Automaton<S, ?>) - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
italic - picocli.CommandLine.Help.Ansi.Style
iterator() - Method in class owl.collections.HashTrieSet
iterator(int) - Method in interface owl.bdd.BddSet: Returns a Iterator<BitSet>-view of this BddSet.
iterator(BitSet) - Method in interface owl.bdd.BddSet: Returns a Iterator<BitSet>-view of this BddSet.
iterator(ImmutableBitSet) - Method in interface owl.bdd.BddSet: Returns a Iterator<BitSet>-view of this BddSet.

J

JACM_20 - Static variable in class owl.Bibliography
JACM_20_CITEKEY - Static variable in class owl.Bibliography
JACM_95 - Static variable in class owl.Bibliography
JACM_95_CITEKEY - Static variable in class owl.Bibliography
JBDD_SUPPLIER_INSTANCE - owl.bdd.jbdd.JBddSupplier
JbddIncrementalSolver - Class in owl.logic.propositional.sat
JBddSupplier - Enum in owl.bdd.jbdd
jhoafparser.extensions - package jhoafparser.extensions: Extensions and fixes for the jhoafparser library.
jj_nt - Static variable in class jhoafparser.extensions.HOAFParserCCFixed: Next token.
join(CommandLine.Help.Ansi, int, boolean, String[], StringBuilder, Object...) - Static method in class picocli.CommandLine.Help: Formats each of the specified values and appends it to the specified StringBuilder.
join(CommandLine.Help.Ansi, int, String[], StringBuilder, Object...) - Static method in class picocli.CommandLine.Help: Deprecated.
Use CommandLine.Help.join(Ansi, int, boolean, String[], StringBuilder, Object...) instead

K

kCutMask(List<BitSet>, int) - Static method in class owl.translations.nbadet.SmartSucc
kEquiv(List<BitSet>, List<BitSet>, int) - Static method in class owl.translations.nbadet.SmartSucc: Two trieMap-encoded slices are k-equiv.
keyValuesMap(String...) - Static method in class picocli.CommandLine.Model.UsageMessageSpec: Creates and returns a Map that contains an entry for each specified String that is in "key:value" format.

L

Label() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
LabelExpr() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
LabelExprAnd() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
LabelExprAtom() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
LabelledAig - Class in owl.game.output
LabelledAig() - Constructor for class owl.game.output.LabelledAig
LabelledFormula - Class in owl.ltl
LabelledFormula() - Constructor for class owl.ltl.LabelledFormula
LabelledSplit - Class in owl.ltl.robust
LabelledSplit() - Constructor for class owl.ltl.robust.LabelledSplit
language - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
language() - Method in interface owl.ltl.EquivalenceClass
language() - Method in interface owl.ltl.LtlLanguageExpressible
language() - Method in class owl.translations.ltl2ldba.AsymmetricProductState
language() - Method in class owl.translations.ltl2ldba.SymmetricProductState
language() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
language() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
LanguageAnalysis - Class in owl.ltl.algorithms
LanguageContainment - Class in owl.automaton.algorithm
LanguageEmptiness - Class in owl.automaton.algorithm
languageEquivalent(Automaton<?, ?>, Automaton<?, ?>) - Static method in class owl.automaton.algorithm.LanguageContainment
LanguageMembership - Class in owl.automaton.algorithm
last() - Method in class owl.collections.ImmutableBitSet
LatexPrintVisitor - Class in owl.ltl.visitors
LatexPrintVisitor(List<String>) - Constructor for class owl.ltl.visitors.LatexPrintVisitor
layout(CommandLine.Model.ArgSpec, CommandLine.Help.Ansi.Text[][]) - Method in class picocli.CommandLine.Help.Layout: Copies the specified text values into the correct cells in the CommandLine.Help.TextTable.
Layout(CommandLine.Help.ColorScheme, int) - Constructor for class picocli.CommandLine.Help.Layout: Constructs a Layout with the specified color scheme, a new default TextTable, the default option renderer, and the default parameter renderer.
Layout(CommandLine.Help.ColorScheme, CommandLine.Help.TextTable) - Constructor for class picocli.CommandLine.Help.Layout: Constructs a Layout with the specified color scheme, the specified TextTable, the default option renderer, and the default parameter renderer.
Layout(CommandLine.Help.ColorScheme, CommandLine.Help.TextTable, CommandLine.Help.IOptionRenderer, CommandLine.Help.IParameterRenderer) - Constructor for class picocli.CommandLine.Help.Layout: Constructs a Layout with the specified color scheme, the specified TextTable, the specified option renderer and the specified parameter renderer.
lazyBooleanExpression() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
lazyBooleanExpression() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
lazyBooleanExpression() - Method in class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
lazyBooleanExpression() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
lazyBooleanExpression() - Method in class owl.automaton.acceptance.ParityAcceptance
ldbaSplit(Automaton<S, ? extends B>) - Static method in class owl.automaton.AutomatonUtil
LDQUOTE - Static variable in class owl.grammar.LTLLexer
LDQUOTE - Static variable in class owl.grammar.LTLParser
LDQUOTE() - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
leaf(int) - Static method in class owl.game.output.Aig
leastFixpoints() - Method in class owl.translations.mastertheorem.Fixpoints
leastUpperBound(List<SyntacticFragments.FormulaClass>) - Static method in class owl.ltl.SyntacticFragments.FormulaClass
leastUpperBound(SyntacticFragments.FormulaClass) - Method in class owl.ltl.SyntacticFragments.FormulaClass
left - Variable in class owl.grammar.LTLParser.BinaryOperationContext
left() - Method in class owl.collections.Either
left() - Method in class owl.game.output.Aig
left(A) - Static method in class owl.collections.Either
LEFT - owl.collections.Either.Type
leftIsNegated() - Method in class owl.game.output.Aig
leftMostLeaf(S) - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
leftNormalized() - Method in class owl.translations.nbadet.RankedSlice: Returns copy with only leftmost occurrence of each state.
leftOperand - Variable in class owl.logic.propositional.PropositionalFormula.Biconditional
leftOperand() - Method in class owl.ltl.Biconditional
leftOperand() - Method in class owl.ltl.Formula.BinaryTemporalOperator
lessOrEquals(SyntacticFragments.FormulaClass) - Method in class owl.ltl.SyntacticFragments.FormulaClass
level() - Method in class owl.ltl.SyntacticFragments.FormulaClass
LICS_18 - Static variable in class owl.Bibliography
LICS_18_CITEKEY - Static variable in class owl.Bibliography
LICS_20 - Static variable in class owl.Bibliography
LICS_20_CITEKEY - Static variable in class owl.Bibliography
LIMIT_DETERMINISTIC - owl.automaton.Automaton.Property: An automaton is limit-deterministic if it is has (generalised) Büchi acceptance condition and every state reachable from an edge with an acceptance marking is deterministic.
LIMIT_DETERMINISTIC - owl.translations.LtlTranslationRepository.BranchingMode
LimitDeterministicGeneralizedBuchiAutomaton() - Constructor for class owl.automaton.AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton
limitSplit() - Method in class picocli.CommandLine.Model.ParserSpec: Returns true if arguments should be split first before any further processing and the number of parts resulting from the split is limited to the max arity of the argument.
limitSplit(boolean) - Method in class picocli.CommandLine.Model.ParserSpec: Sets whether arguments should be split first before any further processing.
Literal - Class in owl.ltl
LiteralMapper - Class in owl.ltl.rewriter
LiteralMapper.ShiftedLabelledFormula - Class in owl.ltl.rewriter
liveness - Variable in class owl.translations.ltl2ldba.SymmetricProductState
liveness - Variable in class owl.translations.ltl2nba.ProductState
LOCAL - picocli.CommandLine.ScopeType: The element only exists in the current command.
localToGlobal(int, SymbolicAutomaton.VariableAllocation) - Method in class owl.automaton.symbolic.SequentialVariableAllocationCombiner
localToGlobal(int, SymbolicAutomaton.VariableType) - Method in class owl.automaton.symbolic.ManualVariableAllocation
localToGlobal(int, SymbolicAutomaton.VariableType) - Method in class owl.automaton.symbolic.SequentialVariableAllocationCombiner
localToGlobal(int, SymbolicAutomaton.VariableType) - Method in interface owl.automaton.symbolic.SymbolicAutomaton.VariableAllocation
localToGlobal(BitSet, SymbolicAutomaton.VariableType) - Method in interface owl.automaton.symbolic.SymbolicAutomaton.VariableAllocation
logger - Static variable in class owl.automaton.algorithm.simulations.BuchiSimulation
longestName() - Method in class picocli.CommandLine.Model.OptionSpec: Returns the longest option name.
longOptionsMaxWidth() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the maximum usage help long options column max width to the specified value.
longOptionsMaxWidth(int) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the maximum usage help long options column max width to the specified value.
LOOKAHEAD_DIRECT_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
LOOKAHEAD_DIRECT_SIMULATION - owl.automaton.algorithm.simulations.BuchiSimulation.SimulationType
LookaheadSimulationState() - Constructor for class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
lookup(S) - Method in interface owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTreeLookup
lower(int) - Method in class owl.collections.ImmutableBitSet: Returns the greatest element in this set strictly less than the given element.
LPAREN - Static variable in class owl.grammar.LTLLexer
LPAREN - Static variable in class owl.grammar.LTLParser
LPAREN() - Method in class owl.grammar.LTLParser.NestedContext
LSQUOTE - Static variable in class owl.grammar.LTLLexer
LSQUOTE - Static variable in class owl.grammar.LTLParser
LSQUOTE() - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
LTL2DPAFunction - Class in owl.translations.ltl2dpa
LTL2DPAFunction(Set<LTL2DPAFunction.Configuration>) - Constructor for class owl.translations.ltl2dpa.LTL2DPAFunction
LTL2DPAFunction.Configuration - Enum in owl.translations.ltl2dpa
LtlfParser - Class in owl.ltl.parser
LtlfToLtlTranslator - Class in owl.ltl.parser
LtlfToLtlTranslator.LtlfToLtlVisitor - Class in owl.ltl.parser
LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor - Class in owl.ltl.parser
LtlfToLtlVisitor(Literal) - Constructor for class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
LtlLanguageExpressible - Interface in owl.ltl
LTLLexer - Class in owl.grammar
LTLLexer(CharStream) - Constructor for class owl.grammar.LTLLexer
LtlParser - Class in owl.ltl.parser
LTLParser - Class in owl.grammar
LTLParser(TokenStream) - Constructor for class owl.grammar.LTLParser
LTLParser.AndExpressionContext - Class in owl.grammar
LTLParser.AtomExpressionContext - Class in owl.grammar
LTLParser.BinaryExpressionContext - Class in owl.grammar
LTLParser.BinaryOpContext - Class in owl.grammar
LTLParser.BinaryOperationContext - Class in owl.grammar
LTLParser.BinaryUnaryContext - Class in owl.grammar
LTLParser.BoolContext - Class in owl.grammar
LTLParser.BooleanContext - Class in owl.grammar
LTLParser.DoubleQuotedVariableContext - Class in owl.grammar
LTLParser.ExpressionContext - Class in owl.grammar
LTLParser.FormulaContext - Class in owl.grammar
LTLParser.NestedContext - Class in owl.grammar
LTLParser.OrExpressionContext - Class in owl.grammar
LTLParser.SingleQuotedVariableContext - Class in owl.grammar
LTLParser.UnaryAtomContext - Class in owl.grammar
LTLParser.UnaryExpressionContext - Class in owl.grammar
LTLParser.UnaryOpContext - Class in owl.grammar
LTLParser.UnaryOperationContext - Class in owl.grammar
LTLParser.VariableContext - Class in owl.grammar
LTLParserBaseListener - Class in owl.grammar: 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.
LTLParserBaseListener() - Constructor for class owl.grammar.LTLParserBaseListener
LTLParserBaseVisitor<T> - Class in owl.grammar: 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.
LTLParserBaseVisitor() - Constructor for class owl.grammar.LTLParserBaseVisitor
LTLParserListener - Interface in owl.grammar: This interface defines a complete listener for a parse tree produced by LTLParser.
LTLParserVisitor<T> - Interface in owl.grammar: This interface defines a complete generic visitor for a parse tree produced by LTLParser.
LtlTranslationRepository - Class in owl.translations: Central repository of all implemented LTL translations.
LtlTranslationRepository.BranchingMode - Enum in owl.translations
LtlTranslationRepository.LtlToDelaTranslation - Enum in owl.translations
LtlTranslationRepository.LtlToDpaTranslation - Enum in owl.translations
LtlTranslationRepository.LtlToDraTranslation - Enum in owl.translations
LtlTranslationRepository.LtlToLdbaTranslation - Enum in owl.translations
LtlTranslationRepository.LtlToNbaTranslation - Enum in owl.translations
LtlTranslationRepository.LtlTranslation<L extends U,U extends EmersonLeiAcceptance> - Interface in owl.translations
LtlTranslationRepository.Option - Enum in owl.translations

M

main(String...) - Static method in class owl.cinterface.CInterface
main(String[]) - Static method in class owl.command.OwlCommand
makeNegative(String, CommandLine.Model.CommandSpec) - Method in interface picocli.CommandLine.INegatableOptionTransformer: Returns the negative form of the specified option name for the parser to recognize when parsing command line arguments.
makeNegative(String, CommandLine.Model.CommandSpec) - Method in class picocli.CommandLine.RegexTransformer: Returns the negative form of the specified option name for the parser to recognize when parsing command line arguments.
makeSynopsis(String, CommandLine.Model.CommandSpec) - Method in interface picocli.CommandLine.INegatableOptionTransformer: Returns the documentation string to show in the synopsis and usage help message for the specified option.
makeSynopsis(String, CommandLine.Model.CommandSpec) - Method in class picocli.CommandLine.RegexTransformer: Returns the documentation string to show in the synopsis and usage help message for the specified option.
makeSynopsisFromParts(int, CommandLine.Help.Ansi.Text, CommandLine.Help.Ansi.Text, CommandLine.Help.Ansi.Text, CommandLine.Help.Ansi.Text, CommandLine.Help.Ansi.Text) - Method in class picocli.CommandLine.Help: Concatenates the command name and the specified synopsis parts and returns a fully rendered synopsis String.
mallocCDoublePointer(long) - Static method in class owl.cinterface.UnmanagedMemory: Allocates an double array of size in the unmanaged memory.
mallocCIntPointer(long) - Static method in class owl.cinterface.UnmanagedMemory: Allocates an int array of size in the unmanaged memory.
manipulate(StoredAutomaton) - Method in class jhoafparser.extensions.ToStateAcceptanceFixed
ManualVariableAllocation - Class in owl.automaton.symbolic
map(Function<? super A, ? extends C>, Function<? super B, ? extends C>) - Method in class owl.collections.Either
map(Function<? super Set<E>, ? extends Set<? extends T>>) - Method in class owl.bdd.MtBdd
map(Function<? super T, R>) - Method in class owl.logic.propositional.PropositionalFormula.Biconditional
map(Function<? super T, R>) - Method in class owl.logic.propositional.PropositionalFormula.Conjunction
map(Function<? super T, R>) - Method in class owl.logic.propositional.PropositionalFormula.Disjunction
map(Function<? super T, R>) - Method in class owl.logic.propositional.PropositionalFormula
map(Function<? super T, R>) - Method in class owl.logic.propositional.PropositionalFormula.Negation
map(Function<? super T, R>) - Method in class owl.logic.propositional.PropositionalFormula.Variable
map(Function<Pair<BitSet, Integer>, Pair<BitSet, Integer>>) - Method in class owl.translations.nbadet.RankedSlice: This is to avoid general stream API, but still have convenience.
map(UnaryOperator<Formula>) - Method in class owl.ltl.Formula.NaryPropositionalOperator
map(UnaryOperator<Formula>) - Method in class owl.ltl.robust.LabelledSplit
map(UnaryOperator<Formula>) - Method in class owl.ltl.robust.Split
map(UnaryOperator<Formula>, boolean) - Method in class owl.ltl.robust.Split
mapAcceptance(IntUnaryOperator) - Method in class owl.automaton.edge.Edge
mapFallbackValue() - Method in class picocli.CommandLine.Model.ArgSpec: Returns the fallback value for this Map option or positional parameter: the value that is put into the Map when only the key is specified for the option or positional parameter, like -Dkey instead of -Dkey=value.
mapFallbackValue() - Method in annotation type picocli.CommandLine.Option: For options of type Map, setting the mapFallbackValue to any value allows end user to specify key-only parameters for this option.
mapFallbackValue() - Method in annotation type picocli.CommandLine.Parameters: For positional parameters of type Map, setting the mapFallbackValue to any value allows end user to specify key-only parameters for this parameter.
mapFst(Function<? super A, ? extends C>) - Method in class owl.collections.Pair
mapFst(Function<A, C>) - Method in class owl.collections.NullablePair
mapInternal(UnaryOperator<Formula>) - Method in class owl.ltl.Formula.NaryPropositionalOperator
mapping - Variable in class owl.ltl.rewriter.LiteralMapper.ShiftedLabelledFormula
mapSnd(Function<? super B, ? extends C>) - Method in class owl.collections.Pair
mapSnd(Function<B, C>) - Method in class owl.collections.NullablePair
mapSuccessor(Function<? super S, ? extends T>) - Method in class owl.automaton.edge.Edge
masterState() - Method in class owl.translations.rabinizer.RabinizerState
matchedArgs() - Method in class picocli.CommandLine.ParseResult: Returns a list of matched options and positional parameters, in order they were matched on the command line.
matchedOption(char) - Method in class picocli.CommandLine.ParseResult: Returns the option with the specified short name, or null if no option with that name was matched on the command line.
matchedOption(String) - Method in class picocli.CommandLine.ParseResult: Returns the option with the specified name, or null if no option with that name was matched on the command line.
matchedOptions() - Method in class picocli.CommandLine.ParseResult: Returns a list of matched options, in order they were matched on the command line.
matchedOptionsSet() - Method in class picocli.CommandLine.ParseResult: Returns a set of matched options.
matchedOptionValue(char, T) - Method in class picocli.CommandLine.ParseResult: Returns the command line argument value of the option with the specified name, converted to the type of the option, or the specified default value if no option with the specified name was matched.
matchedOptionValue(String, T) - Method in class picocli.CommandLine.ParseResult: Returns the command line argument value of the option with the specified name, converted to the type of the option, or the specified default value if no option with the specified name was matched.
matchedPositional(int) - Method in class picocli.CommandLine.ParseResult: Returns the first PositionalParamSpec that matched an argument at the specified position, or null if no positional parameters were matched at that position.
matchedPositionals() - Method in class picocli.CommandLine.ParseResult: Returns a list of matched positional parameters, in order they were matched on the command line.
matchedPositionals(int) - Method in class picocli.CommandLine.ParseResult: Returns all PositionalParamSpec objects that matched an argument at the specified position, or an empty list if no positional parameters were matched at that position.
matchedPositionalsSet() - Method in class picocli.CommandLine.ParseResult: Returns a set of matched positional parameters.
matchedPositionalValue(int, T) - Method in class picocli.CommandLine.ParseResult: Returns the command line argument value of the positional parameter at the specified position, converted to the type of the positional parameter, or the specified default value if no positional parameter was matched at that position.
matchedSubgroups() - Method in class picocli.CommandLine.ParseResult.GroupMatch: Returns matches for the subgroups, if any.
matchedValues(CommandLine.Model.ArgSpec) - Method in class picocli.CommandLine.ParseResult.GroupMatch: Returns the values matched for the specified argument, converted to the type of the argument.
matches() - Method in class picocli.CommandLine.ParseResult.GroupMatchContainer: Returns the list of GroupMatch instances: ArgGroupSpecs with a multiplicity greater than one may be matched multiple times.
max - Variable in class picocli.CommandLine.Range: Deprecated.
use CommandLine.Range.max() instead
max() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
max() - Method in class picocli.CommandLine.Range: Returns the upper bound of this range (inclusive), or Integer.MAX_VALUE if this range has no upper bound.
max(int) - Method in class picocli.CommandLine.Range: Returns a new Range object with the max value replaced by the specified value.
MAX_ARRAY_LENGTH - Static variable in class owl.util.ArraysSupport: The maximum length of array to allocate (unless necessary).
MAX_EVEN - owl.automaton.acceptance.ParityAcceptance.Parity
MAX_MERGE - owl.translations.nbadet.NbaDetConf.UpdateMode
MAX_ODD - owl.automaton.acceptance.ParityAcceptance.Parity
maximal(Automaton<S, BuchiAcceptance>, S, ColorRefinement.Ordering, ColorRefinement.Coloring<S>) - Static method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood: Constructs a neighborhood for a given state under a previously computed coloring and ordering consisting of only maximal NeighborTypes.
maximalElements(Collection<? extends E>, BiPredicate<? super E, ? super E>) - Static method in class owl.collections.Collections3: Computes a sub-list of elements which are maximal.
maximalModels(PropositionalFormula<V>, Set<V>) - Static method in class owl.logic.propositional.sat.Solver
maximalModels(PropositionalFormula<V>, Set<V>, Solver.Engine) - Static method in class owl.logic.propositional.sat.Solver
maxLookahead() - Method in class owl.command.AutomatonConversionCommands.NbaSimCommand
maxString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
MaxValuesExceededException(CommandLine, String) - Constructor for exception picocli.CommandLine.MaxValuesExceededException
median(int...) - Static method in class owl.util.Statistics
memoizedFlatValues(Set<E>, Set<MtBdd<E>>) - Method in class owl.bdd.MtBdd.Leaf
memoizedFlatValues(Set<E>, Set<MtBdd<E>>) - Method in class owl.bdd.MtBdd
memoizedFlatValues(Set<E>, Set<MtBdd<E>>) - Method in class owl.bdd.MtBdd.Node
memoizedInverse(BddSetFactory, Map<MtBdd<E>, Map<E, BddSet>>, IntUnaryOperator) - Method in class owl.bdd.MtBdd.Leaf
memoizedInverse(BddSetFactory, Map<MtBdd<E>, Map<E, BddSet>>, IntUnaryOperator) - Method in class owl.bdd.MtBdd
memoizedInverse(BddSetFactory, Map<MtBdd<E>, Map<E, BddSet>>, IntUnaryOperator) - Method in class owl.bdd.MtBdd.Node
memoizedMap(Function<? super Set<E>, ? extends Set<? extends T>>, Map<MtBdd<E>, MtBdd<T>>) - Method in class owl.bdd.MtBdd.Leaf
memoizedMap(Function<? super Set<E>, ? extends Set<? extends T>>, Map<MtBdd<E>, MtBdd<T>>) - Method in class owl.bdd.MtBdd
memoizedMap(Function<? super Set<E>, ? extends Set<? extends T>>, Map<MtBdd<E>, MtBdd<T>>) - Method in class owl.bdd.MtBdd.Node
memoizedValues(Set<Set<E>>, Set<MtBdd<E>>) - Method in class owl.bdd.MtBdd.Leaf
memoizedValues(Set<Set<E>>, Set<MtBdd<E>>) - Method in class owl.bdd.MtBdd
memoizedValues(Set<Set<E>>, Set<MtBdd<E>>) - Method in class owl.bdd.MtBdd.Node
memoizingAutomaton(Automaton<S, A>) - Static method in class owl.automaton.AbstractMemoizingAutomaton: Wrap any automaton into a MemoizingAutomaton to make use of the internal caching mechanism and to guarantee immutability after full exploration.
mergeBuchiTypePairs(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
mergeMode() - Method in class owl.command.AutomatonConversionCommands.Nba2DpaCommand
messages() - Method in class picocli.CommandLine.Model.ArgGroupSpec: Returns the Messages for this argument group specification, or null.
messages() - Method in class picocli.CommandLine.Model.ArgSpec: Returns the Messages for this arg specification, or null.
messages() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the Messages for this usage help message specification, or null.
messages(CommandLine.Model.Messages) - Method in class picocli.CommandLine.Model.ArgGroupSpec: Sets the Messages for this ArgGroupSpec, and returns this ArgGroupSpec.
messages(CommandLine.Model.Messages) - Method in class picocli.CommandLine.Model.ArgSpec: Sets the Messages for this ArgSpec, and returns this ArgSpec.
messages(CommandLine.Model.Messages) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the Messages for this usageMessage specification, and returns this UsageMessageSpec.
Messages(CommandLine.Model.CommandSpec, String) - Constructor for class picocli.CommandLine.Model.Messages
Messages(CommandLine.Model.CommandSpec, String, ResourceBundle) - Constructor for class picocli.CommandLine.Model.Messages
Messages(CommandLine.Model.CommandSpec, ResourceBundle) - Constructor for class picocli.CommandLine.Model.Messages
MethodParam(Method, int) - Constructor for class picocli.CommandLine.Model.MethodParam
min - Variable in class picocli.CommandLine.Range: Deprecated.
use CommandLine.Range.min() instead
min() - Method in class picocli.CommandLine.Range: Returns the lower bound of this range (inclusive).
min(int) - Method in class picocli.CommandLine.Range: Returns a new Range object with the min value replaced by the specified value.
MIN_EVEN - owl.automaton.acceptance.ParityAcceptance.Parity
MIN_ODD - owl.automaton.acceptance.ParityAcceptance.Parity
minimize(Automaton<S, ? extends CoBuchiAcceptance>) - Static method in class owl.automaton.minimization.GfgCoBuchiMinimization
minimizeEdgeImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations: Remove all Inf edges which are implied by another Inf index of the same pair.
minimizeMergePairs(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations: Merge independent pairs.
minimizeOverlap(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations: Remove edges in a Fin set from all corresponding Inf sets.
minimizePairImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations: Delete all pairs which only accept if another pair accepts.
minimizePriorities(MutableAutomaton<S, ParityAcceptance>) - Static method in class owl.automaton.acceptance.optimization.ParityAcceptanceOptimizations: This optimization simply determines all priorities used in each SCC and then tries to eliminate "gaps".
minimizeSccIrrelevant(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations: - Remove all indices from edges of an SCC which can't accept (e.g.
MissingParameterException(CommandLine, Collection<CommandLine.Model.ArgSpec>, String) - Constructor for exception picocli.CommandLine.MissingParameterException
MissingParameterException(CommandLine, CommandLine.Model.ArgSpec, String) - Constructor for exception picocli.CommandLine.MissingParameterException
MissingTypeConverterException(CommandLine, String) - Constructor for exception picocli.CommandLine.MissingTypeConverterException
MIXED - owl.logic.propositional.PropositionalFormula.Polarity
MIXEE - picocli.CommandLine.Spec.Target: Injects the CommandSpec of the "mixee" command that receives the options and other command elements defined here, or null if this commands is not mixed into another command.
mixinAnnotatedElements() - Method in class picocli.CommandLine.Model.CommandSpec: Returns a map of the mixin names to mixin IAnnotatedElement objects for this command.
mixins() - Method in class picocli.CommandLine.Model.CommandSpec: Returns a map of the mixin names to mixin CommandSpec objects configured for this command.
mixinStandardHelpOptions() - Method in annotation type picocli.CommandLine.Command: Adds the standard -h and --help usageHelp options and -V and --version versionHelp options to the options of this command.
mixinStandardHelpOptions() - Method in class picocli.CommandLine.Model.CommandSpec: Returns true if the standard help options have been mixed in with this command, false otherwise.
mixinStandardHelpOptions(boolean) - Method in class picocli.CommandLine.Model.CommandSpec: Sets whether the standard help options should be mixed in with this command.
mkFin(int) - Static method in class jhoafparser.extensions.BooleanExpressions
mkInf(int) - Static method in class jhoafparser.extensions.BooleanExpressions
model() - Method in interface owl.logic.propositional.sat.IncrementalSolver
model() - Method in class owl.logic.propositional.sat.JbddIncrementalSolver
model(ImmutableIntArray) - Static method in class owl.logic.propositional.sat.Solver: Determine if the the given conjunctiveNormalForm is satisfiable and if this is the case return a satisfying assignment.
model(ImmutableIntArray, Solver.Engine) - Static method in class owl.logic.propositional.sat.Solver
model(PropositionalFormula<V>) - Static method in class owl.logic.propositional.sat.Solver
model(PropositionalFormula<V>, Solver.Engine) - Static method in class owl.logic.propositional.sat.Solver
modelTransformer() - Method in annotation type picocli.CommandLine.Command: Returns the model transformer for this command.
modelTransformer() - Method in class picocli.CommandLine.Model.CommandSpec: Returns the model transformer for this CommandSpec instance.
modelTransformer(CommandLine.IModelTransformer) - Method in class picocli.CommandLine.Model.CommandSpec: Sets the model transformer for this CommandSpec instance.
modeNames - Static variable in class owl.grammar.LTLLexer
MonitorState - Class in owl.translations.rabinizer
MonitorState() - Constructor for class owl.translations.rabinizer.MonitorState
monitorStates() - Method in class owl.translations.rabinizer.RabinizerState
MOperator - Class in owl.ltl: Strong Release.
MOperator(Formula, Formula) - Constructor for class owl.ltl.MOperator
moveAtoB(A) - Method in class owl.automaton.AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation
moves() - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
moveTo(CDoubleVector) - Method in class owl.cinterface.CDoubleVectorBuilder
moveTo(CIntVector) - Method in class owl.cinterface.CIntVectorBuilder
MS17 - owl.translations.LtlTranslationRepository.LtlToDelaTranslation
MS17_DESCRIPTION - Static variable in enum owl.translations.LtlTranslationRepository.LtlToDelaTranslation
mSccs() - Method in class owl.translations.nbadet.NbaDetState: (remaining, unhandled) mixed SCC(s) - simple ranked slices / Safra tree(s).
msccsStates() - Method in class owl.translations.nbadet.NbaDetConfSets
MtBdd<E> - Class in owl.bdd: A multi-terminal binary decision diagram (MTBDD).
MtBdd.Leaf<E> - Class in owl.bdd
MtBdd.Node<E> - Class in owl.bdd
MtBddOperations - Class in owl.bdd: This class provides operations for MTBDDs.
MUELLER_SCHUPP - owl.translations.nbadet.NbaDetConf.UpdateMode
MultiPebble<S> - Class in owl.automaton.algorithm.simulations: Abstracts multiple pebbles controlled by Duplicator in a multipebble simulation game.
MultiPebble() - Constructor for class owl.automaton.algorithm.simulations.MultiPebble
MultipebbleSimulationState() - Constructor for class owl.automaton.algorithm.simulations.SimulationStates.MultipebbleSimulationState
multiplicity() - Method in annotation type picocli.CommandLine.ArgGroup: Determines how often this group can be specified on the command line; "0..1" (optional) by default.
multiplicity() - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Returns the multiplicity of this group: how many occurrences it may have on the command line; "0..1" (optional) by default.
multiplicity() - Method in class picocli.CommandLine.Model.ArgGroupSpec: Returns the multiplicity of this group: how many occurrences it may have on the command line; "0..1" (optional) by default.
multiplicity(String) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Sets the multiplicity of this group: how many occurrences it may have on the command line; "0..1" (optional) by default.
multiplicity(CommandLine.Range) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder: Sets the multiplicity of this group: how many occurrences it may have on the command line; "0..1" (optional) by default.
MutableAutomaton<S,A extends EmersonLeiAcceptance> - Interface in owl.automaton: A mutation interface extending Automaton.
MutableAutomatonUtil - Class in owl.automaton
MutuallyExclusiveArgsException(CommandLine, String) - Constructor for exception picocli.CommandLine.MutuallyExclusiveArgsException

N

name() - Method in class owl.automaton.acceptance.AllAcceptance
name() - Method in class owl.automaton.acceptance.BuchiAcceptance
name() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
name() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
name() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
name() - Method in class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
name() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
name() - Method in class owl.automaton.acceptance.ParityAcceptance
name() - Method in class owl.automaton.acceptance.RabinAcceptance
name() - Method in class owl.util.OwlVersion.NameAndVersion
name() - Method in annotation type picocli.CommandLine.Command: Program name to show in the synopsis.
name() - Method in annotation type picocli.CommandLine.Mixin: Optionally specify a name that the mixin object can be retrieved with from the CommandSpec.
name() - Method in class picocli.CommandLine.Model.CommandSpec: Returns name of this command.
name(String) - Method in class picocli.CommandLine.Model.CommandSpec: Sets the String to use as the program name in the synopsis line of the help message.
NameAndVersion() - Constructor for class owl.util.OwlVersion.NameAndVersion
nameExtra() - Method in class owl.automaton.acceptance.AllAcceptance
nameExtra() - Method in class owl.automaton.acceptance.BuchiAcceptance
nameExtra() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
nameExtra() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
nameExtra() - Method in class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
nameExtra() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
nameExtra() - Method in class owl.automaton.acceptance.ParityAcceptance
nameExtra() - Method in class owl.automaton.acceptance.RabinAcceptance
names() - Method in class picocli.CommandLine.Model.CommandSpec: Returns all names of this command, including CommandLine.Model.CommandSpec.name() and CommandLine.Model.CommandSpec.aliases().
names() - Method in class picocli.CommandLine.Model.OptionSpec.Builder: Returns one or more option names.
names() - Method in class picocli.CommandLine.Model.OptionSpec: Returns one or more option names.
names() - Method in annotation type picocli.CommandLine.Option: One or more option names.
names(String...) - Method in class picocli.CommandLine.Model.OptionSpec.Builder: Replaces the option names with the specified values.
Nba2DpaCommand() - Constructor for class owl.command.AutomatonConversionCommands.Nba2DpaCommand
Nba2DpaCommand(AutomatonConversionCommands.Nba2DpaCommand, NbaDetConf.UpdateMode) - Constructor for class owl.command.AutomatonConversionCommands.Nba2DpaCommand
NBA2LDBA - Class in owl.translations.nba2ldba
NBA2LDBA() - Constructor for class owl.translations.nba2ldba.NBA2LDBA
NbaAdjMat<S> - Class in owl.translations.nbadet
NbaAdjMat(Automaton<S, ? extends BuchiAcceptance>, ImmutableBiMap<S, Integer>, Set<S>, SubsumedStatesMap) - Constructor for class owl.translations.nbadet.NbaAdjMat
NbaDet - Class in owl.translations.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> - Class in owl.translations.nbadet: This is the structure containing all required information that is used in the determinization process and is obtained based on an NbaDetArgs instance.
NbaDetConf() - Constructor for class owl.translations.nbadet.NbaDetConf
NbaDetConf.UpdateMode - Enum in owl.translations.nbadet
NbaDetConfSets - Class in owl.translations.nbadet: these sets reflect the different determinisation components to be used in the DetState i.e.
NbaDetConfSets() - Constructor for class owl.translations.nbadet.NbaDetConfSets
NbaDetState<S> - Class in owl.translations.nbadet: This is the state type of the deterministic parity automaton produced by nbadet.
NbaDetState() - Constructor for class owl.translations.nbadet.NbaDetState
NbaLangInclusions - Class in owl.translations.nbadet: This class glues available algorithms that can underapprox.
NbaLangInclusions.SimType - Enum in owl.translations.nbadet: Register new simulation algorithms here.
NbaSimAlgorithm<S,T> - Interface in owl.translations.nbadet: Interface that all pluggable language inclusion / simulation algorithms should implement.
NbaSimCommand() - Constructor for class owl.command.AutomatonConversionCommands.NbaSimCommand
negatable() - Method in class picocli.CommandLine.Model.OptionSpec.Builder: Returns whether a negative version for this boolean option is automatically added.
negatable() - Method in class picocli.CommandLine.Model.OptionSpec: Returns whether a negative version for this boolean option is automatically added.
negatable() - Method in annotation type picocli.CommandLine.Option: (Only for boolean options): set this to automatically add a negative version for this boolean option.
negatable(boolean) - Method in class picocli.CommandLine.Model.OptionSpec.Builder: Sets whether a negative version for this boolean option is automatically added, and returns this builder.
negatableOptionTransformer() - Method in class picocli.CommandLine.Model.CommandSpec: Returns the INegatableOptionTransformer used to create the negative form of negatable options.
negatableOptionTransformer(CommandLine.INegatableOptionTransformer) - Method in class picocli.CommandLine.Model.CommandSpec: Sets the INegatableOptionTransformer used to create the negative form of negatable options.
negatedOptionsMap() - Method in class picocli.CommandLine.Model.CommandSpec: Returns a map of the negated option names to option spec objects configured for this command.
Negation - Class in owl.ltl
Negation(PropositionalFormula<T>) - Constructor for class owl.logic.propositional.PropositionalFormula.Negation
Negation(Formula) - Constructor for class owl.ltl.Negation
NEGATIVE - owl.logic.propositional.PropositionalFormula.Polarity
Neighborhood() - Constructor for class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood
NeighborType() - Constructor for class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
nested - Variable in class owl.grammar.LTLParser.NestedContext
NestedContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.NestedContext
NEVER - owl.ltl.robust.Robustness
NEVER - picocli.CommandLine.Help.Visibility
newLength(int, int, int) - Static method in class owl.util.ArraysSupport
NEXT - Static variable in class owl.grammar.LTLLexer
NEXT - Static variable in class owl.grammar.LTLParser
NEXT() - Method in class owl.grammar.LTLParser.UnaryOpContext
nextCoSafety - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
nnf() - Method in class owl.logic.propositional.PropositionalFormula: Construct an equivalent expression in negation normal form.
nnf() - Method in class owl.ltl.Biconditional
nnf() - Method in class owl.ltl.BooleanConstant
nnf() - Method in class owl.ltl.Conjunction
nnf() - Method in class owl.ltl.Disjunction
nnf() - Method in class owl.ltl.FOperator
nnf() - Method in class owl.ltl.Formula
nnf() - Method in class owl.ltl.GOperator
nnf() - Method in class owl.ltl.LabelledFormula
nnf() - Method in class owl.ltl.Literal
nnf() - Method in class owl.ltl.MOperator
nnf() - Method in class owl.ltl.Negation
nnf() - Method in class owl.ltl.ROperator
nnf() - Method in class owl.ltl.UOperator
nnf() - Method in class owl.ltl.WOperator
nnf() - Method in class owl.ltl.XOperator
nnf(boolean) - Method in class owl.logic.propositional.PropositionalFormula.Biconditional
nnf(boolean) - Method in class owl.logic.propositional.PropositionalFormula.Conjunction
nnf(boolean) - Method in class owl.logic.propositional.PropositionalFormula.Disjunction
nnf(boolean) - Method in class owl.logic.propositional.PropositionalFormula.Negation
nnf(boolean) - Method in class owl.logic.propositional.PropositionalFormula
nnf(boolean) - Method in class owl.logic.propositional.PropositionalFormula.Variable
NNF - owl.ltl.rewriter.SimplifierRepository
NNF - owl.ltl.SyntacticFragment
node(Aig, boolean, Aig, boolean) - Static method in class owl.game.output.Aig
node(Aig, Aig) - Static method in class owl.game.output.Aig
Node() - Constructor for class owl.game.GameViews.Node
NON_DETERMINISTIC - owl.translations.LtlTranslationRepository.BranchingMode
nonDeterministicAutomata(Factories, boolean) - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
NonDeterministicConstructions - Class in owl.translations.canonical
NonDeterministicConstructions.CoSafety - Class in owl.translations.canonical
NonDeterministicConstructions.FgSafety - Class in owl.translations.canonical
NonDeterministicConstructions.GfCoSafety - Class in owl.translations.canonical
NonDeterministicConstructions.Safety - Class in owl.translations.canonical
NonDeterministicConstructions.Tracking - Class in owl.translations.canonical
NonDeterministicConstructionsPortfolio<A extends EmersonLeiAcceptance> - Class in owl.translations.canonical
NonDeterministicConstructionsPortfolio(Class<A>) - Constructor for class owl.translations.canonical.NonDeterministicConstructionsPortfolio
NormalformDELAConstruction - Class in owl.translations.ltl2dela: A translation from LTL to deterministic Emerson-Lei automata using the \Delta_2-normalisation procedure.
NormalformDELAConstruction(OptionalInt) - Constructor for class owl.translations.ltl2dela.NormalformDELAConstruction
NormalformDELAConstruction.Construction - Class in owl.translations.ltl2dela
NormalformDELAConstruction.State - Class in owl.translations.ltl2dela
NormalformDPAConstruction - Class in owl.translations.ltl2dpa
NormalformDPAConstruction(OptionalInt) - Constructor for class owl.translations.ltl2dpa.NormalformDPAConstruction
NormalformDRAConstruction<R extends GeneralizedRabinAcceptance> - Class in owl.translations.ltl2dra
NormalForms - Class in owl.ltl.rewriter
Normalisation - Class in owl.translations.mastertheorem: Δ₂-Normalisation according to Bibliography.LICS_20 with minor tweaks skipping unnecessary rewrite steps.
Normalisation.NormalisationMethod - Enum in owl.translations.mastertheorem
not() - Method in class owl.ltl.Biconditional
not() - Method in class owl.ltl.BooleanConstant
not() - Method in class owl.ltl.Conjunction
not() - Method in class owl.ltl.Disjunction
not() - Method in interface owl.ltl.EquivalenceClass
not() - Method in class owl.ltl.FOperator
not() - Method in class owl.ltl.Formula: Syntactically negate this formula.
not() - Method in class owl.ltl.GOperator
not() - Method in class owl.ltl.LabelledFormula
not() - Method in class owl.ltl.Literal
not() - Method in class owl.ltl.MOperator
not() - Method in class owl.ltl.Negation
not() - Method in class owl.ltl.ROperator
not() - Method in class owl.ltl.UOperator
not() - Method in class owl.ltl.WOperator
not() - Method in class owl.ltl.XOperator
not(LabelledAig) - Method in class owl.game.output.AigFactory
NOT - Static variable in class owl.grammar.LTLLexer
NOT - Static variable in class owl.grammar.LTLParser
NOT() - Method in class owl.grammar.LTLParser.UnaryOpContext
notifyAbort() - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
notifyAbort() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
notifyBodyStart() - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
notifyEnd() - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
notifyEndOfState(int) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
notifyHeaderStart(String) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
notifyWarning(String) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
notWorse(List<BitSet>, List<BitSet>, int) - Static method in class owl.translations.nbadet.SmartSucc: Returns whether k-cut not worse in t1 compared to t2.
NULL_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
NULL_VALUE - Static variable in annotation type picocli.CommandLine.Option: Special value that can be used in some annotation attributes to designate null.
NULL_VALUE - Static variable in annotation type picocli.CommandLine.Parameters: Special value that can be used in some annotation attributes to designate null.
NullablePair<A,B> - Class in owl.collections
NullablePair() - Constructor for class owl.collections.NullablePair
NumberingStateEncoderFactory - Class in owl.automaton.symbolic
numberOfVariables() - Method in class owl.automaton.symbolic.ManualVariableAllocation
numberOfVariables() - Method in class owl.automaton.symbolic.SequentialVariableAllocationCombiner
numberOfVariables() - Method in interface owl.automaton.symbolic.SymbolicAutomaton.VariableAllocation

O

odd() - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
odd() - Method in class owl.automaton.algorithm.simulations.SimulationStates.MultipebbleSimulationState
of() - Static method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.Path
of() - Static method in class owl.bdd.MtBdd
of() - Static method in class owl.collections.BitSet2
of() - Static method in class owl.collections.ImmutableBitSet
of() - Static method in class owl.collections.UpwardClosedSet
of() - Static method in class owl.translations.ltl2dpa.SymbolicDPAConstruction
of(boolean) - Method in interface owl.bdd.BddSetFactory
of(boolean) - Method in interface owl.bdd.EquivalenceClassFactory
of(boolean) - Static method in class owl.ltl.BooleanConstant
of(boolean, boolean) - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
of(boolean, boolean, boolean) - Static method in class owl.translations.rabinizer.RabinizerConfiguration
of(int) - Static method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
of(int) - Static method in class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
of(int) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
of(int) - Static method in class owl.automaton.acceptance.RabinAcceptance
of(int) - Method in interface owl.bdd.BddSetFactory
of(int) - Static method in class owl.collections.BitSet2
of(int) - Static method in class owl.collections.ImmutableBitSet
of(int) - Static method in class owl.ltl.Literal
of(int...) - Static method in class owl.collections.BitSet2
of(int...) - Static method in class owl.collections.ImmutableBitSet
of(int, boolean) - Static method in class owl.ltl.Literal
of(int, int) - Static method in class owl.collections.BitSet2
of(int, E) - Static method in class owl.translations.canonical.RoundRobinState
of(int, BitSet, BddSetFactory, boolean) - Static method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
of(int, MtBdd<E>, MtBdd<E>) - Static method in class owl.bdd.MtBdd
of(A, B) - Static method in class owl.collections.NullablePair
of(A, B) - Static method in class owl.collections.Pair
of(ImmutableIntArray) - Static method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.Path
of(Class<? extends B>) - Static method in class owl.translations.ltl2ldba.SymmetricLDBAConstruction
of(Class<B>) - Static method in class owl.translations.ltl2ldba.AsymmetricLDBAConstruction
of(Class<B>) - Static method in class owl.translations.ltl2nba.SymmetricNBAConstruction
of(Class<R>, boolean) - Static method in class owl.translations.ltl2dra.NormalformDRAConstruction
of(Class<R>, boolean) - Static method in class owl.translations.ltl2dra.SymmetricDRAConstruction
of(BitSet) - Static method in class owl.collections.UpwardClosedSet
of(BitSet, int) - Method in interface owl.bdd.BddSetFactory
of(BitSet, BitSet) - Method in interface owl.bdd.BddSetFactory
of(BitSet, ImmutableBitSet) - Method in interface owl.bdd.BddSetFactory
of(Collection<? extends E>) - Static method in class owl.bdd.MtBdd
of(Collection<? extends Formula.TemporalOperator>) - Static method in class owl.translations.mastertheorem.Fixpoints
of(Collection<? extends Formula.TemporalOperator>, Collection<? extends Formula.TemporalOperator>) - Static method in class owl.translations.mastertheorem.Fixpoints
of(Collection<? extends Formula>) - Static method in class owl.ltl.Conjunction
of(Collection<? extends Formula>) - Static method in class owl.ltl.Disjunction
of(Function<S, ? extends Collection<S>>) - Static method in interface owl.automaton.SuccessorFunction
of(Predicate<S>) - Static method in class owl.automaton.Views.Filter
of(Predicate<S>, BiPredicate<S, Edge<S>>) - Static method in class owl.automaton.Views.Filter
of(List<? extends PropositionalFormula<T>>) - Static method in class owl.logic.propositional.PropositionalFormula.Conjunction
of(List<? extends PropositionalFormula<T>>) - Static method in class owl.logic.propositional.PropositionalFormula.Disjunction
of(List<String>, A) - Static method in class owl.automaton.EmptyAutomaton
of(List<String>, BddSetFactory, A) - Static method in class owl.automaton.EmptyAutomaton
of(List<String>, BddSetFactory, S, A) - Static method in class owl.automaton.SingletonAutomaton
of(List<String>, BddSetFactory, S, A, BitSet) - Static method in class owl.automaton.SingletonAutomaton
of(List<String>, BddSetFactory, S, A, Set<Integer>) - Static method in class owl.automaton.SingletonAutomaton
of(List<String>, S, A) - Static method in class owl.automaton.SingletonAutomaton
of(List<String>, S, A, BitSet) - Static method in class owl.automaton.SingletonAutomaton
of(List<String>, S, A, Set<Integer>) - Static method in class owl.automaton.SingletonAutomaton
of(List<GeneralizedRabinAcceptance.RabinPair>) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
of(List<GeneralizedRabinAcceptance.RabinPair>) - Static method in class owl.automaton.acceptance.RabinAcceptance
of(List<Pair<BitSet, Integer>>) - Static method in class owl.translations.nbadet.RankedSlice: Wraps a slice (no deep copy).
of(Map<E, PropositionalFormula<Integer>>) - Static method in class owl.bdd.MtBdd
of(Map<Integer, EquivalenceClass>) - Static method in class owl.translations.ltl2dra.SymmetricRankingState
of(Set<? extends S>, SuccessorFunction<S>) - Static method in class owl.automaton.algorithm.SccDecomposition
of(Set<ColorRefinement.NeighborType>, BddSet) - Static method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood
of(Set<S>, Predicate<S>) - Static method in class owl.automaton.Views.Filter
of(Set<S>, Set<S>) - Static method in class owl.automaton.determinization.Determinization.BreakpointState
of(Set<S>, Game.Owner) - Static method in class owl.game.algorithms.ParityGameSolver.WinningRegions
of(Stream<? extends Formula>) - Static method in class owl.ltl.Conjunction
of(Stream<? extends Formula>) - Static method in class owl.ltl.Disjunction
of(IsolateThread, ObjectHandle, LtlTranslationRepository.LtlToDpaTranslation) - Static method in class owl.cinterface.CAutomaton
of(IsolateThread, ObjectHandle, LtlTranslationRepository.LtlToDpaTranslation, int) - Static method in class owl.cinterface.CAutomaton
of(IsolateThread, ObjectHandle, LtlTranslationRepository.LtlToDpaTranslation, int, LtlTranslationRepository.Option) - Static method in class owl.cinterface.CAutomaton
of(IsolateThread, ObjectHandle, LtlTranslationRepository.LtlToDpaTranslation, int, LtlTranslationRepository.Option, LtlTranslationRepository.Option) - Static method in class owl.cinterface.CAutomaton
of(IsolateThread, ObjectHandle, LtlTranslationRepository.LtlToDpaTranslation, int, LtlTranslationRepository.Option, LtlTranslationRepository.Option, LtlTranslationRepository.Option) - Static method in class owl.cinterface.CAutomaton
of(IsolateThread, ObjectHandle, LtlTranslationRepository.LtlToDpaTranslation, int, LtlTranslationRepository.Option, LtlTranslationRepository.Option, LtlTranslationRepository.Option, LtlTranslationRepository.Option) - Static method in class owl.cinterface.CAutomaton
of(IsolateThread, ObjectHandle, LtlTranslationRepository.LtlToDpaTranslation, int, LtlTranslationRepository.Option, LtlTranslationRepository.Option, LtlTranslationRepository.Option, LtlTranslationRepository.Option, LtlTranslationRepository.Option) - Static method in class owl.cinterface.CAutomaton
of(EmersonLeiAcceptance, ImmutableBitSet, Map<S, Set<Edge<S>>>, ZielonkaTreeTransformations.AcdCache<S>) - Static method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
of(GeneralizedRabinAcceptance.RabinPair...) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
of(GeneralizedRabinAcceptance.RabinPair...) - Static method in class owl.automaton.acceptance.RabinAcceptance
of(Automaton<S, ?>) - Static method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
of(Automaton<S, ?>) - Static method in class owl.automaton.algorithm.SccDecomposition
of(Automaton<S, ?>, Set<S>, ZielonkaTreeTransformations.AcdCache<S>) - Static method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
of(Automaton<S, ? extends A>) - Static method in class owl.automaton.symbolic.SymbolicAutomaton
of(Automaton<S, ? extends A>, BddSetFactory, List<String>) - Static method in class owl.automaton.symbolic.SymbolicAutomaton
of(Automaton<S, ? extends BuchiAcceptance>) - Static method in class owl.automaton.algorithm.simulations.ColorRefinement: Computes the color refinement (i.e.
of(Automaton<S, B>, Set<S>) - Static method in class owl.automaton.AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton
of(SymbolicAutomaton<?>) - Static method in class owl.automaton.symbolic.SymbolicDRA2DPAConstruction
of(SymbolicAutomaton<?>) - Static method in class owl.automaton.symbolic.SymbolicSccDecomposition
of(Factories, Set<? extends Formula>, boolean) - Static method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
of(Factories, Set<? extends Formula>, boolean) - Static method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
of(Factories, Formula) - Static method in class owl.translations.canonical.DeterministicConstructions.CoSafety
of(Factories, Formula) - Static method in class owl.translations.canonical.DeterministicConstructions.CoSafetySafety
of(Factories, Formula) - Static method in class owl.translations.canonical.DeterministicConstructions.Safety
of(Factories, Formula) - Static method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafety
of(Factories, Formula) - Static method in class owl.translations.canonical.NonDeterministicConstructions.CoSafety
of(Factories, Formula) - Static method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
of(Factories, Formula) - Static method in class owl.translations.canonical.NonDeterministicConstructions.Safety
of(Factories, Formula, boolean, boolean) - Static method in class owl.translations.canonical.DeterministicConstructions.CoSafetySafety
of(Factories, Formula, boolean, boolean) - Static method in class owl.translations.canonical.DeterministicConstructions.CoSafetySafetyRoundRobin
of(Factories, Formula, boolean, boolean) - Static method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafety
of(Factories, Formula, boolean, boolean) - Static method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafetyRoundRobin
of(ImmutableBitSet, ImmutableBitSet) - Method in interface owl.bdd.BddSetFactory
of(AutomatonConversionCommands.Nba2DpaCommand, SccDecomposition<? extends S>, BiMap<S, Integer>) - Static method in class owl.translations.nbadet.NbaDetConfSets
of(Aig) - Static method in class owl.game.output.LabelledAig
of(Aig, boolean) - Static method in class owl.game.output.LabelledAig
of(PropositionalFormula<Integer>) - Static method in class owl.automaton.acceptance.EmersonLeiAcceptance: Find heuristically the weakest acceptance condition for the given expression and construct it.
of(PropositionalFormula<Integer>) - Method in interface owl.bdd.BddSetFactory
of(PropositionalFormula<Integer>, Map<Integer, DeterministicConstructions.BreakpointStateRejecting>, BitSet) - Static method in class owl.translations.ltl2dela.NormalformDELAConstruction.State
of(PropositionalFormula<Integer>, Map<Integer, DeterministicConstructions.BreakpointStateRejecting>, Set<Integer>) - Static method in class owl.translations.ltl2dela.NormalformDELAConstruction.State
of(PropositionalFormula<Integer>, PropositionalFormula<Integer>) - Static method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ConditionalZielonkaTree
of(PropositionalFormula<T>) - Static method in class owl.logic.propositional.PropositionalFormula.Negation
of(PropositionalFormula<T>...) - Static method in class owl.logic.propositional.PropositionalFormula.Conjunction
of(PropositionalFormula<T>...) - Static method in class owl.logic.propositional.PropositionalFormula.Disjunction
of(PropositionalFormula<T>, PropositionalFormula<T>) - Static method in class owl.logic.propositional.PropositionalFormula.Biconditional
of(EquivalenceClass) - Static method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateAccepting
of(EquivalenceClass) - Static method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateAcceptingRoundRobin
of(EquivalenceClass) - Static method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting
of(EquivalenceClass) - Static method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejectingRoundRobin
of(EquivalenceClass, EquivalenceClass) - Static method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateAccepting
of(EquivalenceClass, EquivalenceClass) - Static method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting
of(EquivalenceClass, EquivalenceClass, Set<Formula.TemporalOperator>) - Static method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateAcceptingRoundRobin
of(EquivalenceClass, EquivalenceClass, Set<Formula.TemporalOperator>) - Static method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejectingRoundRobin
of(Formula) - Method in interface owl.bdd.EquivalenceClassFactory: Create or retrieve a (propositional) equivalence class for a LTL formula.
of(Formula) - Static method in class owl.ltl.FOperator: Construct a LTL-equivalent formula for F(operand).
of(Formula) - Static method in class owl.ltl.GOperator: Construct a LTL-equivalent formula for G(operand).
of(Formula) - Static method in class owl.ltl.XOperator: Construct a LTL-equivalent formula for X(operand).
of(Formula...) - Static method in class owl.ltl.Conjunction
of(Formula...) - Static method in class owl.ltl.Disjunction
of(Formula, int) - Static method in class owl.ltl.XOperator: Construct a LTL-equivalent formula for X^n(operand).
of(Formula, List<String>) - Static method in class owl.ltl.LabelledFormula
of(Formula, Formula) - Static method in class owl.ltl.Biconditional: Construct a LTL-equivalent formula for (leftOperand)<->(rightOperand).
of(Formula, Formula) - Static method in class owl.ltl.Conjunction
of(Formula, Formula) - Static method in class owl.ltl.Disjunction
of(Formula, Formula) - Static method in class owl.ltl.MOperator: Construct a LTL-equivalent formula for (leftOperand)M(rightOperand).
of(Formula, Formula) - Static method in class owl.ltl.ROperator: Construct a LTL-equivalent formula for (leftOperand)R(rightOperand).
of(Formula, Formula) - Static method in class owl.ltl.UOperator: Construct a LTL-equivalent formula for (leftOperand)U(rightOperand).
of(Formula, Formula) - Static method in class owl.ltl.WOperator: Construct a LTL-equivalent formula for (leftOperand)W(rightOperand).
of(LabelledFormula) - Static method in class owl.translations.canonical.DeterministicConstructions.CoSafetySafetyRoundRobin
of(LabelledFormula) - Static method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafety
of(LabelledFormula) - Static method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafetyRoundRobin
of(Split, List<String>) - Static method in class owl.ltl.robust.LabelledSplit
of(SyntacticFragments.Type, int) - Static method in class owl.ltl.SyntacticFragments.FormulaClass
of(Normalisation.NormalisationMethod, boolean) - Static method in class owl.translations.mastertheorem.Normalisation
of(NbaDetConf<S>, BitSet) - Static method in class owl.translations.nbadet.NbaDetState
of(NbaDetConf<S>, Set<S>) - Static method in class owl.translations.nbadet.NbaDetState: Given a set and a configuration, create a DetState to be used as an initial state.
of(R) - Static method in class owl.translations.dra2dpa.IARState
of(R, IntPreOrder) - Static method in class owl.translations.dra2dpa.IARState
of(S) - Static method in class owl.automaton.acceptance.degeneralization.BuchiDegeneralization.IndexedState
of(S) - Static method in class owl.automaton.edge.Edge: Creates an edge which belongs to no acceptance set.
of(S, int) - Static method in class owl.automaton.acceptance.degeneralization.BuchiDegeneralization.IndexedState
of(S, int) - Static method in class owl.automaton.edge.Edge: Creates an edge which belongs to a single acceptance set.
of(S, BitSet) - Static method in class owl.automaton.edge.Edge: Creates an edge which belongs to the specified acceptance sets.
of(S, Collection<Integer>) - Static method in class owl.automaton.edge.Edge: Creates an edge which belongs to the specified acceptance sets.
of(S, ZielonkaTreeTransformations.Path) - Static method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaState
of(S, ImmutableBitSet) - Static method in class owl.automaton.edge.Edge: Creates an edge which belongs to the specified acceptance sets.
of(T) - Static method in class owl.logic.propositional.PropositionalFormula.Variable
of(T...) - Static method in class owl.logic.propositional.PropositionalFormula.Disjunction
off() - Method in interface picocli.CommandLine.Help.Ansi.IStyle: Returns the ANSI escape code for turning this style off.
off() - Method in enum picocli.CommandLine.Help.Ansi.Style
off(CommandLine.Help.Ansi.IStyle...) - Static method in enum picocli.CommandLine.Help.Ansi.Style: Returns the concatenated ANSI escape codes for turning all specified styles off.
OFF - picocli.CommandLine.Help.Ansi: Forced OFF: never emit ANSI escape code regardless of the platform.
ofGeneralized(int, int) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
ofNullable(E) - Static method in class owl.collections.Collections3
ofPartial(PropositionalFormula<Integer>) - Static method in class owl.automaton.acceptance.AllAcceptance
ofPartial(PropositionalFormula<Integer>) - Static method in class owl.automaton.acceptance.BuchiAcceptance
ofPartial(PropositionalFormula<Integer>) - Static method in class owl.automaton.acceptance.CoBuchiAcceptance
ofPartial(PropositionalFormula<Integer>) - Static method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
ofPartial(PropositionalFormula<Integer>) - Static method in class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
ofPartial(PropositionalFormula<Integer>) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
ofPartial(PropositionalFormula<Integer>) - Static method in class owl.automaton.acceptance.RabinAcceptance
OinkExecutionException(String) - Constructor for exception owl.game.algorithms.OinkGameSolver.OinkExecutionException
OinkExecutionException(String, Throwable) - Constructor for exception owl.game.algorithms.OinkGameSolver.OinkExecutionException
OinkGameSolver - Class in owl.game.algorithms
OinkGameSolver() - Constructor for class owl.game.algorithms.OinkGameSolver
OinkGameSolver.OinkExecutionException - Exception in owl.game.algorithms: Abstracts potential errors when executing oink to solve a game.
OK - Static variable in class picocli.CommandLine.ExitCode: Return value from the execute and executeHelpRequest methods signifying successful termination.
OmegaAcceptanceCast - Class in owl.automaton.acceptance: This class provides functionality to cast an automaton to an automaton with a more generic acceptance condition.
on() - Method in interface picocli.CommandLine.Help.Ansi.IStyle: Returns the ANSI escape code for turning this style on.
on() - Method in enum picocli.CommandLine.Help.Ansi.Style
on(CommandLine.Help.Ansi.IStyle...) - Static method in enum picocli.CommandLine.Help.Ansi.Style: Returns the concatenated ANSI escape codes for turning all specified styles on.
ON - picocli.CommandLine.Help.Ansi: Forced ON: always emit ANSI escape code regardless of the platform.
ON_DEMAND - picocli.CommandLine.Help.Visibility
onlyInitialStateWithRemainder(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Safety
onlyState() - Method in class owl.automaton.algorithm.simulations.MultiPebble: Utility function that just grabs the only contained state.
op - Variable in class owl.grammar.LTLParser.BinaryOperationContext
op - Variable in class owl.grammar.LTLParser.UnaryOperationContext
operand - Variable in class owl.logic.propositional.PropositionalFormula.Negation
operand() - Method in class owl.ltl.Formula.UnaryTemporalOperator
operand() - Method in class owl.ltl.Negation
operands - Variable in class owl.ltl.Formula
operatorSymbol() - Method in class owl.ltl.Conjunction
operatorSymbol() - Method in class owl.ltl.Disjunction
operatorSymbol() - Method in class owl.ltl.FOperator
operatorSymbol() - Method in class owl.ltl.Formula.NaryPropositionalOperator
operatorSymbol() - Method in class owl.ltl.Formula.TemporalOperator
operatorSymbol() - Method in class owl.ltl.GOperator
operatorSymbol() - Method in class owl.ltl.MOperator
operatorSymbol() - Method in class owl.ltl.ROperator
operatorSymbol() - Method in class owl.ltl.UOperator
operatorSymbol() - Method in class owl.ltl.WOperator
operatorSymbol() - Method in class owl.ltl.XOperator
opponent() - Method in enum owl.game.Game.Owner
optimizeInitialState(Automaton<S, A>) - Static method in class owl.automaton.AnnotatedStateOptimisation: Selects a state within the automaton as a new initial state such that the resulting automaton is smaller in size and the new initial state share the same value for AnnotatedState.state().
optionArity(Field) - Static method in class picocli.CommandLine.Range: Returns a new Range based on the CommandLine.Option.arity() annotation on the specified field, or the field type's default arity if no arity was specified.
optionList() - Method in class picocli.CommandLine.Help: Returns a description of all options in this command, including any argument groups.
optionList(CommandLine.Help.Layout, Comparator<CommandLine.Model.OptionSpec>, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help: Sorts all Options with the specified comparator (if the comparator is non-null), then adds all non-hidden options to the specified TextTable and returns the result of TextTable.toString().
optionListExcludingGroups(List<CommandLine.Model.OptionSpec>) - Method in class picocli.CommandLine.Help: Returns a description of the specified list of options.
optionListExcludingGroups(List<CommandLine.Model.OptionSpec>, CommandLine.Help.Layout, Comparator<CommandLine.Model.OptionSpec>, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help: Sorts all Options with the specified comparator (if the comparator is non-null), then adds the specified options to the specified TextTable and returns the result of TextTable.toString().
optionListGroupSections() - Method in class picocli.CommandLine.Help: Returns a rendered section of the usage help message that contains the argument groups that have a non-null heading.
optionListHeading() - Method in annotation type picocli.CommandLine.Command: Set the heading preceding the options list.
optionListHeading() - Method in class picocli.CommandLine.Model.UsageMessageSpec: Returns the optional heading preceding the options list.
optionListHeading(Object...) - Method in class picocli.CommandLine.Help: Returns the text displayed before the option list; an empty string if there are no options, otherwise the result of String.format(optionListHeading, params).
optionListHeading(String) - Method in class picocli.CommandLine.Model.UsageMessageSpec: Sets the heading preceding the options list.
optionParams(CommandLine.Help.Ansi.IStyle...) - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Adds the specified styles to the registered styles for option parameters in this color scheme builder and returns this builder.
optionParamStyles() - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Returns the registered styles for option parameters in this color scheme builder.
optionParamStyles() - Method in class picocli.CommandLine.Help.ColorScheme: Returns the registered styles for option parameters in this color scheme.
optionParamText(String) - Method in class picocli.CommandLine.Help.ColorScheme: Returns a Text with all optionParam styles applied to the specified optionParam string.
optionRenderer - Variable in class picocli.CommandLine.Help.Layout
optionRenderer() - Method in class picocli.CommandLine.Help.Layout: Returns the IOptionRenderer used to render options to Text before adding this text to the TextTable in this layout.
options() - Method in class picocli.CommandLine.Model.ArgGroupSpec: Returns the list of options configured for this group.
options() - Method in class picocli.CommandLine.Model.CommandSpec: Returns the list of options configured for this command.
options(CommandLine.Help.Ansi.IStyle...) - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Adds the specified styles to the registered styles for options in this color scheme and returns this color scheme.
optionsCaseInsensitive() - Method in class picocli.CommandLine.Model.CommandSpec: Returns whether the options are case-insensitive.
optionsCaseInsensitive(boolean) - Method in class picocli.CommandLine.Model.CommandSpec: Sets the case-insensitivity of options.
optionSectionGroups() - Method in class picocli.CommandLine.Help: Returns the list of ArgGroupSpec instances in this command that have a non-null heading, most deeply nested argument groups first.
optionsMap() - Method in class picocli.CommandLine.Model.CommandSpec: Returns a map of the option names to option spec objects configured for this command.
optionStyles() - Method in class picocli.CommandLine.Help.ColorScheme.Builder: Returns the registered styles for options in this color sche