A B C D E F G H I J L M N O P Q R S T U V W X Z _
All Classes All Packages
All Classes All Packages
All Classes All Packages
A
- AbstractCachedStatesAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
- AbstractCachedStatesAutomaton() - Constructor for class owl.automaton.AbstractCachedStatesAutomaton
- AbstractImplicitAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
- AbstractImplicitAutomaton(ValuationSetFactory, Collection<S>, A) - Constructor for class owl.automaton.AbstractImplicitAutomaton
- accept(int, int) - Method in interface owl.util.IntBiConsumer
- accept(Object) - Method in interface owl.run.modules.InputReaders.CheckedCallback
- 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.ComparisonContext
- 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.FractionContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.FrequencyOpContext
- 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.ProbabilityContext
- 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(Automaton.EdgeMapVisitor<S>) - Method in class owl.automaton.AbstractCachedStatesAutomaton
- accept(Automaton.EdgeMapVisitor<S>) - Method in interface owl.automaton.Automaton
- accept(Automaton.EdgeTreeVisitor<S>) - Method in class owl.automaton.AbstractCachedStatesAutomaton
- accept(Automaton.EdgeTreeVisitor<S>) - Method in interface owl.automaton.Automaton
- accept(Automaton.EdgeVisitor<S>) - Method in class owl.automaton.AbstractCachedStatesAutomaton
- accept(Automaton.EdgeVisitor<S>) - Method in interface owl.automaton.Automaton
- accept(Automaton.Visitor<S>) - Method in interface owl.automaton.Automaton
-
Traverse all edges of the automaton using the preferred visitor style.
- 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.FrequencyG
- 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(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.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.FrequencyG
- 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.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.AbstractImplicitAutomaton
- acceptance() - Method in class owl.automaton.AbstractImplicitAutomaton
- acceptance() - Method in interface owl.automaton.Automaton
-
Returns the acceptance condition of this automaton.
- acceptance() - Method in class owl.cinterface.DeterministicAutomaton
- acceptance() - Method in class owl.translations.canonical.DeterministicConstructions.CoSafety
- acceptance() - Method in class owl.translations.canonical.DeterministicConstructions.FgSafety
- acceptance() - Method in class owl.translations.canonical.DeterministicConstructions.GCoSafety
- acceptance() - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
- acceptance() - Method in class owl.translations.canonical.DeterministicConstructions.Safety
- acceptance() - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
- acceptance() - Method in class owl.translations.canonical.LegacyFactory
-
Deprecated.
- acceptance() - Method in class owl.translations.canonical.NonDeterministicConstructions.CoSafety
- acceptance() - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
- acceptance() - Method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
- acceptance() - Method in class owl.translations.canonical.NonDeterministicConstructions.Safety
- acceptance() - Method in class owl.translations.canonical.NonDeterministicConstructions.Tracking
- acceptance() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- acceptance(A) - Method in interface owl.automaton.MutableAutomaton
- AcceptanceOptimizations - Class in owl.automaton.acceptance.optimizations
- AcceptanceOptimizations.AcceptanceOptimizationTransformer - Class in owl.automaton.acceptance.optimizations
- AcceptanceOptimizationTransformer() - Constructor for class owl.automaton.acceptance.optimizations.AcceptanceOptimizations.AcceptanceOptimizationTransformer
- acceptanceSetCount() - Method in class owl.cinterface.DeterministicAutomaton
- acceptanceSetIterator() - Method in class owl.automaton.edge.Edge
-
An iterator containing all acceptance sets this edge is a member of in ascending order.
- acceptanceSets() - Method in class owl.automaton.acceptance.AllAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.NoneAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.OmegaAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.ParityAcceptance
- ACCEPTING - Static variable in class owl.cinterface.DeterministicAutomaton
- acceptingComponent() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- acceptingSet() - Method in class owl.automaton.acceptance.AllAcceptance
- acceptingSet() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
- acceptingSet() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
- acceptingSet() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- acceptingSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- acceptingSet() - Method in class owl.automaton.acceptance.NoneAcceptance
- acceptingSet() - Method in class owl.automaton.acceptance.OmegaAcceptance
- acceptingSet() - Method in class owl.automaton.acceptance.ParityAcceptance
- ACCESS_MODES - Static variable in interface owl.automaton.EdgeMapAutomatonMixin
- ACCESS_MODES - Static variable in interface owl.automaton.EdgesAutomatonMixin
- ACCESS_MODES - Static variable in interface owl.automaton.EdgeTreeAutomatonMixin
- active(R, IntPreOrder) - Static method in class owl.translations.dra2dpa.IARState
- add() - Method in class owl.automaton.acceptance.RabinAcceptance.Builder
- add(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
- add(List<E>, E) - Static method in class owl.collections.Collections3
- add(Map<K, V>, K, V) - Static method in class owl.collections.Collections3
- add(Set<E>, E) - Static method in class owl.collections.Collections3
- 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, ValuationSet, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton
-
Adds transitions from the
source
state undervaluations
. - 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
- addOutput(String, LabelledAig) - Method in interface owl.game.output.AigConsumer
- addOutput(String, LabelledAig) - Method in class owl.game.output.AigerPrinter
- addState(S) - Method in interface owl.automaton.MutableAutomaton
-
Adds a
state
without outgoing edges to the set of states. - addTransformer(OwlModuleParser.TransformerParser...) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
- addTransformer(Transformer...) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
- 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
- all() - Method in class owl.ltl.robust.Split
- ALL - owl.ltl.SyntacticFragment
- AllAcceptance - Class in owl.automaton.acceptance
- allFixpointsPresent(Collection<? extends Formula.ModalOperator>) - Method in class owl.translations.mastertheorem.Fixpoints
- allMatch(Predicate<Formula>) - Method in class owl.ltl.Formula
- almostAlways - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
-
Corresponds to safetyAutomaton.
- alphabet() - Method in interface owl.factories.ValuationSetFactory
- alphabetMapping - Variable in class owl.cinterface.DecomposedDPA.Reference
- alphabetMapping() - Method in class owl.cinterface.DecomposedDPA.Reference
- alphabetSize() - Method in interface owl.factories.ValuationSetFactory
- always() - Method in class owl.ltl.robust.LabelledSplit
- always() - Method in class owl.ltl.robust.Split
- ALWAYS - owl.ltl.robust.Robustness
- and(EquivalenceClass) - Method in class 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
- 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
- AnnotatedLDBA<S,T extends LtlLanguageExpressible,B extends GeneralizedBuchiAcceptance,X,Y> - Class in owl.translations.ltl2ldba
- AnnotatedState<S> - Interface in owl.automaton.util
- AnnotatedStateOptimisation - Class in owl.automaton.util
- annotation() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- annotations() - Method in interface owl.run.Environment
-
Whether additional information (like semantic state labels) should be included.
- ANNOTATIONS - owl.automaton.output.HoaPrinter.HoaOption
-
Print annotations, e.g.
- any() - Method in class owl.collections.ValuationSet
- any(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- anyMatch(Predicate<Formula>) - Method in class owl.ltl.Formula
- apply(Automaton<?, ?>) - Method in class owl.translations.nba2dpa.NBA2DPA
- apply(Automaton<?, ?>) - Method in class owl.translations.nba2ldba.NBA2LDBA
- apply(Automaton<S, ParityAcceptance>, Integer) - Method in class owl.translations.dpa2safety.DPA2Safety
- apply(Formula) - Method in class owl.ltl.visitors.Converter
- apply(Formula) - Method in interface owl.ltl.visitors.Visitor
- apply(Formula) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- apply(Formula) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- apply(Formula, SimplifierFactory.Mode) - Static method in class owl.ltl.rewriter.SimplifierFactory
- apply(Formula, SimplifierFactory.Mode...) - Static method in class owl.ltl.rewriter.SimplifierFactory
- apply(Formula, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- apply(LabelledFormula) - Method in class owl.translations.delag.DelagBuilder
- apply(LabelledFormula) - Method in class owl.translations.ExternalTranslator
- apply(LabelledFormula) - Method in class owl.translations.LTL2DAFunction
- apply(LabelledFormula) - Method in class owl.translations.ltl2dpa.LTL2DPAFunction
- 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.LTL2NAFunction
- apply(LabelledFormula) - Method in class owl.translations.ltl2nba.SymmetricNBAConstruction
- apply(LabelledFormula, SimplifierFactory.Mode) - Static method in class owl.ltl.rewriter.SimplifierFactory
- apply(LabelledFormula, SimplifierFactory.Mode...) - Static method in class owl.ltl.rewriter.SimplifierFactory
- apply(S) - Method in interface owl.automaton.SuccessorFunction
- applyAsInt(Formula) - Method in interface owl.ltl.visitors.IntVisitor
- applyLDBA(Automaton<?, ?>) - Static method in class owl.translations.nba2ldba.NBA2LDBA
- asInitialState(Formula) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
- asMutable(Automaton<S, A>) - Static method in class owl.automaton.MutableAutomatonUtil
- 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
- async(boolean) - Static method in class owl.factories.jbdd.JBddSupplier
- 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() - Method in class owl.ltl.EquivalenceClass
- atomicPropositions(boolean) - Method in class owl.ltl.EquivalenceClass
- atomicPropositions(boolean) - Method in class owl.ltl.Formula
- atomicPropositions(EquivalenceClass, boolean) - Method in interface owl.factories.EquivalenceClassFactory
-
Collects all literals used in the bdd and stores the corresponding atomic propositions in the BitSet.
- automata - Variable in class owl.cinterface.DecomposedDPA
- automata - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
- automata - Variable in class owl.translations.ltl2ldba.SymmetricProductState
- automata - Variable in class owl.translations.ltl2nba.ProductState
- automaton() - Method in class owl.translations.nba2ldba.NBA2LDBA.LDBA
- Automaton<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
The base interface providing read access to an automaton.
- AUTOMATON_STATS_CLI - Static variable in class owl.run.modules.OutputWriters
- AUTOMATON_TO_GAME_CLI - Static variable in class owl.game.GameViews
- Automaton.EdgeMapVisitor<S> - Interface in owl.automaton
- Automaton.EdgeTreeVisitor<S> - Interface in owl.automaton
- Automaton.EdgeVisitor<S> - Interface in owl.automaton
- Automaton.PreferredEdgeAccess - Enum in owl.automaton
- Automaton.Property - Enum in owl.automaton
- Automaton.Visitor<S> - Interface in owl.automaton
- AutomatonFactory - Class in owl.automaton
- AutomatonOperations - Class in owl.automaton
- AutomatonReader - Class in owl.automaton
- AutomatonReader.HoaState - Class in owl.automaton
- automatonStats(String) - Static method in class owl.run.modules.OutputWriters
- AutomatonStats(String, Writer) - Constructor for class owl.run.modules.OutputWriters.AutomatonStats
- AutomatonUtil - Class in owl.automaton
B
- 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
- BinaryModalOperator - Class in owl.ltl
- 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
- bind(Writer, Environment) - Method in interface owl.run.modules.OutputWriter
- bind(Writer, Environment) - Method in class owl.run.modules.OutputWriters.ToHoa
- BlockingModalOperatorsVisitor - Class in owl.translations.ltl2ldba
- 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.AllAcceptance
- booleanExpression() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
- booleanExpression() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
- booleanExpression() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- booleanExpression() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- booleanExpression() - Method in class owl.automaton.acceptance.NoneAcceptance
- booleanExpression() - Method in class owl.automaton.acceptance.OmegaAcceptance
-
Builds the canonical representation as
BooleanExpression
. - booleanExpression() - Method in class owl.automaton.acceptance.ParityAcceptance
- BooleanExpressions - Class in owl.automaton.acceptance
- bound - Variable in class owl.ltl.FrequencyG
- BreakpointState<E> - Class in owl.translations.canonical
- BreakpointState<S> - Class in owl.translations.nba2ldba
- BreakpointState() - Constructor for class owl.translations.canonical.BreakpointState
- BreakpointState() - Constructor for class owl.translations.nba2ldba.BreakpointState
- BUCHI - owl.translations.LTL2DAFunction.Constructions
- BUCHI - owl.translations.LTL2NAFunction.Constructions
- BuchiAcceptance - Class in owl.automaton.acceptance
- BuchiAcceptance() - Constructor for class owl.automaton.acceptance.BuchiAcceptance
- BuchiDegeneralization - Class in owl.automaton.transformations
- build() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
- build() - Method in class owl.automaton.acceptance.RabinAcceptance.Builder
- build() - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
- build() - Method in class owl.translations.dra2dpa.IARBuilder
- build(List<Transformer>, Environment) - Static method in class owl.run.modules.Transformers
- build(CommandLine, Pipeline) - Static method in class owl.run.DefaultCli
- build(CommandLine, Pipeline) - Static method in class owl.run.ServerCli
- build(LabelledFormula, Environment, RabinizerConfiguration) - Static method in class owl.translations.rabinizer.RabinizerBuilder
- build(Environment, LabelledFormula) - Static method in class owl.translations.fgx2dpa.SafetyAutomaton
- build(Fixpoints, Factories) - Static method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
-
Construct the recurring gCosafety for a G-set.
- build(Fixpoints, Factories) - Static method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- buildEdge(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.CoSafety
- buildEdge(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Safety
- buildEdge(EquivalenceClass, EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.FgSafety
- 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(String) - Static method in class owl.run.parser.PartialModuleConfiguration
- Builder() - Constructor for class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
- Builder() - Constructor for class owl.automaton.acceptance.RabinAcceptance.Builder
- buildFormula(Split, EnumSet<Robustness>) - Static method in enum owl.ltl.robust.Robustness
C
- cache() - Method in class owl.automaton.AbstractCachedStatesAutomaton
- call() - Method in class owl.run.ServerRunner
- cartesianProduct(List<ValuationTree<E>>) - Static method in class owl.collections.ValuationTrees
- cartesianProduct(Map<K, ValuationTree<V>>) - Static method in class owl.collections.ValuationTrees
- cartesianProduct(Set<ValuationTree<E>>) - Static method in class owl.collections.ValuationTrees
- cartesianProduct(ValuationTree<L>, ValuationTree<R>, BiFunction<L, R, E>) - Static method in class owl.collections.ValuationTrees
- cast(Object) - Static method in class owl.automaton.AutomatonUtil
- cast(Object, Class<A>) - Static method in class owl.automaton.AutomatonUtil
- cast(Object, Class<S>, Class<A>) - Static method in class owl.automaton.AutomatonUtil
- cast(Map<? extends Edge<? extends S>, ValuationSet>) - Static method in class owl.util.TypeUtil
- cast(Automaton<S, ?>, Class<A>) - Static method in class owl.automaton.AutomatonUtil
- cast(Edge<? extends S>) - Static method in class owl.util.TypeUtil
- cast(ValuationTree<? extends Edge<? extends S>>) - Static method in class owl.util.TypeUtil
- castMutable(Object, Class<S>, Class<A>) - Static method in class owl.automaton.MutableAutomatonUtil
- CEntryPoint - Annotation Type in owl.util.annotation
- channelNames - Static variable in class owl.grammar.LTLLexer
- check() - Method in class owl.translations.mastertheorem.Fixpoints
- checkDefaultAnnotationOption(CommandLine) - Static method in class owl.run.RunUtil
- checkedCallback(InputReaders.CheckedCallback) - Static method in class owl.run.modules.InputReaders
- checkForVersion(String[]) - Static method in class owl.run.RunUtil
- children - Variable in class owl.ltl.PropositionalFormula
- children() - Method in class owl.ltl.Biconditional
- children() - Method in class owl.ltl.BinaryModalOperator
- children() - Method in class owl.ltl.BooleanConstant
- children() - Method in class owl.ltl.Formula
- children() - Method in class owl.ltl.Literal
- children() - Method in class owl.ltl.PropositionalFormula
- children() - Method in class owl.ltl.UnaryModalOperator
- classes() - Method in enum owl.ltl.SyntacticFragment
- CLI - Static variable in class owl.automaton.acceptance.optimizations.AcceptanceOptimizations
- CLI - Static variable in class owl.automaton.transformations.RabinDegeneralization
- CLI - Static variable in class owl.ltl.rewriter.SimplifierTransformer
- CLI - Static variable in class owl.translations.delag.DelagBuilder
- CLI - Static variable in class owl.translations.dra2dpa.IARBuilder
- CLI - Static variable in class owl.translations.ExternalTranslator
- CLI - Static variable in class owl.translations.fgx2dpa.FGX2DPA
- CLI - Static variable in class owl.translations.modules.LTL2DAModule
- CLI - Static variable in class owl.translations.modules.LTL2NAModule
- CLI - Static variable in class owl.translations.nba2dpa.NBA2DPA
- CLI - Static variable in class owl.translations.nba2ldba.NBA2LDBA
- cmp - Variable in class owl.ltl.FrequencyG
- CO_BUCHI - owl.translations.LTL2DAFunction.Constructions
- CO_SAFETY - owl.ltl.SyntacticFragment
- CO_SAFETY - owl.translations.LTL2DAFunction.Constructions
- CO_SAFETY - owl.translations.LTL2NAFunction.Constructions
- CoBuchiAcceptance - Class in owl.automaton.acceptance
- CoBuchiAcceptance() - Constructor for class owl.automaton.acceptance.CoBuchiAcceptance
- Collections3 - Class in owl.collections
- combiner(BinaryOperator<Formula>) - Static method in class owl.ltl.robust.Split
- comp - Variable in class owl.grammar.LTLParser.FrequencyOpContext
- 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(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
- compareToImpl(Formula) - Method in class owl.ltl.Biconditional
- compareToImpl(Formula) - Method in class owl.ltl.BinaryModalOperator
- compareToImpl(Formula) - Method in class owl.ltl.BooleanConstant
- compareToImpl(Formula) - Method in class owl.ltl.Formula
- compareToImpl(Formula) - Method in class owl.ltl.Literal
- compareToImpl(Formula) - Method in class owl.ltl.PropositionalFormula
- compareToImpl(Formula) - Method in class owl.ltl.UnaryModalOperator
- comparison() - Method in class owl.grammar.LTLParser
- comparison() - Method in class owl.grammar.LTLParser.FrequencyOpContext
- ComparisonContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.ComparisonContext
- complement() - Method in class owl.automaton.acceptance.ParityAcceptance
- complement() - Method in class owl.collections.ValuationSet
- complement(Automaton<S, ?>) - Static method in class owl.automaton.Views
- complement(Automaton<S, ?>, S) - Static method in class owl.automaton.Views
- complement(MutableAutomaton<S, ParityAcceptance>, S) - Static method in class owl.automaton.transformations.ParityUtil
- complement(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- COMPLEMENT_CLI - Static variable in class owl.automaton.transformations.ParityUtil
- COMPLEMENT_CONSTRUCTION_EXACT - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- COMPLEMENT_CONSTRUCTION_HEURISTIC - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- complete(Automaton<S, ?>, S) - Static method in class owl.automaton.Views
- complete(MutableAutomaton<Object, ?>) - Static method in class owl.automaton.MutableAutomatonUtil
- complete(MutableAutomaton<S, ?>, S) - Static method in class owl.automaton.MutableAutomatonUtil
-
Completes the automaton by adding a sink state obtained from the
sinkSupplier
if necessary. - COMPLETE - owl.automaton.Automaton.Property
- COMPLETE - Static variable in class owl.automaton.Views
- COMPLETE_CLI - Static variable in class owl.automaton.Views
- COMPRESS_COLOURS - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- compute(Formula, Formula) - Static method in class owl.ltl.util.FormulaIsomorphism
- computeSccs(Automaton<S, ?>) - Static method in class owl.automaton.algorithms.SccDecomposition
-
This method computes the SCCs of the state-/transition-graph of the automaton.
- computeSccs(Automaton<S, ?>, boolean) - Static method in class owl.automaton.algorithms.SccDecomposition
- computeSccs(SuccessorFunction<S>, Set<S>) - Static method in class owl.automaton.algorithms.SccDecomposition
- computeSccs(SuccessorFunction<S>, Set<S>, boolean) - Static method in class owl.automaton.algorithms.SccDecomposition
- computeSccs(SuccessorFunction<S>, S) - Static method in class owl.automaton.algorithms.SccDecomposition
- computeSccs(SuccessorFunction<S>, S, boolean) - Static method in class owl.automaton.algorithms.SccDecomposition
- conjunction(Collection<EquivalenceClass>) - Method in interface owl.factories.EquivalenceClassFactory
- conjunction(Iterator<EquivalenceClass>) - Method in interface owl.factories.EquivalenceClassFactory
- conjunction(LabelledAig, LabelledAig) - Method in class owl.game.output.AigFactory
- Conjunction - Class in owl.ltl
- constant - Variable in class owl.grammar.LTLParser.BooleanContext
- contains(BitSet) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- contains(BitSet) - Method in class owl.collections.UpwardClosedSet
- contains(BitSet) - Method in class owl.collections.ValuationSet
- contains(Automaton<?, BuchiAcceptance>, Automaton<?, BuchiAcceptance>) - Static method in class owl.automaton.algorithms.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.algorithms.LanguageMembership
- contains(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- contains(ValuationSet) - Method in class owl.collections.ValuationSet
- contains(ValuationSet, BitSet) - Method in interface owl.factories.ValuationSetFactory
- contains(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- contains(Formula) - Method in enum owl.ltl.SyntacticFragment
- contains(LabelledFormula) - Method in enum owl.ltl.SyntacticFragment
- containsInfinite(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
-
Checks whether the given edge is contained in any Inf set of this pair.
- CONVERSION_CLI - Static variable in class owl.automaton.transformations.ParityUtil
- convert(Automaton<S, ParityAcceptance>, ParityAcceptance.Parity, S) - Static method in class owl.automaton.transformations.ParityUtil
- 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
- copy(Automaton<S, ?>, MutableAutomaton<S, ?>) - Static method in class owl.automaton.MutableAutomatonFactory
- copy(Automaton<S, A>) - Static method in class owl.automaton.MutableAutomatonFactory
- 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.FrequencySpecContext) - Method in class owl.grammar.LTLParser.FrequencySpecContext
- copyFrom(LTLParser.UnaryExpressionContext) - Method in class owl.grammar.LTLParser.UnaryExpressionContext
- copyOf(Game<S, A>) - Static method in class owl.game.GameFactory
- coSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
- coSafety(Environment, LabelledFormula) - Static method in class owl.translations.LTL2DAFunction
- CoSafety(Factories, boolean, Formula) - Constructor for class owl.translations.canonical.DeterministicConstructions.CoSafety
- CoSafety(Factories, Formula) - Constructor for class owl.translations.canonical.NonDeterministicConstructions.CoSafety
- create(A, ValuationSetFactory) - Static method in class owl.automaton.MutableAutomatonFactory
-
Creates an empty automaton with given acceptance condition.
- create(A, ValuationSetFactory, Collection<S>, BiFunction<S, BitSet, Edge<S>>, Function<S, BitSet>) - Static method in class owl.automaton.MutableAutomatonFactory
- create(ValuationSetFactory, Collection<S>, A, BiFunction<S, BitSet, Set<Edge<S>>>, Function<S, ? extends Map<Edge<S>, ValuationSet>>) - Static method in class owl.automaton.AutomatonFactory
-
Creates a non-deterministic on-the-fly constructed automaton with support for bulk creation of edges.
- create(ValuationSetFactory, Collection<S>, A, BiFunction<S, BitSet, Edge<S>>) - Static method in class owl.automaton.AutomatonFactory
-
Creates a semi-deterministic on-the-fly constructed automaton.
- create(ValuationSetFactory, Collection<S>, A, Function<S, Map<Edge<S>, ValuationSet>>) - Static method in class owl.automaton.AutomatonFactory
-
Creates a non-deterministic on-the-fly constructed automaton with supporting only bulk creation of edges.
- create(ValuationSetFactory, S, A, BiFunction<S, BitSet, Set<Edge<S>>>, Function<S, Map<Edge<S>, ValuationSet>>) - Static method in class owl.automaton.AutomatonFactory
-
Creates a non-deterministic on-the-fly constructed automaton with support for bulk creation of edges.
- create(ValuationSetFactory, S, A, BiFunction<S, BitSet, Edge<S>>) - Static method in class owl.automaton.AutomatonFactory
-
Creates a deterministic on-the-fly constructed automaton.
- create(ValuationSetFactory, S, A, Function<S, Map<Edge<S>, ValuationSet>>) - Static method in class owl.automaton.AutomatonFactory
-
Creates a non-deterministic on-the-fly constructed automaton with supporting only bulk creation of edges.
- create(Environment) - Method in interface owl.run.modules.Transformer
- create(Environment) - Method in class owl.run.modules.Transformers.SimpleTransformer
- createConjunction(Iterable<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
- createConjunction(Iterator<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
- createConjunction(Stream<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
- createDisjunction(Iterable<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
- createDisjunction(Iterator<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
- createDisjunction(Stream<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
- createPowerSetAutomaton(Automaton<S, ?>, A, boolean) - Static method in class owl.automaton.Views
- cube(BitSet) - Method in class owl.game.output.AigFactory
- current() - Method in class owl.translations.canonical.BreakpointState
D
- DaemonThreadFactory - Class in owl.util
- DaemonThreadFactory(ThreadGroup) - Constructor for class owl.util.DaemonThreadFactory
- declare(int, int...) - Method in class owl.cinterface.DecomposedDPA
- DecomposedDPA - Class in owl.cinterface
- DecomposedDPA.Reference - Class in owl.cinterface
- deduplicate(Set<Edge<Either<A, B>>>) - Method in class owl.automaton.TwoPartAutomaton
- deduplicate(Formula) - Static method in class owl.ltl.rewriter.DeduplicationRewriter
- DeduplicationRewriter - Class in owl.ltl.rewriter
- DEFAULT - Static variable in class owl.run.modules.OutputWriters.ToHoa
- DEFAULT_REGISTRY - Static variable in class owl.run.modules.OwlModuleRegistry
-
A preconfigured
registry
, holding commonly used utility modules. - DefaultCli - Class in owl.run
- degeneralize(Automaton<S, ? extends GeneralizedBuchiAcceptance>) - Static method in class owl.automaton.transformations.BuchiDegeneralization
- degeneralize(Automaton<S, ? extends GeneralizedRabinAcceptance>) - Static method in class owl.automaton.transformations.RabinDegeneralization
- DelagBuilder - Class in owl.translations.delag
- DelagBuilder(Environment) - Constructor for class owl.translations.delag.DelagBuilder
- delay(Automaton<S, A>, int) - Static method in class owl.translations.canonical.GenericConstructions
- denominator - Variable in class owl.grammar.LTLParser.FractionContext
- depth() - Method in class owl.ltl.rewriter.PullUpXVisitor.XFormula
- DETERMINISTIC - owl.automaton.Automaton.Property
- deterministicAutomata(Factories, boolean) - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- deterministicAutomata(Factories, boolean, boolean) - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- DeterministicAutomaton<S,T> - Class in owl.cinterface
- DeterministicConstructions - Class in owl.translations.canonical
- DeterministicConstructions.CoSafety - Class in owl.translations.canonical
- DeterministicConstructions.FgSafety - Class in owl.translations.canonical
- DeterministicConstructions.GCoSafety - Class in owl.translations.canonical
- DeterministicConstructions.GfCoSafety - Class in owl.translations.canonical
- DeterministicConstructions.Safety - Class in owl.translations.canonical
- DeterministicConstructions.Tracking - Class in owl.translations.canonical
- disjunction(Collection<EquivalenceClass>) - Method in interface owl.factories.EquivalenceClassFactory
- disjunction(Iterator<EquivalenceClass>) - Method in interface owl.factories.EquivalenceClassFactory
- disjunction(LabelledAig, LabelledAig) - Method in class owl.game.output.AigFactory
- Disjunction - Class in owl.ltl
- DIVISION - Static variable in class owl.grammar.LTLLexer
- DIVISION - Static variable in class owl.grammar.LTLParser
- DIVISION() - Method in class owl.grammar.LTLParser.FractionContext
- 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
- DPA2Safety<S> - Class in owl.translations.dpa2safety
- DPA2Safety() - Constructor for class owl.translations.dpa2safety.DPA2Safety
E
- eager() - Method in class owl.translations.rabinizer.RabinizerConfiguration
- edge(EquivalenceClass, BitSet) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
- edge(EquivalenceClass, BitSet) - Method in class owl.translations.canonical.LegacyFactory
-
Deprecated.
- edge(BreakpointState<EquivalenceClass>, BitSet) - Method in class owl.translations.canonical.DeterministicConstructions.GCoSafety
- edge(RoundRobinState<EquivalenceClass>, BitSet) - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
- edge(S, BitSet) - Method in interface owl.automaton.Automaton
-
Returns the successor edge of the specified
state
under the givenvaluation
. - Edge<S> - Class in owl.automaton.edge
-
This class (with specialised subclasses) represents edges of automata including their acceptance membership.
- EDGE_MAP - owl.automaton.Automaton.PreferredEdgeAccess
- EDGE_TREE - owl.automaton.Automaton.PreferredEdgeAccess
- 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 interface owl.automaton.EdgesAutomatonMixin
- edgeMap(S) - Method in interface owl.automaton.EdgeTreeAutomatonMixin
- edgeMap(S) - Method in class owl.automaton.Views.AutomatonView
- EdgeMapAutomatonMixin<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
Mixin interface for implementing an automaton by
Automaton.edgeMap(Object)
. - edges(int) - Method in class owl.cinterface.DeterministicAutomaton
- edges(Either<A, B>, BitSet) - Method in class owl.automaton.TwoPartAutomaton
- edges(Formula, BitSet) - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
- edges(RoundRobinState<Formula>, BitSet) - Method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
- edges(S) - Method in interface owl.automaton.Automaton
-
Returns all successor edges of the specified
state
under any valuation. - edges(S) - Method in interface owl.automaton.EdgeMapAutomatonMixin
- edges(S) - Method in interface owl.automaton.EdgesAutomatonMixin
- edges(S) - Method in interface owl.automaton.EdgeTreeAutomatonMixin
- edges(S) - Method in class owl.automaton.Views.AutomatonView
- 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 interface owl.automaton.EdgeMapAutomatonMixin
- edges(S, BitSet) - Method in interface owl.automaton.EdgeTreeAutomatonMixin
- edges(S, BitSet) - Method in class owl.automaton.ImplicitNonDeterministicEdgeTreeAutomaton
- edges(S, BitSet) - Method in class owl.automaton.Views.AutomatonView
- Edges - Class in owl.automaton.edge
- EDGES - owl.automaton.Automaton.PreferredEdgeAccess
- edgesA(A, BitSet) - Method in class owl.automaton.TwoPartAutomaton
- EdgesAutomatonMixin<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
Mixin interface for implementing an automaton by
Automaton.edges(Object, BitSet)
. - edgesB(B, BitSet) - Method in class owl.automaton.TwoPartAutomaton
- edgeTree(Either<A, B>) - Method in class owl.automaton.TwoPartAutomaton
- edgeTree(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
- edgeTree(EquivalenceClass) - Method in class owl.translations.canonical.LegacyFactory
-
Deprecated.
- edgeTree(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
- edgeTree(BreakpointState<EquivalenceClass>) - Method in class owl.translations.canonical.DeterministicConstructions.GCoSafety
- edgeTree(RoundRobinState<EquivalenceClass>) - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
- edgeTree(RoundRobinState<Formula>) - Method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
- 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 interface owl.automaton.EdgeMapAutomatonMixin
- edgeTree(S) - Method in interface owl.automaton.EdgesAutomatonMixin
- edgeTree(S) - Method in class owl.automaton.ImplicitNonDeterministicEdgeTreeAutomaton
- edgeTree(S) - Method in class owl.automaton.Views.AutomatonView
- edgeTreeA(A) - Method in class owl.automaton.TwoPartAutomaton
- EdgeTreeAutomatonMixin<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
Mixin interface for implementing an automaton by
Automaton.edgeTree(Object)
. - edgeTreeB(B) - Method in class owl.automaton.TwoPartAutomaton
- either(Function<? super A, ? extends C>, Function<? super B, ? extends C>) - Method in class owl.collections.Either
- Either<A,B> - Class in owl.collections
- EMERSON_LEI - owl.translations.LTL2DAFunction.Constructions
- EmersonLeiAcceptance - Class in owl.automaton.acceptance
- EmersonLeiAcceptance(int, BooleanExpression<AtomAcceptance>) - Constructor for class owl.automaton.acceptance.EmersonLeiAcceptance
- empty() - Method in interface owl.factories.ValuationSetFactory
- empty(ValuationSetFactory) - Static method in class owl.automaton.AutomatonFactory
- empty(ValuationSetFactory, A) - Static method in class owl.automaton.AutomatonFactory
- emptyIsAccepting() - Method in class owl.automaton.acceptance.ParityAcceptance
- enter(S) - Method in interface owl.automaton.Automaton.Visitor
-
Called when entering a state.
- 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()
. - enterComparison(LTLParser.ComparisonContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by
LTLParser.comparison()
. - enterComparison(LTLParser.ComparisonContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by
LTLParser.comparison()
. - 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()
. - enterFraction(LTLParser.FractionContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
fraction
labeled alternative inLTLParser.frequencySpec()
. - enterFraction(LTLParser.FractionContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
fraction
labeled alternative inLTLParser.frequencySpec()
. - enterFrequencyOp(LTLParser.FrequencyOpContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by
LTLParser.frequencyOp()
. - enterFrequencyOp(LTLParser.FrequencyOpContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by
LTLParser.frequencyOp()
. - 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()
. - enterProbability(LTLParser.ProbabilityContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
probability
labeled alternative inLTLParser.frequencySpec()
. - enterProbability(LTLParser.ProbabilityContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
probability
labeled alternative inLTLParser.frequencySpec()
. - 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.ComparisonContext
- 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.FractionContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FrequencyOpContext
- 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.ProbabilityContext
- 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()
. - Environment - Interface in owl.run
-
The environment makes global configuration available to all parts of the pipeline.
- EOF() - Method in class owl.grammar.LTLParser.FormulaContext
- EQ - Static variable in class owl.grammar.LTLLexer
- EQ - Static variable in class owl.grammar.LTLParser
- eqFactory - Variable in class owl.factories.Factories
- 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.AutomatonReader.HoaState
- equals(Object) - Method in class owl.automaton.UltimatelyPeriodicWord
- equals(Object) - Method in class owl.collections.ValuationTree.Leaf
- equals(Object) - Method in class owl.collections.ValuationTree.Node
- equals(Object) - Method in class owl.ltl.Formula
- equals(Object) - Method in class owl.translations.delag.State
- 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
- equalsImpl(Formula) - Method in class owl.ltl.Biconditional
- equalsImpl(Formula) - Method in class owl.ltl.BinaryModalOperator
- equalsImpl(Formula) - Method in class owl.ltl.BooleanConstant
- equalsImpl(Formula) - Method in class owl.ltl.Formula
- equalsImpl(Formula) - Method in class owl.ltl.FrequencyG
- equalsImpl(Formula) - Method in class owl.ltl.Literal
- equalsImpl(Formula) - Method in class owl.ltl.PropositionalFormula
- equalsImpl(Formula) - Method in class owl.ltl.UnaryModalOperator
- EquivalenceClass - Class in owl.ltl
-
EquivalenceClass interface.
- EquivalenceClass(EquivalenceClassFactory, Formula) - Constructor for class owl.ltl.EquivalenceClass
- EquivalenceClassFactory - Interface in owl.factories
- ERROR - Static variable in class owl.grammar.LTLLexer
- ERROR - Static variable in class owl.grammar.LTLParser
- 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
- 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
- execute(Callable<Void>) - Static method in class owl.run.RunUtil
-
Executes the given given runner and logs any occurring error to the console.
- exit(S) - Method in interface owl.automaton.Automaton.Visitor
-
Called when leaving a state.
- 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()
. - exitComparison(LTLParser.ComparisonContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by
LTLParser.comparison()
. - exitComparison(LTLParser.ComparisonContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by
LTLParser.comparison()
. - 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()
. - exitFraction(LTLParser.FractionContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
fraction
labeled alternative inLTLParser.frequencySpec()
. - exitFraction(LTLParser.FractionContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
fraction
labeled alternative inLTLParser.frequencySpec()
. - exitFrequencyOp(LTLParser.FrequencyOpContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by
LTLParser.frequencyOp()
. - exitFrequencyOp(LTLParser.FrequencyOpContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by
LTLParser.frequencyOp()
. - 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()
. - exitProbability(LTLParser.ProbabilityContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
probability
labeled alternative inLTLParser.frequencySpec()
. - exitProbability(LTLParser.ProbabilityContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
probability
labeled alternative inLTLParser.frequencySpec()
. - 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.ComparisonContext
- 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.FractionContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FrequencyOpContext
- 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.ProbabilityContext
- 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()
. - 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(Environment, String) - Constructor for class owl.translations.ExternalTranslator
F
- Factories - Class in owl.factories
- Factories(EquivalenceClassFactory, ValuationSetFactory) - Constructor for class owl.factories.Factories
- factory - Variable in class owl.automaton.AbstractImplicitAutomaton
- factory() - Method in class owl.automaton.AbstractImplicitAutomaton
- factory() - Method in interface owl.automaton.Automaton
- factory() - Method in class owl.ltl.EquivalenceClass
- factory() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- factorySupplier() - Method in interface owl.run.Environment
-
Returns the configured
FactorySupplier
. - FactorySupplier - Interface in owl.factories
- failWithMessage(String) - Static method in class owl.run.RunUtil
-
Prints given
message
on standard error and callsSystem.exit(int)
with 1. - failWithMessage(String, Throwable) - Static method in class owl.run.RunUtil
- 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.collections.ValuationTree.Node
- fCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
- feedTo(Automaton<S, ?>, HOAConsumer) - Static method in class owl.automaton.output.HoaPrinter
- feedTo(Automaton<S, ?>, HOAConsumer, EnumSet<HoaPrinter.HoaOption>) - Static method in class owl.automaton.output.HoaPrinter
- feedTo(AigConsumer) - Method in interface owl.game.Game
- feedTo(AigConsumer) - Method in interface owl.game.output.AigPrintable
- FGMU - owl.ltl.SyntacticFragment
- fgSafety(Environment, LabelledFormula) - Static method in class owl.translations.LTL2DAFunction
- FgSafety(Factories, boolean, Formula) - Constructor for class owl.translations.canonical.DeterministicConstructions.FgSafety
- FgSafety(Factories, Formula) - Constructor for class owl.translations.canonical.NonDeterministicConstructions.FgSafety
- fgSafetyInterleaved(Environment, LabelledFormula) - Static method in class owl.translations.LTL2DAFunction
- FGX - owl.ltl.SyntacticFragment
- FGX2DPA - Class in owl.translations.fgx2dpa
- 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<Edge<S>>) - Static method in interface owl.automaton.SuccessorFunction
- filter(Automaton<S, A>, Set<S>) - Static method in class owl.automaton.Views
- filter(Automaton<S, A>, Set<S>, Predicate<Edge<S>>) - Static method in class owl.automaton.Views
- filter(Game<S, A>, Set<S>) - Static method in class owl.game.GameViews
- filter(Game<S, A>, Set<S>, Predicate<Edge<S>>) - Static method in class owl.game.GameViews
- FINALLY - Static variable in class owl.grammar.LTLLexer
- FINALLY - Static variable in class owl.grammar.LTLParser
- FINALLY() - Method in class owl.grammar.LTLParser.FrequencyOpContext
- FINALLY() - Method in class owl.grammar.LTLParser.UnaryOpContext
- FINITE - owl.ltl.SyntacticFragment
- finSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- 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
- 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
- FOperator - Class in owl.ltl
-
Finally.
- FOperator(Formula) - Constructor for class owl.ltl.FOperator
- forEach(BitSet, Consumer<? super BitSet>) - Method in class owl.collections.ValuationSet
- forEach(Consumer<? super BitSet>) - Method in class owl.collections.ValuationSet
- forEach(Consumer<BitSet>) - Method in interface owl.factories.ValuationSetFactory
- forEach(ValuationSet, BitSet, Consumer<? super BitSet>) - Method in interface owl.factories.ValuationSetFactory
- forEach(ValuationSet, Consumer<? super BitSet>) - Method in interface owl.factories.ValuationSetFactory
- 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<E1, E2>) - Static method in class owl.collections.Collections3
- formula - Variable in class owl.cinterface.DecomposedDPA.Reference
- formula - Variable in class owl.ltl.rewriter.LiteralMapper.ShiftedFormula
- formula() - Method in class owl.grammar.LTLParser
- formula() - Method in class owl.ltl.LabelledFormula
- Formula - Class in owl.ltl
- Formula.LogicalOperator - Class in owl.ltl
- Formula.ModalOperator - Class in owl.ltl
- Formula.TemporalOperator - Class in owl.ltl
- FormulaContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FormulaContext
- FormulaIsomorphism - Class in owl.ltl.util
- Formulas - Class in owl.ltl
- FractionContext(LTLParser.FrequencySpecContext) - Constructor for class owl.grammar.LTLParser.FractionContext
- FREQUENCY_SPEC - Static variable in class owl.grammar.LTLLexer
- FrequencyG - Class in owl.ltl
- FrequencyG(Formula, double, FrequencyG.Comparison, FrequencyG.Limes) - Constructor for class owl.ltl.FrequencyG
- FrequencyG.Comparison - Enum in owl.ltl
- FrequencyG.Limes - Enum in owl.ltl
- frequencyOp() - Method in class owl.grammar.LTLParser
- frequencyOp() - Method in class owl.grammar.LTLParser.UnaryOpContext
- FrequencyOpContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FrequencyOpContext
- frequencySpec() - Method in class owl.grammar.LTLParser.FrequencyOpContext
- frequencySpec() - Method in class owl.grammar.LTLParser
- FrequencySpecContext() - Constructor for class owl.grammar.LTLParser.FrequencySpecContext
- FrequencySpecContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FrequencySpecContext
- fromFunction(Class<K>, Function<K, V>) - Static method in class owl.run.modules.Transformers
- fromLeft() - Method in class owl.collections.Either
- fromRight() - Method in class owl.collections.Either
- fromWriter(OutputWriter) - Static method in class owl.run.modules.Transformers
- fSafety(Environment, LabelledFormula) - Static method in class owl.translations.LTL2DAFunction
G
- Game<S,A extends OmegaAcceptance> - Interface in owl.game
- Game.Owner - Enum in owl.game
- GameFactory - Class in owl.game
- GameUtil - Class in owl.game
- GameViews - Class in owl.game
- GameViews.Node<S> - Class in owl.game
-
A state of the split game.
- gCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- gCoSafety(Environment, LabelledFormula) - Static method in class owl.translations.LTL2DAFunction
- GCoSafety(Factories, boolean, Formula) - Constructor for class owl.translations.canonical.DeterministicConstructions.GCoSafety
- GE - Static variable in class owl.grammar.LTLLexer
- GE - Static variable in class owl.grammar.LTLParser
- GE() - Method in class owl.grammar.LTLParser.ComparisonContext
- GENERALIZED_BUCHI - owl.translations.LTL2DAFunction.Constructions
- GENERALIZED_BUCHI - owl.translations.LTL2NAFunction.Constructions
- GENERALIZED_RABIN - owl.translations.LTL2DAFunction.Constructions
- GeneralizedBuchiAcceptance - 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.optimizations
- GenericConstructions - Class in owl.translations.canonical
- GEQ - owl.ltl.FrequencyG.Comparison
- get(BitSet) - Method in class owl.collections.ValuationTree
- get(BitSet) - Method in class owl.collections.ValuationTree.Leaf
- get(BitSet) - Method in class owl.collections.ValuationTree.Node
- get(Robustness) - Method in class owl.ltl.robust.Split
- getAcceptanceSets(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
-
Collect all acceptance sets occurring on transitions within the given state set.
- getAcceptanceSets(Automaton<S, ?>, Set<S>) - Static method in class owl.automaton.AutomatonUtil
-
Collect all acceptance sets occurring on transitions within the given state set.
- getAllOfType(OwlModuleRegistry.Type) - Method in class owl.run.modules.OwlModuleRegistry
- getAllWithName(String) - Method in class owl.run.modules.OwlModuleRegistry
- 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
- getCause() - Method in exception owl.run.parser.PipelineParser.ModuleParseException
- getChannelNames() - Method in class owl.grammar.LTLLexer
- getChildren() - Method in class owl.collections.LabelledTree.Node
- getChoice(S, Game.Owner) - Method in interface owl.game.Game
- getDefaultAnnotationOption() - Static method in class owl.run.RunUtil
- getDepth(Formula) - Static method in class owl.ltl.visitors.XDepthVisitor
- getDescription() - Method in class owl.ltl.robust.RobustLtlInputReader
- getDescription() - Method in interface owl.run.modules.OwlModuleParser
- getDescription() - Method in class owl.translations.modules.LTL2DGRAModule
- getDescription() - Method in class owl.translations.modules.LTL2DPAModule
- getDescription() - Method in class owl.translations.modules.LTL2DRAModule
- getDescription() - Method in class owl.translations.modules.LTL2LDBAModule
- getDescription() - Method in class owl.translations.modules.LTL2LDGBAModule
- getDescription() - Method in class owl.translations.modules.LTL2NBAModule
- getDescription() - Method in class owl.translations.modules.LTL2NGBAModule
- getEquivalenceClassFactory(List<String>) - Method in interface owl.factories.FactorySupplier
- getEquivalenceClassFactory(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
- getEquivalenceClassFactory(List<String>, boolean) - Method in interface owl.factories.FactorySupplier
- getEquivalenceClassFactory(List<String>, boolean) - Method in class owl.factories.jbdd.JBddSupplier
- getFactories(List<String>) - Method in interface owl.factories.FactorySupplier
- getFactories(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
- getFactories(List<String>, boolean) - Method in interface owl.factories.FactorySupplier
- getFactory() - Method in class owl.collections.ValuationSet
- getFalse() - Method in interface owl.factories.EquivalenceClassFactory
- getFalse() - Method in class owl.game.output.AigFactory
- getGrammarFileName() - Method in class owl.grammar.LTLLexer
- getGrammarFileName() - Method in class owl.grammar.LTLParser
- getIncompleteStates(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
-
Determines all states which are incomplete, i.e.
- getKey() - Method in class owl.ltl.robust.RobustLtlInputReader
- getKey() - Method in interface owl.run.modules.OwlModuleParser
- getKey() - Method in class owl.translations.modules.LTL2DGRAModule
- getKey() - Method in class owl.translations.modules.LTL2DPAModule
- getKey() - Method in class owl.translations.modules.LTL2DRAModule
- getKey() - Method in class owl.translations.modules.LTL2LDBAModule
- getKey() - Method in class owl.translations.modules.LTL2LDGBAModule
- getKey() - Method in class owl.translations.modules.LTL2NBAModule
- getKey() - Method in class owl.translations.modules.LTL2NGBAModule
- getLabel() - Method in class owl.collections.LabelledTree.Leaf
- getLabel() - Method in class owl.collections.LabelledTree.Node
- getModeNames() - Method in class owl.grammar.LTLLexer
- getNode(int) - Method in class owl.game.output.AigFactory
- getNondeterministicStates(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
- getOptions() - Method in class owl.ltl.robust.RobustLtlInputReader
- getOptions() - Static method in class owl.run.DefaultCli
- getOptions() - Method in interface owl.run.modules.OwlModuleParser
- getOptions() - Static method in class owl.run.ServerCli
- getOptions() - Method in class owl.translations.modules.LTL2DPAModule
- getOwner(S) - Method in interface owl.game.Game
- getPredecessors(Iterable<S>) - Method in interface owl.game.Game
- getPredecessors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
- getPredecessors(S, Game.Owner) - Method in interface owl.game.Game
- 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.ComparisonContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.ExpressionContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.FormulaContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.FrequencyOpContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.FrequencySpecContext
- 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
- getSerializedATN() - Method in class owl.grammar.LTLLexer
- getSerializedATN() - Method in class owl.grammar.LTLParser
- getStates(Game.Owner) - Method in interface owl.game.Game
- getSuccessors(Iterable<S>) - Method in interface owl.game.Game
- getSuccessors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
- getSuccessors(S, Game.Owner) - Method in interface owl.game.Game
- getTokenNames() - Method in class owl.grammar.LTLLexer
-
Deprecated.
- getTokenNames() - Method in class owl.grammar.LTLParser
-
Deprecated.
- getTrue() - Method in interface owl.factories.EquivalenceClassFactory
- getTrue() - Method in class owl.game.output.AigFactory
- getValuationSetFactory(List<String>) - Method in interface owl.factories.FactorySupplier
- getValuationSetFactory(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
- getVariables(Game.Owner) - Method in interface owl.game.Game
- getVocabulary() - Method in class owl.grammar.LTLLexer
- getVocabulary() - Method in class owl.grammar.LTLParser
- gfCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- gfCoSafety(Environment, LabelledFormula, boolean) - Static method in class owl.translations.LTL2DAFunction
- GfCoSafety(Factories, boolean, Set<? extends Formula>, boolean) - Constructor for class owl.translations.canonical.DeterministicConstructions.GfCoSafety
- GfCoSafety(Factories, Set<? extends Formula>, boolean) - Constructor for class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
- 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
- GLOBALLY - Static variable in class owl.grammar.LTLLexer
- GLOBALLY - Static variable in class owl.grammar.LTLParser
- GLOBALLY() - Method in class owl.grammar.LTLParser.FrequencyOpContext
- GLOBALLY() - Method in class owl.grammar.LTLParser.UnaryOpContext
- globalSettings - Variable in class owl.run.parser.OwlParser
- GOperator - Class in owl.ltl
-
Globally.
- GOperator(Formula) - Constructor for class owl.ltl.GOperator
- greatestFixpoints() - Method in class owl.translations.mastertheorem.Fixpoints
- gSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- GT - owl.ltl.FrequencyG.Comparison
- GT - Static variable in class owl.grammar.LTLLexer
- GT - Static variable in class owl.grammar.LTLParser
- GT() - Method in class owl.grammar.LTLParser.ComparisonContext
- guard(OutputStream) - Static method in class owl.util.GuardedStream
- guard(Writer) - Static method in class owl.util.GuardedStream
- GuardedStream - Class in owl.util
-
Wrappers for streams which only forward a
OutputStream.flush()
uponOutputStream.close()
.
H
- hasAcceptanceSets() - Method in class owl.automaton.edge.Edge
-
Returns whether this edge has any acceptance set.
- hashCode() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- hashCode() - Method in class owl.automaton.acceptance.ParityAcceptance
- hashCode() - Method in class owl.automaton.AutomatonReader.HoaState
- hashCode() - Method in class owl.automaton.UltimatelyPeriodicWord
- hashCode() - Method in class owl.collections.ValuationTree.Leaf
- hashCode() - Method in class owl.collections.ValuationTree.Node
- hashCode() - Method in class owl.ltl.Formula
- hashCode() - Method in class owl.translations.delag.State
- 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
- HashedTuple - Annotation Type in owl.util.annotation
- hasInfSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- height() - Method in class owl.ltl.Formula
- height(Collection<? extends Formula>) - Static method in class owl.ltl.Formulas
- HOA - Static variable in class owl.run.modules.InputReaders
- HOA - Static variable in class owl.run.modules.OutputWriters
- HOA_CLI - Static variable in class owl.run.modules.InputReaders
- HOA_CLI - Static variable in class owl.run.modules.OutputWriters
- HoaPrinter - Class in owl.automaton.output
- HoaPrinter.HoaOption - Enum in owl.automaton.output
I
- IARBuilder<R> - Class in owl.translations.dra2dpa
- IARBuilder(Automaton<R, RabinAcceptance>) - Constructor for class owl.translations.dra2dpa.IARBuilder
- IARState<R> - Class in owl.translations.dra2dpa
- IARState() - Constructor for class owl.translations.dra2dpa.IARState
- IMP - Static variable in class owl.grammar.LTLLexer
- IMP - Static variable in class owl.grammar.LTLParser
- IMP() - Method in class owl.grammar.LTLParser.BinaryOpContext
- ImplicitNonDeterministicEdgeTreeAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
- ImplicitNonDeterministicEdgeTreeAutomaton(ValuationSetFactory, Collection<S>, A, BiFunction<S, BitSet, Set<Edge<S>>>, Function<S, ValuationTree<Edge<S>>>) - Constructor for class owl.automaton.ImplicitNonDeterministicEdgeTreeAutomaton
- implies(EquivalenceClass) - Method in class owl.ltl.EquivalenceClass
- implies(EquivalenceClass, EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
- index - Variable in class owl.cinterface.DecomposedDPA.Reference
- index() - Method in class owl.translations.canonical.RoundRobinState
- INF - owl.ltl.FrequencyG.Limes
- INF - Static variable in class owl.grammar.LTLLexer
- INF - Static variable in class owl.grammar.LTLParser
- INF() - Method in class owl.grammar.LTLParser.FrequencyOpContext
- 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
- infSetIterator() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- initialComponent() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- initialComponent() - Method in class owl.translations.nba2ldba.NBA2LDBA.LDBA
- initialStateInternal(EquivalenceClass) - Method in class owl.translations.canonical.LegacyFactory
-
Deprecated.
- initialStateInternal(EquivalenceClass, EquivalenceClass) - Method in class owl.translations.canonical.LegacyFactory
-
Deprecated.
- initialStates - Variable in class owl.automaton.AbstractImplicitAutomaton
- initialStates() - Method in class owl.automaton.AbstractImplicitAutomaton
- initialStates() - Method in interface owl.automaton.Automaton
-
Returns the set of initial states, which can potentially be empty.
- initialStates() - Method in class owl.automaton.TwoPartAutomaton
- initialStates() - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
- initialStates() - Method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
- initialStates(Collection<? extends S>) - Method in interface owl.automaton.MutableAutomaton
-
Sets the set of initial states of the automaton.
- initialStatesA() - Method in class owl.automaton.TwoPartAutomaton
- initialStatesB() - Method in class owl.automaton.TwoPartAutomaton
- initialStatesWithRemainder(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.Safety
- inner - Variable in class owl.grammar.LTLParser.UnaryOperationContext
- input() - Method in class owl.run.Pipeline
- InputReader - Interface in owl.run.modules
-
Input readers are tasked with providing input to the processing pipeline.
- InputReaders - Class in owl.run.modules
- InputReaders.CheckedCallback - Interface in owl.run.modules
- inSet(int) - Method in class owl.automaton.edge.Edge
-
Test membership of this edge for a specific acceptance set.
- 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.acceptance.NoneAcceptance
- INSTANCE - Static variable in class owl.automaton.transformations.RabinDegeneralization
- INSTANCE - Static variable in class owl.ltl.rewriter.PullUpXVisitor
- INSTANCE - Static variable in class owl.ltl.robust.RobustLtlInputReader
- INSTANCE - Static variable in class owl.translations.ltl2ldba.BlockingModalOperatorsVisitor
- INSTANCE - Static variable in class owl.translations.modules.LTL2DGRAModule
- INSTANCE - Static variable in class owl.translations.modules.LTL2DPAModule
- INSTANCE - Static variable in class owl.translations.modules.LTL2DRAModule
- INSTANCE - Static variable in class owl.translations.modules.LTL2LDBAModule
- INSTANCE - Static variable in class owl.translations.modules.LTL2LDGBAModule
- INSTANCE - Static variable in class owl.translations.modules.LTL2NBAModule
- INSTANCE - Static variable in class owl.translations.modules.LTL2NGBAModule
- instanceFromFunction(Class<K>, Function<K, V>) - Static method in class owl.run.modules.Transformers
- IntBiConsumer - Interface in owl.util
- intersection(Iterable<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
- intersection(Iterator<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
- intersection(List<Automaton<S, ? extends OmegaAcceptance>>) - Static method in class owl.automaton.AutomatonOperations
-
Constructs an automaton recognizing the intersection of languages of the given automata.
- intersection(UpwardClosedSet) - Method in class owl.collections.UpwardClosedSet
- intersection(ValuationSet) - Method in class owl.collections.ValuationSet
- intersection(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- intersects(ValuationSet) - Method in class owl.collections.ValuationSet
- intersects(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- IntVisitor - Interface in owl.ltl.visitors
- inverse(Map<S, ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
- inverse(ValuationSetFactory) - Method in class owl.collections.ValuationTree
- is(Automaton.Property) - Method in interface owl.automaton.Automaton
- is(Automaton.Property) - Method in class owl.automaton.Views.AutomatonView
- 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
- isAccepting(int) - Method in class owl.automaton.acceptance.ParityAcceptance
- isAlmostAll(Formula) - Static method in class owl.ltl.SyntacticFragments
- isConstant() - Method in class owl.game.output.Aig
- isCoSafety(Iterable<? extends Formula>) - Static method in class owl.ltl.SyntacticFragments
- isDetBuchiRecognisable(Formula) - Static method in class owl.ltl.SyntacticFragments
- isDetCoBuchiRecognisable(Formula) - Static method in class owl.ltl.SyntacticFragments
- isDistinct(List<E>) - Static method in class owl.collections.Collections3
- isEmpty() - Method in class owl.collections.ValuationSet
- isEmpty() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- isEmpty(Automaton<S, ?>) - Static method in class owl.automaton.algorithms.LanguageEmptiness
- isEmpty(Automaton<S, ?>, S) - Static method in class owl.automaton.algorithms.LanguageEmptiness
- isFalse() - Method in class owl.ltl.EquivalenceClass
- isFgSafety(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
- isLeaf() - Method in class owl.game.output.Aig
- isLeft() - Method in class owl.collections.Either
- isLiveness() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- isLiveness() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- isNegated() - Method in class owl.game.output.LabelledAig
- isNegated() - Method in class owl.ltl.Literal
- isPureEventual() - Method in class owl.ltl.Biconditional
- isPureEventual() - Method in class owl.ltl.BinaryModalOperator
- isPureEventual() - Method in class owl.ltl.BooleanConstant
- isPureEventual() - Method in class owl.ltl.FOperator
- isPureEventual() - Method in class owl.ltl.Formula
- isPureEventual() - Method in class owl.ltl.FrequencyG
- isPureEventual() - Method in class owl.ltl.GOperator
- isPureEventual() - Method in class owl.ltl.Literal
- isPureEventual() - Method in class owl.ltl.PropositionalFormula
- isPureEventual() - Method in class owl.ltl.XOperator
- isPureUniversal() - Method in class owl.ltl.Biconditional
- isPureUniversal() - Method in class owl.ltl.BinaryModalOperator
- isPureUniversal() - Method in class owl.ltl.BooleanConstant
- isPureUniversal() - Method in class owl.ltl.FOperator
- isPureUniversal() - Method in class owl.ltl.Formula
- isPureUniversal() - Method in class owl.ltl.FrequencyG
- isPureUniversal() - Method in class owl.ltl.GOperator
- isPureUniversal() - Method in class owl.ltl.Literal
- isPureUniversal() - Method in class owl.ltl.PropositionalFormula
- isPureUniversal() - Method in class owl.ltl.XOperator
- isRight() - Method in class owl.collections.Either
- isSafety() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- isSafety() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- isSafety(Iterable<? extends Formula>) - Static method in class owl.ltl.SyntacticFragments
- isSatisfiable(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
- isShutdown() - Method in interface owl.run.Environment
-
Whether the computation has finished.
- isSuspendable() - Method in class owl.ltl.Formula
- isTransient(SuccessorFunction<S>, Set<S>) - Static method in class owl.automaton.algorithms.SccDecomposition
- isTrap(Automaton<S, ?>, Set<S>) - Static method in class owl.automaton.algorithms.SccDecomposition
-
Determines whether the given set of states is a BSCC in the given automaton.
- isTrue() - Method in class owl.ltl.EquivalenceClass
- isUniversal(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
- isUniverse() - Method in class owl.collections.ValuationSet
- isUnsatisfiable(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
- isVariable() - Method in class owl.game.output.Aig
- isWellFormedAutomaton(Automaton<S, ?>) - Method in class owl.automaton.acceptance.OmegaAcceptance
- isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.AllAcceptance
- isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.CoBuchiAcceptance
- isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
- isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.NoneAcceptance
- isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.OmegaAcceptance
-
This method determines if the given edge is a well defined edge for this acceptance condition.
- isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.ParityAcceptance
- isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.RabinAcceptance
J
- JBddSupplier - Class in owl.factories.jbdd
- join(String...) - Static method in class owl.util.StringUtil
L
- 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
- LabelledTree<L1,L2> - Class in owl.collections
- LabelledTree.Leaf<L1,L2> - Class in owl.collections
- LabelledTree.Node<L1,L2> - Class in owl.collections
- language() - Method in class 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.algorithms
- LanguageEmptiness - Class in owl.automaton.algorithms
- LanguageMembership - Class in owl.automaton.algorithms
- largestAcceptanceSet() - Method in class owl.automaton.edge.Edge
-
Returns the largest acceptance set this edge is a member of, or
-1
if none. - LatexPrintVisitor - Class in owl.ltl.visitors
- LatexPrintVisitor(List<String>) - Constructor for class owl.ltl.visitors.LatexPrintVisitor
- LCPAREN - Static variable in class owl.grammar.LTLLexer
- LCPAREN - Static variable in class owl.grammar.LTLParser
- LCPAREN() - Method in class owl.grammar.LTLParser.FrequencyOpContext
- LDBA() - Constructor for class owl.translations.nba2ldba.NBA2LDBA.LDBA
- ldbaSplit(Automaton<S, 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
- LE - Static variable in class owl.grammar.LTLLexer
- LE - Static variable in class owl.grammar.LTLParser
- LE() - Method in class owl.grammar.LTLParser.ComparisonContext
- leaf(int) - Static method in class owl.game.output.Aig
- Leaf(L2) - Constructor for class owl.collections.LabelledTree.Leaf
- leastFixpoints() - Method in class owl.translations.mastertheorem.Fixpoints
- leavesStream() - Method in class owl.collections.LabelledTree.Leaf
- leavesStream() - Method in class owl.collections.LabelledTree
- leavesStream() - Method in class owl.collections.LabelledTree.Node
- left - Variable in class owl.grammar.LTLParser.BinaryOperationContext
- left - Variable in class owl.ltl.Biconditional
- left - Variable in class owl.ltl.BinaryModalOperator
- left() - Method in class owl.game.output.Aig
- left(A) - Static method in class owl.collections.Either
- leftIsNegated() - Method in class owl.game.output.Aig
- LegacyFactory - Class in owl.translations.canonical
-
Deprecated.
- LegacyFactory(Factories) - Constructor for class owl.translations.canonical.LegacyFactory
-
Deprecated.
- limes - Variable in class owl.grammar.LTLParser.FrequencyOpContext
- limes - Variable in class owl.ltl.FrequencyG
- LIMIT_DETERMINISTIC - owl.automaton.Automaton.Property
- Literal - Class in owl.ltl
- LiteralMapper - Class in owl.ltl.rewriter
- LiteralMapper.ShiftedFormula - Class in owl.ltl.rewriter
- liveness - Variable in class owl.translations.ltl2ldba.SymmetricProductState
- liveness - Variable in class owl.translations.ltl2nba.ProductState
- 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
- LT - Static variable in class owl.grammar.LTLLexer
- LT - Static variable in class owl.grammar.LTLParser
- LT() - Method in class owl.grammar.LTLParser.ComparisonContext
- LTL - Static variable in class owl.run.modules.InputReaders
- LTL_CLI - Static variable in class owl.run.modules.InputReaders
- LTL_SIMPLIFIER - Static variable in class owl.run.modules.Transformers
- LTL2DAFunction - Class in owl.translations
- LTL2DAFunction(Environment) - Constructor for class owl.translations.LTL2DAFunction
- LTL2DAFunction(Environment, boolean, EnumSet<LTL2DAFunction.Constructions>) - Constructor for class owl.translations.LTL2DAFunction
- LTL2DAFunction.Constructions - Enum in owl.translations
- LTL2DAModule - Class in owl.translations.modules
- LTL2DGRAModule - Class in owl.translations.modules
- LTL2DPAFunction - Class in owl.translations.ltl2dpa
- LTL2DPAFunction(Environment, Set<LTL2DPAFunction.Configuration>) - Constructor for class owl.translations.ltl2dpa.LTL2DPAFunction
- LTL2DPAFunction.Configuration - Enum in owl.translations.ltl2dpa
- LTL2DPAModule - Class in owl.translations.modules
- LTL2DRAModule - Class in owl.translations.modules
- LTL2LDBAModule - Class in owl.translations.modules
- LTL2LDGBAModule - Class in owl.translations.modules
- LTL2NAFunction - Class in owl.translations
- LTL2NAFunction(Environment) - Constructor for class owl.translations.LTL2NAFunction
- LTL2NAFunction(Environment, EnumSet<LTL2NAFunction.Constructions>) - Constructor for class owl.translations.LTL2NAFunction
- LTL2NAFunction.Constructions - Enum in owl.translations
- LTL2NAModule - Class in owl.translations.modules
- LTL2NBAModule - Class in owl.translations.modules
- LTL2NGBAModule - Class in owl.translations.modules
- 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.ComparisonContext - Class in owl.grammar
- LTLParser.DoubleQuotedVariableContext - Class in owl.grammar
- LTLParser.ExpressionContext - Class in owl.grammar
- LTLParser.FormulaContext - Class in owl.grammar
- LTLParser.FractionContext - Class in owl.grammar
- LTLParser.FrequencyOpContext - Class in owl.grammar
- LTLParser.FrequencySpecContext - Class in owl.grammar
- LTLParser.NestedContext - Class in owl.grammar
- LTLParser.OrExpressionContext - Class in owl.grammar
- LTLParser.ProbabilityContext - 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
.
M
- main(String...) - Static method in class owl.run.DefaultCli
- main(String...) - Static method in class owl.run.ServerCli
- main(String...) - Static method in class owl.translations.delag.DelagBuilder
- main(String...) - Static method in class owl.translations.dra2dpa.IARBuilder
- main(String...) - Static method in class owl.translations.fgx2dpa.FGX2DPA
- main(String...) - Static method in class owl.translations.modules.LTL2DAModule
- main(String...) - Static method in class owl.translations.modules.LTL2DGRAModule
- main(String...) - Static method in class owl.translations.modules.LTL2DPAModule
- main(String...) - Static method in class owl.translations.modules.LTL2DRAModule
- main(String...) - Static method in class owl.translations.modules.LTL2LDBAModule
- main(String...) - Static method in class owl.translations.modules.LTL2LDGBAModule
- main(String...) - Static method in class owl.translations.modules.LTL2NAModule
- main(String...) - Static method in class owl.translations.modules.LTL2NBAModule
- main(String...) - Static method in class owl.translations.modules.LTL2NGBAModule
- main(String...) - Static method in class owl.translations.nba2dpa.NBA2DPA
- main(String...) - Static method in class owl.translations.nba2ldba.NBA2LDBA
- main(String...) - Static method in class owl.translations.Synthesis
- map(Function<? super Set<E>, ? extends Collection<? extends T>>) - Method in class owl.collections.ValuationTree
- map(Function<? super Formula, ? extends T>) - Method in class owl.ltl.PropositionalFormula
- 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
- mapping - Variable in class owl.ltl.rewriter.LiteralMapper.ShiftedFormula
- masterState() - Method in class owl.translations.rabinizer.RabinizerState
- max() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- MAX_EVEN - owl.automaton.acceptance.ParityAcceptance.Parity
- MAX_ODD - owl.automaton.acceptance.ParityAcceptance.Parity
- maximalElements(List<E>, BiPredicate<E, E>) - Static method in class owl.collections.Collections3
-
Computes a sub-list of elements which are maximal.
- maxString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- memoizedInverse(ValuationSetFactory, Map<ValuationTree<E>, Map<E, ValuationSet>>) - Method in class owl.collections.ValuationTree.Leaf
- memoizedInverse(ValuationSetFactory, Map<ValuationTree<E>, Map<E, ValuationSet>>) - Method in class owl.collections.ValuationTree
- memoizedInverse(ValuationSetFactory, Map<ValuationTree<E>, Map<E, ValuationSet>>) - Method in class owl.collections.ValuationTree.Node
- memoizedMap(Function<? super Set<E>, ? extends Collection<? extends T>>, Map<ValuationTree<E>, ValuationTree<T>>) - Method in class owl.collections.ValuationTree.Leaf
- memoizedMap(Function<? super Set<E>, ? extends Collection<? extends T>>, Map<ValuationTree<E>, ValuationTree<T>>) - Method in class owl.collections.ValuationTree
- memoizedMap(Function<? super Set<E>, ? extends Collection<? extends T>>, Map<ValuationTree<E>, ValuationTree<T>>) - Method in class owl.collections.ValuationTree.Node
- mergeBuchiTypePairs(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
- metaWriter() - Method in interface owl.run.PipelineExecutionContext
-
The destination for any meta information obtained during execution.
- MIN_EVEN - owl.automaton.acceptance.ParityAcceptance.Parity
- MIN_ODD - owl.automaton.acceptance.ParityAcceptance.Parity
- minimizeEdgeImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.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.optimizations.GeneralizedRabinAcceptanceOptimizations
-
Merge independent pairs.
- minimizeOverlap(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
-
Remove edges in a Fin set from all corresponding Inf sets.
- minimizePairImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
-
Delete all pairs which only accept if another pair accepts.
- minimizePriorities(MutableAutomaton<S, ParityAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.ParityAcceptanceOptimizations
- MINIMIZER - Static variable in class owl.run.modules.Transformers
- minimizeSccIrrelevant(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
-
- Remove all indices from edges of an SCC which can't accept (e.g.
- minus(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- mkFin(int) - Static method in class owl.automaton.acceptance.BooleanExpressions
- mkInf(int) - Static method in class owl.automaton.acceptance.BooleanExpressions
- modalOperators() - Method in class owl.ltl.EquivalenceClass
- modalOperators(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
-
Compute the support of the EquivalenceClass.
- modeNames - Static variable in class owl.grammar.LTLLexer
- ModuleParseException(ParseException, OwlModuleParser<?>) - Constructor for exception owl.run.parser.PipelineParser.ModuleParseException
- Monitor<F extends UnaryModalOperator> - Class in owl.translations.fgx2dpa
- Monitor() - Constructor for class owl.translations.fgx2dpa.Monitor
- 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.TwoPartAutomaton
- MutableAutomaton<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
A mutation interface extending
Automaton
. - MutableAutomatonFactory - Class in owl.automaton
- MutableAutomatonUtil - Class in owl.automaton
- MutableAutomatonUtil.Sink - Class in owl.automaton
N
- name - Variable in exception owl.run.modules.OwlModuleRegistry.OwlModuleNotFoundException
- name - Variable in enum owl.run.modules.OwlModuleRegistry.Type
- 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.GeneralizedRabinAcceptance
- name() - Method in class owl.automaton.acceptance.NoneAcceptance
- name() - Method in class owl.automaton.acceptance.OmegaAcceptance
- name() - Method in class owl.automaton.acceptance.ParityAcceptance
- name() - Method in class owl.automaton.acceptance.RabinAcceptance
- name() - Method in interface owl.automaton.Automaton
- name(String) - Method in interface owl.automaton.MutableAutomaton
-
Sets the name of the automaton.
- nameExtra() - Method in class owl.automaton.acceptance.BuchiAcceptance
- nameExtra() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
- nameExtra() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- nameExtra() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- nameExtra() - Method in class owl.automaton.acceptance.OmegaAcceptance
- nameExtra() - Method in class owl.automaton.acceptance.ParityAcceptance
- nameExtra() - Method in class owl.automaton.acceptance.RabinAcceptance
- NBA2DPA - Class in owl.translations.nba2dpa
- NBA2DPA() - Constructor for class owl.translations.nba2dpa.NBA2DPA
- NBA2LDBA - Class in owl.translations.nba2ldba
- NBA2LDBA() - Constructor for class owl.translations.nba2ldba.NBA2LDBA
- NBA2LDBA.LDBA<S> - Class in owl.translations.nba2ldba
- nested - Variable in class owl.grammar.LTLParser.NestedContext
- NestedContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.NestedContext
- NEVER - owl.ltl.robust.Robustness
- newThread(Runnable) - Method in class owl.util.DaemonThreadFactory
- next() - Method in class owl.translations.canonical.BreakpointState
- NEXT - Static variable in class owl.grammar.LTLLexer
- NEXT - Static variable in class owl.grammar.LTLParser
- NEXT() - Method in class owl.grammar.LTLParser.UnaryOpContext
- 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.FrequencyG
- 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.ROperator
- nnf() - Method in class owl.ltl.UOperator
- nnf() - Method in class owl.ltl.WOperator
- nnf() - Method in class owl.ltl.XOperator
- NNF - owl.ltl.rewriter.SimplifierFactory.Mode
- NNF - owl.ltl.SyntacticFragment
- NNF_LIGHT - owl.ltl.rewriter.SimplifierFactory.Mode
- 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
- Node(L1, List<LabelledTree<L1, L2>>) - Constructor for class owl.collections.LabelledTree.Node
- 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
- NoneAcceptance - Class in owl.automaton.acceptance
- NormalForms - Class in owl.ltl.rewriter
- normalize(Formula, SyntacticFragment) - Static method in class owl.ltl.SyntacticFragments
- normalize(LabelledFormula, SyntacticFragment) - Static method in class owl.ltl.SyntacticFragments
- 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 class owl.ltl.FOperator
- not() - Method in class owl.ltl.Formula
-
Syntactically negate this formula.
- not() - Method in class owl.ltl.FrequencyG
- 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.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
- NULL - Static variable in class owl.run.modules.OutputWriters
- NULL_CLI - Static variable in class owl.run.modules.OutputWriters
- numerator - Variable in class owl.grammar.LTLParser.FractionContext
O
- of() - Static method in class owl.collections.UpwardClosedSet
- of() - Static method in class owl.collections.ValuationTree
- of(boolean) - Static method in class owl.ltl.BooleanConstant
- of(boolean, boolean) - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- of(int) - Static method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- 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.factories.ValuationSetFactory
- of(int) - Static method in class owl.ltl.Literal
- of(int, boolean) - Static method in class owl.ltl.Literal
- of(int, E) - Static method in class owl.translations.canonical.RoundRobinState
- of(int, ValuationTree<E>, ValuationTree<E>) - Static method in class owl.collections.ValuationTree
- of(E, E) - Static method in class owl.translations.canonical.BreakpointState
- of(F) - Static method in class owl.translations.fgx2dpa.Monitor
- of(F, Set<Formula>) - Static method in class owl.translations.fgx2dpa.Monitor
- of(Iterable<? extends Formula>) - Static method in class owl.ltl.Conjunction
- of(Iterable<? extends Formula>) - Static method in class owl.ltl.Disjunction
- of(BitSet) - Static method in class owl.collections.UpwardClosedSet
- of(BitSet) - Method in interface owl.factories.ValuationSetFactory
- of(BitSet, BitSet) - Method in interface owl.factories.ValuationSetFactory
- of(Collection<? extends E>) - Static method in class owl.collections.ValuationTree
- of(Collection<? extends Formula.ModalOperator>) - Static method in class owl.translations.mastertheorem.Fixpoints
- of(Collection<? extends Formula.ModalOperator>, Collection<? extends Formula.ModalOperator>) - Static method in class owl.translations.mastertheorem.Fixpoints
- of(Iterator<? extends Formula>) - Static method in class owl.ltl.Conjunction
- of(Iterator<? extends Formula>) - Static method in class owl.ltl.Disjunction
- 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(Set<GOperator>, List<FOperator>) - Static method in class owl.translations.fgx2dpa.PromisedSet
- of(Set<GOperator>, List<FOperator>, Formula) - Static method in class owl.translations.fgx2dpa.PromisedSet
- of(Stream<? extends Formula>) - Static method in class owl.ltl.Conjunction
- of(Stream<? extends Formula>) - Static method in class owl.ltl.Disjunction
- of(BooleanExpression<AtomAcceptance>) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- of(BooleanExpression<AtomAcceptance>) - Static method in class owl.automaton.acceptance.RabinAcceptance
- of(BooleanExpression<AtomLabel>, IntUnaryOperator) - Method in interface owl.factories.ValuationSetFactory
- of(GeneralizedRabinAcceptance.RabinPair...) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- of(GeneralizedRabinAcceptance.RabinPair...) - Static method in class owl.automaton.acceptance.RabinAcceptance
- of(Aig) - Static method in class owl.game.output.LabelledAig
- of(Aig, boolean) - Static method in class owl.game.output.LabelledAig
- of(Formula) - Method in interface owl.factories.EquivalenceClassFactory
- 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, boolean, boolean, int) - Static method in class owl.cinterface.DecomposedDPA
- 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, List<String>, BitSet) - Static method in class owl.ltl.LabelledFormula
- of(Formula, List<String>, Set<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.cinterface.DeterministicAutomaton
- of(Split, List<String>) - Static method in class owl.ltl.robust.LabelledSplit
- of(Environment, Class<? extends B>) - Static method in class owl.translations.ltl2ldba.AsymmetricLDBAConstruction
- of(Environment, Class<? extends B>) - Static method in class owl.translations.ltl2ldba.SymmetricLDBAConstruction
- of(Environment, Class<? extends R>, boolean) - Static method in class owl.translations.ltl2dra.SymmetricDRAConstruction
- of(Environment, Class<B>) - Static method in class owl.translations.ltl2nba.SymmetricNBAConstruction
- of(OwlModuleParser<?>) - Static method in enum owl.run.modules.OwlModuleRegistry.Type
- 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.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.
- ofGeneralized(int, int) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- ofNullable(E) - Static method in class owl.collections.Collections3
- OmegaAcceptance - Class in owl.automaton.acceptance
- OmegaAcceptance() - Constructor for class owl.automaton.acceptance.OmegaAcceptance
- OmegaAcceptanceOptimizations - Class in owl.automaton.acceptance.optimizations
- onlyInitialState() - Method in class owl.automaton.AbstractImplicitAutomaton
- onlyInitialState() - Method in interface owl.automaton.Automaton
-
Returns the initial state.
- onlyInitialState() - Method in class owl.translations.canonical.DeterministicConstructions.GCoSafety
- onlyInitialState() - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
- onlyInitialState() - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
- onlyInitialState() - Method in class owl.translations.canonical.LegacyFactory
-
Deprecated.
- onlyInitialStateWithRemainder(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Safety
- op - Variable in class owl.grammar.LTLParser.BinaryOperationContext
- op - Variable in class owl.grammar.LTLParser.FrequencyOpContext
- op - Variable in class owl.grammar.LTLParser.UnaryOperationContext
- operand - Variable in class owl.ltl.UnaryModalOperator
- OPERATOR - Static variable in class owl.ltl.rewriter.PullUpXVisitor
- operatorSymbol() - Method in class owl.ltl.BinaryModalOperator
- 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.FrequencyG
- operatorSymbol() - Method in class owl.ltl.GOperator
- operatorSymbol() - Method in class owl.ltl.MOperator
- operatorSymbol() - Method in class owl.ltl.PropositionalFormula
- operatorSymbol() - Method in class owl.ltl.ROperator
- operatorSymbol() - Method in class owl.ltl.UnaryModalOperator
- 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
- OPTIMISE_INITIAL_STATE - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- optimize(Automaton<S, A>) - Static method in class owl.automaton.acceptance.optimizations.AcceptanceOptimizations
- optimizeInitialState(Automaton<S, A>) - Static method in class owl.automaton.util.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()
. - or - Variable in class owl.grammar.LTLParser.ExpressionContext
- or(EquivalenceClass) - Method in class owl.ltl.EquivalenceClass
- OR - Static variable in class owl.grammar.LTLLexer
- OR - Static variable in class owl.grammar.LTLParser
- OR() - Method in class owl.grammar.LTLParser.OrExpressionContext
- OR(int) - Method in class owl.grammar.LTLParser.OrExpressionContext
- orExpression() - Method in class owl.grammar.LTLParser.ExpressionContext
- orExpression() - Method in class owl.grammar.LTLParser
- OrExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.OrExpressionContext
- output() - Method in class owl.run.Pipeline
- OutputWriter - Interface in owl.run.modules
-
The final piece of every pipeline, formatting the produced results and writing them on some output.
- OutputWriter.Binding - Interface in owl.run.modules
- OutputWriters - Class in owl.run.modules
- OutputWriters.AutomatonStats - Class in owl.run.modules
- OutputWriters.ToHoa - Class in owl.run.modules
-
Converts any
HOA printable
object to its corresponding HOA representation. - owl.automaton - package owl.automaton
-
This package and its subpackages contain the infrastructure for omega automata.
- owl.automaton.acceptance - package owl.automaton.acceptance
- owl.automaton.acceptance.optimizations - package owl.automaton.acceptance.optimizations
- owl.automaton.algorithms - package owl.automaton.algorithms
- owl.automaton.edge - package owl.automaton.edge
- owl.automaton.output - package owl.automaton.output
- owl.automaton.transformations - package owl.automaton.transformations
- owl.automaton.util - package owl.automaton.util
- owl.cinterface - package owl.cinterface
- owl.collections - package owl.collections
- owl.factories - package owl.factories
- owl.factories.jbdd - package owl.factories.jbdd
- owl.game - package owl.game
- owl.game.algorithms - package owl.game.algorithms
- owl.game.output - package owl.game.output
- owl.grammar - package owl.grammar
- owl.ltl - package owl.ltl
- owl.ltl.algorithms - package owl.ltl.algorithms
- owl.ltl.parser - package owl.ltl.parser
- owl.ltl.rewriter - package owl.ltl.rewriter
- owl.ltl.robust - package owl.ltl.robust
-
Implements parsing of rLTL and conversion to LTL.
- owl.ltl.util - package owl.ltl.util
- owl.ltl.visitors - package owl.ltl.visitors
- owl.run - package owl.run
-
This package (and it's sub-packages) contains a flexible infrastructure for executing various translation chains and obtaining these translation chains from the command line.
- owl.run.modules - package owl.run.modules
- owl.run.parser - package owl.run.parser
- owl.translations - package owl.translations
- owl.translations.canonical - package owl.translations.canonical
- owl.translations.delag - package owl.translations.delag
- owl.translations.dpa2safety - package owl.translations.dpa2safety
- owl.translations.dra2dpa - package owl.translations.dra2dpa
- owl.translations.fgx2dpa - package owl.translations.fgx2dpa
- owl.translations.ltl2dpa - package owl.translations.ltl2dpa
- owl.translations.ltl2dra - package owl.translations.ltl2dra
- owl.translations.ltl2ldba - package owl.translations.ltl2ldba
- owl.translations.ltl2nba - package owl.translations.ltl2nba
- owl.translations.mastertheorem - package owl.translations.mastertheorem
- owl.translations.modules - package owl.translations.modules
- owl.translations.nba2dpa - package owl.translations.nba2dpa
- owl.translations.nba2ldba - package owl.translations.nba2ldba
- owl.translations.rabinizer - package owl.translations.rabinizer
-
A translation from LTL to tDGRA.
- owl.util - package owl.util
- owl.util.annotation - package owl.util.annotation
- OwlModule - Interface in owl.run.modules
- OwlModuleParser<M extends OwlModule> - Interface in owl.run.modules
- OwlModuleParser.ReaderParser - Interface in owl.run.modules
- OwlModuleParser.TransformerParser - Interface in owl.run.modules
- OwlModuleParser.WriterParser - Interface in owl.run.modules
- OwlModuleRegistry - Class in owl.run.modules
-
A registry holding all modules used to parse the command line.
- OwlModuleRegistry() - Constructor for class owl.run.modules.OwlModuleRegistry
- OwlModuleRegistry.OwlModuleNotFoundException - Exception in owl.run.modules
- OwlModuleRegistry.Type - Enum in owl.run.modules
- OwlParser - Class in owl.run.parser
- OwlParser(Pipeline, CommandLine) - Constructor for class owl.run.parser.OwlParser
P
- pairs() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
-
Returns an unmodifiable view of the pair collection.
- parity() - Method in class owl.automaton.acceptance.ParityAcceptance
- PARITY - owl.translations.LTL2DAFunction.Constructions
- ParityAcceptance - Class in owl.automaton.acceptance
- ParityAcceptance(int, ParityAcceptance.Parity) - Constructor for class owl.automaton.acceptance.ParityAcceptance
- ParityAcceptance.Parity - Enum in owl.automaton.acceptance
- ParityAcceptanceOptimizations - Class in owl.automaton.acceptance.optimizations
- ParityGameSolver - Class in owl.game.algorithms
- ParityUtil - Class in owl.automaton.transformations
- parse(InputStream) - Static method in class owl.ltl.parser.LtlParser
- parse(InputStream) - Static method in class owl.ltl.robust.RobustLtlParser
- parse(String) - Static method in class owl.ltl.parser.LtlParser
- parse(String) - Static method in class owl.ltl.robust.RobustLtlParser
- parse(String[], CommandLineParser, Options, OwlModuleRegistry) - Static method in class owl.run.parser.OwlParser
- parse(String, List<String>) - Static method in class owl.ltl.parser.LtlParser
- parse(List<PipelineParser.ModuleDescription>, CommandLineParser, OwlModuleRegistry) - Static method in class owl.run.parser.PipelineParser
-
Parses the given command line with the given
registry
. - parse(CommandLine) - Method in class owl.ltl.robust.RobustLtlInputReader
- parse(CommandLine) - Method in interface owl.run.modules.OwlModuleParser
- parse(CommandLine) - Method in class owl.translations.modules.LTL2DGRAModule
- parse(CommandLine) - Method in class owl.translations.modules.LTL2DPAModule
- parse(CommandLine) - Method in class owl.translations.modules.LTL2DRAModule
- parse(CommandLine) - Method in class owl.translations.modules.LTL2LDBAModule
- parse(CommandLine) - Method in class owl.translations.modules.LTL2LDGBAModule
- parse(CommandLine) - Method in class owl.translations.modules.LTL2NBAModule
- parse(CommandLine) - Method in class owl.translations.modules.LTL2NGBAModule
- PartialConfigurationParser - Class in owl.run.parser
-
Utility class used to parse a simplified command line (single exposed module with rest of the pipeline preconfigured).
- PartialModuleConfiguration - Class in owl.run.parser
- PartialModuleConfiguration() - Constructor for class owl.run.parser.PartialModuleConfiguration
- PartialModuleConfiguration.Constructor - Class in owl.run.parser
- partition(Collection<E>, BiPredicate<E, E>) - Static method in class owl.collections.Collections3
-
Partition the elements using the given relation.
- period - Variable in class owl.automaton.UltimatelyPeriodicWord
- PG_SOLVER_CLI - Static variable in class owl.game.GameUtil
- pipeline - Variable in class owl.run.parser.OwlParser
- Pipeline - Class in owl.run
- Pipeline() - Constructor for class owl.run.Pipeline
- PipelineException - Exception in owl.run
- PipelineException(String, Throwable) - Constructor for exception owl.run.PipelineException
- PipelineExecutionContext - Interface in owl.run
-
Holds information about an execution originating from a particular input.
- PipelineParser - Class in owl.run.parser
- PipelineParser.ModuleParseException - Exception in owl.run.parser
- PipelineRunner - Class in owl.run
-
Helper class to execute a specific pipeline with created input and output streams.
- PLAYER_1 - owl.game.Game.Owner
-
This player wants to dissatisfy the acceptance condition.
- PLAYER_2 - owl.game.Game.Owner
-
This player wants to satisfy the acceptance condition.
- player1Variables() - Method in class owl.ltl.LabelledFormula
- POS_NUMBER - Static variable in class owl.grammar.LTLLexer
- POS_NUMBER - Static variable in class owl.grammar.LTLParser
- POS_NUMBER() - Method in class owl.grammar.LTLParser.FractionContext
- POS_NUMBER(int) - Method in class owl.grammar.LTLParser.FractionContext
- predecessors(S) - Method in interface owl.automaton.Automaton
-
Returns the predecessors of the specified
successor
. - Predicates - Class in owl.translations.mastertheorem
- preferredEdgeAccess() - Method in interface owl.automaton.Automaton
-
Indicate if the automaton implements a fast (e.g.
- preferredEdgeAccess() - Method in interface owl.automaton.EdgeMapAutomatonMixin
- preferredEdgeAccess() - Method in interface owl.automaton.EdgesAutomatonMixin
- preferredEdgeAccess() - Method in interface owl.automaton.EdgeTreeAutomatonMixin
- preferredEdgeAccess() - Method in class owl.automaton.Views.AutomatonView
- prefix - Variable in class owl.automaton.UltimatelyPeriodicWord
- print(OutputStream) - Method in class owl.game.output.AigerPrinter
- print(PrintWriter) - Method in class owl.game.output.AigerPrinter
- PrintVisitor - Class in owl.ltl.visitors
- prob - Variable in class owl.grammar.LTLParser.FrequencyOpContext
- PROBABILITY - Static variable in class owl.grammar.LTLLexer
- PROBABILITY - Static variable in class owl.grammar.LTLParser
- PROBABILITY() - Method in class owl.grammar.LTLParser.ProbabilityContext
- ProbabilityContext(LTLParser.FrequencySpecContext) - Constructor for class owl.grammar.LTLParser.ProbabilityContext
- ProductState - Class in owl.translations.ltl2nba
- PromisedSet - Class in owl.translations.fgx2dpa
- PromisedSet() - Constructor for class owl.translations.fgx2dpa.PromisedSet
- propagate(ExecutionException) - Static method in exception owl.run.PipelineException
- PropositionalFormula - Class in owl.ltl
- PropositionalIntVisitor - Class in owl.ltl.visitors
-
Visitor skeleton implementation that views the formula as propositional formula.
- PropositionalIntVisitor() - Constructor for class owl.ltl.visitors.PropositionalIntVisitor
- PropositionalVisitor<T> - Class in owl.ltl.visitors
-
Visitor skeleton implementation that views the formula as propositional formula.
- PropositionalVisitor() - Constructor for class owl.ltl.visitors.PropositionalVisitor
- PULL_UP_X - owl.ltl.rewriter.SimplifierFactory.Mode
- PullUpXVisitor - Class in owl.ltl.rewriter
- PullUpXVisitor() - Constructor for class owl.ltl.rewriter.PullUpXVisitor
- PullUpXVisitor.XFormula - Class in owl.ltl.rewriter
- PUSH_DOWN_X - owl.ltl.rewriter.SimplifierFactory.Mode
Q
- qualityScore(int, int) - Method in class owl.cinterface.DeterministicAutomaton
- query(int...) - Method in class owl.cinterface.DecomposedDPA
R
- RABIN - owl.translations.LTL2DAFunction.Constructions
- RABIN_DEGENERALIZATION - Static variable in class owl.run.modules.Transformers
- RABIN_TO_PARITY - Static variable in class owl.run.modules.Transformers
- RabinAcceptance - Class in owl.automaton.acceptance
-
This class represents a Rabin acceptance.
- RabinAcceptance.Builder - Class in owl.automaton.acceptance
- RabinDegeneralization - Class in owl.automaton.transformations
- RabinDegeneralization() - Constructor for class owl.automaton.transformations.RabinDegeneralization
- RabinizerBuilder - Class in owl.translations.rabinizer
-
Central class handling the Rabinizer construction.
- RabinizerConfiguration - Class in owl.translations.rabinizer
- RabinizerConfiguration() - Constructor for class owl.translations.rabinizer.RabinizerConfiguration
- RabinizerState - Class in owl.translations.rabinizer
- RabinizerState() - Constructor for class owl.translations.rabinizer.RabinizerState
- RankingState<S> - Class in owl.translations.nba2dpa
- RankingState() - Constructor for class owl.translations.nba2dpa.RankingState
- rawFormula() - Method in class owl.ltl.rewriter.PullUpXVisitor.XFormula
- RCPAREN - Static variable in class owl.grammar.LTLLexer
- RCPAREN - Static variable in class owl.grammar.LTLParser
- RCPAREN() - Method in class owl.grammar.LTLParser.FrequencyOpContext
- RDQUOTE - Static variable in class owl.grammar.LTLLexer
- RDQUOTE - Static variable in class owl.grammar.LTLParser
- RDQUOTE() - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
- reader(String) - Method in class owl.run.modules.OwlModuleRegistry
- reader(InputReader) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
- reader(OwlModuleParser.ReaderParser) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
- READER - owl.run.modules.OwlModuleRegistry.Type
- readHoa(Reader, Function<List<String>, ValuationSetFactory>) - Static method in class owl.automaton.AutomatonReader
- readHoa(Reader, Function<List<String>, ValuationSetFactory>, Class<A>) - Static method in class owl.automaton.AutomatonReader
- readHoa(String, Function<List<String>, ValuationSetFactory>) - Static method in class owl.automaton.AutomatonReader
- readHoa(String, Function<List<String>, ValuationSetFactory>, Class<A>) - Static method in class owl.automaton.AutomatonReader
- readHoaStream(Reader, Function<List<String>, ValuationSetFactory>, Consumer<Automaton<AutomatonReader.HoaState, ?>>) - Static method in class owl.automaton.AutomatonReader
- readHoaStream(String, Function<List<String>, ValuationSetFactory>, Consumer<Automaton<AutomatonReader.HoaState, ?>>) - Static method in class owl.automaton.AutomatonReader
- RECOMMENDED_ASYMMETRIC_CONFIG - Static variable in class owl.translations.ltl2dpa.LTL2DPAFunction
- RECOMMENDED_SYMMETRIC_CONFIG - Static variable in class owl.translations.ltl2dpa.LTL2DPAFunction
- record() - Method in class owl.translations.dra2dpa.IARState
- register(OwlModuleParser<?>) - Method in class owl.run.modules.OwlModuleRegistry
- register(OwlModuleParser<?>...) - Method in class owl.run.modules.OwlModuleRegistry
- REJECTING - Static variable in class owl.cinterface.DeterministicAutomaton
- rejectingSet() - Method in class owl.automaton.acceptance.AllAcceptance
- rejectingSet() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
- rejectingSet() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
- rejectingSet() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- rejectingSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- rejectingSet() - Method in class owl.automaton.acceptance.NoneAcceptance
- rejectingSet() - Method in class owl.automaton.acceptance.OmegaAcceptance
- rejectingSet() - Method in class owl.automaton.acceptance.ParityAcceptance
- RELEASE - Static variable in class owl.grammar.LTLLexer
- RELEASE - Static variable in class owl.grammar.LTLParser
- RELEASE() - Method in class owl.grammar.LTLParser.BinaryOpContext
- remap(Automaton<S, A>, IntUnaryOperator) - Static method in class owl.automaton.Views
- remove(String) - Method in class owl.run.modules.OwlModuleRegistry
- removeComplementaryInfSets(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
-
Delete all Inf sets which are the complement of their corresponding Fin set.
- removeDeadStates(MutableAutomaton<S, ?>) - Static method in class owl.automaton.acceptance.optimizations.AcceptanceOptimizations
-
Remove states from the automaton that cannot belong to an infinite accepting path.
- removeEdge(S, BitSet, S) - Method in interface owl.automaton.MutableAutomaton
-
Removes all transition from
source
undervaluation
todestination
. - removeEdge(S, ValuationSet, S) - Method in interface owl.automaton.MutableAutomaton
-
Removes all transition from
source
undervaluations
todestination
. - removeInitialState(S) - Method in interface owl.automaton.MutableAutomaton
- removeState(S) - Method in interface owl.automaton.MutableAutomaton
-
Removes a state and all transitions involving it from the automaton.
- removeStateIf(Predicate<? super S>) - Method in interface owl.automaton.MutableAutomaton
-
Removes the specified
states
and all transitions involving them from the automaton. - removeTransientAcceptance(MutableAutomaton<S, ?>) - Static method in class owl.automaton.acceptance.optimizations.OmegaAcceptanceOptimizations
- replaceInitialState(Automaton<S, A>, Set<S>) - Static method in class owl.automaton.Views
- replaceInitialStates(Game<S, A>, Set<S>) - Static method in class owl.game.GameViews
- representative() - Method in class owl.ltl.EquivalenceClass
- representatives() - Method in class owl.collections.UpwardClosedSet
- Rewriter - Class in owl.translations.mastertheorem
- Rewriter() - Constructor for class owl.translations.mastertheorem.Rewriter
- Rewriter.ToCoSafety - Class in owl.translations.mastertheorem
- Rewriter.ToSafety - Class in owl.translations.mastertheorem
- right - Variable in class owl.grammar.LTLParser.BinaryOperationContext
- right - Variable in class owl.ltl.Biconditional
- right - Variable in class owl.ltl.BinaryModalOperator
- right() - Method in class owl.game.output.Aig
- right(B) - Static method in class owl.collections.Either
- rightIsNegated() - Method in class owl.game.output.Aig
- RobustLtlInputReader - Class in owl.ltl.robust
- RobustLtlParser - Class in owl.ltl.robust
- Robustness - Enum in owl.ltl.robust
- root - Variable in class owl.grammar.LTLParser.FormulaContext
- ROperator - Class in owl.ltl
-
Weak Release.
- ROperator(Formula, Formula) - Constructor for class owl.ltl.ROperator
- RoundRobinState<E> - Class in owl.translations.canonical
- RoundRobinState() - Constructor for class owl.translations.canonical.RoundRobinState
- RPAREN - Static variable in class owl.grammar.LTLLexer
- RPAREN - Static variable in class owl.grammar.LTLParser
- RPAREN() - Method in class owl.grammar.LTLParser.NestedContext
- RSQUOTE - Static variable in class owl.grammar.LTLLexer
- RSQUOTE - Static variable in class owl.grammar.LTLParser
- RSQUOTE() - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
- RULE_andExpression - Static variable in class owl.grammar.LTLParser
- RULE_atomExpression - Static variable in class owl.grammar.LTLParser
- RULE_binaryExpression - Static variable in class owl.grammar.LTLParser
- RULE_binaryOp - Static variable in class owl.grammar.LTLParser
- RULE_bool - Static variable in class owl.grammar.LTLParser
- RULE_comparison - Static variable in class owl.grammar.LTLParser
- RULE_expression - Static variable in class owl.grammar.LTLParser
- RULE_formula - Static variable in class owl.grammar.LTLParser
- RULE_frequencyOp - Static variable in class owl.grammar.LTLParser
- RULE_frequencySpec - Static variable in class owl.grammar.LTLParser
- RULE_orExpression - Static variable in class owl.grammar.LTLParser
- RULE_unaryExpression - Static variable in class owl.grammar.LTLParser
- RULE_unaryOp - Static variable in class owl.grammar.LTLParser
- ruleNames - Static variable in class owl.grammar.LTLLexer
- ruleNames - Static variable in class owl.grammar.LTLParser
- run(Reader, Environment, Consumer<Object>) - Method in interface owl.run.modules.InputReader
- run(String[], Map<String, PartialModuleConfiguration>, PartialModuleConfiguration) - Static method in class owl.run.parser.PartialConfigurationParser
- run(String[], PartialModuleConfiguration) - Static method in class owl.run.parser.PartialConfigurationParser
- run(Pipeline, Environment, ByteChannel, int) - Static method in class owl.run.PipelineRunner
- run(Pipeline, Environment, ReadableByteChannel, WritableByteChannel, int) - Static method in class owl.run.PipelineRunner
- RunUtil - Class in owl.run
S
- safety - Variable in class owl.translations.ltl2ldba.SymmetricProductState
- safety - Variable in class owl.translations.ltl2nba.ProductState
- safety(Environment, LabelledFormula) - Static method in class owl.translations.LTL2DAFunction
- Safety(Factories, boolean, Formula) - Constructor for class owl.translations.canonical.DeterministicConstructions.Safety
- Safety(Factories, Formula) - Constructor for class owl.translations.canonical.NonDeterministicConstructions.Safety
- SAFETY - owl.ltl.SyntacticFragment
- SAFETY - owl.translations.LTL2DAFunction.Constructions
- SAFETY - owl.translations.LTL2NAFunction.Constructions
- safetyAutomaton - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
- safetyAutomaton - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.DeterministicAutomata
- safetyAutomaton - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.NonDeterministicAutomata
- SafetyAutomaton - Class in owl.translations.fgx2dpa
- SafetyCoreDetector - Class in owl.translations
- safetyCoreExists(EquivalenceClass) - Static method in class owl.translations.SafetyCoreDetector
- SccDecomposition<S> - Class in owl.automaton.algorithms
-
Finds the SCCs of a given graph / transition system using Tarjan's algorithm.
- selectAsymmetric(Formula, boolean) - Static method in class owl.translations.mastertheorem.Selector
- Selector - Class in owl.translations.mastertheorem
- selectSymmetric(Formula, boolean) - Static method in class owl.translations.mastertheorem.Selector
- SEMI_DETERMINISTIC - owl.automaton.Automaton.Property
- ServerCli - Class in owl.run
- ServerRunner - Class in owl.run
- ServerRunner(Pipeline, Supplier<Environment>, int) - Constructor for class owl.run.ServerRunner
- setEven(boolean) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- setMax(boolean) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- settings - Variable in exception owl.run.parser.PipelineParser.ModuleParseException
- shiftLiterals(Formula) - Static method in class owl.ltl.rewriter.LiteralMapper
- shortCircuit(Formula) - Static method in class owl.ltl.PropositionalFormula
- shutdown() - Method in interface owl.run.Environment
-
Called exactly one by the runner, indicating that the computation has ended due to, e.g., input exhaustion or an error.
- SimpleTransformer() - Constructor for class owl.run.modules.Transformers.SimpleTransformer
- simplified() - Method in class owl.translations.mastertheorem.Fixpoints
- SimplifierFactory - Class in owl.ltl.rewriter
- SimplifierFactory.Mode - Enum in owl.ltl.rewriter
- SimplifierTransformer - Class in owl.ltl.rewriter
- SINGLE_QUOTED - Static variable in class owl.grammar.LTLLexer
- SINGLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLLexer
- SINGLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLParser
- SINGLE_QUOTED_VARIABLE() - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
- SINGLE_STEP - owl.ltl.SyntacticFragment
- SingleQuotedVariableContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.SingleQuotedVariableContext
- singleton(ValuationSetFactory, S, A) - Static method in class owl.automaton.AutomatonFactory
- singleton(ValuationSetFactory, S, A, BitSet) - Static method in class owl.automaton.AutomatonFactory
- singleton(ValuationSetFactory, S, A, Set<Integer>) - Static method in class owl.automaton.AutomatonFactory
- Sink() - Constructor for class owl.automaton.MutableAutomatonUtil.Sink
- size - Variable in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- size() - Method in interface owl.automaton.Automaton
-
Returns the number of reachable states of this automaton (its cardinality).
- SKIP_DEF - Static variable in class owl.grammar.LTLLexer
- SKIP_DEF - Static variable in class owl.grammar.LTLParser
- SKIP_FREQ - Static variable in class owl.grammar.LTLLexer
- SKIP_FREQ - Static variable in class owl.grammar.LTLParser
- smallestAcceptanceSet() - Method in class owl.automaton.edge.Edge
-
Returns the largest acceptance set this edge is a member of, or
Integer.MAX_VALUE
if none. - split(Set<String>) - Method in class owl.ltl.LabelledFormula
- split(Automaton<S, A>, List<String>) - Static method in class owl.game.GameViews
- Split - Class in owl.ltl.robust
- Split() - Constructor for class owl.ltl.robust.Split
- SRELEASE - Static variable in class owl.grammar.LTLLexer
- SRELEASE - Static variable in class owl.grammar.LTLParser
- SRELEASE() - Method in class owl.grammar.LTLParser.BinaryOpContext
- state() - Method in interface owl.automaton.util.AnnotatedState
- state() - Method in class owl.game.GameViews.Node
- state() - Method in class owl.translations.canonical.RoundRobinState
- state() - Method in class owl.translations.dra2dpa.IARState
- State<T> - Class in owl.translations.delag
- stateAnnotation() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- states() - Method in class owl.automaton.AbstractCachedStatesAutomaton
- states() - Method in interface owl.automaton.Automaton
-
The set of all from the initial states reachable states in this automaton.
- StringUtil - Class in owl.util
- structure - Variable in class owl.cinterface.DecomposedDPA
- subformulas(Class<E>) - Method in class owl.ltl.Formula
- subformulas(Predicate<? super Formula.TemporalOperator>) - Method in class owl.ltl.Formula
- subformulas(Predicate<? super Formula.TemporalOperator>, Function<? super Formula.TemporalOperator, E>) - Method in class owl.ltl.Formula
- substitute(Function<? super Formula.ModalOperator, ? extends Formula>) - Method in class owl.ltl.EquivalenceClass
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Biconditional
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.BooleanConstant
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Conjunction
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Disjunction
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Formula
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Formula.TemporalOperator
- substitute(EquivalenceClass, Function<? super Formula.ModalOperator, ? extends Formula>) - Method in interface owl.factories.EquivalenceClassFactory
- successor() - Method in class owl.automaton.edge.Edge
-
Get the target state of the edge.
- successor(EquivalenceClass, BitSet, EquivalenceClass) - Method in class owl.translations.canonical.LegacyFactory
-
Deprecated.
- successor(S, BitSet) - Method in interface owl.automaton.Automaton
-
Returns the successor of the specified
state
under the givenvaluation
. - SuccessorFunction<S> - Interface in owl.automaton
- successors(Set<Edge<S>>) - Static method in class owl.automaton.edge.Edges
- successors(S) - Method in interface owl.automaton.Automaton
-
Returns all successors of the specified
state
. - successors(S) - Method in interface owl.automaton.SuccessorFunction
-
Returns all successors of the specified
state
. - successors(S, BitSet) - Method in interface owl.automaton.Automaton
-
Returns the successors of the specified
state
under the givenvaluation
. - successorTree(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
- SUP - owl.ltl.FrequencyG.Limes
- SUP - Static variable in class owl.grammar.LTLLexer
- SUP - Static variable in class owl.grammar.LTLParser
- SUP() - Method in class owl.grammar.LTLParser.FrequencyOpContext
- supportBasedRelevantFormulaAnalysis() - Method in class owl.translations.rabinizer.RabinizerConfiguration
- suspendableFormulaDetection() - Method in class owl.translations.rabinizer.RabinizerConfiguration
- SYMMETRIC - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- SymmetricDRAConstruction<R extends GeneralizedRabinAcceptance> - Class in owl.translations.ltl2dra
- SymmetricEvaluatedFixpoints - Class in owl.translations.mastertheorem
- SymmetricEvaluatedFixpoints.DeterministicAutomata - Class in owl.translations.mastertheorem
- SymmetricEvaluatedFixpoints.NonDeterministicAutomata - Class in owl.translations.mastertheorem
- SymmetricLDBAConstruction<B extends GeneralizedBuchiAcceptance> - Class in owl.translations.ltl2ldba
- SymmetricNBAConstruction<B extends GeneralizedBuchiAcceptance> - Class in owl.translations.ltl2nba
- SymmetricProductState - Class in owl.translations.ltl2ldba
- SYNTACTIC - owl.ltl.rewriter.SimplifierFactory.Mode
- SYNTACTIC_FAIRNESS - owl.ltl.rewriter.SimplifierFactory.Mode
- SYNTACTIC_FIXPOINT - owl.ltl.rewriter.SimplifierFactory.Mode
- SyntacticFragment - Enum in owl.ltl
- SyntacticFragments - Class in owl.ltl
- syntax(String) - Static method in class owl.ltl.parser.LtlParser
- syntax(String, List<String>) - Static method in class owl.ltl.parser.LtlParser
- syntaxError(Recognizer<?, ?>, Object, int, int, String, RecognitionException) - Method in class owl.ltl.parser.TokenErrorListener
- Synthesis - Class in owl.translations
- SYNTHETIC_CO_SAFETY_LITERAL - Static variable in class owl.ltl.rewriter.NormalForms
- SYNTHETIC_SAFETY_LITERAL - Static variable in class owl.ltl.rewriter.NormalForms
- syserr - Static variable in class owl.util.GuardedStream
- sysout - Static variable in class owl.util.GuardedStream
T
- temporalStep() - Method in class owl.ltl.Formula.LogicalOperator
- temporalStep() - Method in class owl.ltl.Formula.TemporalOperator
- temporalStep() - Method in class owl.ltl.Formula
- temporalStep(int, boolean) - Method in class owl.ltl.Formula.LogicalOperator
- temporalStep(int, boolean) - Method in class owl.ltl.Formula.TemporalOperator
- temporalStep(int, boolean) - Method in class owl.ltl.Formula
- temporalStep(BitSet) - Method in class owl.ltl.EquivalenceClass
- temporalStep(BitSet) - Method in class owl.ltl.Formula.LogicalOperator
- temporalStep(BitSet) - Method in class owl.ltl.Formula.TemporalOperator
- temporalStep(BitSet) - Method in class owl.ltl.Formula
-
Do a single temporal step.
- temporalStep(BitSet) - Method in class owl.translations.fgx2dpa.Monitor
- temporalStep(EquivalenceClass, BitSet) - Method in interface owl.factories.EquivalenceClassFactory
- temporalStepTree() - Method in class owl.ltl.EquivalenceClass
- temporalStepTree(Function<EquivalenceClass, Set<T>>) - Method in class owl.ltl.EquivalenceClass
- temporalStepTree(EquivalenceClass, Function<EquivalenceClass, Set<T>>) - Method in interface owl.factories.EquivalenceClassFactory
- temporalStepUnfold(BitSet) - Method in class owl.ltl.EquivalenceClass
- temporalStepUnfold(BitSet) - Method in class owl.ltl.Formula.LogicalOperator
- temporalStepUnfold(BitSet) - Method in class owl.ltl.Formula.TemporalOperator
- temporalStepUnfold(BitSet) - Method in class owl.ltl.Formula
-
Short-cut operation to avoid intermediate construction of formula ASTs.
- temporalStepUnfold(EquivalenceClass, BitSet) - Method in interface owl.factories.EquivalenceClassFactory
- theOther() - Method in enum owl.ltl.FrequencyG.Comparison
- theOther() - Method in enum owl.ltl.FrequencyG.Limes
- TO_STRING - Static variable in class owl.run.modules.OutputWriters
- TO_STRING_CLI - Static variable in class owl.run.modules.OutputWriters
- toCnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
- toCnf(Formula, Function<? super Formula, ? extends Collection<Formula>>) - Static method in class owl.ltl.rewriter.NormalForms
- toCnfFormula(Formula) - Static method in class owl.ltl.rewriter.NormalForms
- ToCoSafety(Iterable<? extends Formula.ModalOperator>) - Constructor for class owl.translations.mastertheorem.Rewriter.ToCoSafety
- ToCoSafety(Fixpoints) - Constructor for class owl.translations.mastertheorem.Rewriter.ToCoSafety
- toDnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
- toDnf(Formula, Function<? super PropositionalFormula, ? extends Collection<Formula>>) - Static method in class owl.ltl.rewriter.NormalForms
- toDnfFormula(Formula) - Static method in class owl.ltl.rewriter.NormalForms
- toExpression() - Method in class owl.collections.ValuationSet
- toExpression(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- ToHoa(boolean) - Constructor for class owl.run.modules.OutputWriters.ToHoa
- TokenErrorListener - Class in owl.ltl.parser
- TokenErrorListener() - Constructor for class owl.ltl.parser.TokenErrorListener
- tokenNames - Static variable in class owl.grammar.LTLLexer
-
Deprecated.Use
LTLLexer.VOCABULARY
instead. - tokenNames - Static variable in class owl.grammar.LTLParser
-
Deprecated.Use
LTLParser.VOCABULARY
instead. - toLtl(EnumSet<Robustness>) - Method in class owl.ltl.robust.LabelledSplit
- toPgSolver(Game<S, ParityAcceptance>, PrintWriter, boolean) - Static method in class owl.game.GameUtil
- ToSafety(Iterable<? extends Formula.ModalOperator>) - Constructor for class owl.translations.mastertheorem.Rewriter.ToSafety
- ToSafety(Fixpoints) - Constructor for class owl.translations.mastertheorem.Rewriter.ToSafety
- toString() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- toString() - Method in class owl.automaton.acceptance.OmegaAcceptance
- toString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- toString() - Method in class owl.automaton.AutomatonReader.HoaState
- toString() - Method in class owl.automaton.edge.Edge
- toString() - Method in class owl.automaton.MutableAutomatonUtil.Sink
- toString() - Method in class owl.collections.ValuationSet
- toString() - Method in class owl.collections.ValuationTree.Leaf
- toString() - Method in class owl.collections.ValuationTree.Node
- toString() - Method in class owl.game.GameViews.Node
- toString() - Method in class owl.ltl.Biconditional
- toString() - Method in class owl.ltl.BinaryModalOperator
- toString() - Method in class owl.ltl.BooleanConstant
- toString() - Method in class owl.ltl.EquivalenceClass
- toString() - Method in enum owl.ltl.FrequencyG.Comparison
- toString() - Method in enum owl.ltl.FrequencyG.Limes
- toString() - Method in class owl.ltl.FrequencyG
- toString() - Method in class owl.ltl.LabelledFormula
- toString() - Method in class owl.ltl.Literal
- toString() - Method in class owl.ltl.PropositionalFormula
- toString() - Method in class owl.ltl.robust.LabelledSplit
- toString() - Method in class owl.ltl.robust.Split
- toString() - Method in class owl.ltl.UnaryModalOperator
- toString() - Method in class owl.translations.delag.State
- toString() - Method in class owl.translations.dra2dpa.IARState
- toString() - Method in class owl.translations.ltl2ldba.AsymmetricProductState
- toString() - Method in class owl.translations.ltl2ldba.SymmetricProductState
- toString() - Method in class owl.translations.ltl2nba.ProductState
- toString() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- toString() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- toString() - Method in class owl.translations.nba2dpa.RankingState
- toString() - Method in class owl.translations.nba2ldba.BreakpointState
- toString() - Method in class owl.translations.rabinizer.RabinizerState
- toString(Automaton<S, ?>) - Static method in class owl.automaton.output.HoaPrinter
- toString(Automaton<S, ?>, EnumSet<HoaPrinter.HoaOption>) - Static method in class owl.automaton.output.HoaPrinter
- toString(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
- toString(Formula, List<String>) - Static method in class owl.ltl.visitors.PrintVisitor
- toString(Formula, List<String>, boolean) - Static method in class owl.ltl.visitors.PrintVisitor
- toString(LabelledFormula, boolean) - Static method in class owl.ltl.visitors.PrintVisitor
- Tracking(Factories, boolean) - Constructor for class owl.translations.canonical.DeterministicConstructions.Tracking
- Tracking(Factories, Formula) - Constructor for class owl.translations.canonical.NonDeterministicConstructions.Tracking
- transform(Object, PipelineExecutionContext) - Method in class owl.automaton.acceptance.optimizations.AcceptanceOptimizations.AcceptanceOptimizationTransformer
- transform(Object, PipelineExecutionContext) - Method in class owl.automaton.transformations.RabinDegeneralization
- transform(Object, PipelineExecutionContext) - Method in class owl.ltl.rewriter.SimplifierTransformer
- transform(Object, PipelineExecutionContext) - Method in interface owl.run.modules.Transformer.Instance
-
Applies the transformation represented by this transformer to the given object.
- transformer(String) - Method in class owl.run.modules.OwlModuleRegistry
- Transformer - Interface in owl.run.modules
-
Transformers are the central pieces of the pipeline concept.
- TRANSFORMER - owl.run.modules.OwlModuleRegistry.Type
- Transformer.Instance - Interface in owl.run.modules
- transformers() - Method in class owl.run.Pipeline
- Transformers - Class in owl.run.modules
- Transformers.SimpleTransformer - Class in owl.run.modules
- transformMap(Map<K1, ValuationSet>, Function<K1, K2>) - Static method in class owl.collections.Collections3
- transformMap(Map<K1, V>, Function<K1, K2>, BiFunction<? super V, ? super V, ? extends V>) - Static method in class owl.collections.Collections3
- transformSet(Set<E1>, Function<E1, E2>) - Static method in class owl.collections.Collections3
- trim() - Method in interface owl.automaton.MutableAutomaton
-
Removes unreachable states and adjust internal data structures after mutation.
- trivial(R) - Static method in class owl.translations.dra2dpa.IARState
- TRUE - Static variable in class owl.grammar.LTLLexer
- TRUE - Static variable in class owl.grammar.LTLParser
- TRUE - Static variable in class owl.ltl.BooleanConstant
- TRUE - Static variable in class owl.ltl.robust.Split
- TRUE() - Method in class owl.grammar.LTLParser.BoolContext
- trueChild - Variable in class owl.collections.ValuationTree.Node
- trueness() - Method in class owl.ltl.EquivalenceClass
- trueness(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
- Tuple - Annotation Type in owl.util.annotation
- TwoPartAutomaton<A,B,C extends OmegaAcceptance> - Class in owl.automaton
- TwoPartAutomaton() - Constructor for class owl.automaton.TwoPartAutomaton
- type - Variable in exception owl.run.modules.OwlModuleRegistry.OwlModuleNotFoundException
- typeClass - Variable in enum owl.run.modules.OwlModuleRegistry.Type
- TypeUtil - Class in owl.util
U
- UltimatelyPeriodicWord - Class in owl.automaton
- UltimatelyPeriodicWord(List<BitSet>, List<BitSet>) - Constructor for class owl.automaton.UltimatelyPeriodicWord
- UnabbreviateVisitor - Class in owl.ltl.visitors
- UnabbreviateVisitor(Class<? extends Formula>...) - Constructor for class owl.ltl.visitors.UnabbreviateVisitor
- UnaryAtomContext(LTLParser.UnaryExpressionContext) - Constructor for class owl.grammar.LTLParser.UnaryAtomContext
- unaryExpression() - Method in class owl.grammar.LTLParser.BinaryOperationContext
- unaryExpression() - Method in class owl.grammar.LTLParser.BinaryUnaryContext
- unaryExpression() - Method in class owl.grammar.LTLParser
- UnaryExpressionContext() - Constructor for class owl.grammar.LTLParser.UnaryExpressionContext
- UnaryExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.UnaryExpressionContext
- UnaryModalOperator - Class in owl.ltl
- unaryOp() - Method in class owl.grammar.LTLParser
- unaryOp() - Method in class owl.grammar.LTLParser.UnaryOperationContext
- UnaryOpContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.UnaryOpContext
- UnaryOperationContext(LTLParser.UnaryExpressionContext) - Constructor for class owl.grammar.LTLParser.UnaryOperationContext
- unfold() - Method in class owl.ltl.EquivalenceClass
- unfold() - Method in class owl.ltl.FOperator
- unfold() - Method in class owl.ltl.Formula.LogicalOperator
- unfold() - Method in class owl.ltl.Formula
- unfold() - Method in class owl.ltl.FrequencyG
- unfold() - Method in class owl.ltl.GOperator
- unfold() - Method in class owl.ltl.Literal
- unfold() - Method in class owl.ltl.MOperator
- unfold() - Method in class owl.ltl.ROperator
- unfold() - Method in class owl.ltl.UOperator
- unfold() - Method in class owl.ltl.WOperator
- unfold() - Method in class owl.ltl.XOperator
- unfold(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.EquivalenceClass
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.FOperator
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.Formula.LogicalOperator
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.Formula
-
Short-cut operation to avoid intermediate construction of formula ASTs.
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.GOperator
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.Literal
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.MOperator
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.ROperator
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.UOperator
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.WOperator
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.XOperator
- unfoldTemporalStep(EquivalenceClass, BitSet) - Method in interface owl.factories.EquivalenceClassFactory
- union(Iterable<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
- union(Collection<ValuationTree<E>>) - Static method in class owl.collections.ValuationTrees
- union(Iterator<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
- union(List<Automaton<S, BuchiAcceptance>>) - Static method in class owl.automaton.AutomatonOperations
- union(Set<E>, Set<E>) - Static method in class owl.collections.Collections3
- union(UpwardClosedSet) - Method in class owl.collections.UpwardClosedSet
- union(ValuationSet) - Method in class owl.collections.ValuationSet
- union(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- union(ValuationTree<E>, ValuationTree<E>) - Static method in class owl.collections.ValuationTrees
- universe() - Method in interface owl.factories.ValuationSetFactory
- UNTIL - Static variable in class owl.grammar.LTLLexer
- UNTIL - Static variable in class owl.grammar.LTLParser
- UNTIL() - Method in class owl.grammar.LTLParser.BinaryOpContext
- UOperator - Class in owl.ltl
-
Strong Until.
- UOperator(Formula, Formula) - Constructor for class owl.ltl.UOperator
- updateAcceptance(Function<? super A, ? extends A>) - Method in interface owl.automaton.MutableAutomaton
- updateEdges(BiFunction<S, Edge<S>, Edge<S>>) - Method in interface owl.automaton.MutableAutomaton
-
Remaps each edge of the automaton according to
updater
. - updateEdges(Set<? extends S>, BiFunction<? super S, Edge<S>, Edge<S>>) - Method in interface owl.automaton.MutableAutomaton
-
Remaps each outgoing edge of the specified
states
according toupdater
. - UpwardClosedSet - Class in owl.collections
-
Bucket-based implementation of an upward-closed set.
V
- ValuationSet - Class in owl.collections
- ValuationSet(ValuationSetFactory) - Constructor for class owl.collections.ValuationSet
- ValuationSetFactory - Interface in owl.factories
- ValuationTree<E> - Class in owl.collections
- ValuationTree.Leaf<E> - Class in owl.collections
- ValuationTree.Node<E> - Class in owl.collections
- ValuationTrees - Class in owl.collections
- value - Variable in class owl.collections.ValuationTree.Leaf
- value - Variable in class owl.grammar.LTLParser.ProbabilityContext
- value - Variable in class owl.ltl.BooleanConstant
- valueOf(String) - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.automaton.Automaton.PreferredEdgeAccess
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.automaton.Automaton.Property
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.automaton.output.HoaPrinter.HoaOption
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.game.Game.Owner
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.ltl.FrequencyG.Comparison
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.ltl.FrequencyG.Limes
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.ltl.rewriter.SimplifierFactory.Mode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.ltl.robust.Robustness
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.ltl.SyntacticFragment
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.run.modules.OwlModuleRegistry.Type
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.translations.LTL2DAFunction.Constructions
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.translations.LTL2NAFunction.Constructions
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.automaton.Automaton.PreferredEdgeAccess
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.automaton.Automaton.Property
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.automaton.output.HoaPrinter.HoaOption
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Method in class owl.collections.ValuationTree.Leaf
- values() - Method in class owl.collections.ValuationTree.Node
- values() - Method in class owl.collections.ValuationTree
- values() - Static method in enum owl.game.Game.Owner
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.ltl.FrequencyG.Comparison
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.ltl.FrequencyG.Limes
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.ltl.rewriter.SimplifierFactory.Mode
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.ltl.robust.Robustness
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.ltl.SyntacticFragment
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.run.modules.OwlModuleRegistry.Type
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.translations.LTL2DAFunction.Constructions
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.translations.LTL2NAFunction.Constructions
-
Returns an array containing the constants of this enum type, in the order they are declared.
- variable - Variable in class owl.collections.ValuationTree.Node
- variable - Variable in class owl.grammar.LTLParser.DoubleQuotedVariableContext
- variable - Variable in class owl.grammar.LTLParser.SingleQuotedVariableContext
- variable - Variable in class owl.grammar.LTLParser.VariableContext
- variable() - Method in class owl.game.output.Aig
- VARIABLE - Static variable in class owl.grammar.LTLLexer
- VARIABLE - Static variable in class owl.grammar.LTLParser
- VARIABLE() - Method in class owl.grammar.LTLParser.VariableContext
- VariableContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.VariableContext
- variables() - Method in interface owl.factories.EquivalenceClassFactory
- variables() - Method in class owl.ltl.LabelledFormula
- variables() - Method in class owl.ltl.robust.LabelledSplit
- viewAs(Automaton<S, ?>, Class<A>) - Static method in class owl.automaton.Views
- viewAsLts(Automaton<S, ?>) - Static method in class owl.automaton.Views
- Views - Class in owl.automaton
- Views.AutomatonView<S,A extends OmegaAcceptance> - Class in owl.automaton
- visit(Biconditional) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(Biconditional) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(Biconditional) - Method in class owl.ltl.visitors.Converter
- visit(Biconditional) - Method in interface owl.ltl.visitors.IntVisitor
- visit(Biconditional) - Method in class owl.ltl.visitors.PrintVisitor
- visit(Biconditional) - Method in interface owl.ltl.visitors.Visitor
- visit(Biconditional, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(BooleanConstant) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(BooleanConstant) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(BooleanConstant) - Method in class owl.ltl.visitors.Converter
- visit(BooleanConstant) - Method in interface owl.ltl.visitors.IntVisitor
- visit(BooleanConstant) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(BooleanConstant) - Method in class owl.ltl.visitors.PrintVisitor
- visit(BooleanConstant) - Method in interface owl.ltl.visitors.Visitor
- visit(BooleanConstant) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(BooleanConstant) - Method in class owl.translations.ltl2ldba.BlockingModalOperatorsVisitor
- visit(BooleanConstant, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(Conjunction) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(Conjunction) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(Conjunction) - Method in class owl.ltl.visitors.Converter
- visit(Conjunction) - Method in interface owl.ltl.visitors.IntVisitor
- visit(Conjunction) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(Conjunction) - Method in class owl.ltl.visitors.PrintVisitor
- visit(Conjunction) - Method in interface owl.ltl.visitors.Visitor
- visit(Conjunction) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(Conjunction) - Method in class owl.translations.ltl2ldba.BlockingModalOperatorsVisitor
- visit(Conjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(Disjunction) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(Disjunction) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(Disjunction) - Method in class owl.ltl.visitors.Converter
- visit(Disjunction) - Method in interface owl.ltl.visitors.IntVisitor
- visit(Disjunction) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(Disjunction) - Method in class owl.ltl.visitors.PrintVisitor
- visit(Disjunction) - Method in interface owl.ltl.visitors.Visitor
- visit(Disjunction) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(Disjunction) - Method in class owl.translations.ltl2ldba.BlockingModalOperatorsVisitor
- visit(Disjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(FOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(FOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(FOperator) - Method in class owl.ltl.visitors.Converter
- visit(FOperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(FOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(FOperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(FOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(FOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(FOperator) - Method in interface owl.ltl.visitors.Visitor
- visit(FOperator) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(FOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- visit(FOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- visit(FOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(Formula.TemporalOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(Formula.TemporalOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(Formula.TemporalOperator) - Method in class owl.translations.ltl2ldba.BlockingModalOperatorsVisitor
- visit(FrequencyG) - Method in class owl.ltl.visitors.Converter
- visit(FrequencyG) - Method in interface owl.ltl.visitors.IntVisitor
- visit(FrequencyG) - Method in class owl.ltl.visitors.PrintVisitor
- visit(FrequencyG) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(FrequencyG) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(FrequencyG) - Method in interface owl.ltl.visitors.Visitor
- visit(GOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(GOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(GOperator) - Method in class owl.ltl.visitors.Converter
- visit(GOperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(GOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(GOperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(GOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(GOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(GOperator) - Method in interface owl.ltl.visitors.Visitor
- visit(GOperator) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(GOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- visit(GOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- visit(GOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(Literal) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(Literal) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(Literal) - Method in class owl.ltl.visitors.Converter
- visit(Literal) - Method in interface owl.ltl.visitors.IntVisitor
- visit(Literal) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(Literal) - Method in class owl.ltl.visitors.PrintVisitor
- visit(Literal) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(Literal) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(Literal) - Method in interface owl.ltl.visitors.Visitor
- visit(Literal) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(Literal, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(MOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(MOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(MOperator) - Method in class owl.ltl.visitors.Converter
- visit(MOperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(MOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(MOperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(MOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(MOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(MOperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
- visit(MOperator) - Method in interface owl.ltl.visitors.Visitor
- visit(MOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- visit(MOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- visit(MOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(ROperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(ROperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(ROperator) - Method in class owl.ltl.visitors.Converter
- visit(ROperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(ROperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(ROperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(ROperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(ROperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(ROperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
- visit(ROperator) - Method in interface owl.ltl.visitors.Visitor
- visit(ROperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- visit(ROperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- visit(ROperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(UOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(UOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(UOperator) - Method in class owl.ltl.visitors.Converter
- visit(UOperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(UOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(UOperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(UOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(UOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(UOperator) - Method in interface owl.ltl.visitors.Visitor
- visit(UOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- visit(UOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- visit(UOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(WOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(WOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(WOperator) - Method in class owl.ltl.visitors.Converter
- visit(WOperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(WOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(WOperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(WOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(WOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(WOperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
- visit(WOperator) - Method in interface owl.ltl.visitors.Visitor
- visit(WOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- visit(WOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- visit(WOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(XOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(XOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(XOperator) - Method in class owl.ltl.visitors.Converter
- visit(XOperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(XOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(XOperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(XOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(XOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(XOperator) - Method in interface owl.ltl.visitors.Visitor
- visit(XOperator) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(XOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(S, BitSet, Edge<S>) - Method in interface owl.automaton.Automaton.EdgeVisitor
-
An outgoing edge of the state, might be called several times.
- visit(S, Map<Edge<S>, ValuationSet>) - Method in interface owl.automaton.Automaton.EdgeMapVisitor
-
The edge map associated with the state.
- visit(S, ValuationTree<Edge<S>>) - Method in interface owl.automaton.Automaton.EdgeTreeVisitor
-
The edge map associated with the state.
- visitAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.andExpression()
. - visitAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.andExpression()
. - visitBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.binaryOp()
. - visitBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.binaryOp()
. - visitBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
binaryOperation
labeled alternative inLTLParser.binaryExpression()
. - visitBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
binaryOperation
labeled alternative inLTLParser.binaryExpression()
. - visitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
binaryUnary
labeled alternative inLTLParser.binaryExpression()
. - visitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
binaryUnary
labeled alternative inLTLParser.binaryExpression()
. - visitBool(LTLParser.BoolContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.bool()
. - visitBool(LTLParser.BoolContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.bool()
. - visitBoolean(LTLParser.BooleanContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
boolean
labeled alternative inLTLParser.atomExpression()
. - visitBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
boolean
labeled alternative inLTLParser.atomExpression()
. - visitComparison(LTLParser.ComparisonContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.comparison()
. - visitComparison(LTLParser.ComparisonContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.comparison()
. - visitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
doubleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - visitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
doubleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - visitErrorNode(ErrorNode) - Method in class owl.grammar.LTLParserBaseListener
- visitExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.expression()
. - visitExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.expression()
. - visitFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.formula()
. - visitFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.formula()
. - visitFraction(LTLParser.FractionContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
fraction
labeled alternative inLTLParser.frequencySpec()
. - visitFraction(LTLParser.FractionContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
fraction
labeled alternative inLTLParser.frequencySpec()
. - visitFrequencyOp(LTLParser.FrequencyOpContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.frequencyOp()
. - visitFrequencyOp(LTLParser.FrequencyOpContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.frequencyOp()
. - visitNested(LTLParser.NestedContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
nested
labeled alternative inLTLParser.atomExpression()
. - visitNested(LTLParser.NestedContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
nested
labeled alternative inLTLParser.atomExpression()
. - Visitor<R> - Interface in owl.ltl.visitors
- visitOrExpression(LTLParser.OrExpressionContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.orExpression()
. - visitOrExpression(LTLParser.OrExpressionContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.orExpression()
. - visitProbability(LTLParser.ProbabilityContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
probability
labeled alternative inLTLParser.frequencySpec()
. - visitProbability(LTLParser.ProbabilityContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
probability
labeled alternative inLTLParser.frequencySpec()
. - visitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
singleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - visitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
singleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - visitTerminal(TerminalNode) - Method in class owl.grammar.LTLParserBaseListener
- visitUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
unaryAtom
labeled alternative inLTLParser.unaryExpression()
. - visitUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
unaryAtom
labeled alternative inLTLParser.unaryExpression()
. - visitUnaryOp(LTLParser.UnaryOpContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.unaryOp()
. - visitUnaryOp(LTLParser.UnaryOpContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.unaryOp()
. - visitUnaryOperation(LTLParser.UnaryOperationContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
unaryOperation
labeled alternative inLTLParser.unaryExpression()
. - visitUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
unaryOperation
labeled alternative inLTLParser.unaryExpression()
. - visitVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
variable
labeled alternative inLTLParser.atomExpression()
. - visitVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
variable
labeled alternative inLTLParser.atomExpression()
. - VOCABULARY - Static variable in class owl.grammar.LTLLexer
- VOCABULARY - Static variable in class owl.grammar.LTLParser
- vsFactory - Variable in class owl.factories.Factories
W
- withAcceptance(int) - Method in class owl.automaton.edge.Edge
- withAcceptance(BitSet) - Method in class owl.automaton.edge.Edge
- withAcceptance(IntUnaryOperator) - Method in class owl.automaton.edge.Edge
- withAcceptanceSets(int) - Method in class owl.automaton.acceptance.ParityAcceptance
- withoutAcceptance() - Method in class owl.automaton.edge.Edge
- withParity(ParityAcceptance.Parity) - Method in class owl.automaton.acceptance.ParityAcceptance
- withSuccessor(T) - Method in class owl.automaton.edge.Edge
-
Returns an edge which has the same acceptance but the given state as successor.
- WOperator - Class in owl.ltl
-
Weak Until.
- WOperator(Formula, Formula) - Constructor for class owl.ltl.WOperator
- wrap(Formula) - Method in class owl.ltl.LabelledFormula
- write(Object) - Method in interface owl.run.modules.OutputWriter.Binding
- writer(String) - Method in class owl.run.modules.OwlModuleRegistry
- writer(OutputWriter) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
- writer(OwlModuleParser.WriterParser) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
- WRITER - owl.run.modules.OwlModuleRegistry.Type
- WUNTIL - Static variable in class owl.grammar.LTLLexer
- WUNTIL - Static variable in class owl.grammar.LTLParser
- WUNTIL() - Method in class owl.grammar.LTLParser.BinaryOpContext
X
- XDepthVisitor - Class in owl.ltl.visitors
- XDepthVisitor() - Constructor for class owl.ltl.visitors.XDepthVisitor
- XOperator - Class in owl.ltl
-
Next.
- XOperator(Formula) - Constructor for class owl.ltl.XOperator
- XOR - Static variable in class owl.grammar.LTLLexer
- XOR - Static variable in class owl.grammar.LTLParser
- XOR() - Method in class owl.grammar.LTLParser.BinaryOpContext
Z
- ZIELONKA_SOLVER - Static variable in class owl.game.algorithms.ParityGameSolver
- zielonkaRealizability(Game<S, ParityAcceptance>) - Static method in class owl.game.algorithms.ParityGameSolver
_
- _ATN - Static variable in class owl.grammar.LTLLexer
- _ATN - Static variable in class owl.grammar.LTLParser
- _decisionToDFA - Static variable in class owl.grammar.LTLLexer
- _decisionToDFA - Static variable in class owl.grammar.LTLParser
- _serializedATN - Static variable in class owl.grammar.LTLLexer
- _serializedATN - Static variable in class owl.grammar.LTLParser
- _sharedContextCache - Static variable in class owl.grammar.LTLLexer
- _sharedContextCache - Static variable in class owl.grammar.LTLParser
All Classes All Packages