A B C D E F G H I J L M N O P R S T U V W X Z _
A
- AbstractAcceptingComponentBuilder<S,T extends OmegaAcceptance,U extends RecurringObligation> - Class in owl.translations.ltl2ldba
- AbstractAcceptingComponentBuilder(Set<LTL2LDBAFunction.Configuration>, Factories) - Constructor for class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
- AbstractAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
- AbstractAutomaton(ValuationSetFactory, A, Set<S>) - Constructor for class owl.automaton.AbstractAutomaton
- AbstractBuilder<S,T,A,L,B extends GeneralizedBuchiAcceptance> - Class in owl.translations.ldba2dpa
- AbstractBuilder(LimitDeterministicAutomaton<S, T, B, A>, LanguageLattice<T, A, L>, Predicate<? super S>, boolean) - Constructor for class owl.translations.ldba2dpa.AbstractBuilder
- AbstractFormula - Class in owl.ltl
- AbstractFormula() - Constructor for class owl.ltl.AbstractFormula
- AbstractJumpManager<X extends RecurringObligation> - Class in owl.translations.ltl2ldba
- AbstractJumpManager(Set<LTL2LDBAFunction.Configuration>, EquivalenceClassFactory, Set<Formula>, Formula) - Constructor for class owl.translations.ltl2ldba.AbstractJumpManager
- AbstractLTL2LDBAModule - Class in owl.translations.ltl2ldba
- AbstractLTL2LDBAModule() - Constructor for class owl.translations.ltl2ldba.AbstractLTL2LDBAModule
- 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(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.TLSFParser.InputContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.TLSFParser.OutputContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.TLSFParser.SemanticsContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.TLSFParser.SpecificationContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.TLSFParser.TargetContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.TLSFParser.TlsfContext
- accept(Automaton.EdgeVisitor<S>) - Method in interface owl.automaton.Automaton
- accept(Automaton.EdgeVisitor<S>) - Method in class owl.automaton.ImplicitCachedStatesAutomaton
- accept(Automaton.HybridVisitor<S>) - Method in interface owl.automaton.Automaton
-
Traverse all edges of the automaton using the preferred visitor style.
- accept(Automaton.LabelledEdgeVisitor<S>) - Method in interface owl.automaton.Automaton
- accept(Automaton.LabelledEdgeVisitor<S>) - Method in class owl.automaton.ImplicitCachedStatesAutomaton
- 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 interface owl.ltl.Formula
- accept(BinaryVisitor<P, R>, P) - Method in class owl.ltl.LabelledFormula
- 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 interface owl.ltl.Formula
- accept(IntVisitor) - Method in class owl.ltl.GOperator
- accept(IntVisitor) - Method in class owl.ltl.LabelledFormula
- 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 interface 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.LabelledFormula
- 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.AbstractAutomaton
- acceptance() - Method in class owl.automaton.AbstractAutomaton
- acceptance() - Method in interface owl.automaton.Automaton
-
Returns the acceptance condition of this automaton.
- acceptance() - Method in class owl.jni.JniAutomaton
- acceptance(A) - Method in interface owl.automaton.MutableAutomaton
- acceptanceSetCount() - Method in class owl.jni.JniAutomaton
- acceptanceSetIterator() - Method in interface 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
- acceptingComponent() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
- acceptingComponent() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
- 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
- acceptsLivenessLanguage(DegeneralizedBreakpointState) - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
- acceptsLivenessLanguage(DegeneralizedBreakpointFreeState) - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
- acceptsLivenessLanguage(S) - Method in interface owl.translations.ldba2dpa.LanguageLattice
- acceptsSafetyLanguage(DegeneralizedBreakpointState) - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
- acceptsSafetyLanguage(DegeneralizedBreakpointFreeState) - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
- acceptsSafetyLanguage(S) - Method in interface owl.translations.ldba2dpa.LanguageLattice
- 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(Jump<U>) - Method in class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
- add(S) - Method in interface owl.automaton.ldba.MutableAutomatonBuilder
- addAllDistinct(List<T>, Collection<T>) - 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
- addDistinct(List<T>, T) - Static method in class owl.collections.Collections3
- 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
-
Set the initial state of the automaton.
- addInitialStateAcceptingComponent(KeyT) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonBuilder
- 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.automaton.minimizations.MinimizationUtil.MinimizationLevel
- ALL - owl.ltl.SyntacticFragment
- AllAcceptance - Class in owl.automaton.acceptance
- allMatch(Predicate<Formula>) - Method in class owl.ltl.Biconditional
- allMatch(Predicate<Formula>) - Method in class owl.ltl.BinaryModalOperator
- allMatch(Predicate<Formula>) - Method in class owl.ltl.BooleanConstant
- allMatch(Predicate<Formula>) - Method in interface owl.ltl.Formula
- allMatch(Predicate<Formula>) - Method in class owl.ltl.LabelledFormula
- allMatch(Predicate<Formula>) - Method in class owl.ltl.Literal
- allMatch(Predicate<Formula>) - Method in class owl.ltl.PropositionalFormula
- allMatch(Predicate<Formula>) - Method in class owl.ltl.UnaryModalOperator
- alphabet() - Method in interface owl.factories.ValuationSetFactory
- alphabetMapping - Variable in class owl.jni.JniEmersonLeiAutomaton.Reference
- alphabetMapping() - Method in class owl.jni.JniEmersonLeiAutomaton.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.jni.JniEmersonLeiAutomaton.SafetySplittingMode
- ALWAYS - owl.ltl.robust.Robustness
- anchors - Variable in class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
- 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
- AnnotatedState<S> - Interface in owl.automaton.util
- annotation(T) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
- annotation(T) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
- 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.Biconditional
- anyMatch(Predicate<Formula>) - Method in class owl.ltl.BinaryModalOperator
- anyMatch(Predicate<Formula>) - Method in class owl.ltl.BooleanConstant
- anyMatch(Predicate<Formula>) - Method in interface owl.ltl.Formula
- anyMatch(Predicate<Formula>) - Method in class owl.ltl.LabelledFormula
- anyMatch(Predicate<Formula>) - Method in class owl.ltl.Literal
- anyMatch(Predicate<Formula>) - Method in class owl.ltl.PropositionalFormula
- anyMatch(Predicate<Formula>) - Method in class owl.ltl.UnaryModalOperator
- append(Collection<E>, E) - Static method in class owl.collections.Collections3
- append(List<E>, E) - Static method in class owl.collections.Collections3
- 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.rewriter.PullUpXVisitor
- apply(Formula) - Method in class owl.ltl.visitors.Converter
- 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(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.LTL2DRAFunction
- apply(LabelledFormula) - Method in class owl.translations.ltl2ldba.LTL2LDBAFunction
- 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
- applyDefault(Formula) - Static method in class owl.ltl.rewriter.SimplifierFactory
- applyMinimization(MutableAutomaton<S, ? extends A>, List<Minimization<S, A>>) - Static method in class owl.automaton.minimizations.MinimizationUtil
- asCollection(Map<Edge<S>, ValuationSet>) - Static method in class owl.automaton.edge.LabelledEdges
- asMutable(Automaton<S, A>) - Static method in class owl.automaton.MutableAutomatonUtil
- ASSERT - Static variable in class owl.grammar.TLSFLexer
- ASSERT - Static variable in class owl.grammar.TLSFParser
- ASSERT() - Method in class owl.grammar.TLSFParser.SpecificationContext
- assert_() - Method in class owl.ltl.tlsf.Tlsf
- assume() - Method in class owl.ltl.tlsf.Tlsf
- ASSUME - Static variable in class owl.grammar.TLSFLexer
- ASSUME - Static variable in class owl.grammar.TLSFParser
- ASSUME() - Method in class owl.grammar.TLSFParser.SpecificationContext
- 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(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
-
Collects all literals used in the bdd and stores the corresponding atomic propositions in the BitSet.
- AUTO - owl.jni.JniEmersonLeiAutomaton.SafetySplittingMode
- automata - Variable in class owl.jni.JniEmersonLeiAutomaton
- 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.EdgeVisitor<S> - Interface in owl.automaton
- Automaton.HybridVisitor<S> - Interface in owl.automaton
- Automaton.LabelledEdgeVisitor<S> - Interface 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
- AutomatonUtil.InitialComponentState<S> - 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
- blockingModalOperators - Variable in class owl.translations.ltl2ldba.AbstractJumpManager
- 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
- BooleanLattice - Class in owl.translations.ltl2ldba.breakpointfree
- BooleanLattice() - Constructor for class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
- bound - Variable in class owl.ltl.FrequencyG
- BreakpointState<S> - Class in owl.translations.nba2ldba
- BreakpointState() - Constructor for class owl.translations.nba2ldba.BreakpointState
- BUCHI - owl.translations.LTL2DAFunction.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.automaton.ldba.LimitDeterministicAutomatonBuilder
- build() - Method in interface owl.automaton.ldba.MutableAutomatonBuilder
- build() - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
- build() - Method in class owl.translations.dra2dpa.IARBuilder
- build() - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedAcceptingComponentBuilder
- build() - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedAcceptingComponentBuilder
- build() - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
- build() - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedAcceptingComponentBuilder
- 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(Automaton<S, BuchiAcceptance>) - Static method in class owl.translations.safra.SafraBuilder
- build(Formula, EquivalenceClassFactory, Set<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.breakpoint.GObligationsJumpManager
- build(Formula, EquivalenceClassFactory, Set<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.breakpointfree.FGObligationsJumpManager
- build(LabelledFormula, Environment, RabinizerConfiguration) - Static method in class owl.translations.rabinizer.RabinizerBuilder
- build(Environment, LabelledFormula) - Static method in class owl.translations.fgx2dpa.SafetyAutomaton
- 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
- buildJump(EquivalenceClass, X) - Method in class owl.translations.ltl2ldba.AbstractJumpManager
C
- cache() - Method in class owl.automaton.ImplicitCachedStatesAutomaton
- call() - Method in class owl.run.ServerRunner
- 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(Automaton<S, ?>, Class<A>) - Static method in class owl.automaton.AutomatonUtil
- cast(Edge<? extends S>) - Static method in class owl.util.TypeUtil
- cast(LabelledEdge<? extends S>) - Static method in class owl.util.TypeUtil
- castMutable(Object, Class<S>, Class<A>) - Static method in class owl.automaton.MutableAutomatonUtil
- channelNames - Static variable in class owl.grammar.LTLLexer
- channelNames - Static variable in class owl.grammar.TLSFLexer
- check() - Method in class owl.ltl.tlsf.Tlsf
- checkDefaultAnnotationOption(CommandLine) - Static method in class owl.run.RunUtil
- checkDefaultParallelOption(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
- classes() - Method in enum owl.ltl.SyntacticFragment
- CLI - Static variable in class owl.automaton.minimizations.ImplicitMinimizeTransformer
- 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.LTL2DAModule
- CLI - Static variable in class owl.translations.nba2dpa.NBA2DPA
- CLI - Static variable in class owl.translations.nba2ldba.NBA2LDBA
- CLI - Static variable in class owl.translations.safra.SafraBuilder
- closeTransformer() - Method in interface owl.run.modules.Transformer.Instance
-
Utility method to clean up any stateful resources.
- cmp - Variable in class owl.ltl.FrequencyG
- CO_BUCHI - owl.translations.LTL2DAFunction.Constructions
- CO_SAFETY - owl.ltl.SyntacticFragment
- CO_SAFETY - owl.translations.LTL2DAFunction.Constructions
- CoBuchiAcceptance - Class in owl.automaton.acceptance
- CoBuchiAcceptance() - Constructor for class owl.automaton.acceptance.CoBuchiAcceptance
- collect(Function<Formula, T>, Iterable<? extends Formula>) - Static method in class owl.ltl.visitors.Collector
- collect(Function<Formula, T>, Formula) - Static method in class owl.ltl.visitors.Collector
- collect(Function<Formula, T>, Formula...) - Static method in class owl.ltl.visitors.Collector
- collect(Predicate<Formula>, Iterable<? extends Formula>) - Static method in class owl.ltl.visitors.Collector
- collect(Predicate<Formula>, Formula...) - Static method in class owl.ltl.visitors.Collector
- collectAtoms(Iterable<? extends Formula>) - Static method in class owl.ltl.visitors.Collector
- collectAtoms(Iterable<? extends Formula>, boolean) - Static method in class owl.ltl.visitors.Collector
- collectAtoms(Formula) - Static method in class owl.ltl.visitors.Collector
- collectAtoms(Formula, boolean) - Static method in class owl.ltl.visitors.Collector
- collectFOperators(Formula) - Static method in class owl.ltl.visitors.Collector
- collectGOperators(Formula) - Static method in class owl.ltl.visitors.Collector
- Collections3 - Class in owl.collections
- Collector - Class in owl.ltl.visitors
- collectTransformedFOperators(Iterable<? extends Formula>) - Static method in class owl.ltl.visitors.Collector
- collectTransformedFOperators(Formula) - Static method in class owl.ltl.visitors.Collector
- collectTransformedGOperators(Iterable<? extends Formula>) - Static method in class owl.ltl.visitors.Collector
- collectTransformedGOperators(Formula) - Static method in class owl.ltl.visitors.Collector
- combiner(BinaryOperator<Formula>) - Static method in class owl.ltl.robust.Split
- comp - Variable in class owl.grammar.LTLParser.FrequencyOpContext
- 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 - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- complete(Automaton<S, A>, 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 - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- completeAllAcceptance(Automaton<S, AllAcceptance>, S) - Static method in class owl.automaton.Views
- completeAutomaton() - Method in class owl.translations.rabinizer.RabinizerConfiguration
- components() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
- components() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
- COMPRESS_COLOURS - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- compute(Formula, Formula) - Static method in class owl.ltl.util.FormulaIsomorphism
- computeAcceptance() - Method in class owl.translations.rabinizer.RabinizerConfiguration
- computeJumps(EquivalenceClass) - Method in class owl.translations.ltl2ldba.AbstractJumpManager
- computeJumps(EquivalenceClass) - Method in class owl.translations.ltl2ldba.breakpoint.GObligationsJumpManager
- computeJumps(EquivalenceClass) - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligationsJumpManager
- 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
- configuration - Variable in class owl.translations.ltl2ldba.AbstractJumpManager
- 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(EquivalenceClass...) - Method in interface owl.factories.EquivalenceClassFactory
- conjunction(EquivalenceClass, EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
- Conjunction - Class in owl.ltl
- Conjunction(Collection<? extends Formula>) - Constructor for class owl.ltl.Conjunction
- Conjunction(Stream<? extends Formula>) - Constructor for class owl.ltl.Conjunction
- Conjunction(Formula...) - Constructor for class owl.ltl.Conjunction
- 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.ValuationSet
- contains(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>) - Static method in class owl.automaton.algorithms.LanguageAnalysis
-
Checks if the first the language of the first automaton is included in the language of the second automaton.
- 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.
- containsLanguageOf(RecurringObligation) - Method in class owl.translations.ltl2ldba.breakpoint.GObligations
- containsLanguageOf(RecurringObligation) - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
- containsLanguageOf(RecurringObligation) - Method in interface owl.translations.ltl2ldba.RecurringObligation
- CONVERSION_CLI - Static variable in class owl.automaton.transformations.ParityUtil
- convert(Automaton<S, ParityAcceptance>, ParityAcceptance.Parity) - Static method in class owl.automaton.transformations.ParityUtil
- convert(Visitor<Formula>) - Method in class owl.ltl.LabelledFormula
- Converter - Class in owl.ltl.visitors
- Converter(Set<Class<? extends Formula>>) - 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
- 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
- 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, ? extends Collection<Edge<S>>>) - Static method in class owl.automaton.MutableAutomatonFactory
- create(A, ValuationSetFactory, Collection<S>, BiFunction<S, BitSet, Edge<S>>, Function<S, BitSet>) - Static method in class owl.automaton.MutableAutomatonFactory
- create(Supplier<MutableAutomaton<S, NoneAcceptance>>, MutableAutomatonBuilder<X2, T, Acc>, Function<S, Iterable<X2>>, Function<T, X3>, EnumSet<LimitDeterministicAutomatonBuilder.Configuration>) - Static method in class owl.automaton.ldba.LimitDeterministicAutomatonBuilder
- create(Supplier<MutableAutomaton<S, NoneAcceptance>>, MutableAutomatonBuilder<X2, T, Acc>, Function<S, Iterable<X2>>, Function<T, X3>, EnumSet<LimitDeterministicAutomatonBuilder.Configuration>, Predicate<S>) - Static method in class owl.automaton.ldba.LimitDeterministicAutomatonBuilder
- create(ValuationSetFactory, Collection<S>, A, BiFunction<S, BitSet, ? extends Collection<Edge<S>>>, Function<S, ? extends Collection<LabelledEdge<S>>>) - 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, ? extends Collection<LabelledEdge<S>>>) - 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, ? extends Collection<Edge<S>>>, Function<S, ? extends Collection<LabelledEdge<S>>>) - 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, ? extends Collection<LabelledEdge<S>>>) - 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
- createDegeneralizedBreakpointFreeLDBABuilder(Environment, Set<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.LTL2LDBAFunction
- createDegeneralizedBreakpointLDBABuilder(Environment, Set<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.LTL2LDBAFunction
- 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
- createDisjunctionStream(EquivalenceClass, Function<Formula, Stream<X>>) - Static method in class owl.translations.ltl2ldba.AbstractJumpManager
- createGeneralizedBreakpointFreeLDBABuilder(Environment, Set<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.LTL2LDBAFunction
- createGeneralizedBreakpointLDBABuilder(Environment, Set<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.LTL2LDBAFunction
- createPowerSetAutomaton(Automaton<S, ?>, A, boolean) - Static method in class owl.automaton.Views
- createSink() - Static method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
- createSink() - Static method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
- createState(EquivalenceClass, GObligations) - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedAcceptingComponentBuilder
- createState(EquivalenceClass, GObligations) - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedAcceptingComponentBuilder
- createState(EquivalenceClass, FGObligations) - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
- createState(EquivalenceClass, FGObligations) - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedAcceptingComponentBuilder
- createState(EquivalenceClass, U) - Method in class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
- cube(BitSet) - Method in class owl.game.output.AigFactory
D
- DaemonThreadFactory - Class in owl.util
- DaemonThreadFactory(ThreadGroup) - Constructor for class owl.util.DaemonThreadFactory
- DEFAULT - Static variable in class owl.run.modules.InputReaders.HoaReader
- 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
- DEGENERALIZE - owl.translations.ltl2dra.LTL2DRAFunction.Configuration
- DegeneralizedAcceptingComponentBuilder - Class in owl.translations.ltl2ldba.breakpoint
- DegeneralizedAcceptingComponentBuilder - Class in owl.translations.ltl2ldba.breakpointfree
- DegeneralizedAcceptingComponentBuilder(Factories, Set<LTL2LDBAFunction.Configuration>) - Constructor for class owl.translations.ltl2ldba.breakpoint.DegeneralizedAcceptingComponentBuilder
- DegeneralizedAcceptingComponentBuilder(Factories, Set<LTL2LDBAFunction.Configuration>) - Constructor for class owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
- DegeneralizedBreakpointFreeState - Class in owl.translations.ltl2ldba.breakpointfree
- DegeneralizedBreakpointState - Class in owl.translations.ltl2ldba.breakpoint
- DelagBuilder<T> - Class in owl.translations.delag
- DelagBuilder(Environment) - Constructor for class owl.translations.delag.DelagBuilder
- DelagBuilder(Environment, Function<LabelledFormula, ? extends Automaton<T, ?>>) - Constructor for class owl.translations.delag.DelagBuilder
- denominator - Variable in class owl.grammar.LTLParser.FractionContext
- depth() - Method in class owl.ltl.rewriter.PullUpXVisitor.XFormula
- description - Variable in class owl.grammar.TLSFParser.TlsfContext
- description() - Method in class owl.ltl.tlsf.Tlsf
- DESCRIPTION - Static variable in class owl.grammar.TLSFLexer
- DESCRIPTION - Static variable in class owl.grammar.TLSFParser
- DESCRIPTION() - Method in class owl.grammar.TLSFParser.TlsfContext
- DETERMINISTIC - owl.automaton.Automaton.Property
- 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(EquivalenceClass...) - Method in interface owl.factories.EquivalenceClassFactory
- disjunction(EquivalenceClass, EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
- Disjunction - Class in owl.ltl
- Disjunction(Collection<? extends Formula>) - Constructor for class owl.ltl.Disjunction
- Disjunction(Stream<? extends Formula>) - Constructor for class owl.ltl.Disjunction
- Disjunction(Formula...) - Constructor for class owl.ltl.Disjunction
- 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
- EAGER_UNFOLD - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
- edge - Variable in class owl.automaton.edge.LabelledEdge
- edge() - Method in class owl.automaton.edge.LabelledEdge
- edge(S, BitSet) - Method in interface owl.automaton.Automaton
-
Returns the successor edge of the specified
state
under the givenvaluation
. - Edge<S> - Interface in owl.automaton.edge
-
This interface represents edges of automata including their acceptance membership.
- edges(int) - Method in class owl.jni.JniAutomaton
- edges(Collection<LabelledEdge<S>>) - Static method in class owl.automaton.edge.LabelledEdges
- 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.EdgesAutomatonMixin
- edges(S) - Method in interface owl.automaton.LabelledEdgesAutomatonMixin
- 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.LabelledEdgesAutomatonMixin
- edges(S, BitSet) - Method in class owl.automaton.Views.AutomatonView
- Edges - Class in owl.automaton.edge
- EdgesAutomatonMixin<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
Mixin interface for implementing an automaton by
Automaton.edges(Object, BitSet)
. - EMERSON_LEI - owl.translations.LTL2DAFunction.Constructions
- EmersonLeiAcceptance - Class in owl.automaton.acceptance
- EmersonLeiAcceptance(int, BooleanExpression<AtomAcceptance>) - Constructor for class owl.automaton.acceptance.EmersonLeiAcceptance
- EmptinessCheck - Class in owl.automaton.algorithms
- empty() - Method in interface owl.factories.ValuationSetFactory
- empty(ValuationSetFactory) - Static method in class owl.automaton.AutomatonFactory
- EMPTY_ARRAY - Static variable in class owl.ltl.EquivalenceClass
- emptyIsAccepting() - Method in class owl.automaton.acceptance.ParityAcceptance
- enter(S) - Method in interface owl.automaton.Automaton.Visitor
- 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
- enterEveryRule(ParserRuleContext) - Method in class owl.grammar.TLSFParserBaseListener
- 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()
. - enterInput(TLSFParser.InputContext) - Method in class owl.grammar.TLSFParserBaseListener
-
Enter a parse tree produced by
TLSFParser.input()
. - enterInput(TLSFParser.InputContext) - Method in interface owl.grammar.TLSFParserListener
-
Enter a parse tree produced by
TLSFParser.input()
. - 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()
. - enterOutput(TLSFParser.OutputContext) - Method in class owl.grammar.TLSFParserBaseListener
-
Enter a parse tree produced by
TLSFParser.output()
. - enterOutput(TLSFParser.OutputContext) - Method in interface owl.grammar.TLSFParserListener
-
Enter a parse tree produced by
TLSFParser.output()
. - 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
- enterRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.InputContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.OutputContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.SemanticsContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.SpecificationContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.TargetContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.TlsfContext
- enterSemantics(TLSFParser.SemanticsContext) - Method in class owl.grammar.TLSFParserBaseListener
-
Enter a parse tree produced by
TLSFParser.semantics()
. - enterSemantics(TLSFParser.SemanticsContext) - Method in interface owl.grammar.TLSFParserListener
-
Enter a parse tree produced by
TLSFParser.semantics()
. - 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()
. - enterSpecification(TLSFParser.SpecificationContext) - Method in class owl.grammar.TLSFParserBaseListener
-
Enter a parse tree produced by
TLSFParser.specification()
. - enterSpecification(TLSFParser.SpecificationContext) - Method in interface owl.grammar.TLSFParserListener
-
Enter a parse tree produced by
TLSFParser.specification()
. - enterTarget(TLSFParser.TargetContext) - Method in class owl.grammar.TLSFParserBaseListener
-
Enter a parse tree produced by
TLSFParser.target()
. - enterTarget(TLSFParser.TargetContext) - Method in interface owl.grammar.TLSFParserListener
-
Enter a parse tree produced by
TLSFParser.target()
. - enterTlsf(TLSFParser.TlsfContext) - Method in class owl.grammar.TLSFParserBaseListener
-
Enter a parse tree produced by
TLSFParser.tlsf()
. - enterTlsf(TLSFParser.TlsfContext) - Method in interface owl.grammar.TLSFParserListener
-
Enter a parse tree produced by
TLSFParser.tlsf()
. - 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
- EOF() - Method in class owl.grammar.TLSFParser.TlsfContext
- EPSILON_TRANSITIONS - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
- epsilonJumps(S) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
- epsilonJumps(S) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
- 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.ParityAcceptance
- equals(Object) - Method in class owl.automaton.AutomatonReader.HoaState
- equals(Object) - Method in class owl.automaton.edge.LabelledEdge
- equals(Object) - Method in class owl.automaton.MutableAutomatonUtil.Sink
- equals(Object) - Method in class owl.ltl.AbstractFormula
- equals(Object) - Method in class owl.ltl.BooleanConstant
- equals(Object) - Method in class owl.translations.delag.State
- equals(Object) - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
- equals(Object) - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
- equals(Object) - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
- equals(Object) - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
- equals(Object) - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
- equals(Object) - Method in class owl.translations.ltl2ldba.Jump
- equals2(AbstractFormula) - Method in class owl.ltl.AbstractFormula
- equals2(AbstractFormula) - Method in class owl.ltl.Biconditional
- equals2(AbstractFormula) - Method in class owl.ltl.BinaryModalOperator
- equals2(AbstractFormula) - Method in class owl.ltl.FrequencyG
- equals2(AbstractFormula) - Method in class owl.ltl.Literal
- equals2(AbstractFormula) - Method in class owl.ltl.PropositionalFormula
- equals2(AbstractFormula) - 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
- EquivalenceClassLanguageLattice - Class in owl.translations.ltl2ldba.breakpoint
- EquivalenceClassLanguageLattice(EquivalenceClassFactory) - Constructor for class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
- EquivalenceClassStateFactory - Class in owl.translations.ltl2ldba
- EquivalenceClassStateFactory(Factories, boolean, boolean) - Constructor for class owl.translations.ltl2ldba.EquivalenceClassStateFactory
- 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.
- EXISTS_SAFETY_CORE - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- EXISTS_SAFETY_CORE - owl.translations.ltl2dra.LTL2DRAFunction.Configuration
- exit(S) - Method in interface owl.automaton.Automaton.Visitor
- 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
- exitEveryRule(ParserRuleContext) - Method in class owl.grammar.TLSFParserBaseListener
- 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()
. - exitInput(TLSFParser.InputContext) - Method in class owl.grammar.TLSFParserBaseListener
-
Exit a parse tree produced by
TLSFParser.input()
. - exitInput(TLSFParser.InputContext) - Method in interface owl.grammar.TLSFParserListener
-
Exit a parse tree produced by
TLSFParser.input()
. - 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()
. - exitOutput(TLSFParser.OutputContext) - Method in class owl.grammar.TLSFParserBaseListener
-
Exit a parse tree produced by
TLSFParser.output()
. - exitOutput(TLSFParser.OutputContext) - Method in interface owl.grammar.TLSFParserListener
-
Exit a parse tree produced by
TLSFParser.output()
. - 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
- exitRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.InputContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.OutputContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.SemanticsContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.SpecificationContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.TargetContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.TlsfContext
- exitSemantics(TLSFParser.SemanticsContext) - Method in class owl.grammar.TLSFParserBaseListener
-
Exit a parse tree produced by
TLSFParser.semantics()
. - exitSemantics(TLSFParser.SemanticsContext) - Method in interface owl.grammar.TLSFParserListener
-
Exit a parse tree produced by
TLSFParser.semantics()
. - 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()
. - exitSpecification(TLSFParser.SpecificationContext) - Method in class owl.grammar.TLSFParserBaseListener
-
Exit a parse tree produced by
TLSFParser.specification()
. - exitSpecification(TLSFParser.SpecificationContext) - Method in interface owl.grammar.TLSFParserListener
-
Exit a parse tree produced by
TLSFParser.specification()
. - exitTarget(TLSFParser.TargetContext) - Method in class owl.grammar.TLSFParserBaseListener
-
Exit a parse tree produced by
TLSFParser.target()
. - exitTarget(TLSFParser.TargetContext) - Method in interface owl.grammar.TLSFParserListener
-
Exit a parse tree produced by
TLSFParser.target()
. - exitTlsf(TLSFParser.TlsfContext) - Method in class owl.grammar.TLSFParserBaseListener
-
Exit a parse tree produced by
TLSFParser.tlsf()
. - exitTlsf(TLSFParser.TlsfContext) - Method in interface owl.grammar.TLSFParserListener
-
Exit a parse tree produced by
TLSFParser.tlsf()
. - 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
- extractPropositions(Formula) - Static method in class owl.factories.PropositionVisitor
F
- factories - Variable in class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
- Factories - Class in owl.factories
- Factories(EquivalenceClassFactory, ValuationSetFactory) - Constructor for class owl.factories.Factories
- factory - Variable in class owl.automaton.AbstractAutomaton
- factory - Variable in class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
- factory - Variable in class owl.translations.ltl2ldba.AbstractJumpManager
- factory() - Method in class owl.automaton.AbstractAutomaton
- factory() - Method in interface owl.automaton.Automaton
- factory() - Method in class owl.ltl.EquivalenceClass
- 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
- feedTo(Object, HOAConsumer) - Static method in class owl.automaton.output.HoaPrinter
- feedTo(Object, HOAConsumer, EnumSet<HoaPrinter.HoaOption>) - Static method in class owl.automaton.output.HoaPrinter
- 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(LimitDeterministicAutomaton<S, ?, ?, ?>, HOAConsumer) - Static method in class owl.automaton.output.HoaPrinter
- feedTo(LimitDeterministicAutomaton<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
- FGObligations - Class in owl.translations.ltl2ldba.breakpointfree
- FGObligationsJumpManager - Class in owl.translations.ltl2ldba.breakpointfree
- FGSubstitution - Class in owl.translations.ltl2ldba
- FGSubstitution(Iterable<? extends Formula>) - Constructor for class owl.translations.ltl2ldba.FGSubstitution
- 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
- findNextSafety(List<T>, int) - Method in class owl.translations.ldba2dpa.AbstractBuilder
- FINITE - owl.ltl.SyntacticFragment
- finSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- FlatRankingAutomaton - Class in owl.translations.ldba2dpa
- FlatRankingState<S,T> - Class in owl.translations.ldba2dpa
- FlatRankingState() - Constructor for class owl.translations.ldba2dpa.FlatRankingState
- 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
- FORCE_JUMPS - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
- forEach(BitSet, Consumer<BitSet>) - Method in class owl.collections.ValuationSet
- forEach(BiConsumer<L, List<L>>) - Method in class owl.translations.safra.Tree
- forEach(BiConsumer<Edge<S>, BitSet>) - Method in class owl.automaton.edge.LabelledEdge
- forEach(Consumer<BitSet>) - Method in class owl.collections.ValuationSet
- forEach(Consumer<BitSet>) - Method in interface owl.factories.ValuationSetFactory
- forEach(Consumer<L>) - Method in class owl.translations.safra.Tree
- forEach(Consumer<Formula>) - Method in class owl.ltl.PropositionalFormula
- forEach(ValuationSet, BitSet, Consumer<BitSet>) - Method in interface owl.factories.ValuationSetFactory
- forEach(ValuationSet, Consumer<BitSet>) - Method in interface owl.factories.ValuationSetFactory
- forEachEdge(S, Consumer<Edge<S>>) - Method in interface owl.automaton.Automaton
- forEachIndex(IntConsumer) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- forEachInfSet(IntConsumer) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- forEachLabelledEdge(S, BiConsumer<Edge<S>, ValuationSet>) - Method in interface owl.automaton.Automaton
- forEachNonTransientEdge(Automaton<S, ?>, BiConsumer<S, Edge<S>>) - Static method in class owl.automaton.AutomatonUtil
- formula - Variable in class owl.grammar.TLSFParser.SpecificationContext
- formula - Variable in class owl.jni.JniEmersonLeiAutomaton.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 - Interface in owl.ltl
- FormulaContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FormulaContext
- FormulaIsomorphism - Class in owl.ltl.util
- 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
- fromWriter(OutputWriter) - Static method in class owl.run.modules.Transformers
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.
- GE - Static variable in class owl.grammar.LTLLexer
- GE - Static variable in class owl.grammar.LTLParser
- GE() - Method in class owl.grammar.LTLParser.ComparisonContext
- GeneralizedAcceptingComponentBuilder - Class in owl.translations.ltl2ldba.breakpoint
- GeneralizedAcceptingComponentBuilder - Class in owl.translations.ltl2ldba.breakpointfree
- GeneralizedAcceptingComponentBuilder(Factories, Set<LTL2LDBAFunction.Configuration>) - Constructor for class owl.translations.ltl2ldba.breakpoint.GeneralizedAcceptingComponentBuilder
- GeneralizedAcceptingComponentBuilder(Factories, Set<LTL2LDBAFunction.Configuration>) - Constructor for class owl.translations.ltl2ldba.breakpointfree.GeneralizedAcceptingComponentBuilder
- GeneralizedBreakpointFreeState - Class in owl.translations.ltl2ldba.breakpointfree
- GeneralizedBreakpointState - Class in owl.translations.ltl2ldba.breakpoint
- 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
- GeneralizedRabinMinimizations - Class in owl.automaton.minimizations
- GenericMinimizations - Class in owl.automaton.minimizations
- GEQ - owl.ltl.FrequencyG.Comparison
- get(Robustness) - Method in class owl.ltl.robust.Split
- 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
- getATN() - Method in class owl.grammar.TLSFLexer
- getATN() - Method in class owl.grammar.TLSFParser
- 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
- getBottom() - Method in interface owl.translations.ldba2dpa.LanguageLattice
- getBottom() - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
- getBottom() - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
- getCause() - Method in exception owl.run.parser.PipelineParser.ModuleParseException
- getChannelNames() - Method in class owl.grammar.LTLLexer
- getChannelNames() - Method in class owl.grammar.TLSFLexer
- getChildren() - Method in class owl.collections.LabelledTree.Node
- getChoice(S, Game.Owner) - Method in interface owl.game.Game
- getConsumer(Consumer<? super Automaton<AutomatonReader.HoaState, ?>>, FactorySupplier) - Static method in class owl.automaton.AutomatonReader
- getConsumer(Consumer<? super Automaton<AutomatonReader.HoaState, ?>>, ValuationSetFactory) - Static method in class owl.automaton.AutomatonReader
- getDefaultAnnotationOption() - Static method in class owl.run.RunUtil
- getDefaultParallelOption() - 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.ltl2dpa.LTL2DPACliParser
- getDescription() - Method in class owl.translations.ltl2dra.LTL2DRACliParser
- getDescription() - Method in class owl.translations.ltl2ldba.LTL2LDBAModule
- getDescription() - Method in class owl.translations.ltl2ldba.LTL2LDGBAModule
- getDescription() - Method in class owl.translations.rabinizer.RabinizerCliParser
- 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
- getGrammarFileName() - Method in class owl.grammar.TLSFLexer
- getGrammarFileName() - Method in class owl.grammar.TLSFParser
- getIncompleteStates(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
-
Determines all states which are incomplete, i.e.
- getInitial(EquivalenceClass, EquivalenceClass...) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
- getInitial(Formula...) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
- getKey() - Method in class owl.ltl.robust.RobustLtlInputReader
- getKey() - Method in interface owl.run.modules.OwlModuleParser
- getKey() - Method in class owl.translations.ltl2dpa.LTL2DPACliParser
- getKey() - Method in class owl.translations.ltl2dra.LTL2DRACliParser
- getKey() - Method in class owl.translations.ltl2ldba.LTL2LDBAModule
- getKey() - Method in class owl.translations.ltl2ldba.LTL2LDGBAModule
- getKey() - Method in class owl.translations.rabinizer.RabinizerCliParser
- getLabel() - Method in class owl.collections.LabelledTree.Leaf
- getLabel() - Method in class owl.collections.LabelledTree.Node
- getLanguage() - Method in class owl.translations.ltl2ldba.breakpoint.GObligations
- getLanguage() - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
- getLanguage() - Method in interface owl.translations.ltl2ldba.RecurringObligation
- getLanguage(DegeneralizedBreakpointState) - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
- getLanguage(DegeneralizedBreakpointFreeState) - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
- getLanguage(S) - Method in interface owl.translations.ldba2dpa.LanguageLattice
- getModeNames() - Method in class owl.grammar.LTLLexer
- getModeNames() - Method in class owl.grammar.TLSFLexer
- getNode(int) - Method in class owl.game.output.AigFactory
- getNondeterministicStates(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
- getNondeterministicSuccessor(EquivalenceClass, BitSet) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
- getObligations() - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
- getObligations() - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
- getObligations() - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
- getObligations() - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
- getOperand() - Method in class owl.ltl.UnaryModalOperator
- getOperator() - Method in class owl.ltl.BinaryModalOperator
- getOperator() - Method in class owl.ltl.Conjunction
- getOperator() - Method in class owl.ltl.Disjunction
- getOperator() - Method in class owl.ltl.FOperator
- getOperator() - Method in class owl.ltl.FrequencyG
- getOperator() - Method in class owl.ltl.GOperator
- getOperator() - Method in class owl.ltl.MOperator
- getOperator() - Method in class owl.ltl.PropositionalFormula
- getOperator() - Method in class owl.ltl.ROperator
- getOperator() - Method in class owl.ltl.UnaryModalOperator
- getOperator() - Method in class owl.ltl.UOperator
- getOperator() - Method in class owl.ltl.WOperator
- getOperator() - Method in class owl.ltl.XOperator
- 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.ltl2dpa.LTL2DPACliParser
- getOptions() - Method in class owl.translations.ltl2dra.LTL2DRACliParser
- getOptions() - Method in class owl.translations.ltl2ldba.AbstractLTL2LDBAModule
- getOptions() - Method in class owl.translations.rabinizer.RabinizerCliParser
- 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
- getRuleIndex() - Method in class owl.grammar.TLSFParser.InputContext
- getRuleIndex() - Method in class owl.grammar.TLSFParser.OutputContext
- getRuleIndex() - Method in class owl.grammar.TLSFParser.SemanticsContext
- getRuleIndex() - Method in class owl.grammar.TLSFParser.SpecificationContext
- getRuleIndex() - Method in class owl.grammar.TLSFParser.TargetContext
- getRuleIndex() - Method in class owl.grammar.TLSFParser.TlsfContext
- getRuleNames() - Method in class owl.grammar.LTLLexer
- getRuleNames() - Method in class owl.grammar.LTLParser
- getRuleNames() - Method in class owl.grammar.TLSFLexer
- getRuleNames() - Method in class owl.grammar.TLSFParser
- getSensitiveAlphabet(EquivalenceClass) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
- getSensitiveAlphabet(DegeneralizedBreakpointFreeState) - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
- getSerializedATN() - Method in class owl.grammar.LTLLexer
- getSerializedATN() - Method in class owl.grammar.LTLParser
- getSerializedATN() - Method in class owl.grammar.TLSFLexer
- getSerializedATN() - Method in class owl.grammar.TLSFParser
- getStates(Game.Owner) - Method in interface owl.game.Game
- getSuccessor(EquivalenceClass, BitSet, EquivalenceClass...) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
- getSuccessor(GeneralizedBreakpointState, BitSet) - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedAcceptingComponentBuilder
- getSuccessor(DegeneralizedBreakpointFreeState, BitSet) - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
- getSuccessors(Iterable<S>) - Method in interface owl.game.Game
- getSuccessors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
- getSuccessors(EquivalenceClass) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
- getSuccessors(EquivalenceClass[], BitSet, EquivalenceClass) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
- getSuccessors(S, Game.Owner) - Method in interface owl.game.Game
- getT() - Method in interface owl.translations.ldba2dpa.Language
- getTokenNames() - Method in class owl.grammar.LTLLexer
-
Deprecated.
- getTokenNames() - Method in class owl.grammar.LTLParser
-
Deprecated.
- getTokenNames() - Method in class owl.grammar.TLSFLexer
-
Deprecated.
- getTokenNames() - Method in class owl.grammar.TLSFParser
-
Deprecated.
- getTop() - Method in interface owl.translations.ldba2dpa.LanguageLattice
- getTop() - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
- getTop() - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
- 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
- getVocabulary() - Method in class owl.grammar.TLSFLexer
- getVocabulary() - Method in class owl.grammar.TLSFParser
- GFSubstitution - Class in owl.translations.ltl2ldba
- GFSubstitution(Iterable<? extends Formula>) - Constructor for class owl.translations.ltl2ldba.GFSubstitution
- 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
- GObligations - Class in owl.translations.ltl2ldba.breakpoint
- GObligations() - Constructor for class owl.translations.ltl2ldba.breakpoint.GObligations
- GObligationsJumpManager - Class in owl.translations.ltl2ldba.breakpoint
- GOperator - Class in owl.ltl
-
Globally.
- GOperator(Formula) - Constructor for class owl.ltl.GOperator
- greaterOrEqual(Language<L>) - Method in interface owl.translations.ldba2dpa.Language
- GREEDY - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- 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
- guarantee() - Method in class owl.ltl.tlsf.Tlsf
- GUARANTEE - Static variable in class owl.grammar.TLSFLexer
- GUARANTEE - Static variable in class owl.grammar.TLSFParser
- GUARANTEE() - Method in class owl.grammar.TLSFParser.SpecificationContext
- 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()
. - GUESS_F - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- guessF() - Static method in class owl.translations.ltl2ldba.AbstractLTL2LDBAModule
H
- hasAcceptanceSets() - Method in interface owl.automaton.edge.Edge
-
Returns whether this edge has any acceptance set.
- hashCode() - Method in class owl.automaton.acceptance.ParityAcceptance
- hashCode() - Method in class owl.automaton.AutomatonReader.HoaState
- hashCode() - Method in class owl.automaton.edge.LabelledEdge
- hashCode() - Method in class owl.automaton.MutableAutomatonUtil.Sink
- hashCode() - Method in class owl.ltl.AbstractFormula
- hashCode() - Method in class owl.ltl.BooleanConstant
- hashCode() - Method in class owl.translations.delag.State
- hashCode() - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
- hashCode() - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
- hashCode() - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
- hashCode() - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
- hashCode() - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
- hashCode() - Method in class owl.translations.ltl2ldba.Jump
- hashCodeOnce() - Method in class owl.ltl.AbstractFormula
- hashCodeOnce() - Method in class owl.ltl.Biconditional
- hashCodeOnce() - Method in class owl.ltl.BinaryModalOperator
- hashCodeOnce() - Method in class owl.ltl.Conjunction
- hashCodeOnce() - Method in class owl.ltl.Disjunction
- hashCodeOnce() - Method in class owl.ltl.FrequencyG
- hashCodeOnce() - Method in class owl.ltl.Literal
- hashCodeOnce() - Method in class owl.ltl.UnaryModalOperator
- HashedTuple - Annotation Type in owl.util.annotation
- hasInfSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- hasSafetyCore(EquivalenceClass, boolean) - Static method in class owl.translations.ltl2ldba.SafetyDetector
- 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
- HoaReader() - Constructor for class owl.run.modules.InputReaders.HoaReader
- HoaReader(HOAFParserSettings) - Constructor for class owl.run.modules.InputReaders.HoaReader
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
- ID_SEP - Static variable in class owl.grammar.TLSFLexer
- ID_SEP - Static variable in class owl.grammar.TLSFParser
- ID_SEP() - Method in class owl.grammar.TLSFParser.InputContext
- ID_SEP() - Method in class owl.grammar.TLSFParser.OutputContext
- ID_SEP(int) - Method in class owl.grammar.TLSFParser.InputContext
- ID_SEP(int) - Method in class owl.grammar.TLSFParser.OutputContext
- IMP - Static variable in class owl.grammar.LTLLexer
- IMP - Static variable in class owl.grammar.LTLParser
- IMP() - Method in class owl.grammar.LTLParser.BinaryOpContext
- ImplicitCachedStatesAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
- ImplicitCachedStatesAutomaton(ValuationSetFactory, Set<S>, A) - Constructor for class owl.automaton.ImplicitCachedStatesAutomaton
- ImplicitMinimizeTransformer - Class in owl.automaton.minimizations
- ImplicitMinimizeTransformer() - Constructor for class owl.automaton.minimizations.ImplicitMinimizeTransformer
- ImplicitMinimizeTransformer(MinimizationUtil.MinimizationLevel) - Constructor for class owl.automaton.minimizations.ImplicitMinimizeTransformer
- implies(EquivalenceClass) - Method in class owl.ltl.EquivalenceClass
- implies(EquivalenceClass, EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
- in - Variable in class owl.grammar.TLSFParser.InputContext
- index - Variable in class owl.jni.JniEmersonLeiAutomaton.Reference
- 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() - Method in class owl.ltl.robust.LabelledSplit
- infinitelyOften() - Method in class owl.ltl.robust.Split
- INFO - Static variable in class owl.grammar.TLSFLexer
- INFO - Static variable in class owl.grammar.TLSFParser
- INFO() - Method in class owl.grammar.TLSFParser.TlsfContext
- INFO_END - Static variable in class owl.grammar.TLSFLexer
- INFO_END - Static variable in class owl.grammar.TLSFParser
- INFO_END() - Method in class owl.grammar.TLSFParser.TlsfContext
- INFO_START - Static variable in class owl.grammar.TLSFLexer
- INFO_START - Static variable in class owl.grammar.TLSFParser
- INFO_START() - Method in class owl.grammar.TLSFParser.TlsfContext
- INFO_STRING - Static variable in class owl.grammar.TLSFLexer
- INFO_STRING - Static variable in class owl.grammar.TLSFParser
- INFO_STRING() - Method in class owl.grammar.TLSFParser.TlsfContext
- INFO_STRING(int) - Method in class owl.grammar.TLSFParser.TlsfContext
- 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 interface owl.automaton.ldba.LimitDeterministicAutomaton
- initialComponent() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
- InitialComponentState() - Constructor for class owl.automaton.AutomatonUtil.InitialComponentState
- initially() - Method in class owl.ltl.tlsf.Tlsf
- INITIALLY - Static variable in class owl.grammar.TLSFLexer
- INITIALLY - Static variable in class owl.grammar.TLSFParser
- INITIALLY() - Method in class owl.grammar.TLSFParser.SpecificationContext
- initialStates - Variable in class owl.automaton.AbstractAutomaton
- initialStates() - Method in class owl.automaton.AbstractAutomaton
- initialStates() - Method in interface owl.automaton.Automaton
-
Returns the set of initial states, which can potentially be empty.
- initialStates() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
- initialStates() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
- initialStates(Collection<? extends S>) - Method in interface owl.automaton.MutableAutomaton
-
Sets the set of initial states of the automaton.
- inner - Variable in class owl.grammar.LTLParser.UnaryOperationContext
- input() - Method in class owl.grammar.TLSFParser
- input() - Method in class owl.grammar.TLSFParser.TlsfContext
- input() - Method in class owl.run.Pipeline
- InputContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.InputContext
- 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
- InputReaders.HoaReader - Class in owl.run.modules
- inputs() - Method in class owl.ltl.tlsf.Tlsf
- INPUTS - Static variable in class owl.grammar.TLSFLexer
- INPUTS - Static variable in class owl.grammar.TLSFParser
- INPUTS() - Method in class owl.grammar.TLSFParser.InputContext
- insertableToRanking(T, Map<A, Language<L>>) - Method in class owl.translations.ldba2dpa.AbstractBuilder
- inSet(int) - Method in interface 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.MutableAutomatonUtil.Sink
- 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.ltl2dpa.LTL2DPACliParser
- INSTANCE - Static variable in class owl.translations.ltl2dra.LTL2DRACliParser
- INSTANCE - Static variable in class owl.translations.ltl2ldba.LTL2LDBAModule
- INSTANCE - Static variable in class owl.translations.ltl2ldba.LTL2LDGBAModule
- INSTANCE - Static variable in class owl.translations.rabinizer.RabinizerCliParser
- 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(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
- IO_END - Static variable in class owl.grammar.TLSFLexer
- IO_END - Static variable in class owl.grammar.TLSFParser
- IO_END() - Method in class owl.grammar.TLSFParser.InputContext
- IO_END() - Method in class owl.grammar.TLSFParser.OutputContext
- IO_START - Static variable in class owl.grammar.TLSFLexer
- IO_START - Static variable in class owl.grammar.TLSFParser
- IO_START() - Method in class owl.grammar.TLSFParser.InputContext
- IO_START() - Method in class owl.grammar.TLSFParser.OutputContext
- is(Automaton.Property) - Method in interface owl.automaton.Automaton
- is(Automaton.Property) - Method in class owl.automaton.Views.AutomatonView
- isAccepting(int) - Method in class owl.automaton.acceptance.ParityAcceptance
- isAcceptingState - Variable in class owl.translations.ldba2dpa.AbstractBuilder
- isAlmostAll(Formula) - Static method in class owl.ltl.SyntacticFragments
- isBottom() - Method in interface owl.translations.ldba2dpa.Language
- isConstant() - Method in class owl.game.output.Aig
- isDetBuchiRecognisable(Formula) - Static method in class owl.ltl.SyntacticFragments
- isDetCoBuchiRecognisable(Formula) - Static method in class owl.ltl.SyntacticFragments
- isDeterministic() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
- isDistinct(Collection<E>) - Static method in class owl.collections.Collections3
- isEmpty() - Method in class owl.collections.ValuationSet
- isEmpty(Automaton<S, ?>) - Static method in class owl.automaton.algorithms.EmptinessCheck
- isEmpty(Automaton<S, ?>, S) - Static method in class owl.automaton.algorithms.EmptinessCheck
- isFalse() - Method in class owl.ltl.EquivalenceClass
- 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
- isLivenessLanguage(A) - Method in interface owl.translations.ldba2dpa.LanguageLattice
- isLivenessLanguage(GObligations) - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
- isLivenessLanguage(FGObligations) - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
- isMealy() - Method in enum owl.ltl.tlsf.Tlsf.Semantics
- isMoore() - Method in enum owl.ltl.tlsf.Tlsf.Semantics
- 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.BooleanConstant
- isPureEventual() - Method in class owl.ltl.FOperator
- isPureEventual() - Method in interface 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.MOperator
- isPureEventual() - Method in class owl.ltl.PropositionalFormula
- isPureEventual() - Method in class owl.ltl.ROperator
- isPureEventual() - Method in class owl.ltl.UOperator
- isPureEventual() - Method in class owl.ltl.WOperator
- isPureEventual() - Method in class owl.ltl.XOperator
- isPureUniversal() - Method in class owl.ltl.Biconditional
- isPureUniversal() - Method in class owl.ltl.BooleanConstant
- isPureUniversal() - Method in class owl.ltl.FOperator
- isPureUniversal() - Method in interface 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.MOperator
- isPureUniversal() - Method in class owl.ltl.PropositionalFormula
- isPureUniversal() - Method in class owl.ltl.ROperator
- isPureUniversal() - Method in class owl.ltl.UOperator
- isPureUniversal() - Method in class owl.ltl.WOperator
- isPureUniversal() - Method in class owl.ltl.XOperator
- isSafetyAnnotation(A) - Method in interface owl.translations.ldba2dpa.LanguageLattice
- isSafetyAnnotation(GObligations) - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
- isSafetyAnnotation(FGObligations) - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
- isSatisfiable(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
- isShutdown() - Method in interface owl.run.Environment
-
Whether the computation has finished.
- isStrict() - Method in enum owl.ltl.tlsf.Tlsf.Semantics
- isSuspendable() - Method in class owl.ltl.Biconditional
- isSuspendable() - Method in class owl.ltl.BooleanConstant
- isSuspendable() - Method in class owl.ltl.FOperator
- isSuspendable() - Method in interface owl.ltl.Formula
- isSuspendable() - Method in class owl.ltl.FrequencyG
- isSuspendable() - Method in class owl.ltl.GOperator
- isSuspendable() - Method in class owl.ltl.Literal
- isSuspendable() - Method in class owl.ltl.MOperator
- isSuspendable() - Method in class owl.ltl.PropositionalFormula
- isSuspendable() - Method in class owl.ltl.ROperator
- isSuspendable() - Method in class owl.ltl.UOperator
- isSuspendable() - Method in class owl.ltl.WOperator
- isSuspendable() - Method in class owl.ltl.XOperator
- isThreadSafe() - Method in interface owl.factories.FactorySupplier
- isTop() - Method in interface owl.translations.ldba2dpa.Language
- 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 assuming that it is an SCC.
- 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
- JniAutomaton<S> - Class in owl.jni
- JniEmersonLeiAutomaton - Class in owl.jni
- JniEmersonLeiAutomaton.Reference - Class in owl.jni
- JniEmersonLeiAutomaton.SafetySplittingMode - Enum in owl.jni
- join(String...) - Static method in class owl.util.StringUtil
- join(Language<L>) - Method in interface owl.translations.ldba2dpa.Language
- Jump<U extends RecurringObligation> - Class in owl.translations.ltl2ldba
L
- Label() - Constructor for class owl.translations.safra.SafraBuilder.Label
- LabelledAig - Class in owl.game.output
- LabelledAig() - Constructor for class owl.game.output.LabelledAig
- LabelledEdge<S> - Class in owl.automaton.edge
- labelledEdges(S) - Method in interface owl.automaton.Automaton
-
Returns all labelled edges of the specified
state
. - labelledEdges(S) - Method in interface owl.automaton.EdgesAutomatonMixin
- labelledEdges(S) - Method in class owl.automaton.Views.AutomatonView
- LabelledEdges - Class in owl.automaton.edge
- LabelledEdgesAutomatonMixin<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
Mixin interface for implementing an automaton by
Automaton.labelledEdges(Object)
. - 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() - Constructor for class owl.collections.LabelledTree
- LabelledTree.Leaf<L1,L2> - Class in owl.collections
- LabelledTree.Node<L1,L2> - Class in owl.collections
- Language<L> - Interface in owl.translations.ldba2dpa
- LanguageAnalysis - Class in owl.automaton.algorithms
- LanguageAnalysis - Class in owl.ltl.algorithms
- LanguageLattice<S,A,L> - Interface in owl.translations.ldba2dpa
- largestAcceptanceSet() - Method in interface owl.automaton.edge.Edge
-
Returns the largest acceptance set this edge is a member of, or
-1
if none. - lattice - Variable in class owl.translations.ldba2dpa.AbstractBuilder
- 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 - Variable in class owl.translations.ldba2dpa.AbstractBuilder
- 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
- 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
- leftIsNegated() - Method in class owl.game.output.Aig
- lessOrEqual(Language<L>) - Method in interface owl.translations.ldba2dpa.Language
- LIGHT - owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
- limes - Variable in class owl.grammar.LTLParser.FrequencyOpContext
- limes - Variable in class owl.ltl.FrequencyG
- LIMIT_DETERMINISTIC - owl.automaton.Automaton.Property
- LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V> - Interface in owl.automaton.ldba
- LimitDeterministicAutomatonBuilder<S,KeyT,T,B extends GeneralizedBuchiAcceptance,C> - Class in owl.automaton.ldba
- LimitDeterministicAutomatonBuilder.Configuration - Enum in owl.automaton.ldba
- LimitDeterministicAutomatonImpl<S,T,U extends GeneralizedBuchiAcceptance,V> - Class in owl.automaton.ldba
- LimitDeterministicAutomatonImpl(MutableAutomaton<S, NoneAcceptance>, MutableAutomaton<T, U>, SetMultimap<S, T>, Table<S, ValuationSet, Set<T>>, Set<T>) - Constructor for class owl.automaton.ldba.LimitDeterministicAutomatonImpl
- Literal - Class in owl.ltl
- Literal(int) - Constructor for class owl.ltl.Literal
- Literal(int, boolean) - Constructor for class owl.ltl.Literal
- LiteralMapper - Class in owl.ltl.rewriter
- LiteralMapper.ShiftedFormula - Class in owl.ltl.rewriter
- 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, boolean, EnumSet<LTL2DAFunction.Constructions>) - Constructor for class owl.translations.LTL2DAFunction
- LTL2DAFunction.Constructions - Enum in owl.translations
- LTL2DAModule - Class in owl.translations
- LTL2DPA - Class in owl.translations
- LTL2DPACliParser - Class in owl.translations.ltl2dpa
- 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
- LTL2DRACliParser - Class in owl.translations.ltl2dra
- LTL2DRAFunction - Class in owl.translations.ltl2dra
- LTL2DRAFunction(Environment, Set<LTL2DRAFunction.Configuration>) - Constructor for class owl.translations.ltl2dra.LTL2DRAFunction
- LTL2DRAFunction.Configuration - Enum in owl.translations.ltl2dra
- LTL2LDBAFunction<S,B extends GeneralizedBuchiAcceptance,C extends RecurringObligation> - Class in owl.translations.ltl2ldba
- LTL2LDBAFunction.Configuration - Enum in owl.translations.ltl2ldba
- LTL2LDBAModule - Class in owl.translations.ltl2ldba
- LTL2LDGBAModule - Class in owl.translations.ltl2ldba
- 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.LTL2DAModule
- main(String...) - Static method in class owl.translations.LTL2DPA
- main(String...) - Static method in class owl.translations.ltl2dra.LTL2DRACliParser
- main(String...) - Static method in class owl.translations.ltl2ldba.LTL2LDBAModule
- main(String...) - Static method in class owl.translations.ltl2ldba.LTL2LDGBAModule
- 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.rabinizer.RabinizerDegeneralizeMain
- main(String...) - Static method in class owl.translations.rabinizer.RabinizerMain
- main(String...) - Static method in class owl.translations.Synthesis
- MAIN - Static variable in class owl.grammar.TLSFLexer
- MAIN - Static variable in class owl.grammar.TLSFParser
- MAIN() - Method in class owl.grammar.TLSFParser.TlsfContext
- MAIN_END - Static variable in class owl.grammar.TLSFLexer
- MAIN_END - Static variable in class owl.grammar.TLSFParser
- MAIN_END() - Method in class owl.grammar.TLSFParser.TlsfContext
- MAIN_START - Static variable in class owl.grammar.TLSFLexer
- MAIN_START - Static variable in class owl.grammar.TLSFParser
- MAIN_START() - Method in class owl.grammar.TLSFParser.TlsfContext
- map(BiFunction<L, List<Tree<L>>, Tree<L>>) - Method in class owl.translations.safra.Tree
- map(Function<L, L>) - Method in class owl.translations.safra.Tree
- map(Function<Edge<S>, Edge<T>>) - Method in class owl.automaton.edge.LabelledEdge
- map(Function<Formula, 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
- MapRankingAutomaton - Class in owl.translations.ldba2dra
- MapRankingState<S,K,V> - Class in owl.translations.ldba2dra
- MapRankingState() - Constructor for class owl.translations.ldba2dra.MapRankingState
- 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
- maxString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- MEALY - owl.ltl.tlsf.Tlsf.Semantics
- MEALY - Static variable in class owl.grammar.TLSFLexer
- MEALY - Static variable in class owl.grammar.TLSFParser
- MEALY() - Method in class owl.grammar.TLSFParser.SemanticsContext
- MEALY() - Method in class owl.grammar.TLSFParser.TargetContext
- MEALY_STRICT - owl.ltl.tlsf.Tlsf.Semantics
- MEALY_STRICT - Static variable in class owl.grammar.TLSFLexer
- MEALY_STRICT - Static variable in class owl.grammar.TLSFParser
- MEALY_STRICT() - Method in class owl.grammar.TLSFParser.SemanticsContext
- MEDIUM - owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
- 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
- Minimization<S,A extends OmegaAcceptance> - Interface in owl.automaton.minimizations
- MinimizationUtil - Class in owl.automaton.minimizations
- MinimizationUtil.MinimizationLevel - Enum in owl.automaton.minimizations
- minimize(MutableAutomaton<S, A>) - Method in interface owl.automaton.minimizations.Minimization
- minimizeComplementaryInf(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
-
Delete all Inf sets which are the complement of their corresponding Fin set.
- minimizeDefault(MutableAutomaton<S, A>, MinimizationUtil.MinimizationLevel) - Static method in class owl.automaton.minimizations.MinimizationUtil
- minimizeEdgeImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
-
Remove all Inf edges which are implied by another Inf index of the same pair.
- minimizeGloballyIrrelevant(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
-
Remove pairs which cannot accept globally (e.g.
- minimizeMergePairs(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
-
Merge independent pairs.
- minimizeOverlap(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
-
Remove edges in a Fin set from all corresponding Inf sets.
- minimizePairImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
-
Delete all pairs which only accept if another pair accepts.
- minimizePriorities(MutableAutomaton<S, ParityAcceptance>) - Static method in class owl.automaton.transformations.ParityUtil
- MINIMIZER - Static variable in class owl.run.modules.Transformers
- minimizeSccIrrelevant(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
-
Remove all indices from edges of an SCC which can't accept (e.g.
- minimizeTrivial(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
-
Identify Fin-only pairs and SCCs which trivially accept with them.
- 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
- modalOperatorAction(Formula) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- modalOperatorAction(Formula) - Method in class owl.ltl.visitors.PropositionalVisitor
- modalOperatorAction(Formula) - Method in class owl.ltl.visitors.SubstitutionVisitor
- modalOperators() - Method in class owl.ltl.EquivalenceClass
- modalOperators(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
-
Compute the support of the EquivalenceClass.
- MODE_INFO - Static variable in class owl.grammar.TLSFLexer
- MODE_IO - Static variable in class owl.grammar.TLSFLexer
- MODE_MAIN - Static variable in class owl.grammar.TLSFLexer
- MODE_SPEC - Static variable in class owl.grammar.TLSFLexer
- modeNames - Static variable in class owl.grammar.LTLLexer
- modeNames - Static variable in class owl.grammar.TLSFLexer
- 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
- MOORE - owl.ltl.tlsf.Tlsf.Semantics
- MOORE - Static variable in class owl.grammar.TLSFLexer
- MOORE - Static variable in class owl.grammar.TLSFParser
- MOORE() - Method in class owl.grammar.TLSFParser.SemanticsContext
- MOORE() - Method in class owl.grammar.TLSFParser.TargetContext
- MOORE_STRICT - owl.ltl.tlsf.Tlsf.Semantics
- MOORE_STRICT - Static variable in class owl.grammar.TLSFLexer
- MOORE_STRICT - Static variable in class owl.grammar.TLSFParser
- MOORE_STRICT() - Method in class owl.grammar.TLSFParser.SemanticsContext
- MOperator - Class in owl.ltl
-
Strong Release.
- MOperator(Formula, Formula) - Constructor for class owl.ltl.MOperator
- MutableAutomaton<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
A mutation interface extending
Automaton
. - MutableAutomatonBuilder<S,T,U extends OmegaAcceptance> - Interface in owl.automaton.ldba
- 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(boolean, EnumSet<LimitDeterministicAutomatonBuilder.Configuration>) - Constructor for class owl.translations.nba2ldba.NBA2LDBA
- nested - Variable in class owl.grammar.LTLParser.NestedContext
- NestedContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.NestedContext
- NEVER - owl.jni.JniEmersonLeiAutomaton.SafetySplittingMode
- NEVER - owl.ltl.robust.Robustness
- newThread(Runnable) - Method in class owl.util.DaemonThreadFactory
- 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 interface owl.ltl.Formula
- nnf() - Method in class owl.ltl.FrequencyG
- nnf() - Method in class owl.ltl.GOperator
- 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
- 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
- NON_DETERMINISTIC_INITIAL_COMPONENT - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
- 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 interface 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
- numberOfInputs() - Method in class owl.ltl.tlsf.Tlsf
- numerator - Variable in class owl.grammar.LTLParser.FractionContext
O
- 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, boolean) - Static method in class owl.ltl.Literal
- of(int, Set<S>, Set<S>) - Static method in class owl.translations.nba2ldba.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) - Method in interface owl.factories.ValuationSetFactory
- of(BitSet, BitSet) - Method in interface owl.factories.ValuationSetFactory
- 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(Map.Entry<Edge<S>, ValuationSet>) - Static method in class owl.automaton.edge.LabelledEdge
- 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(GeneralizedRabinAcceptance.RabinPair...) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- of(GeneralizedRabinAcceptance.RabinPair...) - Static method in class owl.automaton.acceptance.RabinAcceptance
- of(Edge<S>, ValuationSet) - Static method in class owl.automaton.edge.LabelledEdge
- of(LimitDeterministicAutomaton<S, T, BuchiAcceptance, A>, LanguageLattice<T, A, L>, Predicate<? super S>, boolean, boolean) - Static method in class owl.translations.ldba2dpa.FlatRankingAutomaton
- of(LimitDeterministicAutomaton<S, T, GeneralizedBuchiAcceptance, A>, LanguageLattice<T, A, L>, Predicate<S>, boolean, boolean) - Static method in class owl.translations.ldba2dra.MapRankingAutomaton
- 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, boolean) - Static method in class owl.jni.JniEmersonLeiAutomaton
- of(Formula, boolean, boolean, JniEmersonLeiAutomaton.SafetySplittingMode, boolean) - Static method in class owl.jni.JniEmersonLeiAutomaton
- 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(Split, List<String>) - Static method in class owl.ltl.robust.LabelledSplit
- of(OwlModuleParser<?>) - Static method in enum owl.run.modules.OwlModuleRegistry.Type
- of(S) - Static method in interface owl.automaton.edge.Edge
-
Creates an edge which belongs to no acceptance set.
- of(S) - Static method in class owl.translations.ldba2dpa.FlatRankingState
- of(S, int) - Static method in interface owl.automaton.edge.Edge
-
Creates an edge which belongs to a single acceptance set.
- of(S, int, ValuationSet) - Static method in class owl.automaton.edge.LabelledEdge
- of(S, BitSet) - Static method in interface owl.automaton.edge.Edge
-
Creates an edge which belongs to the specified acceptance sets.
- of(S, BitSet, ValuationSet) - Static method in class owl.automaton.edge.LabelledEdge
- of(S, ValuationSet) - Static method in class owl.automaton.edge.LabelledEdge
- ofGeneralized(int, int) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- OmegaAcceptance - Class in owl.automaton.acceptance
- OmegaAcceptance() - Constructor for class owl.automaton.acceptance.OmegaAcceptance
- onlyInitialState() - Method in interface owl.automaton.Automaton
-
Returns the initial state.
- 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
- opponent() - Method in enum owl.game.Game.Owner
- OPTIMISE_INITIAL_STATE - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- OPTIMISE_INITIAL_STATE - owl.translations.ltl2dra.LTL2DRAFunction.Configuration
- OPTIMISED_STATE_STRUCTURE - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- OPTIMISED_STATE_STRUCTURE - owl.translations.ltl2dra.LTL2DRAFunction.Configuration
- OPTIMISED_STATE_STRUCTURE - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
- optimizeInitialState(Automaton<S, A>) - Static method in class owl.translations.ldba2dpa.AbstractBuilder
- 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
- out - Variable in class owl.grammar.TLSFParser.OutputContext
- output() - Method in class owl.grammar.TLSFParser
- output() - Method in class owl.grammar.TLSFParser.TlsfContext
- output() - Method in class owl.run.Pipeline
- OutputContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.OutputContext
- outputs() - Method in class owl.ltl.tlsf.Tlsf
- OUTPUTS - Static variable in class owl.grammar.TLSFLexer
- OUTPUTS - Static variable in class owl.grammar.TLSFParser
- OUTPUTS() - Method in class owl.grammar.TLSFParser.OutputContext
- 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. - OutputWriters.ToHoa.Setting - Enum in owl.run.modules
- 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.algorithms - package owl.automaton.algorithms
- owl.automaton.edge - package owl.automaton.edge
- owl.automaton.ldba - package owl.automaton.ldba
- owl.automaton.minimizations - package owl.automaton.minimizations
- owl.automaton.output - package owl.automaton.output
- owl.automaton.transformations - package owl.automaton.transformations
- owl.automaton.util - package owl.automaton.util
- 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.jni - package owl.jni
- 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.tlsf - package owl.ltl.tlsf
- 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.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.ldba2dpa - package owl.translations.ldba2dpa
- owl.translations.ldba2dra - package owl.translations.ldba2dra
- owl.translations.ltl2dpa - package owl.translations.ltl2dpa
- owl.translations.ltl2dra - package owl.translations.ltl2dra
- owl.translations.ltl2ldba - package owl.translations.ltl2ldba
- owl.translations.ltl2ldba.breakpoint - package owl.translations.ltl2ldba.breakpoint
- owl.translations.ltl2ldba.breakpointfree - package owl.translations.ltl2ldba.breakpointfree
- 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.translations.safra - package owl.translations.safra
- 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.
- parallel() - Method in interface owl.run.Environment
-
Whether computations should be parallel.
- 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
- 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(InputStream, Charset) - Static method in class owl.ltl.parser.TlsfParser
- parse(Reader) - Static method in class owl.ltl.parser.TlsfParser
- parse(String) - Static method in class owl.ltl.parser.LtlParser
- parse(String) - Static method in class owl.ltl.parser.TlsfParser
- 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.ltl2dpa.LTL2DPACliParser
- parse(CommandLine) - Method in class owl.translations.ltl2dra.LTL2DRACliParser
- parse(CommandLine) - Method in class owl.translations.ltl2ldba.LTL2LDBAModule
- parse(CommandLine) - Method in class owl.translations.ltl2ldba.LTL2LDGBAModule
- parse(CommandLine) - Method in class owl.translations.rabinizer.RabinizerCliParser
- 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
- 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
state
. - prefersLabelled() - Method in interface owl.automaton.Automaton
-
Indicate if the automaton implements a fast computation (e.g.
- prefersLabelled() - Method in interface owl.automaton.EdgesAutomatonMixin
- prefersLabelled() - Method in interface owl.automaton.LabelledEdgesAutomatonMixin
- prefersLabelled() - Method in class owl.automaton.Views.AutomatonView
- preset() - Method in class owl.ltl.tlsf.Tlsf
- PRESET - Static variable in class owl.grammar.TLSFLexer
- PRESET - Static variable in class owl.grammar.TLSFParser
- PRESET() - Method in class owl.grammar.TLSFParser.SpecificationContext
- 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
- 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
- PropositionVisitor - Class in owl.factories
-
For the propositional view on LTL modal operators (F, G, U, X) and literals (a, !a) are treated as propositions.
- 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
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.
- RabinizerCliParser - Class in owl.translations.rabinizer
- RabinizerConfiguration - Class in owl.translations.rabinizer
- RabinizerConfiguration() - Constructor for class owl.translations.rabinizer.RabinizerConfiguration
- RabinizerDegeneralizeMain - Class in owl.translations.rabinizer
- RabinizerMain - Class in owl.translations.rabinizer
- RabinizerState - Class in owl.translations.rabinizer
- RabinizerState() - Constructor for class owl.translations.rabinizer.RabinizerState
- 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(InputStream, Consumer<Automaton<AutomatonReader.HoaState, ?>>, FactorySupplier) - Static method in class owl.automaton.AutomatonReader
- readHoa(InputStream, Consumer<Automaton<AutomatonReader.HoaState, ?>>, ValuationSetFactory) - Static method in class owl.automaton.AutomatonReader
- readHoa(InputStream, FactorySupplier, Class<A>) - Static method in class owl.automaton.AutomatonReader
- readHoa(InputStream, ValuationSetFactory, Class<A>) - Static method in class owl.automaton.AutomatonReader
- readHoa(String, FactorySupplier, Class<A>) - Static method in class owl.automaton.AutomatonReader
- readHoa(String, ValuationSetFactory, Class<A>) - Static method in class owl.automaton.AutomatonReader
- readHoaCollection(InputStream, FactorySupplier) - Static method in class owl.automaton.AutomatonReader
- readHoaCollection(String, FactorySupplier) - 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
- RecurringObligation - Interface in owl.translations.ltl2ldba
- register(OwlModuleParser<?>) - Method in class owl.run.modules.OwlModuleRegistry
- register(OwlModuleParser<?>...) - Method in class owl.run.modules.OwlModuleRegistry
- 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
- REMOVE_EPSILON_TRANSITIONS - owl.automaton.ldba.LimitDeterministicAutomatonBuilder.Configuration
- removeAndRemapIndices(MutableAutomaton<S, ?>, IntSet) - Static method in class owl.automaton.minimizations.MinimizationUtil
- removeDeadStates(MutableAutomaton<S, ?>) - Static method in class owl.automaton.minimizations.MinimizationUtil
-
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
. - removeFormulaRepresentative() - Method in class owl.translations.rabinizer.RabinizerConfiguration
- 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.minimizations.GenericMinimizations
- 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
- require() - Method in class owl.ltl.tlsf.Tlsf
- REQUIRE - Static variable in class owl.grammar.TLSFLexer
- REQUIRE - Static variable in class owl.grammar.TLSFParser
- REQUIRE() - Method in class owl.grammar.TLSFParser.SpecificationContext
- 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
- 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
- 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_input - Static variable in class owl.grammar.TLSFParser
- RULE_orExpression - Static variable in class owl.grammar.LTLParser
- RULE_output - Static variable in class owl.grammar.TLSFParser
- RULE_semantics - Static variable in class owl.grammar.TLSFParser
- RULE_specification - Static variable in class owl.grammar.TLSFParser
- RULE_target - Static variable in class owl.grammar.TLSFParser
- RULE_tlsf - Static variable in class owl.grammar.TLSFParser
- 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
- ruleNames - Static variable in class owl.grammar.TLSFLexer
- ruleNames - Static variable in class owl.grammar.TLSFParser
- run(Reader, Environment, Consumer<Object>) - Method in interface owl.run.modules.InputReader
- run(Reader, Environment, Consumer<Object>) - Method in class owl.run.modules.InputReaders.HoaReader
- 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 - owl.ltl.SyntacticFragment
- SAFETY - owl.translations.LTL2DAFunction.Constructions
- SafetyAutomaton - Class in owl.translations.fgx2dpa
- safetyComponents - Variable in class owl.translations.ldba2dpa.AbstractBuilder
- SafetyDetector - Class in owl.translations.ltl2ldba
- SafraBuilder - Class in owl.translations.safra
- SafraBuilder.Label<S> - Class in owl.translations.safra
- SccDecomposition<S> - Class in owl.automaton.algorithms
-
Finds the SCCs of a given graph / transition system using Tarjan's algorithm.
- sccSwitchOccurred(S, S) - Method in class owl.translations.ldba2dpa.AbstractBuilder
- semantics() - Method in class owl.grammar.TLSFParser
- semantics() - Method in class owl.grammar.TLSFParser.TlsfContext
- semantics() - Method in class owl.ltl.tlsf.Tlsf
- SEMANTICS - Static variable in class owl.grammar.TLSFLexer
- SEMANTICS - Static variable in class owl.grammar.TLSFParser
- SEMANTICS() - Method in class owl.grammar.TLSFParser.TlsfContext
- SemanticsContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.SemanticsContext
- 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.
- simple() - Static method in class owl.translations.ltl2ldba.AbstractLTL2LDBAModule
- SIMPLE_TRANSITION_LABELS - owl.automaton.output.HoaPrinter.HoaOption
-
Create one transition for each element of the AP-power-set instead of complex expressions (which are not supported by all parsers).
- SIMPLE_TRANSITION_LABELS - owl.run.modules.OutputWriters.ToHoa.Setting
- SimpleTransformer() - Constructor for class owl.run.modules.Transformers.SimpleTransformer
- 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() - Static method in class owl.translations.nba2ldba.BreakpointState
- 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).
- size() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
- SKIP_DEF - Static variable in class owl.grammar.LTLLexer
- SKIP_DEF - Static variable in class owl.grammar.LTLParser
- SKIP_DEF - Static variable in class owl.grammar.TLSFLexer
- SKIP_DEF - Static variable in class owl.grammar.TLSFParser
- SKIP_FREQ - Static variable in class owl.grammar.LTLLexer
- SKIP_FREQ - Static variable in class owl.grammar.LTLParser
- SKIP_INFO - Static variable in class owl.grammar.TLSFLexer
- SKIP_INFO - Static variable in class owl.grammar.TLSFParser
- SKIP_IO - Static variable in class owl.grammar.TLSFLexer
- SKIP_IO - Static variable in class owl.grammar.TLSFParser
- SKIP_MAIN - Static variable in class owl.grammar.TLSFLexer
- SKIP_MAIN - Static variable in class owl.grammar.TLSFParser
- SKIP_SPEC - Static variable in class owl.grammar.TLSFLexer
- SKIP_SPEC - Static variable in class owl.grammar.TLSFParser
- smallestAcceptanceSet() - Method in interface owl.automaton.edge.Edge
-
Returns the largest acceptance set this edge is a member of, or
Integer.MAX_VALUE
if none. - sortingOrder - Variable in class owl.translations.ldba2dpa.AbstractBuilder
- SPEC_END - Static variable in class owl.grammar.TLSFLexer
- SPEC_END - Static variable in class owl.grammar.TLSFParser
- SPEC_END() - Method in class owl.grammar.TLSFParser.SpecificationContext
- SPEC_LTL - Static variable in class owl.grammar.TLSFLexer
- SPEC_LTL - Static variable in class owl.grammar.TLSFParser
- SPEC_LTL() - Method in class owl.grammar.TLSFParser.SpecificationContext
- SPEC_LTL(int) - Method in class owl.grammar.TLSFParser.SpecificationContext
- SPEC_START - Static variable in class owl.grammar.TLSFLexer
- SPEC_START - Static variable in class owl.grammar.TLSFParser
- SPEC_START() - Method in class owl.grammar.TLSFParser.SpecificationContext
- specification() - Method in class owl.grammar.TLSFParser
- specification() - Method in class owl.grammar.TLSFParser.TlsfContext
- specification(int) - Method in class owl.grammar.TLSFParser.TlsfContext
- SpecificationContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.SpecificationContext
- 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
- splitEquivalenceClass(EquivalenceClass) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
- 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.dra2dpa.IARState
- state() - Method in class owl.translations.ldba2dpa.FlatRankingState
- state() - Method in class owl.translations.ldba2dra.MapRankingState
- State<T> - Class in owl.translations.delag
- states() - Method in interface owl.automaton.Automaton
-
The set of all from the initial states reachable states in this automaton.
- states() - Method in class owl.automaton.ImplicitCachedStatesAutomaton
- StringUtil - Class in owl.util
- structure - Variable in class owl.jni.JniEmersonLeiAutomaton
- substitute(Function<Formula, Formula>) - Method in class owl.ltl.EquivalenceClass
- substitute(EquivalenceClass, Function<Formula, Formula>) - Method in interface owl.factories.EquivalenceClassFactory
- SubstitutionVisitor - Class in owl.ltl.visitors
- SubstitutionVisitor(Function<? super Formula, ? extends Formula>) - Constructor for class owl.ltl.visitors.SubstitutionVisitor
- successor() - Method in interface owl.automaton.edge.Edge
-
Get the target state of the edge.
- successor() - Method in class owl.automaton.edge.LabelledEdge
- 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(int) - Method in class owl.jni.JniAutomaton
- successors(Collection<Edge<S>>) - Static method in class owl.automaton.edge.Edges
- successors(Collection<LabelledEdge<S>>) - Static method in class owl.automaton.edge.LabelledEdges
- successors(S) - Method in interface owl.automaton.Automaton
-
Returns all successors of the specified
state
. - successors(S) - Method in interface owl.automaton.EdgesAutomatonMixin
- successors(S) - Method in interface owl.automaton.LabelledEdgesAutomatonMixin
- successors(S) - Method in interface owl.automaton.SuccessorFunction
-
Returns all successors of the specified
state
. - successors(S) - Method in class owl.automaton.Views.AutomatonView
- successors(S, BitSet) - Method in interface owl.automaton.Automaton
-
Returns the successors of the specified
state
under the givenvaluation
. - 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
- SUPPRESS_JUMPS - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
- SUPPRESS_JUMPS_FOR_TRANSIENT_STATES - owl.automaton.ldba.LimitDeterministicAutomatonBuilder.Configuration
- suspendableFormulaDetection() - Method in class owl.translations.rabinizer.RabinizerConfiguration
- 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
- syserr - Static variable in class owl.util.GuardedStream
- sysout - Static variable in class owl.util.GuardedStream
T
- TAGS - Static variable in class owl.grammar.TLSFLexer
- TAGS - Static variable in class owl.grammar.TLSFParser
- target() - Method in class owl.grammar.TLSFParser
- target() - Method in class owl.grammar.TLSFParser.TlsfContext
- target() - Method in class owl.ltl.tlsf.Tlsf
- TARGET - Static variable in class owl.grammar.TLSFLexer
- TARGET - Static variable in class owl.grammar.TLSFParser
- TARGET() - Method in class owl.grammar.TLSFParser.TlsfContext
- TargetContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.TargetContext
- temporalStep(BitSet) - Method in class owl.ltl.Biconditional
- temporalStep(BitSet) - Method in class owl.ltl.BinaryModalOperator
- temporalStep(BitSet) - Method in class owl.ltl.BooleanConstant
- temporalStep(BitSet) - Method in class owl.ltl.Conjunction
- temporalStep(BitSet) - Method in class owl.ltl.Disjunction
- temporalStep(BitSet) - Method in class owl.ltl.EquivalenceClass
- temporalStep(BitSet) - Method in interface owl.ltl.Formula
-
Do a single temporal step.
- temporalStep(BitSet) - Method in class owl.ltl.Literal
- temporalStep(BitSet) - Method in class owl.ltl.UnaryModalOperator
- temporalStep(BitSet) - Method in class owl.ltl.XOperator
- 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(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
- temporalStepUnfold(BitSet) - Method in class owl.ltl.Biconditional
- temporalStepUnfold(BitSet) - Method in class owl.ltl.BinaryModalOperator
- temporalStepUnfold(BitSet) - Method in class owl.ltl.BooleanConstant
- temporalStepUnfold(BitSet) - Method in class owl.ltl.Conjunction
- temporalStepUnfold(BitSet) - Method in class owl.ltl.Disjunction
- temporalStepUnfold(BitSet) - Method in class owl.ltl.EquivalenceClass
- temporalStepUnfold(BitSet) - Method in interface owl.ltl.Formula
-
Short-cut operation to avoid intermediate construction of formula ASTs.
- temporalStepUnfold(BitSet) - Method in class owl.ltl.Literal
- temporalStepUnfold(BitSet) - Method in class owl.ltl.UnaryModalOperator
- temporalStepUnfold(BitSet) - Method in class owl.ltl.XOperator
- 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
- title - Variable in class owl.grammar.TLSFParser.TlsfContext
- title() - Method in class owl.ltl.tlsf.Tlsf
- TITLE - Static variable in class owl.grammar.TLSFLexer
- TITLE - Static variable in class owl.grammar.TLSFParser
- TITLE() - Method in class owl.grammar.TLSFParser.TlsfContext
- tlsf() - Method in class owl.grammar.TLSFParser
- Tlsf - Class in owl.ltl.tlsf
- Tlsf() - Constructor for class owl.ltl.tlsf.Tlsf
- TLSF - Static variable in class owl.run.modules.InputReaders
- TLSF_CLI - Static variable in class owl.run.modules.InputReaders
- Tlsf.Semantics - Enum in owl.ltl.tlsf
- TlsfContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.TlsfContext
- TLSFLexer - Class in owl.grammar
- TLSFLexer(CharStream) - Constructor for class owl.grammar.TLSFLexer
- TlsfParser - Class in owl.ltl.parser
- TLSFParser - Class in owl.grammar
- TLSFParser(TokenStream) - Constructor for class owl.grammar.TLSFParser
- TLSFParser.InputContext - Class in owl.grammar
- TLSFParser.OutputContext - Class in owl.grammar
- TLSFParser.SemanticsContext - Class in owl.grammar
- TLSFParser.SpecificationContext - Class in owl.grammar
- TLSFParser.TargetContext - Class in owl.grammar
- TLSFParser.TlsfContext - Class in owl.grammar
- TLSFParserBaseListener - Class in owl.grammar
-
This class provides an empty implementation of
TLSFParserListener
, which can be extended to create a listener which only needs to handle a subset of the available methods. - TLSFParserBaseListener() - Constructor for class owl.grammar.TLSFParserBaseListener
- TLSFParserBaseVisitor<T> - Class in owl.grammar
-
This class provides an empty implementation of
TLSFParserVisitor
, which can be extended to create a visitor which only needs to handle a subset of the available methods. - TLSFParserBaseVisitor() - Constructor for class owl.grammar.TLSFParserBaseVisitor
- TLSFParserListener - Interface in owl.grammar
-
This interface defines a complete listener for a parse tree produced by
TLSFParser
. - TLSFParserVisitor<T> - Interface in owl.grammar
-
This interface defines a complete generic visitor for a parse tree produced by
TLSFParser
. - TO_STRING - Static variable in class owl.run.modules.OutputWriters
- TO_STRING_CLI - Static variable in class owl.run.modules.OutputWriters
- toAssertGuaranteeConjuncts() - Method in class owl.ltl.tlsf.Tlsf
- toCnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
- toCnfFormula(Formula) - Static method in class owl.ltl.rewriter.NormalForms
- toDnf(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
- toFormula() - Method in class owl.ltl.tlsf.Tlsf
- ToHoa(EnumSet<OutputWriters.ToHoa.Setting>, List<StoredAutomatonManipulator>) - 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. - tokenNames - Static variable in class owl.grammar.TLSFLexer
-
Deprecated.Use
TLSFLexer.VOCABULARY
instead. - tokenNames - Static variable in class owl.grammar.TLSFParser
-
Deprecated.Use
TLSFParser.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
- 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.LabelledEdge
- toString() - Method in class owl.automaton.MutableAutomatonUtil.Sink
- toString() - Method in class owl.collections.ValuationSet
- 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.ldba2dpa.FlatRankingState
- toString() - Method in class owl.translations.ldba2dra.MapRankingState
- toString() - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
- toString() - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
- toString() - Method in class owl.translations.ltl2ldba.breakpoint.GObligations
- toString() - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
- toString() - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
- toString() - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
- toString() - Method in class owl.translations.ltl2ldba.Jump
- toString() - Method in class owl.translations.nba2ldba.BreakpointState
- toString() - Method in class owl.translations.rabinizer.RabinizerState
- toString() - Method in class owl.translations.safra.SafraBuilder.Label
- toString() - Method in class owl.translations.safra.Tree
- 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(LimitDeterministicAutomaton<S, ?, ?, ?>) - Static method in class owl.automaton.output.HoaPrinter
- toString(LimitDeterministicAutomaton<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
- toValuationSet(ValuationSetFactory, BooleanExpression<AtomLabel>, IntUnaryOperator) - Static method in class owl.collections.ValuationSetUtil
- transform(Object, PipelineExecutionContext) - Method in class owl.automaton.minimizations.ImplicitMinimizeTransformer
- 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
- transformUnique(Collection<F>, Function<F, T>) - Static method in class owl.collections.Collections3
- Tree<L> - Class in owl.translations.safra
- Tree() - Constructor for class owl.translations.safra.Tree
- 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
- Tuple - Annotation Type in owl.util.annotation
- type - Variable in exception owl.run.modules.OwlModuleRegistry.OwlModuleNotFoundException
- typeClass - Variable in enum owl.run.modules.OwlModuleRegistry.Type
- TypeUtil - Class in owl.util
U
- 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.Biconditional
- unfold() - Method in class owl.ltl.BooleanConstant
- unfold() - Method in class owl.ltl.Conjunction
- unfold() - Method in class owl.ltl.Disjunction
- unfold() - Method in class owl.ltl.EquivalenceClass
- unfold() - Method in class owl.ltl.FOperator
- unfold() - Method in interface 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.Biconditional
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.BooleanConstant
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.Conjunction
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.Disjunction
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.EquivalenceClass
- unfoldTemporalStep(BitSet) - Method in class owl.ltl.FOperator
- unfoldTemporalStep(BitSet) - Method in interface 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>) - Static method in class owl.collections.ValuationSetUtil
- union(Iterable<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
- union(Iterator<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
- union(List<Automaton<S, BuchiAcceptance>>) - Static method in class owl.automaton.AutomatonOperations
- union(ValuationSet) - Method in class owl.collections.ValuationSet
- union(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- 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
.
V
- valuations - Variable in class owl.automaton.edge.LabelledEdge
- valuations() - Method in class owl.automaton.edge.LabelledEdge
- valuations(Collection<LabelledEdge<S>>) - Static method in class owl.automaton.edge.LabelledEdges
- ValuationSet - Class in owl.collections
- ValuationSet(ValuationSetFactory) - Constructor for class owl.collections.ValuationSet
- ValuationSetFactory - Interface in owl.factories
- valuationSetJumps(S) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
- valuationSetJumps(S) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
- ValuationSetUtil - Class in owl.collections
- 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.Property
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.automaton.ldba.LimitDeterministicAutomatonBuilder.Configuration
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
-
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.jni.JniEmersonLeiAutomaton.SafetySplittingMode
-
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.ltl.tlsf.Tlsf.Semantics
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.run.modules.OutputWriters.ToHoa.Setting
-
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.ltl2dra.LTL2DRAFunction.Configuration
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
-
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.Property
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.automaton.ldba.LimitDeterministicAutomatonBuilder.Configuration
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
-
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() - 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.jni.JniEmersonLeiAutomaton.SafetySplittingMode
-
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.ltl.tlsf.Tlsf.Semantics
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.run.modules.OutputWriters.ToHoa.Setting
-
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.ltl2dra.LTL2DRAFunction.Configuration
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
-
Returns an array containing the constants of this enum type, in the order they are declared.
- VAR_ID - Static variable in class owl.grammar.TLSFLexer
- VAR_ID - Static variable in class owl.grammar.TLSFParser
- VAR_ID() - Method in class owl.grammar.TLSFParser.InputContext
- VAR_ID() - Method in class owl.grammar.TLSFParser.OutputContext
- VAR_ID(int) - Method in class owl.grammar.TLSFParser.InputContext
- VAR_ID(int) - Method in class owl.grammar.TLSFParser.OutputContext
- 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 class owl.automaton.ldba.LimitDeterministicAutomatonImpl
- variables() - Method in interface owl.factories.EquivalenceClassFactory
- variables() - Method in class owl.ltl.LabelledFormula
- variables() - Method in class owl.ltl.robust.LabelledSplit
- variables() - Method in class owl.ltl.tlsf.Tlsf
- 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.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 class owl.ltl.visitors.SubstitutionVisitor
- 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.factories.PropositionVisitor
- 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.PrintVisitor
- visit(BooleanConstant) - Method in class owl.ltl.visitors.SubstitutionVisitor
- visit(BooleanConstant) - Method in interface owl.ltl.visitors.Visitor
- visit(BooleanConstant) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(BooleanConstant, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(Conjunction) - Method in class owl.factories.PropositionVisitor
- 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.PrintVisitor
- visit(Conjunction) - Method in class owl.ltl.visitors.SubstitutionVisitor
- visit(Conjunction) - Method in interface owl.ltl.visitors.Visitor
- visit(Conjunction) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(Conjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(Disjunction) - Method in class owl.factories.PropositionVisitor
- 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.PrintVisitor
- visit(Disjunction) - Method in class owl.ltl.visitors.SubstitutionVisitor
- visit(Disjunction) - Method in interface owl.ltl.visitors.Visitor
- visit(Disjunction) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(Disjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(FOperator) - Method in class owl.factories.PropositionVisitor
- 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.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.ltl2ldba.GFSubstitution
- visit(FOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(FrequencyG) - Method in class owl.factories.PropositionVisitor
- 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.factories.PropositionVisitor
- 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.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.ltl2ldba.FGSubstitution
- visit(GOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(Literal) - Method in class owl.factories.PropositionVisitor
- 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.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.factories.PropositionVisitor
- 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.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.ltl2ldba.GFSubstitution
- visit(MOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(ROperator) - Method in class owl.factories.PropositionVisitor
- 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.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.ltl2ldba.FGSubstitution
- visit(ROperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(UOperator) - Method in class owl.factories.PropositionVisitor
- 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.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.ltl2ldba.GFSubstitution
- visit(UOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(WOperator) - Method in class owl.factories.PropositionVisitor
- 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.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.ltl2ldba.FGSubstitution
- visit(WOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(XOperator) - Method in class owl.factories.PropositionVisitor
- 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.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
- 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()
. - visitEdge(Edge<S>, BitSet) - Method in interface owl.automaton.Automaton.EdgeVisitor
- visitErrorNode(ErrorNode) - Method in class owl.grammar.LTLParserBaseListener
- visitErrorNode(ErrorNode) - Method in class owl.grammar.TLSFParserBaseListener
- 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()
. - visitInput(TLSFParser.InputContext) - Method in class owl.grammar.TLSFParserBaseVisitor
-
Visit a parse tree produced by
TLSFParser.input()
. - visitInput(TLSFParser.InputContext) - Method in interface owl.grammar.TLSFParserVisitor
-
Visit a parse tree produced by
TLSFParser.input()
. - visitLabelledEdge(Edge<S>, ValuationSet) - Method in interface owl.automaton.Automaton.LabelledEdgeVisitor
- 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()
. - visitOutput(TLSFParser.OutputContext) - Method in class owl.grammar.TLSFParserBaseVisitor
-
Visit a parse tree produced by
TLSFParser.output()
. - visitOutput(TLSFParser.OutputContext) - Method in interface owl.grammar.TLSFParserVisitor
-
Visit a parse tree produced by
TLSFParser.output()
. - 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()
. - visitSemantics(TLSFParser.SemanticsContext) - Method in class owl.grammar.TLSFParserBaseVisitor
-
Visit a parse tree produced by
TLSFParser.semantics()
. - visitSemantics(TLSFParser.SemanticsContext) - Method in interface owl.grammar.TLSFParserVisitor
-
Visit a parse tree produced by
TLSFParser.semantics()
. - 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()
. - visitSpecification(TLSFParser.SpecificationContext) - Method in class owl.grammar.TLSFParserBaseVisitor
-
Visit a parse tree produced by
TLSFParser.specification()
. - visitSpecification(TLSFParser.SpecificationContext) - Method in interface owl.grammar.TLSFParserVisitor
-
Visit a parse tree produced by
TLSFParser.specification()
. - visitTarget(TLSFParser.TargetContext) - Method in class owl.grammar.TLSFParserBaseVisitor
-
Visit a parse tree produced by
TLSFParser.target()
. - visitTarget(TLSFParser.TargetContext) - Method in interface owl.grammar.TLSFParserVisitor
-
Visit a parse tree produced by
TLSFParser.target()
. - visitTerminal(TerminalNode) - Method in class owl.grammar.LTLParserBaseListener
- visitTerminal(TerminalNode) - Method in class owl.grammar.TLSFParserBaseListener
- visitTlsf(TLSFParser.TlsfContext) - Method in class owl.grammar.TLSFParserBaseVisitor
-
Visit a parse tree produced by
TLSFParser.tlsf()
. - visitTlsf(TLSFParser.TlsfContext) - Method in interface owl.grammar.TLSFParserVisitor
-
Visit a parse tree produced by
TLSFParser.tlsf()
. - 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
- VOCABULARY - Static variable in class owl.grammar.TLSFLexer
- VOCABULARY - Static variable in class owl.grammar.TLSFParser
- vsFactory - Variable in class owl.factories.Factories
W
- with(L) - Method in class owl.translations.safra.Tree
- withAcceptance(int) - Method in interface owl.automaton.edge.Edge
- withAcceptance(BitSet) - Method in interface owl.automaton.edge.Edge
- withAcceptance(IntUnaryOperator) - Method in interface owl.automaton.edge.Edge
- withAcceptanceSets(int) - Method in class owl.automaton.acceptance.ParityAcceptance
- withParity(ParityAcceptance.Parity) - Method in class owl.automaton.acceptance.ParityAcceptance
- withSuccessor(T) - Method in interface 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
- zip(Iterable<E1>, Iterable<E2>, BiConsumer<E1, E2>) - Static method in class owl.collections.Collections3
_
- _ATN - Static variable in class owl.grammar.LTLLexer
- _ATN - Static variable in class owl.grammar.LTLParser
- _ATN - Static variable in class owl.grammar.TLSFLexer
- _ATN - Static variable in class owl.grammar.TLSFParser
- _decisionToDFA - Static variable in class owl.grammar.LTLLexer
- _decisionToDFA - Static variable in class owl.grammar.LTLParser
- _decisionToDFA - Static variable in class owl.grammar.TLSFLexer
- _decisionToDFA - Static variable in class owl.grammar.TLSFParser
- _serializedATN - Static variable in class owl.grammar.LTLLexer
- _serializedATN - Static variable in class owl.grammar.LTLParser
- _serializedATN - Static variable in class owl.grammar.TLSFLexer
- _serializedATN - Static variable in class owl.grammar.TLSFParser
- _sharedContextCache - Static variable in class owl.grammar.LTLLexer
- _sharedContextCache - Static variable in class owl.grammar.LTLParser
- _sharedContextCache - Static variable in class owl.grammar.TLSFLexer
- _sharedContextCache - Static variable in class owl.grammar.TLSFParser