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
addAllPositionalParameters(List<CommandLine.Model.PositionalParamSpec>, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help.Layout
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
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
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
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
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
append(CommandLine.Help.Ansi.Text) - Method in class picocli.CommandLine.Help.Ansi.Text
apply(String, List<CommandLine.Help.Ansi.IStyle>) - Method in enum picocli.CommandLine.Help.Ansi
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
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
call(C, PrintStream, String...) - Static method in class picocli.CommandLine
call(C, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine
call(C, String...) - Static method in class picocli.CommandLine
call(Class<C>, CommandLine.IFactory, PrintStream, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine
call(Class<C>, CommandLine.IFactory, PrintStream, String...) - Static method in class picocli.CommandLine
call(Class<C>, CommandLine.IFactory, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine
call(Class<C>, CommandLine.IFactory, String...) - Static method in class picocli.CommandLine
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
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
CommandLine.AbstractParseResultHandler<R> - Class in picocli
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
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
CommandLine.IExceptionHandler2<R> - Interface in picocli
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
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.
CommandLine.IParseResultHandler2<R> - Interface in picocli
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
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.
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
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
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
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
forDefaultColumns(CommandLine.Help.Ansi, int, int) - Static method in class picocli.CommandLine.Help.TextTable
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
help() - Method in class picocli.CommandLine.Model.OptionSpec
help() - Method in annotation type picocli.CommandLine.Option
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
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
invoke(String, Class<?>, PrintStream, String...) - Static method in class picocli.CommandLine
invoke(String, Class<?>, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine
invoke(String, Class<?>, String...) - Static method in class picocli.CommandLine
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.
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

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.
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.
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