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
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
orPositionalParamSpec
to the list of options and parameters that were matched on the command line. - addAlias(String, BooleanExpression<AtomLabel>) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
- addAll(Collection<Integer>) - Method in class owl.cinterface.CIntVectorBuilder
- addAllOptions(List<CommandLine.Model.OptionSpec>, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help.Layout
-
Calls
CommandLine.Help.Layout.addOption(CommandLine.Model.OptionSpec, CommandLine.Help.IParamLabelRenderer)
for all Options in the specified list. - addAllPositionalParameters(List<CommandLine.Model.PositionalParamSpec>, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help.Layout
-
Calls
CommandLine.Help.Layout.addPositionalParameter(CommandLine.Model.PositionalParamSpec, CommandLine.Help.IParamLabelRenderer)
for all positional parameters in the specified list. - addAllSubcommands(Map<String, CommandLine>) - Method in class picocli.CommandLine.Help
-
Registers all specified subcommands with this Help.
- addArg(CommandLine.Model.ArgSpec) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder
-
Adds the specified argument to the list of options and positional parameters that depend on this group.
- addArgGroup(CommandLine.Model.ArgGroupSpec) - Method in class picocli.CommandLine.Model.CommandSpec
-
Adds the specified argument group to the groups in this command.
- addComment(String) - Method in interface owl.game.output.AigConsumer
- addComment(String) - Method in class owl.game.output.AigerPrinter
- addEdge(S, BitSet, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton
-
Adds a transition from the
source
state undervaluation
. - 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 undervaluations
. - 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 theCommandLine.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 specifiedCommandLine.Model.OptionSpec
, and then calls theCommandLine.Help.Layout.layout(CommandLine.Model.ArgSpec, CommandLine.Help.Ansi.Text[][])
method to write these text values into the correct cells in the TextTable. - addOptions(List<CommandLine.Model.OptionSpec>, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help.Layout
-
Calls
CommandLine.Help.Layout.addOption(CommandLine.Model.OptionSpec, CommandLine.Help.IParamLabelRenderer)
for all non-hidden Options in the list. - addOutput(String, LabelledAig) - Method in interface owl.game.output.AigConsumer
- addOutput(String, LabelledAig) - Method in class owl.game.output.AigerPrinter
- addParentCommandElement(CommandLine.Model.IAnnotatedElement) - Method in class picocli.CommandLine.Model.CommandSpec
-
Adds the specified
{@literal @}ParentCommand
-annotated program element to the list of elements for this command. - addPattern(String, String, String) - Method in class picocli.CommandLine.RegexTransformer.Builder
-
Adds the specified negative replacement and synopsis replacement for the specified regular expression.
- addPositional(CommandLine.Model.PositionalParamSpec) - Method in class picocli.CommandLine.Model.CommandSpec
-
Adds the specified positional parameter spec to the list of configured arguments to expect.
- addPositionalParam(CommandLine.Model.PositionalParamSpec, int) - Method in class picocli.CommandLine.ParseResult.Builder
-
Adds the specified
PositionalParamSpec
to the list of parameters that were matched on the command line. - addPositionalParameter(CommandLine.Model.PositionalParamSpec, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help.Layout
-
Delegates to the
parameter renderer
of this layout to obtain text values for the specified positional parameter, and then callsCommandLine.Help.Layout.layout(CommandLine.Model.ArgSpec, CommandLine.Help.Ansi.Text[][])
to write these text values into the correct cells in the TextTable. - addPositionalParameters(List<CommandLine.Model.PositionalParamSpec>, CommandLine.Help.IParamLabelRenderer) - Method in class picocli.CommandLine.Help.Layout
-
Calls
CommandLine.Help.Layout.addPositionalParameter(CommandLine.Model.PositionalParamSpec, CommandLine.Help.IParamLabelRenderer)
for all non-hidden Parameters in the list. - addProperties(List<String>) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
- addRowValues(String...) - Method in class picocli.CommandLine.Help.TextTable
-
Delegates to
CommandLine.Help.TextTable.addRowValues(CommandLine.Help.Ansi.Text...)
, after ensuring that multi-line values are layed out in the correct row and column. - addRowValues(CommandLine.Help.Ansi.Text...) - Method in class picocli.CommandLine.Help.TextTable
- addSpecElement(CommandLine.Model.IAnnotatedElement) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder
-
Adds the specified
{@literal @}Spec
annotated program element to the list of spec elements for this group. - addSpecElement(CommandLine.Model.IAnnotatedElement) - Method in class picocli.CommandLine.Model.CommandSpec
-
Adds the specified
{@literal @}Spec
-annotated program element to the list of elements for this command. - addStartStates(List<Integer>) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
- addState(int, String, BooleanExpression<AtomLabel>, List<Integer>) - Method in class jhoafparser.extensions.HOAConsumerPrintFixed
- addState(S) - Method in class owl.automaton.HashMapAutomaton
- addState(S) - Method in interface owl.automaton.MutableAutomaton
-
Adds a
state
without outgoing edges to the set of states. - addSubcommand(Object) - Method in class picocli.CommandLine
-
Registers a subcommand with the name obtained from the
@Command(name = "...")
annotation attribute of the specified command. - addSubcommand(String, Object) - Method in class picocli.CommandLine
-
Registers a subcommand with the specified name.
- addSubcommand(String, Object) - Method in class picocli.CommandLine.Help
-
Deprecated.use
CommandLine.Help.addAllSubcommands(Map)
instead - addSubcommand(String, Object, String...) - Method in class picocli.CommandLine
-
Registers a subcommand with the specified name and all specified aliases.
- addSubcommand(String, CommandLine) - Method in class picocli.CommandLine.Model.CommandSpec
-
Adds the specified subcommand with the specified name.
- addSubcommand(String, CommandLine.Model.CommandSpec) - Method in class picocli.CommandLine.Model.CommandSpec
-
Adds the specified subcommand with the specified name.
- addSubgroup(CommandLine.Model.ArgGroupSpec) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder
-
Adds the specified group to the list of subgroups that this group is composed of.
- addUnmatched(String) - Method in class picocli.CommandLine.ParseResult.Builder
-
Adds the specified command line argument to the list of unmatched command line arguments.
- addUnmatched(Stack<String>) - Method in class picocli.CommandLine.ParseResult.Builder
-
Adds all elements of the specified command line arguments stack to the list of unmatched command line arguments.
- addUnmatchedArgsBinding(CommandLine.Model.UnmatchedArgsBinding) - Method in class picocli.CommandLine.Model.CommandSpec
-
Adds the specified
UnmatchedArgsBinding
to the list of model objects to capture unmatched arguments for this command. - adjustLineBreaksForWideCJKCharacters() - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Returns whether line breaks should take wide Chinese, Japanese and Korean characters into account for line-breaking purposes.
- adjustLineBreaksForWideCJKCharacters(boolean) - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Sets whether line breaks should take wide Chinese, Japanese and Korean characters into account, and returns this UsageMessageSpec.
- aig() - Method in class owl.game.output.LabelledAig
- Aig - Class in owl.game.output
- Aig() - Constructor for class owl.game.output.Aig
- AigConsumer - Interface in owl.game.output
- AigerPrinter - Class in owl.game.output
- AigerPrinter(boolean) - Constructor for class owl.game.output.AigerPrinter
- AigFactory - Class in owl.game.output
- AigFactory() - Constructor for class owl.game.output.AigFactory
- AigPrintable - Interface in owl.game.output
- aliases() - Method in annotation type picocli.CommandLine.Command
-
Alternative command names by which this subcommand is recognized on the command line.
- aliases() - Method in class picocli.CommandLine.Help
-
Returns the list of aliases for the command in this Help.
- aliases() - Method in class picocli.CommandLine.Model.CommandSpec
-
Returns the alias command names of this subcommand.
- aliases(String...) - Method in class picocli.CommandLine.Model.CommandSpec
-
Sets the alternative names by which this subcommand is recognized on the command line.
- AliasName() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- all() - Method in class owl.ltl.robust.Split
- all() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateAccepting
- all() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateAcceptingRoundRobin
- all() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting
- all() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejectingRoundRobin
- ALL - owl.ltl.SyntacticFragment
- AllAcceptance - Class in owl.automaton.acceptance
- allFixpointsPresent(Collection<? extends Formula.TemporalOperator>) - Method in class owl.translations.mastertheorem.Fixpoints
- allMatch(Predicate<? super Set<S>>) - Method in class owl.automaton.algorithm.SccDecomposition
-
Returns whether all strongly connected components match the provided predicate.
- allMatch(Predicate<Formula>) - Method in class owl.ltl.Formula
- allocate(int, int, int) - Method in class owl.automaton.symbolic.RangedVariableAllocator
- allocate(int, int, int) - Method in interface owl.automaton.symbolic.SymbolicAutomaton.VariableAllocator
- allOptionsNested() - Method in class picocli.CommandLine.Model.ArgGroupSpec
-
Returns all options configured for this group and all subgroups.
- allowSimplifierOnOutput() - Method in class owl.command.AutomatonConversionCommands.NbaSimCommand
- allPairs(Set<? extends A>, Set<? extends B>) - Static method in class owl.collections.Pair
- allPairs(Set<A>, Set<B>) - Static method in class owl.collections.NullablePair
- allPositionalParametersNested() - Method in class picocli.CommandLine.Model.ArgGroupSpec
-
Returns all positional parameters configured for this group and all subgroups.
- allSubcommands() - Method in class picocli.CommandLine.Help
-
Returns the map of all subcommand
Help
instances (including hidden commands) for this command Help. - allSuccessors(Automaton<S, A>, Set<S>, BitSet) - Static method in class owl.automaton.algorithm.simulations.SimulationUtil
-
Computes all successor states in an automaton for a given valuation.
- almostAlways - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
-
Corresponds to safetyAutomaton.
- alpha() - Method in class owl.automaton.acceptance.transformer.ZielonkaDag
- alpha(NormalformDELAConstruction.State) - Method in class owl.translations.ltl2dela.NormalformDELAConstruction.Construction
- AlternatingCycleDecomposition() - Constructor for class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
- always() - Method in class owl.ltl.robust.LabelledSplit
- always() - Method in class owl.ltl.robust.Split
- ALWAYS - owl.ltl.robust.Robustness
- ALWAYS - picocli.CommandLine.Help.Visibility
- and(Collection<? extends EquivalenceClass>) - Method in interface owl.bdd.EquivalenceClassFactory
- and(EquivalenceClass) - Method in interface owl.ltl.EquivalenceClass
- AND - Static variable in class owl.grammar.LTLLexer
- AND - Static variable in class owl.grammar.LTLParser
- AND() - Method in class owl.grammar.LTLParser.AndExpressionContext
- AND(int) - Method in class owl.grammar.LTLParser.AndExpressionContext
- andExit(int) - Method in class picocli.CommandLine.AbstractHandler
-
Deprecated.use
CommandLine.execute(String...)
instead, and callSystem.exit()
in the application. - andExpression() - Method in class owl.grammar.LTLParser
- andExpression() - Method in class owl.grammar.LTLParser.OrExpressionContext
- andExpression(int) - Method in class owl.grammar.LTLParser.OrExpressionContext
- AndExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.AndExpressionContext
- annotatedElement - Variable in class picocli.CommandLine.Model.ArgSpec
- AnnotatedLDBA<S,T extends LtlLanguageExpressible,B extends GeneralizedBuchiAcceptance,X,Y> - Class in owl.translations.ltl2ldba
-
Translation-specific internal representation of LDBAs.
- AnnotatedState<S> - Interface in owl.automaton
- AnnotatedStateOptimisation - Class in owl.automaton
- annotation() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- ansi() - Method in class picocli.CommandLine.AbstractHandler
-
Deprecated.use
CommandLine.AbstractHandler.colorScheme()
instead - ansi() - Method in class picocli.CommandLine.Help
-
Returns whether ANSI escape codes are enabled or not.
- ansi() - Method in class picocli.CommandLine.Help.ColorScheme
-
Returns the
Ansi
setting of this color scheme. - ansi() - Method in class picocli.CommandLine.Help.ColorScheme.Builder
-
Returns the
Ansi
setting of this color scheme builder. - ansi(CommandLine.Help.Ansi) - Method in class picocli.CommandLine.Help.ColorScheme.Builder
-
Returns the
Ansi
setting of this color scheme builder. - anyMatch(Predicate<? super Set<S>>) - Method in class owl.automaton.algorithm.SccDecomposition
-
Returns whether any strongly connected components match the provided predicate.
- anyMatch(Predicate<Formula>) - Method in class owl.ltl.Formula
- AP_COMBINED - owl.bdd.EquivalenceClassFactory.Encoding
-
Encode only temporal operators separate from their negation.
- AP_SEPARATE - owl.bdd.EquivalenceClassFactory.Encoding
-
Encode literals and temporal operators separate from their negation.
- append(String) - Method in class picocli.CommandLine.Help.Ansi.Text
-
Deprecated.use
CommandLine.Help.Ansi.Text.concat(String)
instead - append(CommandLine.Help.Ansi.Text) - Method in class picocli.CommandLine.Help.Ansi.Text
-
Deprecated.
- apply(String, List<CommandLine.Help.Ansi.IStyle>) - Method in enum picocli.CommandLine.Help.Ansi
-
Deprecated.use
CommandLine.Help.ColorScheme.apply(String, List)
instead - apply(String, List<CommandLine.Help.Ansi.IStyle>) - Method in class picocli.CommandLine.Help.ColorScheme
-
Returns a new Text object where all the specified styles are applied to the full length of the specified plain text.
- apply(Automaton<?, ?>) - Method in class owl.translations.nba2ldba.NBA2LDBA
- apply(Formula) - Static method in class owl.ltl.rewriter.PushNextThroughPropositionalVisitor
- apply(Formula) - Method in enum owl.ltl.rewriter.SimplifierRepository
- apply(Formula) - Method in interface owl.ltl.visitors.Visitor
- apply(Formula) - Method in class owl.translations.mastertheorem.Normalisation
- apply(Formula) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- apply(Formula) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- apply(Formula, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- apply(LabelledFormula) - Static method in class owl.ltl.rewriter.PushNextThroughPropositionalVisitor
- apply(LabelledFormula) - Method in enum owl.ltl.rewriter.SimplifierRepository
- apply(LabelledFormula) - Method in class owl.translations.canonical.DeterministicConstructionsPortfolio
- apply(LabelledFormula) - Method in class owl.translations.canonical.NonDeterministicConstructionsPortfolio
- apply(LabelledFormula) - Method in class owl.translations.delag.DelagBuilder
- apply(LabelledFormula) - Method in class owl.translations.ExternalTranslator
- apply(LabelledFormula) - Method in class owl.translations.ltl2dela.NormalformDELAConstruction
- apply(LabelledFormula) - Method in class owl.translations.ltl2dpa.LTL2DPAFunction
- apply(LabelledFormula) - Method in class owl.translations.ltl2dpa.NormalformDPAConstruction
- apply(LabelledFormula) - Method in class owl.translations.ltl2dpa.SymbolicDPAConstruction
- apply(LabelledFormula) - Method in class owl.translations.ltl2dra.NormalformDRAConstruction
- apply(LabelledFormula) - Method in class owl.translations.ltl2dra.SymbolicNormalformDRAConstruction
- apply(LabelledFormula) - Method in class owl.translations.ltl2dra.SymmetricDRAConstruction
- apply(LabelledFormula) - Method in class owl.translations.ltl2ldba.AsymmetricLDBAConstruction
- apply(LabelledFormula) - Method in class owl.translations.ltl2ldba.SymmetricLDBAConstruction
- apply(LabelledFormula) - Method in class owl.translations.ltl2nba.SymmetricNBAConstruction
- apply(LabelledFormula) - Method in class owl.translations.mastertheorem.Normalisation
- apply(S) - Method in interface owl.automaton.SuccessorFunction
- applyAsInt(Formula) - Method in interface owl.ltl.visitors.IntVisitor
- applyConstruction(LabelledFormula) - Method in class owl.translations.ltl2dela.NormalformDELAConstruction
- applyLDBA(Automaton<?, ?>) - Static method in class owl.translations.nba2ldba.NBA2LDBA
- applySystemProperties() - Method in class picocli.CommandLine.Help.ColorScheme.Builder
-
Replaces colors and styles in this scheme builder with ones specified in system properties, and returns this builder.
- applyWithShortcuts(LabelledFormula) - Method in class owl.translations.ltl2ldba.SymmetricLDBAConstruction
-
Construct and LDBA and remove states from initial component accepting a safety languages that have a corresponding state in the accepting component.
- argGroups() - Method in class picocli.CommandLine.Model.CommandSpec
-
Returns the argument groups in this command.
- args() - Method in class owl.translations.nbadet.NbaDetConf
- args() - Method in class picocli.CommandLine.Model.ArgGroupSpec
-
Returns the options and positional parameters in this group; may be empty but not
null
. - args() - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder
-
Returns the list of options and positional parameters that depend on this group.
- args() - Method in class picocli.CommandLine.Model.CommandSpec
-
Returns the list of all options and positional parameters configured for this command.
- arithmeticMean(int...) - Static method in class owl.util.Statistics
- arity() - Method in class picocli.CommandLine.Model.ArgSpec
-
Returns how many arguments this option or positional parameter requires.
- arity() - Method in annotation type picocli.CommandLine.Option
-
Specifies the minimum number of required parameters and the maximum number of accepted parameters.
- arity() - Method in annotation type picocli.CommandLine.Parameters
-
Specifies the minimum number of required parameters and the maximum number of accepted parameters.
- aritySatisfiedByAttachedOptionParam() - Method in class picocli.CommandLine.Model.ParserSpec
-
Returns true if options with attached arguments should not consume subsequent arguments and should not validate arity.
- aritySatisfiedByAttachedOptionParam(boolean) - Method in class picocli.CommandLine.Model.ParserSpec
-
Returns true if options with attached arguments should not consume subsequent arguments and should not validate arity.
- array - Variable in class owl.collections.IntPreOrder
- ArraysSupport - Class in owl.util
- aSccs() - Method in class owl.translations.nbadet.NbaDetState
-
stores active states + rank for acc.
- aSccsBuffer() - Method in class owl.translations.nbadet.NbaDetState
-
stores inactive states for acc.
- asccsStates() - Method in class owl.translations.nbadet.NbaDetConfSets
- asccStates() - Method in class owl.translations.nbadet.NbaDetConfSets
- asCommandLineList() - Method in class picocli.CommandLine.ParseResult
-
Returns this
ParseResult
as a list ofCommandLine
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 likeCollection
,Map
orOptional
; returns the concrete type whenCommandLine.Model.ArgSpec.type()
is an abstract class, otherwise, returns the same asCommandLine.Model.ArgSpec.type()
. - available() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood
B
- BACKWARD_SIMULATION - owl.automaton.algorithm.simulations.BuchiSimulation.SimulationType
- BackwardDirectSimulation<S> - Class in owl.automaton.algorithm.simulations
- BackwardDirectSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Constructor for class owl.automaton.algorithm.simulations.BackwardDirectSimulation
- backwardSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
- BddSet - Interface in owl.bdd
-
Symbolic representation of a
Set<BitSet>
. - BddSetFactory - Interface in owl.bdd
- beforeAnalysis(Feature.BeforeAnalysisAccess) - Method in class owl.command.OwlCommandRuntimeReflectionRegistrationFeature
- beta(NormalformDELAConstruction.State) - Method in class owl.translations.ltl2dela.NormalformDELAConstruction.Construction
- bg(String) - Static method in enum picocli.CommandLine.Help.Ansi.Style
-
Parses the specified style markup and returns the associated style.
- bg_black - picocli.CommandLine.Help.Ansi.Style
- bg_blue - picocli.CommandLine.Help.Ansi.Style
- bg_cyan - picocli.CommandLine.Help.Ansi.Style
- bg_green - picocli.CommandLine.Help.Ansi.Style
- bg_magenta - picocli.CommandLine.Help.Ansi.Style
- bg_red - picocli.CommandLine.Help.Ansi.Style
- bg_white - picocli.CommandLine.Help.Ansi.Style
- bg_yellow - picocli.CommandLine.Help.Ansi.Style
- Bibliography - Class in owl
- Bibliography.Publication - Class in owl
- Biconditional - Class in owl.ltl
-
Biconditional.
- Biconditional(Formula, Formula) - Constructor for class owl.ltl.Biconditional
- BIIMP - Static variable in class owl.grammar.LTLLexer
- BIIMP - Static variable in class owl.grammar.LTLParser
- BIIMP() - Method in class owl.grammar.LTLParser.BinaryOpContext
- binaryExpression() - Method in class owl.grammar.LTLParser.AndExpressionContext
- binaryExpression() - Method in class owl.grammar.LTLParser
- binaryExpression() - Method in class owl.grammar.LTLParser.BinaryOperationContext
- binaryExpression() - Method in class owl.grammar.LTLParser.UnaryOperationContext
- binaryExpression(int) - Method in class owl.grammar.LTLParser.AndExpressionContext
- BinaryExpressionContext() - Constructor for class owl.grammar.LTLParser.BinaryExpressionContext
- BinaryExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BinaryExpressionContext
- binaryOp() - Method in class owl.grammar.LTLParser
- binaryOp() - Method in class owl.grammar.LTLParser.BinaryOperationContext
- BinaryOpContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BinaryOpContext
- BinaryOperationContext(LTLParser.BinaryExpressionContext) - Constructor for class owl.grammar.LTLParser.BinaryOperationContext
- BinaryUnaryContext(LTLParser.BinaryExpressionContext) - Constructor for class owl.grammar.LTLParser.BinaryUnaryContext
- BinaryVisitor<P,R> - Interface in owl.ltl.visitors
- BitSet2 - Class in owl.collections
- blink - picocli.CommandLine.Help.Ansi.Style
- blockingCoSafetyFormulas(EquivalenceClass) - Static method in class owl.translations.BlockingElements
- BlockingElements - Class in owl.translations
-
Check if a language represented by an EquivalenceClass is "blocked".
- blockingSafetyFormulas(EquivalenceClass) - Static method in class owl.translations.BlockingElements
- Body() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- bold - picocli.CommandLine.Help.Ansi.Style
- bool() - Method in class owl.grammar.LTLParser
- bool() - Method in class owl.grammar.LTLParser.BooleanContext
- BoolContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BoolContext
- BooleanConstant - Class in owl.ltl
- BooleanContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.BooleanContext
- booleanExpression() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
-
Get the canonical representation as
PropositionalFormula
. - BooleanExpressions - Class in jhoafparser.extensions
- BooleanOperations - Class in owl.automaton
-
This class provides standard boolean operations (union, intersection, complementation) on automata.
- bottomSccs() - Method in class owl.automaton.algorithm.SccDecomposition
-
Return indices of all strongly connected components that are bottom.
- BreakpointState<S> - Class in owl.translations.nba2ldba
- BreakpointState() - Constructor for class owl.automaton.determinization.Determinization.BreakpointState
- BreakpointState() - Constructor for class owl.translations.nba2ldba.BreakpointState
- BreakpointStateAccepting() - Constructor for class owl.translations.canonical.DeterministicConstructions.BreakpointStateAccepting
- BreakpointStateAcceptingRoundRobin() - Constructor for class owl.translations.canonical.DeterministicConstructions.BreakpointStateAcceptingRoundRobin
- BreakpointStateRejecting() - Constructor for class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting
- BreakpointStateRejectingRoundRobin() - Constructor for class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejectingRoundRobin
- BUCHI - owl.cinterface.CAutomaton.Acceptance
- BuchiAcceptance - Class in owl.automaton.acceptance
- BuchiDegeneralization - Class in owl.automaton.acceptance.degeneralization
-
This class provides a conversion from generalised Büchi automata into Büchi automata.
- BuchiDegeneralization.IndexedState<S> - Class in owl.automaton.acceptance.degeneralization
- BuchiSimulation - Class in owl.automaton.algorithm.simulations
- BuchiSimulation() - Constructor for class owl.automaton.algorithm.simulations.BuchiSimulation
- BuchiSimulation(ParityGameSolver) - Constructor for class owl.automaton.algorithm.simulations.BuchiSimulation
- BuchiSimulation.SimulationType - Enum in owl.automaton.algorithm.simulations
- build() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
- build() - Method in class owl.automaton.acceptance.RabinAcceptance.Builder
- build() - Method in class owl.automaton.Views.Filter.Builder
- build() - Method in class owl.translations.dra2dpa.IARBuilder
- build() - Method in class picocli.CommandLine.Help.ColorScheme.Builder
-
Creates and returns a new
ColorScheme
with the values configured on this builder. - build() - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder
-
Returns a valid
ArgGroupSpec
instance. - build() - Method in class picocli.CommandLine.Model.OptionSpec.Builder
-
Returns a valid
OptionSpec
instance. - build() - Method in class picocli.CommandLine.Model.PositionalParamSpec.Builder
-
Returns a valid
PositionalParamSpec
instance. - build() - Method in class picocli.CommandLine.ParseResult.Builder
-
Creates and returns a new
ParseResult
instance for this builder's configuration. - build() - Method in class picocli.CommandLine.RegexTransformer.Builder
- build(Formula, Fixpoints, Factories) - Static method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- build(LabelledFormula, RabinizerConfiguration) - Static method in class owl.translations.rabinizer.RabinizerBuilder
- build(Fixpoints, Factories) - Static method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
-
Construct the recurring gCosafety for a G-set.
- buildEdge(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.CoSafety
- buildEdge(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Safety
- buildEdge(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.CoSafety
- buildEdge(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
- buildEdge(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.Safety
- builder() - Static method in class owl.automaton.Views.Filter
- builder() - Static method in class picocli.CommandLine.Model.ArgGroupSpec
-
Returns a new
CommandLine.Model.ArgGroupSpec.Builder
. - builder() - Static method in class picocli.CommandLine.Model.PositionalParamSpec
- builder(String[]) - Static method in class picocli.CommandLine.Model.OptionSpec
- builder(String, String...) - Static method in class picocli.CommandLine.Model.OptionSpec
- builder(CommandLine.Model.CommandSpec) - Static method in class picocli.CommandLine.ParseResult
-
Creates and returns a new
ParseResult.Builder
for the specified command spec. - builder(CommandLine.Model.IAnnotatedElement) - Static method in class picocli.CommandLine.Model.ArgGroupSpec
-
Returns a new
CommandLine.Model.ArgGroupSpec.Builder
associated with the specified annotated element. - builder(CommandLine.Model.IAnnotatedElement, CommandLine.IFactory) - Static method in class picocli.CommandLine.Model.OptionSpec
- builder(CommandLine.Model.IAnnotatedElement, CommandLine.IFactory) - Static method in class picocli.CommandLine.Model.PositionalParamSpec
- builder(CommandLine.Model.OptionSpec) - Static method in class picocli.CommandLine.Model.OptionSpec
-
Returns a Builder initialized from the specified
OptionSpec
. - builder(CommandLine.Model.PositionalParamSpec) - Static method in class picocli.CommandLine.Model.PositionalParamSpec
-
Returns a Builder initialized from the specified
PositionalSpec
. - Builder() - Constructor for class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
- Builder() - Constructor for class owl.automaton.acceptance.RabinAcceptance.Builder
- Builder() - Constructor for class owl.automaton.Views.Filter.Builder
- Builder() - Constructor for class picocli.CommandLine.Help.ColorScheme.Builder
-
Constructs an empty color scheme builder with Ansi.AUTO.
- Builder() - Constructor for class picocli.CommandLine.RegexTransformer.Builder
-
Constructs an empty builder.
- Builder(CommandLine.Help.Ansi) - Constructor for class picocli.CommandLine.Help.ColorScheme.Builder
-
Constructs an empty color scheme builder with the specified Ansi value.
- Builder(CommandLine.Help.ColorScheme) - Constructor for class picocli.CommandLine.Help.ColorScheme.Builder
-
Constructs a color scheme builder with all attributes copied from the specified color scheme.
- Builder(CommandLine.RegexTransformer) - Constructor for class picocli.CommandLine.RegexTransformer.Builder
-
Constructs a builder populated with the values from the specified RegexTransformer.
- buildFormula(Split, EnumSet<Robustness>) - Static method in enum owl.ltl.robust.Robustness
C
- calcLongOptionColumnWidth(List<CommandLine.Model.OptionSpec>, List<CommandLine.Model.PositionalParamSpec>, CommandLine.Help.ColorScheme) - Method in class picocli.CommandLine.Help
-
Returns the width of the long options column in the usage help message.
- call() - Method in class owl.command.OwlCommand
- call(C, PrintStream, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine
-
Deprecated.use
CommandLine.execute(String...)
andCommandLine.getExecutionResult()
instead - call(C, PrintStream, String...) - Static method in class picocli.CommandLine
-
Deprecated.use
CommandLine.execute(String...)
andCommandLine.getExecutionResult()
instead - call(C, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine
-
Deprecated.use
CommandLine.execute(String...)
andCommandLine.getExecutionResult()
instead - call(C, String...) - Static method in class picocli.CommandLine
-
Deprecated.use
CommandLine.execute(String...)
andCommandLine.getExecutionResult()
instead - call(Class<C>, CommandLine.IFactory, PrintStream, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine
-
Deprecated.use
CommandLine.execute(String...)
andCommandLine.getExecutionResult()
instead - call(Class<C>, CommandLine.IFactory, PrintStream, String...) - Static method in class picocli.CommandLine
-
Deprecated.use
CommandLine.execute(String...)
andCommandLine.getExecutionResult()
instead - call(Class<C>, CommandLine.IFactory, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine
-
Deprecated.use
CommandLine.execute(String...)
andCommandLine.getExecutionResult()
instead - call(Class<C>, CommandLine.IFactory, String...) - Static method in class picocli.CommandLine
-
Deprecated.use
CommandLine.execute(String...)
andCommandLine.getExecutionResult()
instead - CALL_DESTROY - Static variable in class owl.cinterface.CInterface
- canonicalRepresentativeCnf() - Method in interface owl.ltl.EquivalenceClass
-
The canonical representative for this equivalence class, which is defined as the formula representation of the
EquivalenceClass.conjunctiveNormalForm()
. - canonicalRepresentativeDnf() - Method in interface owl.ltl.EquivalenceClass
-
The canonical representative for this equivalence class, which is defined as the formula representation of the
EquivalenceClass.disjunctiveNormalForm()
. - cartesianProduct(List<? extends MtBdd<E>>) - Static method in class owl.bdd.MtBddOperations
- cartesianProduct(Map<K, ? extends MtBdd<V>>) - Static method in class owl.bdd.MtBddOperations
- cartesianProduct(Set<? extends MtBdd<E>>) - Static method in class owl.bdd.MtBddOperations
- cartesianProduct(MtBdd<L>, MtBdd<R>, BiFunction<L, R, E>) - Static method in class owl.bdd.MtBddOperations
- cartesianProductWithNull(List<? extends MtBdd<E>>) - Static method in class owl.bdd.MtBddOperations
-
This is a short-hack to fix issues that arise by empty sets in leafs.
- caseInsensitiveEnumValuesAllowed() - Method in class picocli.CommandLine.Model.ParserSpec
- caseInsensitiveEnumValuesAllowed(boolean) - Method in class picocli.CommandLine.Model.ParserSpec
- cast(Automaton<S, A>, Class<? extends B>) - Static method in class owl.automaton.acceptance.OmegaAcceptanceCast
-
Cast the given automaton to the given acceptance condition if possible.
- CAutomaton - Class in owl.cinterface
- CAutomaton.Acceptance - Enum in owl.cinterface
- CAV_16 - Static variable in class owl.Bibliography
- CAV_16_CITEKEY - Static variable in class owl.Bibliography
- CAV_18 - Static variable in class owl.Bibliography
- CAV_18_CITEKEY - Static variable in class owl.Bibliography
- CDirectives() - Constructor for class owl.cinterface.CInterface.CDirectives
- CDoubleVector - Interface in owl.cinterface
- CDoubleVectorBuilder - Class in owl.cinterface
- CDoubleVectorBuilder() - Constructor for class owl.cinterface.CDoubleVectorBuilder
- CDoubleVectorBuilder(int) - Constructor for class owl.cinterface.CDoubleVectorBuilder
- Cell(int, int) - Constructor for class picocli.CommandLine.Help.TextTable.Cell
-
Constructs a new Cell with the specified coordinates in the table.
- cellAt(int, int) - Method in class picocli.CommandLine.Help.TextTable
-
Deprecated.use
CommandLine.Help.TextTable.textAt(int, int)
instead - channelNames - Static variable in class owl.grammar.LTLLexer
- CHAR_TO_STRING - Static variable in class owl.cinterface.CInterface
- checkOinkExecutable() - Static method in class owl.game.algorithms.OinkGameSolver
- children() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
- children() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ConditionalZielonkaTree
- children() - Method in interface owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTree
- children(ImmutableBitSet) - Method in class owl.automaton.acceptance.transformer.ZielonkaDag
- choice(S, Game.Owner) - Method in interface owl.game.Game
- choice(T, Game.Owner) - Method in class owl.automaton.algorithm.simulations.SimulationGame
- CInterface - Class in owl.cinterface
- CInterface.CDirectives - Class in owl.cinterface
- CIntVector - Interface in owl.cinterface
- CIntVectorBuilder - Class in owl.cinterface
- CIntVectorBuilder() - Constructor for class owl.cinterface.CIntVectorBuilder
- CIntVectorBuilder(int) - Constructor for class owl.cinterface.CIntVectorBuilder
- CIntVectors - Class in owl.cinterface
- citeKey() - Method in interface owl.translations.LtlTranslationRepository.LtlTranslation
- CLabelledFormula - Class in owl.cinterface
- CLabelledFormula.AtomicPropositionStatus - Enum in owl.cinterface
- classes() - Method in class owl.collections.IntPreOrder
-
Returns the number of classes.
- classes() - Method in enum owl.ltl.SyntacticFragment
- classify(Formula) - Static method in class owl.ltl.SyntacticFragments.FormulaClass
- clauses - Variable in class owl.logic.propositional.ConjunctiveNormalForm
-
Clause-representation of the formula.
- clear() - Method in class owl.collections.HashTrieMap
- clear() - Method in class owl.collections.HashTrieSet
- clearCaches() - Method in interface owl.bdd.EquivalenceClassFactory
- clearExecutionResults() - Method in class picocli.CommandLine
-
Clears the execution result of a previous invocation from this
CommandLine
and all subcommands. - clone() - Method in class picocli.CommandLine.Help.Ansi.Text
- CNF - owl.cinterface.StateFeatures.TemporalOperatorsProfileNormalForm
- CO_BUCHI - owl.cinterface.CAutomaton.Acceptance
- coarsest(int) - Static method in class owl.collections.IntPreOrder
-
Returns the coarsest pre-order over the
{1,..,n}
domain, i.e. - CoBuchiAcceptance - Class in owl.automaton.acceptance
- collectErrors() - Method in class picocli.CommandLine.Model.ParserSpec
-
Returns true if exceptions during parsing should be collected instead of thrown.
- collectErrors(boolean) - Method in class picocli.CommandLine.Model.ParserSpec
-
Sets whether exceptions during parsing should be collected instead of thrown.
- Collections3 - Class in owl.collections
- ColorRefinement<S> - Class in owl.automaton.algorithm.simulations
-
Computes direct simulation relation of an automaton based on the color refinement algorithm.
- ColorRefinement.Neighborhood - Class in owl.automaton.algorithm.simulations
-
Represents the neighborhood of a state.
- ColorRefinement.NeighborType - Class in owl.automaton.algorithm.simulations
-
Represents a neighbor type consisting of color and associated valuation.
- colorScheme - Variable in class picocli.CommandLine.Help.Layout
- colorScheme() - Method in class picocli.CommandLine.AbstractHandler
-
Deprecated.Returns the ColorScheme to use.
- colorScheme() - Method in class picocli.CommandLine.Help
-
Returns the
ColorScheme
model that this Help was constructed with. - colorScheme() - Method in class picocli.CommandLine.Help.Layout
-
Returns the ColorScheme used to create Text objects in this layout.
- colour() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
- colourOffset() - Method in class owl.automaton.symbolic.SymbolicAutomaton
- colours() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
- colours() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ConditionalZielonkaTree
- colours() - Method in interface owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTree
- colours() - Method in class owl.automaton.edge.Edge
-
Colours: the acceptance sets this edge is part of.
- column - Variable in class picocli.CommandLine.Help.TextTable.Cell
-
Table column index (zero based).
- Column(int, int, CommandLine.Help.Column.Overflow) - Constructor for class picocli.CommandLine.Help.Column
- columns() - Method in class picocli.CommandLine.Help.TextTable
-
The column definitions of this table.
- columnValues - Variable in class picocli.CommandLine.Help.TextTable
-
The
char[]
slots of theTextTable
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 aCommandSpec
) 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 aCommandSpec
) and object factory. - CommandLine.AbstractHandler<R,T extends CommandLine.AbstractHandler<R,T>> - Class in picocli
-
Deprecated.
- CommandLine.AbstractParseResultHandler<R> - Class in picocli
- CommandLine.ArgGroup - Annotation Type in picocli
-
A
Command
may define one or moreArgGroups
: 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
andexecuteHelpRequest
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
- 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 customIOptionRenderer
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 theCommandLine.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
orMethod
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 theexecute
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()
andCommandLine.Command.versionProvider()
. - CommandLine.IHelpCommandInitializable - Interface in picocli
-
Deprecated.use
CommandLine.IHelpCommandInitializable2
instead - CommandLine.IHelpCommandInitializable2 - Interface in picocli
-
Help commands that provide usage help for other commands can implement this interface to be initialized with the information they need.
- CommandLine.IHelpFactory - Interface in picocli
-
Creates the
CommandLine.Help
instance used to render the usage help message. - CommandLine.IHelpSectionRenderer - Interface in picocli
-
Renders a section of the usage help message.
- CommandLine.IModelTransformer - Interface in picocli
-
Provides a way to modify how the command model is built.
- CommandLine.INegatableOptionTransformer - Interface in picocli
-
Determines the option name transformation of negatable boolean options.
- CommandLine.InitializationException - Exception in picocli
-
Exception indicating a problem during
CommandLine
initialization. - CommandLine.IParameterConsumer - Interface in picocli
-
Options or positional parameters can be assigned a
IParameterConsumer
that implements custom logic to process the parameters for this option or this position. - CommandLine.IParameterExceptionHandler - Interface in picocli
-
Classes implementing this interface know how to handle
ParameterExceptions
(usually from invalid user input). - CommandLine.IParameterPreprocessor - Interface in picocli
-
Options, positional parameters and commands can be assigned a
IParameterPreprocessor
that implements custom logic to preprocess the parameters for this option, position or command. - CommandLine.IParseResultHandler - Interface in picocli
-
Deprecated.Use
CommandLine.IExecutionStrategy
instead. - CommandLine.IParseResultHandler2<R> - Interface in picocli
-
Deprecated.use
CommandLine.IExecutionStrategy
instead, seeCommandLine.execute(String...)
- CommandLine.ITypeConverter<K> - Interface in picocli
-
When parsing command line arguments and initializing fields annotated with
@Option
or@Parameters
, String values can be converted to any type for which aITypeConverter
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 agroup
of arguments (options, positional parameters or a mixture of the two). - CommandLine.Model.ArgGroupSpec.Builder - Class in picocli
-
Builder responsible for creating valid
ArgGroupSpec
objects. - CommandLine.Model.ArgSpec - Class in picocli
-
Models the shared attributes of
CommandLine.Model.OptionSpec
andCommandLine.Model.PositionalParamSpec
. - CommandLine.Model.CommandSpec - Class in picocli
-
The
CommandSpec
class models a command specification, including the options, positional parameters and subcommands supported by the command, as well as attributes for the version help message and the usage help message of the command. - CommandLine.Model.IAnnotatedElement - Interface in picocli
-
Internal interface to allow annotation processors to construct a command model at compile time.
- CommandLine.Model.IExtensible - Interface in picocli
-
Interface to allow extending the capabilities of other interface without Java 8 default methods.
- CommandLine.Model.IGetter - Interface in picocli
-
Customizable getter for obtaining the current value of an option or positional parameter.
- CommandLine.Model.IOrdered - Interface in picocli
- 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 orProperties
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
orMethod
. - CommandLine.RunFirst - Class in picocli
-
Command line execution strategy that prints help if requested, and otherwise executes the top-level
Runnable
orCallable
command. - CommandLine.RunLast - Class in picocli
-
Command line execution strategy that prints help if requested, and otherwise executes the most specific
Runnable
orCallable
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 theCommandSpec
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
orCommandLine.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
intotarget
. - 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
- 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
- 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) toCommandLine.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) toCommandLine.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) toCommandLine.Help.Ansi.IStyle
objects in this color scheme. - customSynopsis() - Method in annotation type picocli.CommandLine.Command
-
Specify one or more custom synopsis lines to display instead of an auto-generated synopsis.
- customSynopsis() - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Returns the optional custom synopsis lines to use instead of the auto-generated synopsis.
- customSynopsis(Object...) - Method in class picocli.CommandLine.Help
-
Returns command custom synopsis as a string.
- customSynopsis(String...) - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Sets the optional custom synopsis lines to use instead of the auto-generated synopsis.
D
- dblpKey() - Method in class owl.Bibliography.Publication
- deduplicate(Set<Edge<Either<A, B>>>) - Method in class owl.automaton.AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation
- deduplicate(PropositionalFormula<S>) - Method in class owl.logic.propositional.PropositionalFormula
- deduplicate(Formula) - Static method in class owl.ltl.rewriter.DeduplicationRewriter
- DeduplicationRewriter - Class in owl.ltl.rewriter
- DEFAULT - Static variable in enum owl.translations.LtlTranslationRepository.LtlToDelaTranslation
- DEFAULT - Static variable in enum owl.translations.LtlTranslationRepository.LtlToDpaTranslation
- DEFAULT - Static variable in enum owl.translations.LtlTranslationRepository.LtlToDraTranslation
- DEFAULT - Static variable in enum owl.translations.LtlTranslationRepository.LtlToLdbaTranslation
- DEFAULT - Static variable in enum owl.translations.LtlTranslationRepository.LtlToNbaTranslation
- DEFAULT_COMMAND_NAME - Static variable in class picocli.CommandLine.Help
-
Constant String holding the default program name, value defined in
CommandLine.Model.CommandSpec.DEFAULT_COMMAND_NAME
. - DEFAULT_COMMAND_NAME - Static variable in class picocli.CommandLine.Model.CommandSpec
-
Constant String holding the default program name:
"<main class>"
. - DEFAULT_FALLBACK_VALUE - Static variable in class picocli.CommandLine.Model.OptionSpec
- DEFAULT_SEPARATOR - Static variable in class picocli.CommandLine.Help
-
Constant String holding the default string that separates options from option parameters, value defined in
CommandLine.Model.ParserSpec.DEFAULT_SEPARATOR
. - DEFAULT_USAGE_WIDTH - Static variable in class picocli.CommandLine.Model.UsageMessageSpec
-
Constant holding the default usage message width:
80
. - defaultArity(Class<?>) - Static method in class picocli.CommandLine.Range
-
Deprecated.use
CommandLine.Range.defaultArity(Field)
instead - defaultArity(Field) - Static method in class picocli.CommandLine.Range
-
Returns the default arity
Range
: for interactive options/positional parameters, this is 0; foroptions
this is 0 for booleans and 1 for other types, forparameters
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 theCommandLine constructor
. - defaultOptions() - Static method in enum owl.translations.LtlTranslationRepository.Option
- defaultSupplier() - Static method in interface owl.bdd.FactorySupplier
- defaultTranslation(Set<LtlTranslationRepository.Option>, LtlTranslationRepository.BranchingMode, Class<? extends A>) - Static method in class owl.translations.LtlTranslationRepository
- defaultTranslation(LtlTranslationRepository.BranchingMode, Class<? extends A>) - Static method in class owl.translations.LtlTranslationRepository
- defaultValue() - Method in class picocli.CommandLine.Model.ArgSpec
-
Returns the default value to assign if this option or positional parameter was not specified on the command line, before splitting and type conversion.
- defaultValue() - Method in annotation type picocli.CommandLine.Option
-
Returns the default value of this option, before splitting and type conversion.
- defaultValue() - Method in annotation type picocli.CommandLine.Parameters
-
Returns the default value of this positional parameter, before splitting and type conversion.
- defaultValue(CommandLine.Model.ArgSpec) - Method in interface picocli.CommandLine.IDefaultValueProvider
-
Returns the default value for an option or positional parameter or
null
. - defaultValue(CommandLine.Model.ArgSpec) - Method in class picocli.CommandLine.PropertiesDefaultProvider
- defaultValueProvider() - Method in annotation type picocli.CommandLine.Command
-
Class that can provide default values dynamically at runtime.
- defaultValueProvider() - Method in class picocli.CommandLine.Model.CommandSpec
-
Returns the default value provider for this command.
- defaultValueProvider(CommandLine.IDefaultValueProvider) - Method in class picocli.CommandLine.Model.CommandSpec
-
Sets default value provider for this command.
- defaultValueString() - Method in class picocli.CommandLine.Model.ArgSpec
-
Returns the default value String for the purpose of displaying it in the description, without interpolating variables.
- defaultValueString(boolean) - Method in class picocli.CommandLine.Model.ArgSpec
-
Returns the default value String displayed in the description; interpolating variables if specified.
- degeneralize(Automaton<S, ? extends GeneralizedBuchiAcceptance>) - Static method in class owl.automaton.acceptance.degeneralization.BuchiDegeneralization
-
Degeneralization procedure.
- degeneralize(Automaton<S, ? extends GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.degeneralization.RabinDegeneralization
- DegeneralizedRabinState() - Constructor for class owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState
- DelagBuilder - Class in owl.translations.delag
- DelagBuilder(Function<? super LabelledFormula, ? extends Automaton<?, ?>>) - Constructor for class owl.translations.delag.DelagBuilder
- delay(Automaton<S, A>, int) - Static method in class owl.translations.canonical.GenericConstructions
- DELAYED_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
- DELAYED_SIMULATION - owl.automaton.algorithm.simulations.BuchiSimulation.SimulationType
- delayedSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
- DELTA - owl.ltl.SyntacticFragments.Type
- DELTA_0 - Static variable in class owl.ltl.SyntacticFragments
- DELTA_1 - Static variable in class owl.ltl.SyntacticFragments
- DELTA_2 - Static variable in class owl.ltl.SyntacticFragments
- description() - Method in annotation type picocli.CommandLine.Command
-
Optional text to display between the synopsis line(s) and the list of options.
- description() - Method in class picocli.CommandLine.Model.ArgSpec
-
Returns the description of this option or positional parameter, after all variables have been rendered, including the
${DEFAULT-VALUE}
and${COMPLETION-CANDIDATES}
variables. - description() - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Returns the optional text lines to use as the description of the help message, displayed between the synopsis and the options list.
- description() - Method in annotation type picocli.CommandLine.Option
-
Description of this option, used when generating the usage documentation.
- description() - Method in annotation type picocli.CommandLine.Parameters
-
Description of the parameter(s), used when generating the usage documentation.
- description(Object...) - Method in class picocli.CommandLine.Help
-
Returns command description text as a string.
- description(String...) - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Sets the optional text lines to use as the description of the help message, displayed between the synopsis and the options list.
- descriptionHeading() - Method in annotation type picocli.CommandLine.Command
-
Set the heading preceding the description section.
- descriptionHeading() - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Returns the optional heading preceding the description section.
- descriptionHeading(Object...) - Method in class picocli.CommandLine.Help
-
Returns the text displayed before the description text; an empty string if there is no description, otherwise the result of
String.format(descriptionHeading, params)
. - descriptionHeading(String) - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Sets the heading preceding the description section.
- descriptionKey() - Method in class picocli.CommandLine.Model.ArgSpec
-
Returns the description key of this arg spec, used to get the description from a resource bundle.
- descriptionKey() - Method in annotation type picocli.CommandLine.Option
-
ResourceBundle key for this option.
- descriptionKey() - Method in annotation type picocli.CommandLine.Parameters
-
ResourceBundle key for this option.
- destroyObjectHandle(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CInterface
- detailedSynopsis(int, Comparator<CommandLine.Model.OptionSpec>, boolean) - Method in class picocli.CommandLine.Help
-
Generates a detailed synopsis message showing all options and parameters.
- detailedSynopsis(Comparator<CommandLine.Model.OptionSpec>, boolean) - Method in class picocli.CommandLine.Help
-
Deprecated.
- 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 givenvaluation
. - 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 givenvaluation
. - 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 specifiedMessages
isnull
or has anull 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 inLTLParser.binaryExpression()
. - enterBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
binaryOperation
labeled alternative inLTLParser.binaryExpression()
. - enterBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
binaryUnary
labeled alternative inLTLParser.binaryExpression()
. - enterBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
binaryUnary
labeled alternative inLTLParser.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 inLTLParser.atomExpression()
. - enterBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
boolean
labeled alternative inLTLParser.atomExpression()
. - enterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
doubleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - enterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
doubleQuotedVariable
labeled alternative inLTLParser.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 inLTLParser.atomExpression()
. - enterNested(LTLParser.NestedContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
nested
labeled alternative inLTLParser.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 inLTLParser.atomExpression()
. - enterSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
singleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - enterUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
unaryAtom
labeled alternative inLTLParser.unaryExpression()
. - enterUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
unaryAtom
labeled alternative inLTLParser.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 inLTLParser.unaryExpression()
. - enterUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
unaryOperation
labeled alternative inLTLParser.unaryExpression()
. - enterVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
variable
labeled alternative inLTLParser.atomExpression()
. - enterVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
variable
labeled alternative inLTLParser.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
istrue
, 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 inLTLParser.binaryExpression()
. - exitBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
binaryOperation
labeled alternative inLTLParser.binaryExpression()
. - exitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
binaryUnary
labeled alternative inLTLParser.binaryExpression()
. - exitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
binaryUnary
labeled alternative inLTLParser.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 inLTLParser.atomExpression()
. - exitBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
boolean
labeled alternative inLTLParser.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 callSystem.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 inLTLParser.atomExpression()
. - exitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
doubleQuotedVariable
labeled alternative inLTLParser.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 inLTLParser.atomExpression()
. - exitNested(LTLParser.NestedContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
nested
labeled alternative inLTLParser.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 inLTLParser.atomExpression()
. - exitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
singleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - exitUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
unaryAtom
labeled alternative inLTLParser.unaryExpression()
. - exitUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
unaryAtom
labeled alternative inLTLParser.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 inLTLParser.unaryExpression()
. - exitUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
unaryOperation
labeled alternative inLTLParser.unaryExpression()
. - exitVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
variable
labeled alternative inLTLParser.atomExpression()
. - exitVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
variable
labeled alternative inLTLParser.atomExpression()
. - expandAtFiles() - Method in class picocli.CommandLine.Model.ParserSpec
- expandAtFiles(boolean) - Method in class picocli.CommandLine.Model.ParserSpec
- expandedArgs() - Method in class picocli.CommandLine.ParseResult
-
Returns the command line arguments after @-files were expanded; these are the arguments that were actually parsed.
- expandedArgs(Collection<String>) - Method in class picocli.CommandLine.ParseResult.Builder
-
Sets the specified command line arguments after @-files were expanded; these are the arguments that were actually parsed.
- explorationCompleted() - Method in class owl.automaton.AbstractMemoizingAutomaton
- explorationCompleted() - Method in class owl.automaton.AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation
- explorationCompleted() - Method in class owl.translations.canonical.DeterministicConstructions.CoSafetySafetyRoundRobin
- explorationCompleted() - Method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafetyRoundRobin
- expression() - Method in class owl.grammar.LTLParser
- expression() - Method in class owl.grammar.LTLParser.FormulaContext
- expression() - Method in class owl.grammar.LTLParser.NestedContext
- ExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.ExpressionContext
- ExternalTranslator - Class in owl.translations
- ExternalTranslator(String, ExternalTranslator.InputMode) - Constructor for class owl.translations.ExternalTranslator
- ExternalTranslator(List<String>, ExternalTranslator.InputMode) - Constructor for class owl.translations.ExternalTranslator
- ExternalTranslator.InputMode - Enum in owl.translations
- extMask() - Method in class owl.translations.nbadet.NbaDetConf
- extractExitCodeGenerators(CommandLine.ParseResult) - Method in class picocli.CommandLine.AbstractParseResultHandler
-
Deprecated.
- extractExitCodeGenerators(CommandLine.ParseResult) - Method in class picocli.CommandLine.RunAll
- extractExitCodeGenerators(CommandLine.ParseResult) - Method in class picocli.CommandLine.RunFirst
- extractExitCodeGenerators(CommandLine.ParseResult) - Method in class picocli.CommandLine.RunLast
- extractFeatures(IsolateThread, ObjectHandle, CIntVector) - Static method in class owl.cinterface.CAutomaton
- extractFeatures(IsolateThread, ObjectHandle, CIntVector, CIntVector) - Static method in class owl.cinterface.CAutomaton
F
- Factories - Class in owl.bdd
- Factories(EquivalenceClassFactory, BddSetFactory) - Constructor for class owl.bdd.Factories
- factory - Variable in class owl.automaton.AbstractMemoizingAutomaton
- factory() - Method in class owl.automaton.AbstractMemoizingAutomaton
- factory() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
- factory() - Method in interface owl.automaton.Automaton
-
Returns the backing engine for the symbolic representation of edges.
- factory() - Method in class owl.automaton.HashMapAutomaton
- factory() - Method in class owl.automaton.symbolic.SymbolicAutomaton
- factory() - Method in interface owl.bdd.BddSet
- factory() - Method in interface owl.ltl.EquivalenceClass
- factory() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- FactorySupplier - Interface in owl.bdd
- faint - picocli.CommandLine.Help.Ansi.Style
- FAIR_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
- FAIR_SIMULATION - owl.automaton.algorithm.simulations.BuchiSimulation.SimulationType
- fairSimulation(Automaton<S, ? extends BuchiAcceptance>, Automaton<S, ? extends BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
- fallback() - Method in class owl.translations.delag.ProductState
- fallbackValue() - Method in class picocli.CommandLine.Model.OptionSpec.Builder
-
Returns the fallback value for this option: the value that is assigned for options with an optional parameter if the option was specified on the command line without parameter.
- fallbackValue() - Method in class picocli.CommandLine.Model.OptionSpec
-
Returns the fallback value for this option: the value that is assigned for options with an optional parameter (for example,
arity = "0..1"
) if the option was specified on the command line without parameter. - fallbackValue() - Method in annotation type picocli.CommandLine.Option
-
For options with an optional parameter (for example,
arity = "0..1"
), this value is assigned to the annotated element if the option is specified on the command line without an option parameter. - fallbackValue(String) - Method in class picocli.CommandLine.Model.OptionSpec.Builder
-
Sets the fallback value for this option: the value that is assigned for options with an optional parameter if the option was specified on the command line without parameter, and returns this builder.
- FALSE - Static variable in class owl.game.output.Aig
- FALSE - Static variable in class owl.grammar.LTLLexer
- FALSE - Static variable in class owl.grammar.LTLParser
- FALSE - Static variable in class owl.ltl.BooleanConstant
- FALSE - Static variable in class owl.ltl.robust.Split
- FALSE() - Method in class owl.grammar.LTLParser.BoolContext
- falseChild - Variable in class owl.bdd.MtBdd.Node
- falseConstant() - Static method in class owl.logic.propositional.PropositionalFormula
- fCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
- FEATURE_SEPARATOR - Static variable in class owl.cinterface.CInterface
- feedTo(AigConsumer) - Method in interface owl.game.Game
- feedTo(AigConsumer) - Method in interface owl.game.output.AigPrintable
- fg(String) - Static method in enum picocli.CommandLine.Help.Ansi.Style
-
Parses the specified style markup and returns the associated style.
- fg_black - picocli.CommandLine.Help.Ansi.Style
- fg_blue - picocli.CommandLine.Help.Ansi.Style
- fg_cyan - picocli.CommandLine.Help.Ansi.Style
- fg_green - picocli.CommandLine.Help.Ansi.Style
- fg_magenta - picocli.CommandLine.Help.Ansi.Style
- fg_red - picocli.CommandLine.Help.Ansi.Style
- fg_white - picocli.CommandLine.Help.Ansi.Style
- fg_yellow - picocli.CommandLine.Help.Ansi.Style
- FGMU - owl.ltl.SyntacticFragment
- fgSafety(LabelledFormula) - Static method in class owl.translations.canonical.NonDeterministicConstructionsPortfolio
- fgSafety(LabelledFormula, boolean) - Static method in class owl.translations.canonical.DeterministicConstructionsPortfolio
- FGX - owl.ltl.SyntacticFragment
- filter(IntPredicate) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- filter(Automaton<S, ?>, Set<S>) - Static method in interface owl.automaton.SuccessorFunction
- filter(Automaton<S, ?>, Set<S>, Predicate<? super Edge<S>>) - Static method in interface owl.automaton.SuccessorFunction
- filter(Game<S, A>, Predicate<S>) - Static method in class owl.game.GameViews
- filter(Game<S, A>, Predicate<S>, Predicate<Edge<S>>) - Static method in class owl.game.GameViews
- Filter() - Constructor for class owl.automaton.Views.Filter
- filtered(Automaton<S, A>, Views.Filter<S>) - Static method in class owl.automaton.Views
-
Create a filtered view on the passed automaton.
- filterExternalIncl(Set<? extends Pair<S, S>>, SccDecomposition<? super S>, BiMap<S, Integer>) - Static method in class owl.translations.nbadet.NbaDetConf
- filterInternalIncl(Set<? extends Pair<S, S>>, SccDecomposition<? super S>) - Static method in class owl.translations.nbadet.NbaDetConf
- FINALLY - Static variable in class owl.grammar.LTLLexer
- FINALLY - Static variable in class owl.grammar.LTLParser
- FINALLY() - Method in class owl.grammar.LTLParser.UnaryOpContext
- findMatches(CommandLine.Model.ArgGroupSpec) - Method in class picocli.CommandLine.ParseResult
-
Returns the matches for the specified argument group.
- findOption(char) - Method in class picocli.CommandLine.Model.CommandSpec
-
Returns the option with the specified short name, or
null
if no option with that name is defined for this command. - findOption(String) - Method in class picocli.CommandLine.Model.CommandSpec
-
Returns the option with the specified name, or
null
if no option with that name is defined for this command. - findPartialAssignment(PropositionalFormula<K>, PropositionalFormula<K>) - Static method in class owl.translations.ltl2dela.PropositionalFormulaHelper
- finerOrEqual(NbaDetState<S>) - Method in class owl.translations.nbadet.NbaDetState
-
Check finerOrEqual component-wise, assuming same configuration.
- finerOrEqual(RankedSlice, RankedSlice) - Static method in class owl.translations.nbadet.SmartSucc
-
Returns true if second slice is a neighbor-merged version of the first, ignoring ranks.
- finest(int) - Static method in class owl.collections.IntPreOrder
-
Returns a finest pre-order over the
{1,..,n}
domain, i.e. - finished() - Method in class owl.translations.delag.ProductState
- finSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- first() - Method in class owl.collections.ImmutableBitSet
- fixpoints - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- fixpoints - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- fixpoints() - Method in class owl.translations.mastertheorem.Fixpoints
- Fixpoints - Class in owl.translations.mastertheorem
- Fixpoints() - Constructor for class owl.translations.mastertheorem.Fixpoints
- flag() - Method in class owl.automaton.algorithm.simulations.MultiPebble
-
Computes the 'combined' flag of a multipebble.
- flag() - Method in class owl.automaton.algorithm.simulations.Pebble
- flag() - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
- flatValues() - Method in class owl.bdd.MtBdd
-
Collect all values in a single set.
- flatValues() - Method in class owl.bdd.MtBdd.Leaf
- flip() - Method in class owl.game.output.LabelledAig
- flipEven() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- flipMax() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- FMSD_16 - Static variable in class owl.Bibliography
- FMSD_16_CITEKEY - Static variable in class owl.Bibliography
- footer() - Method in annotation type picocli.CommandLine.Command
-
Optional text to display after the list of options.
- footer() - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Returns the optional footer text lines displayed at the bottom of the help message.
- footer(Object...) - Method in class picocli.CommandLine.Help
-
Returns command footer text as a string.
- footer(String...) - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Sets the optional footer text lines displayed at the bottom of the help message.
- footerHeading() - Method in annotation type picocli.CommandLine.Command
-
Set the heading preceding the footer section.
- footerHeading() - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Returns the optional heading preceding the footer section.
- footerHeading(Object...) - Method in class picocli.CommandLine.Help
-
Returns the text displayed before the footer text; the result of
String.format(footerHeading, params)
. - footerHeading(String) - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Sets the optional heading preceding the footer section.
- FOperator - Class in owl.ltl
-
Finally.
- FOperator(Formula) - Constructor for class owl.ltl.FOperator
- forAnnotatedObject(Object) - Static method in class picocli.CommandLine.Model.CommandSpec
-
Creates and returns a new
CommandSpec
initialized from the specified associated user object. - forAnnotatedObject(Object, CommandLine.IFactory) - Static method in class picocli.CommandLine.Model.CommandSpec
-
Creates and returns a new
CommandSpec
initialized from the specified associated user object. - forAnnotatedObjectLenient(Object) - Static method in class picocli.CommandLine.Model.CommandSpec
-
Creates and returns a new
CommandSpec
initialized from the specified associated user object. - forAnnotatedObjectLenient(Object, CommandLine.IFactory) - Static method in class picocli.CommandLine.Model.CommandSpec
-
Creates and returns a new
CommandSpec
initialized from the specified associated user object. - forColumns(CommandLine.Help.Ansi, CommandLine.Help.Column...) - Static method in class picocli.CommandLine.Help.TextTable
-
Deprecated.
- forColumns(CommandLine.Help.ColorScheme, CommandLine.Help.Column...) - Static method in class picocli.CommandLine.Help.TextTable
-
Constructs a
TextTable
with the specified columns. - forColumnWidths(CommandLine.Help.Ansi, int...) - Static method in class picocli.CommandLine.Help.TextTable
-
Deprecated.
- forColumnWidths(CommandLine.Help.ColorScheme, int...) - Static method in class picocli.CommandLine.Help.TextTable
-
Constructs a new TextTable with columns with the specified width, all SPANning multiple columns on overflow except the last column which WRAPS to the next row.
- forDefaultColumns(CommandLine.Help.Ansi, int) - Static method in class picocli.CommandLine.Help.TextTable
-
Deprecated.
- forDefaultColumns(CommandLine.Help.Ansi, int, int) - Static method in class picocli.CommandLine.Help.TextTable
-
Deprecated.
- 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 consumesString[]
objects. - forStringCollectionSupplier(CommandLine.Model.IGetter) - Static method in class picocli.CommandLine.Model.UnmatchedArgsBinding
-
Creates a
UnmatchedArgsBinding
for a getter that produces aCollection<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 thisCommandLine
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
orMethod
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 objectMethod
after parsing the user input, ornull
if this command has not been executed or if thisCommandLine
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 theIHelpFactory
with theCommandSpec
andColorScheme
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 thePrintStream
. - 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 thePrintStream
. - 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 thePrintStream
. - 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 containerGroupMatchContainer
of this match. - group() - Method in class picocli.CommandLine.ParseResult.GroupMatchContainer
-
Returns the
ArgGroupSpec
whose matches are captured in thisGroupMatchContainer
. - 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
orCallable
. - handle(CommandLine.ParseResult) - Method in class picocli.CommandLine.RunFirst
-
Executes the top-level
Runnable
orCallable
subcommand. - handle(CommandLine.ParseResult) - Method in class picocli.CommandLine.RunLast
-
Executes the most specific
Runnable
orCallable
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 theRunnable
orCallable
command and returns an exit code suitable for returning fromCommandLine.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 theRunnable
orCallable
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 fromCommandLine.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
orMethod
. - handleParseResult(List<CommandLine>, PrintStream, CommandLine.Help.Ansi) - Method in class picocli.CommandLine.RunFirst
-
Prints help if requested, and otherwise executes the top-level
Runnable
orCallable
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
orCallable
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 withCommandLine.AbstractHandler.andExit(int)
, orfalse
(the default) if the handler should not callSystem.exit(int)
after processing completes. - hashCode() - Method in class owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState
- hashCode() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
- hashCode() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- hashCode() - Method in class owl.automaton.acceptance.ParityAcceptance
- hashCode() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
- hashCode() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ConditionalZielonkaTree
- hashCode() - Method in class owl.automaton.UltimatelyPeriodicWord
- hashCode() - Method in class owl.bdd.MtBdd.Leaf
- hashCode() - Method in class owl.bdd.MtBdd.Node
- hashCode() - Method in class owl.collections.IntPreOrder
- hashCode() - Method in class owl.game.GameViews.Node
- hashCode() - Method in class owl.logic.propositional.ConjunctiveNormalForm
- hashCode() - Method in class owl.logic.propositional.PropositionalFormula.Biconditional
- hashCode() - Method in class owl.logic.propositional.PropositionalFormula.Conjunction
- hashCode() - Method in class owl.logic.propositional.PropositionalFormula.Disjunction
- hashCode() - Method in class owl.logic.propositional.PropositionalFormula.Negation
- hashCode() - Method in class owl.logic.propositional.PropositionalFormula.Variable
- hashCode() - Method in class owl.ltl.Formula
- hashCode() - Method in class owl.translations.delag.ProductState
- hashCode() - Method in class owl.translations.delag.State
- hashCode() - Method in class owl.translations.dra2dpa.IARState
- hashCode() - Method in class owl.translations.ltl2dpa.AsymmetricRankingState
- hashCode() - Method in class owl.translations.ltl2dpa.SymmetricRankingState
- hashCode() - Method in class owl.translations.ltl2dra.SymmetricRankingState
- hashCode() - Method in class owl.translations.ltl2ldba.AsymmetricProductState
- hashCode() - Method in class owl.translations.ltl2ldba.SymmetricProductState
- hashCode() - Method in class owl.translations.ltl2nba.ProductState
- hashCode() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- hashCode() - Method in class owl.translations.mastertheorem.Fixpoints
- hashCode() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- hashCode() - Method in class owl.translations.nba2ldba.BreakpointState
- hashCode() - Method in class owl.translations.rabinizer.MonitorState
- hashCode() - Method in class owl.translations.rabinizer.RabinizerState
- hashCode() - Method in class picocli.CommandLine.Help.Ansi.Text
- hashCode() - Method in class picocli.CommandLine.Help.ColorScheme
- hashCode() - Method in class picocli.CommandLine.Help.Column
- hashCode() - Method in class picocli.CommandLine.Model.ArgGroupSpec
- hashCode() - Method in class picocli.CommandLine.Model.OptionSpec
- hashCode() - Method in class picocli.CommandLine.Model.PositionalParamSpec
- hashCode() - Method in class picocli.CommandLine.Range
- hashCodeImpl() - Method in class picocli.CommandLine.Model.ArgSpec
- HashMapAutomaton<S,A extends EmersonLeiAcceptance> - Class in owl.automaton
- HashTrieMap<K,V> - Class in owl.collections
-
A TrieMap is a Map with sequences as keys that are organized in a Trie for value retrieval.
- HashTrieMap() - Constructor for class owl.collections.HashTrieMap
- HashTrieSet<E> - Class in owl.collections
-
A TrieMap is a Map with sequences as keys that are organized in a Trie for value retrieval.
- HashTrieSet() - Constructor for class owl.collections.HashTrieSet
- HashTrieSet(Collection<? extends List<E>>) - Constructor for class owl.collections.HashTrieSet
- hasInfSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- hasInitialValue() - Method in class picocli.CommandLine.Model.ArgSpec
-
Determines whether the option or positional parameter will be reset to the
CommandLine.Model.ArgSpec.initialValue()
before parsing new input. - hasInitialValue() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
- hasMatchedOption(char) - Method in class picocli.CommandLine.ParseResult
-
Returns whether an option whose aliases include the specified short name was matched on the command line.
- hasMatchedOption(String) - Method in class picocli.CommandLine.ParseResult
-
Returns whether an option whose aliases include the specified name was matched on the command line.
- hasMatchedOption(CommandLine.Model.OptionSpec) - Method in class picocli.CommandLine.ParseResult
-
Returns whether the specified option was matched on the command line.
- hasMatchedPositional(int) - Method in class picocli.CommandLine.ParseResult
-
Returns whether a positional parameter was matched at the specified position.
- hasMatchedPositional(CommandLine.Model.PositionalParamSpec) - Method in class picocli.CommandLine.ParseResult
-
Returns whether the specified positional parameter was matched on the command line.
- hasSubcommand() - Method in class picocli.CommandLine.ParseResult
-
Returns
true
if a subcommand was matched on the command line,false
otherwise. - header() - Method in annotation type picocli.CommandLine.Command
-
Optional summary description of the command, shown before the synopsis.
- header() - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Returns the optional header lines displayed at the top of the help message.
- header(Object...) - Method in class picocli.CommandLine.Help
-
Returns the command header text as a string.
- header(String...) - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Sets the optional header lines displayed at the top of the help message.
- Header() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- headerHeading() - Method in annotation type picocli.CommandLine.Command
-
Set the heading preceding the header section.
- headerHeading() - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Returns the optional heading preceding the header section.
- headerHeading(Object...) - Method in class picocli.CommandLine.Help
-
Returns the text displayed before the header text; the result of
String.format(headerHeading, params)
. - headerHeading(String) - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Sets the heading preceding the header section.
- HeaderItem() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- HeaderItemAcceptance() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- HeaderItemAccName() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- HeaderItemAlias() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- HeaderItemAP() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- HeaderItemMisc() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- HeaderItemName() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- HeaderItemProperties() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- HeaderItemStart() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- HeaderItemStates() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- HeaderItemTool() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- HeaderName() - Static method in class jhoafparser.extensions.HOAFParserCCFixed
- heading() - Method in annotation type picocli.CommandLine.ArgGroup
-
The heading of this group, used when generating the usage documentation.
- heading() - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder
-
Returns the heading of this group, used when generating the usage documentation.
- heading() - Method in class picocli.CommandLine.Model.ArgGroupSpec
-
Returns the heading of this group (may be
null
), used when generating the usage documentation. - heading(String) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder
-
Sets the heading of this group (may be
null
), used when generating the usage documentation. - headingKey() - Method in annotation type picocli.CommandLine.ArgGroup
-
ResourceBundle key for this group's usage help message section heading.
- headingKey() - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder
-
Returns the heading key of this group, used to get the heading from a resource bundle.
- headingKey() - Method in class picocli.CommandLine.Model.ArgGroupSpec
-
Returns the heading key of this group (may be
null
), used to get the heading from a resource bundle. - headingKey(String) - Method in class picocli.CommandLine.Model.ArgGroupSpec.Builder
-
Sets the heading key of this group, used to get the heading from a resource bundle.
- height() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.AlternatingCycleDecomposition
- height() - Method in class owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ConditionalZielonkaTree
- height() - Method in interface owl.automaton.acceptance.transformer.ZielonkaTreeTransformations.ZielonkaTree
- height() - Method in class owl.logic.propositional.PropositionalFormula.Biconditional
- height() - Method in class owl.logic.propositional.PropositionalFormula.Conjunction
- height() - Method in class owl.logic.propositional.PropositionalFormula.Disjunction
- height() - Method in class owl.logic.propositional.PropositionalFormula
- height() - Method in class owl.logic.propositional.PropositionalFormula.Negation
- height() - Method in class owl.logic.propositional.PropositionalFormula.Variable
- height() - Method in class owl.ltl.Formula
- height(Collection<? extends Formula>) - Static method in class owl.ltl.Formulas
- height(Formula...) - Static method in class owl.ltl.Formulas
- help() - Method in class picocli.CommandLine.Model.OptionSpec.Builder
-
Deprecated.
- help() - Method in class picocli.CommandLine.Model.OptionSpec
-
Deprecated.
- help() - Method in annotation type picocli.CommandLine.Option
-
Deprecated.
- 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
-
Deprecated.use
CommandLine.execute(String...)
andCommandLine.getExecutionResult()
instead - invoke(String, Class<?>, PrintStream, String...) - Static method in class picocli.CommandLine
-
Deprecated.use
CommandLine.execute(String...)
andCommandLine.getExecutionResult()
instead - invoke(String, Class<?>, PrintStream, CommandLine.Help.Ansi, String...) - Static method in class picocli.CommandLine
-
Deprecated.use
CommandLine.execute(String...)
andCommandLine.getExecutionResult()
instead - invoke(String, Class<?>, String...) - Static method in class picocli.CommandLine
-
Deprecated.use
CommandLine.execute(String...)
andCommandLine.getExecutionResult()
instead - is(Automaton.Property) - Method in class owl.automaton.AbstractMemoizingAutomaton.EdgeImplementation
- is(Automaton.Property) - Method in class owl.automaton.AbstractMemoizingAutomaton
- is(Automaton.Property) - Method in interface owl.automaton.Automaton
- is(Automaton.Property) - Method in class owl.automaton.symbolic.SymbolicAutomaton
- is(Automaton.Property) - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
- IS_FIXPOINT - Static variable in class owl.translations.mastertheorem.Predicates
- IS_GREATEST_FIXPOINT - Static variable in class owl.translations.mastertheorem.Predicates
- IS_LEAST_FIXPOINT - Static variable in class owl.translations.mastertheorem.Predicates
- isAbbreviatedOptionsAllowed() - Method in class picocli.CommandLine
-
Returns whether abbreviation of option names should be allowed when matching options.
- isAbbreviatedSubcommandsAllowed() - Method in class picocli.CommandLine
-
Returns whether abbreviation of subcommands should be allowed when matching subcommands.
- isAccepting(int) - Method in class owl.automaton.acceptance.ParityAcceptance
- isAccepting(int) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- isAccepting(BitSet) - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
-
Returns whether repeating these acceptance indices infinitely often would be accepting.
- isAccepting(Set<Integer>) - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
- isAcceptingEdge(Edge<?>) - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
-
Returns whether repeating this edge infinitely often would be accepting.
- isAccessible() - Method in class picocli.CommandLine.Model.MethodParam
- isAddMethodSubcommands() - Method in class picocli.CommandLine.Model.CommandSpec
-
Returns whether method commands should be added as subcommands.
- isAdjustLineBreaksForWideCJKCharacters() - Method in class picocli.CommandLine.Help.TextTable
- isAdjustLineBreaksForWideCJKCharacters() - Method in class picocli.CommandLine
-
Returns whether line breaks should take wide Chinese, Japanese and Korean characters into account for line-breaking purposes.
- isAlmostAll(Formula) - Static method in class owl.ltl.SyntacticFragments
- isAnnotationPresent(Class<? extends Annotation>) - Method in interface picocli.CommandLine.Model.IAnnotatedElement
- isArgGroup() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
- isArgSpec() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
- isArray() - Method in interface picocli.CommandLine.Model.ITypeInfo
- isBlocked(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.SuspensionCheck
- isBlockedByCoSafety(EquivalenceClass) - Static method in class owl.translations.BlockingElements
- isBlockedByCoSafety(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.SuspensionCheck
- isBlockedBySafety(EquivalenceClass) - Static method in class owl.translations.BlockingElements
- isBlockedBySafety(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.SuspensionCheck
- isBlockedByTransient(EquivalenceClass) - Static method in class owl.translations.BlockingElements
- isBlockedByTransient(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.SuspensionCheck
- isBoolean() - Method in interface picocli.CommandLine.Model.ITypeInfo
- 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
ifCommandLine.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'sCommandLine.Model.ArgSpec.type()
is an array, aCollection
or aMap
,false
otherwise. - isMultiValue() - Method in interface picocli.CommandLine.Model.IAnnotatedElement
- isMultiValue() - Method in interface picocli.CommandLine.Model.ITypeInfo
-
Returns
true
ifCommandLine.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
- 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+"
, orfalse
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 withCommandLine.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 ausageHelp
option. - isUseSimplifiedAtFiles() - Method in class picocli.CommandLine
-
Returns whether to use a simplified argument file format that is compatible with JCommander.
- isValid(Automaton<S, BuchiAcceptance>) - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
- isValid(S, Automaton<S, BuchiAcceptance>) - Method in class owl.automaton.algorithm.simulations.Transition
- isVariable - Variable in class picocli.CommandLine.Range
-
Deprecated.use
CommandLine.Range.isVariable()
instead - isVariable() - Method in class owl.game.output.Aig
- isVariable() - Method in class picocli.CommandLine.Range
-
Returns
true
if this range has no fixed upper bound. - isVersionHelpRequested() - Method in class picocli.CommandLine
-
Returns
true
if an option annotated withCommandLine.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 aversionHelp
option. - isWellFormedAutomaton(Automaton<S, ?>) - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
- italic - picocli.CommandLine.Help.Ansi.Style
- iterator() - Method in class owl.collections.HashTrieSet
- iterator(int) - Method in interface owl.bdd.BddSet
-
Returns a
Iterator<BitSet>
-view of this BddSet. - iterator(BitSet) - Method in interface owl.bdd.BddSet
-
Returns a
Iterator<BitSet>
-view of this BddSet. - iterator(ImmutableBitSet) - Method in interface owl.bdd.BddSet
-
Returns a
Iterator<BitSet>
-view of this BddSet.
J
- JACM_20 - Static variable in class owl.Bibliography
- JACM_20_CITEKEY - Static variable in class owl.Bibliography
- JACM_95 - Static variable in class owl.Bibliography
- JACM_95_CITEKEY - Static variable in class owl.Bibliography
- JBDD_SUPPLIER_INSTANCE - owl.bdd.jbdd.JBddSupplier
- JbddIncrementalSolver - Class in owl.logic.propositional.sat
- JBddSupplier - Enum in owl.bdd.jbdd
- jhoafparser.extensions - package jhoafparser.extensions
-
Extensions and fixes for the jhoafparser library.
- jj_nt - Static variable in class jhoafparser.extensions.HOAFParserCCFixed
-
Next token.
- join(CommandLine.Help.Ansi, int, boolean, String[], StringBuilder, Object...) - Static method in class picocli.CommandLine.Help
-
Formats each of the specified values and appends it to the specified StringBuilder.
- join(CommandLine.Help.Ansi, int, String[], StringBuilder, Object...) - Static method in class picocli.CommandLine.Help
-
Deprecated.
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, ornull
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:ArgGroupSpec
s with a multiplicity greater than one may be matched multiple times. - max - Variable in class picocli.CommandLine.Range
-
Deprecated.use
CommandLine.Range.max()
instead - max() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- max() - Method in class picocli.CommandLine.Range
-
Returns the upper bound of this range (inclusive), or
Integer.MAX_VALUE
if this range has no upper bound. - max(int) - Method in class picocli.CommandLine.Range
-
Returns a new Range object with the
max
value replaced by the specified value. - MAX_ARRAY_LENGTH - Static variable in class owl.util.ArraysSupport
-
The maximum length of array to allocate (unless necessary).
- MAX_EVEN - owl.automaton.acceptance.ParityAcceptance.Parity
- MAX_MERGE - owl.translations.nbadet.NbaDetConf.UpdateMode
- MAX_ODD - owl.automaton.acceptance.ParityAcceptance.Parity
- maximal(Automaton<S, BuchiAcceptance>, S, ColorRefinement.Ordering, ColorRefinement.Coloring<S>) - Static method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood
-
Constructs a neighborhood for a given state under a previously computed coloring and ordering consisting of only maximal NeighborTypes.
- maximalElements(Collection<? extends E>, BiPredicate<? super E, ? super E>) - Static method in class owl.collections.Collections3
-
Computes a sub-list of elements which are maximal.
- maximalModels(PropositionalFormula<V>, Set<V>) - Static method in class owl.logic.propositional.sat.Solver
- maximalModels(PropositionalFormula<V>, Set<V>, Solver.Engine) - Static method in class owl.logic.propositional.sat.Solver
- maxLookahead() - Method in class owl.command.AutomatonConversionCommands.NbaSimCommand
- maxString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- MaxValuesExceededException(CommandLine, String) - Constructor for exception picocli.CommandLine.MaxValuesExceededException
- median(int...) - Static method in class owl.util.Statistics
- memoizedFlatValues(Set<E>, Set<MtBdd<E>>) - Method in class owl.bdd.MtBdd.Leaf
- memoizedFlatValues(Set<E>, Set<MtBdd<E>>) - Method in class owl.bdd.MtBdd
- memoizedFlatValues(Set<E>, Set<MtBdd<E>>) - Method in class owl.bdd.MtBdd.Node
- memoizedInverse(BddSetFactory, Map<MtBdd<E>, Map<E, BddSet>>, IntUnaryOperator) - Method in class owl.bdd.MtBdd.Leaf
- memoizedInverse(BddSetFactory, Map<MtBdd<E>, Map<E, BddSet>>, IntUnaryOperator) - Method in class owl.bdd.MtBdd
- memoizedInverse(BddSetFactory, Map<MtBdd<E>, Map<E, BddSet>>, IntUnaryOperator) - Method in class owl.bdd.MtBdd.Node
- memoizedMap(Function<? super Set<E>, ? extends Set<? extends T>>, Map<MtBdd<E>, MtBdd<T>>) - Method in class owl.bdd.MtBdd.Leaf
- memoizedMap(Function<? super Set<E>, ? extends Set<? extends T>>, Map<MtBdd<E>, MtBdd<T>>) - Method in class owl.bdd.MtBdd
- memoizedMap(Function<? super Set<E>, ? extends Set<? extends T>>, Map<MtBdd<E>, MtBdd<T>>) - Method in class owl.bdd.MtBdd.Node
- memoizedValues(Set<Set<E>>, Set<MtBdd<E>>) - Method in class owl.bdd.MtBdd.Leaf
- memoizedValues(Set<Set<E>>, Set<MtBdd<E>>) - Method in class owl.bdd.MtBdd
- memoizedValues(Set<Set<E>>, Set<MtBdd<E>>) - Method in class owl.bdd.MtBdd.Node
- memoizingAutomaton(Automaton<S, A>) - Static method in class owl.automaton.AbstractMemoizingAutomaton
-
Wrap any automaton into a MemoizingAutomaton to make use of the internal caching mechanism and to guarantee immutability after full exploration.
- mergeBuchiTypePairs(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
- mergeMode() - Method in class owl.command.AutomatonConversionCommands.Nba2DpaCommand
- messages() - Method in class picocli.CommandLine.Model.ArgGroupSpec
-
Returns the Messages for this argument group specification, or
null
. - messages() - Method in class picocli.CommandLine.Model.ArgSpec
-
Returns the Messages for this arg specification, or
null
. - messages() - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Returns the Messages for this usage help message specification, or
null
. - messages(CommandLine.Model.Messages) - Method in class picocli.CommandLine.Model.ArgGroupSpec
-
Sets the Messages for this ArgGroupSpec, and returns this ArgGroupSpec.
- messages(CommandLine.Model.Messages) - Method in class picocli.CommandLine.Model.ArgSpec
-
Sets the Messages for this ArgSpec, and returns this ArgSpec.
- messages(CommandLine.Model.Messages) - Method in class picocli.CommandLine.Model.UsageMessageSpec
-
Sets the Messages for this usageMessage specification, and returns this UsageMessageSpec.
- Messages(CommandLine.Model.CommandSpec, String) - Constructor for class picocli.CommandLine.Model.Messages
- Messages(CommandLine.Model.CommandSpec, String, ResourceBundle) - Constructor for class picocli.CommandLine.Model.Messages
- Messages(CommandLine.Model.CommandSpec, ResourceBundle) - Constructor for class picocli.CommandLine.Model.Messages
- MethodParam(Method, int) - Constructor for class picocli.CommandLine.Model.MethodParam
- min - Variable in class picocli.CommandLine.Range
-
Deprecated.use
CommandLine.Range.min()
instead - min() - Method in class picocli.CommandLine.Range
-
Returns the lower bound of this range (inclusive).
- min(int) - Method in class picocli.CommandLine.Range
-
Returns a new Range object with the
min
value replaced by the specified value. - MIN_EVEN - owl.automaton.acceptance.ParityAcceptance.Parity
- MIN_ODD - owl.automaton.acceptance.ParityAcceptance.Parity
- minimize(Automaton<S, ? extends CoBuchiAcceptance>) - Static method in class owl.automaton.minimization.GfgCoBuchiMinimization
- minimizeEdgeImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
-
Remove all Inf edges which are implied by another Inf index of the same pair.
- minimizeMergePairs(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
-
Merge independent pairs.
- minimizeOverlap(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
-
Remove edges in a Fin set from all corresponding Inf sets.
- minimizePairImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
-
Delete all pairs which only accept if another pair accepts.
- minimizePriorities(MutableAutomaton<S, ParityAcceptance>) - Static method in class owl.automaton.acceptance.optimization.ParityAcceptanceOptimizations
-
This optimization simply determines all priorities used in each SCC and then tries to eliminate "gaps".
- minimizeSccIrrelevant(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
-
- Remove all indices from edges of an SCC which can't accept (e.g.
- MissingParameterException(CommandLine, Collection<CommandLine.Model.ArgSpec>, String) - Constructor for exception picocli.CommandLine.MissingParameterException
- MissingParameterException(CommandLine, CommandLine.Model.ArgSpec, String) - Constructor for exception picocli.CommandLine.MissingParameterException
- MissingTypeConverterException(CommandLine, String) - Constructor for exception picocli.CommandLine.MissingTypeConverterException
- MIXED - owl.logic.propositional.PropositionalFormula.Polarity
- MIXEE - picocli.CommandLine.Spec.Target
-
Injects the
CommandSpec
of the "mixee" command that receives the options and other command elements defined here, ornull
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()
andCommandLine.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 fromBibliography.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
andexecuteHelpRequest
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 theCommandLine.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 specifiedcomparator
(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 specifiedcomparator
(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