A B C D E F G H I J K L M N O P Q R S T U V W X Z _
All Classes All Packages
All Classes All Packages
All Classes All Packages
A
- AbstractImmutableAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
-
This abstract class implements storage and retrieval of commonly fixed values, and overrides the default implementations for
Automaton.states()
,Automaton.accept(Visitor)
in order to cache the set of reachable states for later use. - AbstractImmutableAutomaton(ValuationSetFactory, Set<S>, A) - Constructor for class owl.automaton.AbstractImmutableAutomaton
-
Constructor which fixes alphabet, initial states, and acceptance condition.
- AbstractImmutableAutomaton.NonDeterministicEdgeMapAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
-
This class provides a skeleton implementation to create a non-deterministic on-the-fly constructed automaton that uses
ValuationSet
as the main representation of the transition relation. - AbstractImmutableAutomaton.NonDeterministicEdgesAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
-
This class provides a skeleton implementation to create a non-deterministic on-the-fly constructed automaton.
- AbstractImmutableAutomaton.NonDeterministicEdgeTreeAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
-
This class provides a skeleton implementation to create a non-deterministic on-the-fly constructed automaton that uses
ValuationTree
as the main representation of the transition relation. - AbstractImmutableAutomaton.SemiDeterministicEdgesAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
-
This class provides a skeleton implementation to create a semi-deterministic on-the-fly constructed automaton.
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.AndExpressionContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BinaryOpContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BinaryOperationContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BoolContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BooleanContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.ExpressionContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.FormulaContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.NestedContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.OrExpressionContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.UnaryAtomContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.UnaryOpContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.UnaryOperationContext
- accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.VariableContext
- accept(Automaton.EdgeMapVisitor<Either<A, B>>) - Method in class owl.automaton.TwoPartAutomaton
- accept(Automaton.EdgeMapVisitor<S>) - Method in class owl.automaton.AbstractImmutableAutomaton
- accept(Automaton.EdgeMapVisitor<S>) - Method in interface owl.automaton.Automaton
- accept(Automaton.EdgeMapVisitor<S>) - Method in class owl.automaton.HashMapAutomaton
- accept(Automaton.EdgeTreeVisitor<Either<A, B>>) - Method in class owl.automaton.TwoPartAutomaton
- accept(Automaton.EdgeTreeVisitor<S>) - Method in class owl.automaton.AbstractImmutableAutomaton
- accept(Automaton.EdgeTreeVisitor<S>) - Method in interface owl.automaton.Automaton
- accept(Automaton.EdgeTreeVisitor<S>) - Method in class owl.automaton.HashMapAutomaton
- accept(Automaton.EdgeVisitor<Either<A, B>>) - Method in class owl.automaton.TwoPartAutomaton
- accept(Automaton.EdgeVisitor<S>) - Method in class owl.automaton.AbstractImmutableAutomaton
- accept(Automaton.EdgeVisitor<S>) - Method in interface owl.automaton.Automaton
- accept(Automaton.EdgeVisitor<S>) - Method in class owl.automaton.HashMapAutomaton
- accept(Automaton.Visitor<S>) - Method in interface owl.automaton.Automaton
-
Traverse all edges of the automaton using the preferred visitor style.
- accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.BooleanConstant
- accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.Conjunction
- accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.Disjunction
- accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.FOperator
- accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.GOperator
- accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.Literal
- accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.MOperator
- accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.ROperator
- accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.UOperator
- accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.WOperator
- accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.XOperator
- accept(BinaryVisitor<P, R>, P) - Method in class owl.ltl.Biconditional
- accept(BinaryVisitor<P, R>, P) - Method in class owl.ltl.Formula
- accept(BinaryVisitor<P, R>, P) - Method in class owl.ltl.Negation
- accept(IntVisitor) - Method in class owl.ltl.Biconditional
- accept(IntVisitor) - Method in class owl.ltl.BooleanConstant
- accept(IntVisitor) - Method in class owl.ltl.Conjunction
- accept(IntVisitor) - Method in class owl.ltl.Disjunction
- accept(IntVisitor) - Method in class owl.ltl.FOperator
- accept(IntVisitor) - Method in class owl.ltl.Formula
- accept(IntVisitor) - Method in class owl.ltl.GOperator
- accept(IntVisitor) - Method in class owl.ltl.Literal
- accept(IntVisitor) - Method in class owl.ltl.MOperator
- accept(IntVisitor) - Method in class owl.ltl.Negation
- accept(IntVisitor) - Method in class owl.ltl.ROperator
- accept(IntVisitor) - Method in class owl.ltl.UOperator
- accept(IntVisitor) - Method in class owl.ltl.WOperator
- accept(IntVisitor) - Method in class owl.ltl.XOperator
- accept(Visitor<? extends Formula>) - Method in interface owl.ltl.EquivalenceClass
- accept(Visitor<R>) - Method in class owl.ltl.Biconditional
- accept(Visitor<R>) - Method in class owl.ltl.BooleanConstant
- accept(Visitor<R>) - Method in class owl.ltl.Conjunction
- accept(Visitor<R>) - Method in class owl.ltl.Disjunction
- accept(Visitor<R>) - Method in class owl.ltl.FOperator
- accept(Visitor<R>) - Method in class owl.ltl.Formula
- accept(Visitor<R>) - Method in class owl.ltl.GOperator
- accept(Visitor<R>) - Method in class owl.ltl.Literal
- accept(Visitor<R>) - Method in class owl.ltl.MOperator
- accept(Visitor<R>) - Method in class owl.ltl.Negation
- accept(Visitor<R>) - Method in class owl.ltl.ROperator
- accept(Visitor<R>) - Method in class owl.ltl.UOperator
- accept(Visitor<R>) - Method in class owl.ltl.WOperator
- accept(Visitor<R>) - Method in class owl.ltl.XOperator
- acceptance - Variable in class owl.automaton.AbstractImmutableAutomaton
- acceptance() - Method in class owl.automaton.AbstractImmutableAutomaton
- acceptance() - Method in class owl.automaton.algorithm.simulations.BackwardDirectSimulation
- acceptance() - Method in class owl.automaton.algorithm.simulations.ForwardDelayedSimulation
- acceptance() - Method in class owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation
- acceptance() - Method in class owl.automaton.algorithm.simulations.ForwardDirectSimulation
- acceptance() - Method in class owl.automaton.algorithm.simulations.ForwardFairSimulation
- acceptance() - Method in class owl.automaton.algorithm.simulations.SimulationGame
- acceptance() - Method in interface owl.automaton.algorithm.simulations.SimulationType
- acceptance() - Method in interface owl.automaton.Automaton
-
Returns the acceptance condition of this automaton.
- acceptance() - Method in class owl.automaton.HashMapAutomaton
- acceptance() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- acceptance(A) - Method in class owl.automaton.HashMapAutomaton
- acceptance(A) - Method in interface owl.automaton.MutableAutomaton
- acceptanceCondition(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CAutomaton
- acceptanceConditionSets(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CAutomaton
- AcceptanceOptimizations - Class in owl.automaton.acceptance.optimization
- AcceptanceOptimizations.AcceptanceOptimizationTransformer - Class in owl.automaton.acceptance.optimization
- AcceptanceOptimizationTransformer() - Constructor for class owl.automaton.acceptance.optimization.AcceptanceOptimizations.AcceptanceOptimizationTransformer
- acceptanceSetIterator() - Method in class owl.automaton.edge.Edge
-
An iterator containing all acceptance sets this edge is a member of in ascending order.
- acceptanceSets() - Method in class owl.automaton.acceptance.AllAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.OmegaAcceptance
- acceptanceSets() - Method in class owl.automaton.acceptance.ParityAcceptance
- acceptanceSets() - Method in class owl.automaton.edge.Edge
- accepting() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
- accepting() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateAccepting
- acceptingComponent() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- acceptingComponentStates() - Method in class owl.translations.nba2dpa.RankingState
- 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.GeneralizedCoBuchiAcceptance
- acceptingSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- acceptingSet() - Method in class owl.automaton.acceptance.OmegaAcceptance
-
Returns a set of indices which repeated infinitely often are accepting or
Optional.empty()
if no such set exists. - acceptingSet() - Method in class owl.automaton.acceptance.ParityAcceptance
- ACCESS_MODES - Static variable in interface owl.automaton.EdgeMapAutomatonMixin
- ACCESS_MODES - Static variable in interface owl.automaton.EdgesAutomatonMixin
- ACCESS_MODES - Static variable in interface owl.automaton.EdgeTreeAutomatonMixin
- accSccs() - Method in class owl.translations.nbadet.NbaSccInfo
-
Weak accepting SCCs (non-trivial and only good cycles).
- accSinks() - Method in class owl.translations.nbadet.NbaDetConf
- add() - Method in class owl.automaton.acceptance.RabinAcceptance.Builder
- add(double) - Method in class owl.cinterface.CDoubleArrayList
- add(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
- add(int) - Method in class owl.cinterface.CIntArrayList
- add(int, int) - Method in class owl.cinterface.CIntArrayList
- add(int, int, int) - Method in class owl.cinterface.CIntArrayList
- add(List<E>, E) - Static method in class owl.collections.Collections3
- add(Map<K, V>, K, V) - Static method in class owl.collections.Collections3
- add(Set<E>, E) - Static method in class owl.collections.Collections3
- addComment(String) - Method in interface owl.game.output.AigConsumer
- addComment(String) - Method in class owl.game.output.AigerPrinter
- addEdge(S, BitSet, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton
-
Adds a transition from the
source
state undervaluation
. - addEdge(S, ValuationSet, Edge<? extends S>) - Method in class owl.automaton.HashMapAutomaton
- addEdge(S, ValuationSet, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton
-
Adds transitions from the
source
state undervaluations
. - addInitialState(S) - Method in class owl.automaton.HashMapAutomaton
- addInitialState(S) - Method in interface owl.automaton.MutableAutomaton
-
Add an initial state to the automaton.
- addInput(String) - Method in interface owl.game.output.AigConsumer
- addInput(String) - Method in class owl.game.output.AigerPrinter
- addLatch(String, LabelledAig) - Method in interface owl.game.output.AigConsumer
- addLatch(String, LabelledAig) - Method in class owl.game.output.AigerPrinter
- addOutput(String, LabelledAig) - Method in interface owl.game.output.AigConsumer
- addOutput(String, LabelledAig) - Method in class owl.game.output.AigerPrinter
- addressOf(int) - Method in class owl.cinterface.emulation.EmulatedCDoublePointer
- addressOf(int) - Method in class owl.cinterface.emulation.EmulatedCIntPointer
- addressOf(SignedWord) - Method in class owl.cinterface.emulation.EmulatedCDoublePointer
- addressOf(SignedWord) - Method in class owl.cinterface.emulation.EmulatedCIntPointer
- addState(S) - Method in class owl.automaton.HashMapAutomaton
- addState(S) - Method in interface owl.automaton.MutableAutomaton
-
Adds a
state
without outgoing edges to the set of states. - 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() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateAccepting
- all() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting
- all(BiMap<S, Integer>) - Static method in class owl.util.BitSetUtil
-
returns Bitset where bits for all elements of the set are set.
- ALL - owl.ltl.SyntacticFragment
- AllAcceptance - Class in owl.automaton.acceptance
- allFixpointsPresent(Collection<? extends Formula.TemporalOperator>) - Method in class owl.translations.mastertheorem.Fixpoints
- allMatch(Predicate<Formula>) - Method in class owl.ltl.Formula
- allPairs(Set<A>, Set<B>) - Static method in class owl.collections.NullablePair
- allPairs(Set<A>, Set<B>) - Static method in class owl.collections.Pair
- allSuccessors(Automaton<S, A>, Set<S>, BitSet) - Static method in class owl.automaton.algorithm.simulations.SimulationUtil
-
Computes all successor states in an automaton for a given valuation.
- almostAlways - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
-
Corresponds to safetyAutomaton.
- alphabetMapping(IsolateThread, ObjectHandle, int) - Static method in class owl.cinterface.CDecomposedDPA.Structure
- always() - Method in class owl.ltl.robust.LabelledSplit
- always() - Method in class owl.ltl.robust.Split
- ALWAYS - owl.ltl.robust.Robustness
- and(EquivalenceClass) - Method in interface owl.ltl.EquivalenceClass
- AND - Static variable in class owl.grammar.LTLLexer
- AND - Static variable in class owl.grammar.LTLParser
- AND() - Method in class owl.grammar.LTLParser.AndExpressionContext
- AND(int) - Method in class owl.grammar.LTLParser.AndExpressionContext
- 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
- annotated() - Static method in class owl.run.Environment
- AnnotatedLDBA<S,T extends LtlLanguageExpressible,B extends GeneralizedBuchiAcceptance,X,Y> - Class in owl.translations.ltl2ldba
-
Translation-specific internal representation of LDBAs.
- AnnotatedState<S> - Interface in owl.automaton
- AnnotatedStateOptimisation - Class in owl.automaton
- annotation() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- annotations() - Method in class owl.run.Environment
- ANNOTATIONS - owl.automaton.hoa.HoaWriter.HoaOption
-
Print annotations, e.g.
- anyMatch(Predicate<Formula>) - Method in class owl.ltl.Formula
- anySccMatches(Predicate<? super Set<S>>) - Method in class owl.automaton.algorithm.SccDecomposition
-
Returns whether any strongly connected components match the provided predicate.
- apply(A, B, C) - Method in interface owl.util.TriFunction
- 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 interface owl.ltl.visitors.Visitor
- apply(Formula) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- apply(Formula) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- apply(Formula, SimplifierFactory.Mode) - Static method in class owl.ltl.rewriter.SimplifierFactory
- apply(Formula, SimplifierFactory.Mode...) - Static method in class owl.ltl.rewriter.SimplifierFactory
- apply(Formula, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- apply(LabelledFormula) - Method in class owl.translations.canonical.DeterministicConstructionsPortfolio
- apply(LabelledFormula) - Method in class owl.translations.canonical.NonDeterministicConstructionsPortfolio
- apply(LabelledFormula) - Method in class owl.translations.delag.DelagBuilder
- apply(LabelledFormula) - Method in class owl.translations.ExternalTranslator
- apply(LabelledFormula) - Method in class owl.translations.LTL2DAFunction
- apply(LabelledFormula) - Method in class owl.translations.ltl2dpa.LTL2DPAFunction
- apply(LabelledFormula) - Method in class owl.translations.ltl2dra.SymmetricDRAConstruction
- apply(LabelledFormula) - Method in class owl.translations.ltl2ldba.AsymmetricLDBAConstruction
- apply(LabelledFormula) - Method in class owl.translations.ltl2ldba.SymmetricLDBAConstruction
- apply(LabelledFormula) - Method in class owl.translations.LTL2NAFunction
- apply(LabelledFormula) - Method in class owl.translations.ltl2nba.SymmetricNBAConstruction
- apply(LabelledFormula) - Method in class owl.translations.mastertheorem.Normalisation
- apply(LabelledFormula, SimplifierFactory.Mode) - Static method in class owl.ltl.rewriter.SimplifierFactory
- apply(LabelledFormula, SimplifierFactory.Mode...) - Static method in class owl.ltl.rewriter.SimplifierFactory
- apply(S) - Method in interface owl.automaton.SuccessorFunction
- applyAsInt(Formula) - Method in interface owl.ltl.visitors.IntVisitor
- applyLDBA(Automaton<?, ?>) - Static method in class owl.translations.nba2ldba.NBA2LDBA
- applyWithShortcuts(LabelledFormula) - Method in class owl.translations.ltl2ldba.SymmetricLDBAConstruction
-
Construct and LDBA and remove states from initial component accepting a safety languages that have a corresponding state in the accepting component.
- args() - Method in class owl.translations.nbadet.NbaDetConf
- arithmeticMean(int...) - Static method in class owl.util.Statistics
- ArraysSupport - Class in owl.util
- aSccs() - Method in class owl.translations.nbadet.NbaDetState
-
stores active states + rank for acc.
- aSccsBuffer() - Method in class owl.translations.nbadet.NbaDetState
-
stores inactive states for acc.
- asccsStates() - Method in class owl.translations.nbadet.NbaDetConfSets
- asccStates() - Method in class owl.translations.nbadet.NbaDetConfSets
- asInitialState(Formula) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
- asMutable(Automaton<S, A>) - Static method in class owl.automaton.MutableAutomatonUtil
- AsymmetricEvaluatedFixpoints - Class in owl.translations.mastertheorem
- AsymmetricEvaluatedFixpoints.DeterministicAutomata - Class in owl.translations.mastertheorem
- AsymmetricLDBAConstruction<B extends GeneralizedBuchiAcceptance> - Class in owl.translations.ltl2ldba
- AsymmetricProductState - Class in owl.translations.ltl2ldba
- AsymmetricRankingState - Class in owl.translations.ltl2dpa
- AsymmetricRankingState() - Constructor for class owl.translations.ltl2dpa.AsymmetricRankingState
- async() - Static method in class owl.factories.jbdd.JBddSupplier
- at(List<Transition<S>>, int) - Static method in class owl.automaton.algorithm.simulations.Transition
- 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 interface owl.factories.EquivalenceClassFactory
-
The atomic propositions associated with this factory.
- atomicPropositions() - Method in interface owl.factories.ValuationSetFactory
- atomicPropositions() - Method in interface owl.ltl.EquivalenceClass
- atomicPropositions() - Method in class owl.ltl.LabelledFormula
- atomicPropositions(boolean) - Method in interface owl.ltl.EquivalenceClass
-
Collects all literals used in the bdd and stores the corresponding atomic propositions in the BitSet.
- atomicPropositions(boolean) - Method in class owl.ltl.Formula
- atomicPropositions(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CAutomaton
- atomicPropositions(IsolateThread, ObjectHandle, int, CCharPointer, UnsignedWord) - Static method in class owl.cinterface.CAutomaton
- atomicPropositionsUncontrollableSize(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CAutomaton
- aut() - Method in class owl.translations.nbadet.NbaDetConf
- automata - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
- automata - Variable in class owl.translations.ltl2ldba.SymmetricProductState
- automata - Variable in class owl.translations.ltl2nba.ProductState
- automataCompatible(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>) - Method in interface owl.automaton.algorithm.simulations.SimulationType
- automataGet(IsolateThread, ObjectHandle, int) - Static method in class owl.cinterface.CDecomposedDPA
- automataSize(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CDecomposedDPA
- automaton() - Method in class owl.automaton.AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton
- Automaton<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
The base interface providing read access to an automaton.
- AUTOMATON - owl.cinterface.CDecomposedDPA.Structure.NodeType
- AUTOMATON_STATS_MODULE - Static variable in class owl.run.modules.OutputWriters
- AUTOMATON_TO_GAME_MODULE - Static variable in class owl.game.GameViews
- Automaton.EdgeMapVisitor<S> - Interface in owl.automaton
- Automaton.EdgeTreeVisitor<S> - Interface in owl.automaton
- Automaton.EdgeVisitor<S> - Interface in owl.automaton
- Automaton.PreferredEdgeAccess - Enum in owl.automaton
- Automaton.Property - Enum in owl.automaton
- Automaton.Visitor<S> - Interface in owl.automaton
- AutomatonStats(String) - Constructor for class owl.run.modules.OutputWriters.AutomatonStats
- AutomatonUtil - Class in owl.automaton
- AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton<S,B extends GeneralizedBuchiAcceptance> - Class in owl.automaton
- available() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood
B
- BackwardDirectSimulation<S> - Class in owl.automaton.algorithm.simulations
- BackwardDirectSimulation(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Constructor for class owl.automaton.algorithm.simulations.BackwardDirectSimulation
- backwardSimulation(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
- Biconditional - Class in owl.ltl
-
Biconditional.
- Biconditional(Formula, Formula) - Constructor for class owl.ltl.Biconditional
- BICONDITIONAL - owl.cinterface.CDecomposedDPA.Structure.NodeType
- BIIMP - Static variable in class owl.grammar.LTLLexer
- BIIMP - Static variable in class owl.grammar.LTLParser
- BIIMP() - Method in class owl.grammar.LTLParser.BinaryOpContext
- binaryExpression() - Method in class owl.grammar.LTLParser.AndExpressionContext
- binaryExpression() - Method in class owl.grammar.LTLParser
- binaryExpression() - Method in class owl.grammar.LTLParser.BinaryOperationContext
- binaryExpression() - Method in class owl.grammar.LTLParser.UnaryOperationContext
- binaryExpression(int) - Method in class owl.grammar.LTLParser.AndExpressionContext
- BinaryExpressionContext() - Constructor for class owl.grammar.LTLParser.BinaryExpressionContext
- BinaryExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BinaryExpressionContext
- binaryOp() - Method in class owl.grammar.LTLParser
- binaryOp() - Method in class owl.grammar.LTLParser.BinaryOperationContext
- BinaryOpContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BinaryOpContext
- BinaryOperationContext(LTLParser.BinaryExpressionContext) - Constructor for class owl.grammar.LTLParser.BinaryOperationContext
- BinaryUnaryContext(LTLParser.BinaryExpressionContext) - Constructor for class owl.grammar.LTLParser.BinaryUnaryContext
- BinaryVisitor<P,R> - Interface in owl.ltl.visitors
- BitSetUtil - Class in owl.util
-
Utility functions to convert from and to bitsets.
- BlockingElements - Class in owl.translations
- BlockingElements(Formula) - Constructor for class owl.translations.BlockingElements
- 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.EmersonLeiAcceptance
- booleanExpression() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- booleanExpression() - Method in class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
- booleanExpression() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- booleanExpression() - Method in class owl.automaton.acceptance.OmegaAcceptance
-
Get the canonical representation as
BooleanExpression
. - booleanExpression() - Method in class owl.automaton.acceptance.ParityAcceptance
- BooleanExpressions - Class in jhoafparser.extensions
- BooleanOperations - Class in owl.automaton
-
This class provides standard boolean operations (union, intersection) on automata.
- botSccs() - Method in class owl.translations.nbadet.NbaSccInfo
-
bottom SCCs.
- BOTTOM - owl.cinterface.CAutomaton.Acceptance
- bottomSccs() - Method in class owl.automaton.algorithm.SccDecomposition
-
Return indices of all strongly connected components that are bottom.
- BreakpointState<S> - Class in owl.translations.nba2ldba
- BreakpointState() - Constructor for class owl.automaton.determinization.Determinization.BreakpointState
- BreakpointState() - Constructor for class owl.translations.nba2ldba.BreakpointState
- BreakpointStateAccepting() - Constructor for class owl.translations.canonical.DeterministicConstructions.BreakpointStateAccepting
- BreakpointStateRejecting() - Constructor for class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting
- BUCHI - owl.cinterface.CAutomaton.Acceptance
- BuchiAcceptance - Class in owl.automaton.acceptance
- BuchiDegeneralization - Class in owl.automaton.acceptance.degeneralization
-
This class provides a conversion from generalised Büchi automata into Büchi automata.
- BuchiDegeneralization.IndexedState<S> - Class in owl.automaton.acceptance.degeneralization
- BuchiSimulation - Class in owl.automaton.algorithm.simulations
- BuchiSimulation() - Constructor for class owl.automaton.algorithm.simulations.BuchiSimulation
- BuchiSimulation(ParityGameSolver) - Constructor for class owl.automaton.algorithm.simulations.BuchiSimulation
- BuchiSimulationArguments - Class in owl.automaton.algorithm.simulations
- BuchiSimulationArguments() - Constructor for class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- build() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
- build() - Method in class owl.automaton.acceptance.RabinAcceptance.Builder
- build() - Method in class owl.automaton.Views.Filter.Builder
- build() - Method in class owl.translations.dra2dpa.IARBuilder
- build() - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- build(Formula, Fixpoints, Factories) - Static method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- build(LabelledFormula, Environment, RabinizerConfiguration) - Static method in class owl.translations.rabinizer.RabinizerBuilder
- build(Fixpoints, Factories) - Static method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
-
Construct the recurring gCosafety for a G-set.
- buildEdge(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.CoSafety
- buildEdge(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Safety
- buildEdge(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.CoSafety
- buildEdge(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
- buildEdge(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.Safety
- builder() - Static method in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- builder() - Static method in class owl.automaton.Views.Filter
- builder() - Static method in class owl.translations.nbadet.NbaDetArgs
- Builder() - Constructor for class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
- Builder() - Constructor for class owl.automaton.acceptance.RabinAcceptance.Builder
- Builder() - Constructor for class owl.automaton.Views.Filter.Builder
- Builder() - Constructor for class owl.translations.nbadet.NbaDetArgs.Builder
- buildFormula(Split, EnumSet<Robustness>) - Static method in enum owl.ltl.robust.Robustness
C
- cache() - Method in class owl.automaton.AbstractImmutableAutomaton
- cache() - Method in class owl.automaton.TwoPartAutomaton
- CALL_DESTROY - Static variable in class owl.cinterface.CInterface
- canonicalRepresentative() - Method in interface owl.ltl.EquivalenceClass
-
The canonical representative for this equivalence class, which is defined as the formula representation of the
EquivalenceClass.disjunctiveNormalForm()
. - cartesianProduct(List<ValuationTree<E>>) - Static method in class owl.collections.ValuationTrees
- cartesianProduct(Map<K, ValuationTree<V>>) - Static method in class owl.collections.ValuationTrees
- cartesianProduct(Set<ValuationTree<E>>) - Static method in class owl.collections.ValuationTrees
- cartesianProduct(ValuationTree<L>, ValuationTree<R>, BiFunction<L, R, E>) - Static method in class owl.collections.ValuationTrees
- cartesianProduct(ValuationTree<T>, ValuationTree<T>, ValuationTree<T>, TriFunction<T, T, T, R>) - Static method in class owl.collections.ValuationTrees
- cast(A, Class<B>) - Static method in class owl.automaton.acceptance.OmegaAcceptanceCast
- cast(Automaton<S, A>, Class<B>) - Static method in class owl.automaton.acceptance.OmegaAcceptanceCast
-
Cast the given automaton to the given acceptance condition if possible.
- castHeuristically(Automaton<S, ?>) - Static method in class owl.automaton.acceptance.OmegaAcceptanceCast
-
Find heuristically the weakest acceptance condition for the given automaton and cast it to it.
- CAutomaton - Class in owl.cinterface
- CAutomaton.Acceptance - Enum in owl.cinterface
- CDecomposedDPA - Class in owl.cinterface
- CDecomposedDPA.RealizabilityStatus - Enum in owl.cinterface
- CDecomposedDPA.Structure - Class in owl.cinterface
- CDecomposedDPA.Structure.NodeType - Enum in owl.cinterface
- CDoubleArrayList - Class in owl.cinterface
- CDoubleArrayList() - Constructor for class owl.cinterface.CDoubleArrayList
- channelNames - Static variable in class owl.grammar.LTLLexer
- CHAR_TO_STRING - Static variable in class owl.cinterface.CInterface
- checkForVersion(String[]) - Static method in class owl.run.RunUtil
- checkOinkExecutable() - Static method in class owl.game.algorithms.OinkGameSolver
- choice(S, Game.Owner) - Method in interface owl.game.Game
- choice(T, Game.Owner) - Method in class owl.automaton.algorithm.simulations.SimulationGame
- CIntArrayList - Class in owl.cinterface
- CIntArrayList() - Constructor for class owl.cinterface.CIntArrayList
- CInterface - Class in owl.cinterface
- CLabelledFormula - Class in owl.cinterface
- CLabelledFormula.AtomicPropositionStatus - Enum in owl.cinterface
- classes() - Method in enum owl.ltl.SyntacticFragment
- classify(Formula) - Static method in class owl.ltl.SyntacticFragments.FormulaClass
- CO_BUCHI - owl.cinterface.CAutomaton.Acceptance
- CO_SAFETY - owl.cinterface.CAutomaton.Acceptance
- CoBuchiAcceptance - Class in owl.automaton.acceptance
- Collections3 - Class in owl.collections
- ColorRefinement<S> - Class in owl.automaton.algorithm.simulations
-
Computes direct simulation relation of an automaton based on the color refinement algorithm.
- ColorRefinement.Neighborhood - Class in owl.automaton.algorithm.simulations
-
Represents the neighborhood of a state.
- ColorRefinement.NeighborType - Class in owl.automaton.algorithm.simulations
-
Represents a neighbor type consisting of color and associated valuation.
- colour() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
- comb(List<R>, int) - Static method in class owl.util.CombinationGenerator
- CombinationGenerator - Class in owl.util
- combiner(BinaryOperator<Formula>) - Static method in class owl.ltl.robust.Split
- CombineUntilVisitor - Class in owl.ltl.rewriter
- CombineUntilVisitor() - Constructor for class owl.ltl.rewriter.CombineUntilVisitor
- compare(Set<? extends E>, Set<? extends E>) - Static method in class owl.collections.Collections3
- compare(Set<? extends Formula>, Set<? extends Formula>) - Static method in class owl.ltl.Formulas
- compareTo(GeneralizedRabinAcceptance.RabinPair) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- compareTo(ColorRefinement.Neighborhood) - Method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood
-
Compares a neighborhood to another such that they can be sorted.
- compareTo(Formula) - Method in class owl.ltl.Formula
- compareTo(AsymmetricEvaluatedFixpoints) - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- compareTo(Fixpoints) - Method in class owl.translations.mastertheorem.Fixpoints
- compareTo(SymmetricEvaluatedFixpoints) - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- compareValue(Formula) - Method in class owl.ltl.BooleanConstant
- compareValue(Formula) - Method in class owl.ltl.Formula
- compareValue(Formula) - Method in class owl.ltl.Formula.TemporalOperator
- compareValue(Formula) - Method in class owl.ltl.Literal
- complement() - Method in class owl.automaton.acceptance.ParityAcceptance
- complement() - Method in class owl.collections.ValuationSet
- complement(MutableAutomaton<S, ParityAcceptance>, S) - Static method in class owl.automaton.ParityUtil
- COMPLEMENT_CONSTRUCTION_EXACT - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- COMPLEMENT_CONSTRUCTION_HEURISTIC - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- COMPLEMENT_MODULE - Static variable in class owl.automaton.ParityUtil
- complete(Automaton<S, ?>, S) - Static method in class owl.automaton.Views
- 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_MODULE - Static variable in class owl.automaton.Views
- COMPRESS_COLOURS - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- compute(Automaton<S, BuchiAcceptance>, BuchiSimulationArguments) - Static method in class owl.automaton.algorithm.simulations.BuchiSimulation
- compute(Automaton<S, BuchiAcceptance>, T) - Method in interface owl.translations.nbadet.NbaSimAlgorithm
-
This method should be the actual main entry point into the algorithm.
- compute(Formula, Formula) - Static method in class owl.ltl.util.FormulaIsomorphism
- computeBackward() - Method in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- computeDelayed() - Method in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- computeDirect() - Method in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- computeDirectRefinement() - Method in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- computeEquivalence(Set<Pair<S, S>>) - Static method in class owl.automaton.algorithm.simulations.BuchiSimulation
-
Computes an equivalence relation based on a given preorder.
- computeFair() - Method in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- computeLangInclusions(Automaton<S, BuchiAcceptance>, Set<Pair<NbaLangInclusions.SimType, String>>) - Static method in class owl.translations.nbadet.NbaLangInclusions
-
Calls all selected algorithms and takes the usion of their results.
- computeLookaheadDirect() - Method in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- computeSims() - Method in class owl.translations.nbadet.NbaDetArgs
- condensation() - Method in class owl.automaton.algorithm.SccDecomposition
-
Compute the condensation graph corresponding to the SCC decomposition.
- conjunction(LabelledAig, LabelledAig) - Method in class owl.game.output.AigFactory
- Conjunction - Class in owl.ltl
- Conjunction(Collection<? extends Formula>) - Constructor for class owl.ltl.Conjunction
- Conjunction(Formula...) - Constructor for class owl.ltl.Conjunction
- CONJUNCTION - owl.cinterface.CDecomposedDPA.Structure.NodeType
- constant - Variable in class owl.grammar.LTLParser.BooleanContext
- CONSTANT_FALSE - owl.cinterface.CLabelledFormula.AtomicPropositionStatus
- CONSTANT_TRUE - owl.cinterface.CLabelledFormula.AtomicPropositionStatus
- constructor() - Method in class owl.run.modules.OwlModule
- contains(BitSet) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- contains(BitSet) - Method in class owl.collections.UpwardClosedSet
- contains(BitSet) - Method in class owl.collections.ValuationSet
- contains(Automaton<?, ?>, Automaton<?, ?>) - Static method in class owl.automaton.algorithm.LanguageContainment
-
Checks if the first the language of the first automaton is included in the language of the second automaton.
- contains(Automaton<S, A>, UltimatelyPeriodicWord) - Static method in class owl.automaton.algorithm.LanguageMembership
- contains(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- contains(ValuationSet, BitSet) - Method in interface owl.factories.ValuationSetFactory
- contains(Formula) - Method in enum owl.ltl.SyntacticFragment
- contains(Formula) - Method in class owl.ltl.SyntacticFragments.FormulaClass
- contains(LabelledFormula) - Method in enum owl.ltl.SyntacticFragment
- containsAll(Automaton<?, AllAcceptance>, Automaton<?, AllAcceptance>) - Static method in class owl.automaton.algorithm.LanguageContainment
- containsCoBuchi(Automaton<?, CoBuchiAcceptance>, Automaton<?, CoBuchiAcceptance>) - Static method in class owl.automaton.algorithm.LanguageContainment
- containsInfinite(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
-
Checks whether the given edge is contained in any Inf set of this pair.
- CONVERSION_MODULE - Static variable in class owl.automaton.ParityUtil
- convert(Automaton<S, ParityAcceptance>, ParityAcceptance.Parity, S) - Static method in class owl.automaton.ParityUtil
- Converter - Class in owl.ltl.visitors
- Converter(Set<Class<? extends Formula>>) - Constructor for class owl.ltl.visitors.Converter
- Converter(SyntacticFragment) - Constructor for class owl.ltl.visitors.Converter
- copy(List<Pair<BitSet, Integer>>) - Static method in class owl.translations.nbadet.RankedSlice
-
Performs an actual copy (i.e.
- copyAsMutable() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- copyFrom(LTLParser.AtomExpressionContext) - Method in class owl.grammar.LTLParser.AtomExpressionContext
- copyFrom(LTLParser.BinaryExpressionContext) - Method in class owl.grammar.LTLParser.BinaryExpressionContext
- copyFrom(LTLParser.UnaryExpressionContext) - Method in class owl.grammar.LTLParser.UnaryExpressionContext
- copyInto(Automaton<S, ?>, MutableAutomaton<S, ?>) - Static method in class owl.automaton.MutableAutomatonUtil
-
Copies all the states of
source
intotarget
. - copyOf(Automaton<S, A>) - Static method in class owl.automaton.HashMapAutomaton
- copyOf(Game<S, A>) - Static method in class owl.game.GameFactory
- coSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
- coSafety(Environment, LabelledFormula) - Static method in class owl.translations.canonical.DeterministicConstructionsPortfolio
- coSafety(Environment, LabelledFormula) - Static method in class owl.translations.canonical.NonDeterministicConstructionsPortfolio
- coSafetySafety(Environment, LabelledFormula) - Static method in class owl.translations.canonical.DeterministicConstructionsPortfolio
- count() - Method in class owl.automaton.algorithm.simulations.MultiPebble
-
Counts how many actual pebbles are contained.
- count(int) - Static method in class owl.util.CombinationGenerator
- create() - Static method in class owl.collections.TrieMap
-
Returns a fresh empty trie.
- create(IsolateThread, CCharPointer, CCharPointerPointer, int) - Static method in class owl.cinterface.CLabelledFormula
- createConjunction(Iterable<BooleanExpression<T>>) - Static method in class jhoafparser.extensions.BooleanExpressions
- createConjunction(Iterator<BooleanExpression<T>>) - Static method in class jhoafparser.extensions.BooleanExpressions
- createConjunction(Stream<BooleanExpression<T>>) - Static method in class jhoafparser.extensions.BooleanExpressions
- createDisjunction(Iterable<BooleanExpression<T>>) - Static method in class jhoafparser.extensions.BooleanExpressions
- createDisjunction(Iterator<BooleanExpression<T>>) - Static method in class jhoafparser.extensions.BooleanExpressions
- createDisjunction(Stream<BooleanExpression<T>>) - Static method in class jhoafparser.extensions.BooleanExpressions
- createFormulaObjectHandle(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CDecomposedDPA.Structure
- createPowerSetAutomaton(NbaAdjMat<S>) - Static method in class owl.translations.nbadet.NbaDet
-
Create a powerset automaton of NBA where state sets are represented by BitSets.
- createStructureHandle(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CDecomposedDPA.Structure
- cube(BitSet) - Method in class owl.game.output.AigFactory
- currentCoSafety - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
D
- declareRealizabilityStatus(IsolateThread, ObjectHandle, CDecomposedDPA.RealizabilityStatus, CIntPointer, int) - Static method in class owl.cinterface.CDecomposedDPA
- DecomposedDPA - Class in owl.cinterface
- deduplicate(Set<Edge<Either<A, B>>>) - Method in class owl.automaton.TwoPartAutomaton
- deduplicate(Formula) - Static method in class owl.ltl.rewriter.DeduplicationRewriter
- DeduplicationRewriter - Class in owl.ltl.rewriter
- DEFAULT_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 GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.degeneralization.RabinDegeneralization
- degeneralize(Automaton<S, GeneralizedBuchiAcceptance>) - Static method in class owl.automaton.acceptance.degeneralization.BuchiDegeneralization
-
Degeneralization procedure.
- DegeneralizedRabinState() - Constructor for class owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState
- DelagBuilder - Class in owl.translations.delag
- DelagBuilder(Environment) - Constructor for class owl.translations.delag.DelagBuilder
- delay(Automaton<S, A>, int) - Static method in class owl.translations.canonical.GenericConstructions
- DELAYED_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
- delayedSimulation(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
- DELTA - owl.ltl.SyntacticFragments.Type
- DELTA_0 - Static variable in class owl.ltl.SyntacticFragments
- DELTA_1 - Static variable in class owl.ltl.SyntacticFragments
- DELTA_2 - Static variable in class owl.ltl.SyntacticFragments
- depth() - Method in class owl.ltl.rewriter.PullUpXVisitor.XFormula
- description() - Method in class owl.run.modules.OwlModule
- destroyObjectHandle(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CInterface
- DETERMINISTIC - owl.automaton.Automaton.Property
- deterministicAutomata(Factories, boolean) - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- deterministicAutomata(Factories, boolean) - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- deterministicComplement(Automaton<S, ?>, S, Class<A>) - Static method in class owl.automaton.BooleanOperations
- DeterministicConstructions - Class in owl.translations.canonical
- DeterministicConstructions.BreakpointStateAccepting - Class in owl.translations.canonical
- DeterministicConstructions.BreakpointStateRejecting - Class in owl.translations.canonical
- DeterministicConstructions.CoSafety - Class in owl.translations.canonical
- DeterministicConstructions.CoSafetySafety - Class in owl.translations.canonical
- DeterministicConstructions.GfCoSafety - Class in owl.translations.canonical
- DeterministicConstructions.Safety - Class in owl.translations.canonical
- DeterministicConstructions.SafetyCoSafety - Class in owl.translations.canonical
- DeterministicConstructions.Tracking - Class in owl.translations.canonical
- DeterministicConstructionsPortfolio<A extends OmegaAcceptance> - Class in owl.translations.canonical
- DeterministicConstructionsPortfolio(Class<A>, Environment) - Constructor for class owl.translations.canonical.DeterministicConstructionsPortfolio
- deterministicUnion(List<Automaton<S, ?>>) - Static method in class owl.automaton.BooleanOperations
- deterministicUnion(List<Automaton<S, ?>>, boolean) - Static method in class owl.automaton.BooleanOperations
- deterministicUnion(Automaton<S1, ?>, Automaton<S2, ?>) - Static method in class owl.automaton.BooleanOperations
- deterministicUnion(Automaton<S1, ?>, Automaton<S2, ?>, boolean) - Static method in class owl.automaton.BooleanOperations
- Determinization - Class in owl.automaton.determinization
- Determinization.BreakpointState<S> - Class in owl.automaton.determinization
- determinize(Automaton<S, BuchiAcceptance>, NbaDetArgs) - Static method in class owl.translations.nbadet.NbaDet
-
Main method of module.
- determinizeAllAcceptance(Automaton<S, AllAcceptance>) - Static method in class owl.automaton.determinization.Determinization
- determinizeCoBuchiAcceptance(Automaton<S, CoBuchiAcceptance>) - Static method in class owl.automaton.determinization.Determinization
- determinizeNba(NbaDetConf<S>) - Static method in class owl.translations.nbadet.NbaDet
- determinizeNbaAlongScc(Automaton<BitSet, ?>, NbaDetConf<S>) - Static method in class owl.translations.nbadet.NbaDet
-
Determinize provided NBA partially, while not leaving some automaton refScc.
- determinizeNbaTopo(NbaDetConf<S>) - Static method in class owl.translations.nbadet.NbaDet
-
Determinize automaton, utilizing "topological" optimization, i.e.
- detSccs() - Method in class owl.translations.nbadet.NbaSccInfo
-
deterministic SCCs.
- DIRECT_REFINEMENT_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
- DIRECT_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
- directLookaheadSimulation(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
- directSimulates(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, S, S, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
-
Checks if two states are forward-direct multipebble similar.
- directSimulation(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
-
Computes the forward multipebble direct simulation for two input automata.
- disjunction(LabelledAig, LabelledAig) - Method in class owl.game.output.AigFactory
- Disjunction - Class in owl.ltl
- Disjunction(Collection<? extends Formula>) - Constructor for class owl.ltl.Disjunction
- Disjunction(Formula...) - Constructor for class owl.ltl.Disjunction
- DISJUNCTION - owl.cinterface.CDecomposedDPA.Structure.NodeType
- disjunctiveNormalForm() - Method in interface owl.ltl.EquivalenceClass
- dominates(ColorRefinement.NeighborType, ColorRefinement.Ordering) - Method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
-
Tests whether the neighbor type dominates another one, which holds if the other color is subsumed wrt.
- dominates(ColorRefinement.Ordering, ColorRefinement.Neighborhood) - Method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood
-
Tests whether the neighborhood dominates another, which holds if each neighbor type in the other neighborhood is dominated by one in this neighborhood.
- DOUBLE_QUOTED - Static variable in class owl.grammar.LTLLexer
- DOUBLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLLexer
- DOUBLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLParser
- DOUBLE_QUOTED_VARIABLE() - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
- DoubleQuotedVariableContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.DoubleQuotedVariableContext
- DPA2Safety<S> - Class in owl.translations.dpa2safety
- DPA2Safety() - Constructor for class owl.translations.dpa2safety.DPA2Safety
- dSccs() - Method in class owl.translations.nbadet.NbaDetState
-
deterministic mixed SCC(s) that are handled separately (if sepDet enabled).
- dsccsStates() - Method in class owl.translations.nbadet.NbaDetConfSets
E
- eager() - Method in class owl.translations.rabinizer.RabinizerConfiguration
- edge(EquivalenceClass, BitSet) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
- edge(EquivalenceClass, BitSet) - Method in class owl.translations.canonical.LegacyFactory
-
Deprecated.
- edge(DeterministicConstructions.BreakpointStateAccepting, BitSet) - Method in class owl.translations.canonical.DeterministicConstructions.CoSafetySafety
- edge(DeterministicConstructions.BreakpointStateRejecting, BitSet) - Method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafety
- edge(RoundRobinState<EquivalenceClass>, BitSet) - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
- edge(S, BitSet) - Method in class owl.automaton.AbstractImmutableAutomaton.SemiDeterministicEdgesAutomaton
- edge(S, BitSet) - Method in interface owl.automaton.Automaton
-
Returns the successor edge of the specified
state
under the givenvaluation
. - edge(S, BitSet) - Method in class owl.automaton.HashMapAutomaton
- Edge<S> - Class in owl.automaton.edge
-
This class (with specialised subclasses) represents edges of automata including their acceptance membership.
- EDGE_MAP - owl.automaton.Automaton.PreferredEdgeAccess
- EDGE_TREE - owl.automaton.Automaton.PreferredEdgeAccess
- edgeFilter(BiPredicate<S, Edge<S>>) - Method in class owl.automaton.Views.Filter.Builder
- edgeMap(SimulationStates.LookaheadSimulationState<S>) - Method in class owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation
- edgeMap(SimulationStates.MultipebbleSimulationState<S>) - Method in class owl.automaton.algorithm.simulations.BackwardDirectSimulation
- edgeMap(SimulationStates.MultipebbleSimulationState<S>) - Method in class owl.automaton.algorithm.simulations.ForwardDelayedSimulation
- edgeMap(SimulationStates.MultipebbleSimulationState<S>) - Method in class owl.automaton.algorithm.simulations.ForwardDirectSimulation
- edgeMap(SimulationStates.MultipebbleSimulationState<S>) - Method in class owl.automaton.algorithm.simulations.ForwardFairSimulation
- edgeMap(S) - Method in interface owl.automaton.Automaton
-
Returns a mapping from all outgoing edges to their valuations of the specified
state
. - edgeMap(S) - Method in interface owl.automaton.EdgesAutomatonMixin
- edgeMap(S) - Method in interface owl.automaton.EdgeTreeAutomatonMixin
- edgeMap(S) - Method in class owl.automaton.EmptyAutomaton
- edgeMap(S) - Method in class owl.automaton.HashMapAutomaton
- edgeMap(S) - Method in class owl.automaton.SingletonAutomaton
- edgeMap(T) - Method in class owl.automaton.algorithm.simulations.SimulationGame
- edgeMap(T) - Method in interface owl.automaton.algorithm.simulations.SimulationType
- EdgeMapAutomatonMixin<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
Mixin interface for implementing an automaton by
Automaton.edgeMap(Object)
. - edges(Either<A, B>, BitSet) - Method in class owl.automaton.TwoPartAutomaton
- edges(Formula, BitSet) - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
- edges(RoundRobinState<Formula>, BitSet) - Method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
- edges(S) - Method in interface owl.automaton.Automaton
-
Returns all successor edges of the specified
state
under any valuation. - edges(S) - Method in interface owl.automaton.EdgeMapAutomatonMixin
- edges(S) - Method in interface owl.automaton.EdgesAutomatonMixin
- edges(S) - Method in interface owl.automaton.EdgeTreeAutomatonMixin
- edges(S) - Method in class owl.automaton.HashMapAutomaton
- edges(S, BitSet) - Method in class owl.automaton.AbstractImmutableAutomaton.SemiDeterministicEdgesAutomaton
- edges(S, BitSet) - Method in interface owl.automaton.Automaton
-
Returns the successor edges of the specified
state
under the givenvaluation
. - edges(S, BitSet) - Method in interface owl.automaton.EdgeMapAutomatonMixin
- edges(S, BitSet) - Method in interface owl.automaton.EdgeTreeAutomatonMixin
- Edges - Class in owl.automaton.edge
- EDGES - owl.automaton.Automaton.PreferredEdgeAccess
- edgesA(A, BitSet) - Method in class owl.automaton.TwoPartAutomaton
- EdgesAutomatonMixin<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
Mixin interface for implementing an automaton by
Automaton.edges(Object, BitSet)
. - edgesB(B, BitSet) - Method in class owl.automaton.TwoPartAutomaton
- edgeTree(IsolateThread, ObjectHandle, int, CIntArray, CIntArray, CDoubleArray) - Static method in class owl.cinterface.CAutomaton
- edgeTree(Either<A, B>) - Method in class owl.automaton.TwoPartAutomaton
- edgeTree(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
- edgeTree(EquivalenceClass) - Method in class owl.translations.canonical.LegacyFactory
-
Deprecated.
- edgeTree(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
- edgeTree(DeterministicConstructions.BreakpointStateAccepting) - Method in class owl.translations.canonical.DeterministicConstructions.CoSafetySafety
- edgeTree(DeterministicConstructions.BreakpointStateRejecting) - Method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafety
- edgeTree(RoundRobinState<EquivalenceClass>) - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
- edgeTree(RoundRobinState<Formula>) - Method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
- edgeTree(S) - Method in interface owl.automaton.Automaton
-
Returns a decision-tree with nodes labelled by literals and sets of edges as leaves.
- edgeTree(S) - Method in interface owl.automaton.EdgeMapAutomatonMixin
- edgeTree(S) - Method in interface owl.automaton.EdgesAutomatonMixin
- edgeTree(S) - Method in class owl.automaton.HashMapAutomaton
- edgeTreeA(A) - Method in class owl.automaton.TwoPartAutomaton
- EdgeTreeAutomatonMixin<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
Mixin interface for implementing an automaton by
Automaton.edgeTree(Object)
. - edgeTreeB(B) - Method in class owl.automaton.TwoPartAutomaton
- edgeTreeMasking(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CAutomaton
- Either<A,B> - Class in owl.collections
- Either.Type - Enum in owl.collections
- EmersonLeiAcceptance - Class in owl.automaton.acceptance
- EmersonLeiAcceptance(int, BooleanExpression<AtomAcceptance>) - Constructor for class owl.automaton.acceptance.EmersonLeiAcceptance
- empty() - Method in interface owl.factories.ValuationSetFactory
- empty() - Static method in class owl.translations.nbadet.RankedSlice
- EmptyAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
- emptyIsAccepting() - Method in class owl.automaton.acceptance.ParityAcceptance
- EmulatedCDoublePointer - Class in owl.cinterface.emulation
- EmulatedCDoublePointer(int) - Constructor for class owl.cinterface.emulation.EmulatedCDoublePointer
- EmulatedCDoublePointer(EmulatedCDoublePointer, int) - Constructor for class owl.cinterface.emulation.EmulatedCDoublePointer
- EmulatedCIntPointer - Class in owl.cinterface.emulation
- EmulatedCIntPointer(int) - Constructor for class owl.cinterface.emulation.EmulatedCIntPointer
- EmulatedCIntPointer(int[]) - Constructor for class owl.cinterface.emulation.EmulatedCIntPointer
- EmulatedCIntPointer(int, int) - Constructor for class owl.cinterface.emulation.EmulatedCIntPointer
- EmulatedCIntPointer(EmulatedCIntPointer, int) - Constructor for class owl.cinterface.emulation.EmulatedCIntPointer
- end(List<Transition<S>>) - Static method in class owl.automaton.algorithm.simulations.Transition
- enter(S) - Method in interface owl.automaton.Automaton.Visitor
-
Called when entering a state.
- enterAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by
LTLParser.andExpression()
. - enterAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by
LTLParser.andExpression()
. - enterBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by
LTLParser.binaryOp()
. - enterBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by
LTLParser.binaryOp()
. - enterBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
binaryOperation
labeled alternative inLTLParser.binaryExpression()
. - enterBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
binaryOperation
labeled alternative inLTLParser.binaryExpression()
. - enterBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
binaryUnary
labeled alternative inLTLParser.binaryExpression()
. - enterBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
binaryUnary
labeled alternative inLTLParser.binaryExpression()
. - enterBool(LTLParser.BoolContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by
LTLParser.bool()
. - enterBool(LTLParser.BoolContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by
LTLParser.bool()
. - enterBoolean(LTLParser.BooleanContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
boolean
labeled alternative inLTLParser.atomExpression()
. - enterBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
boolean
labeled alternative inLTLParser.atomExpression()
. - enterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
doubleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - enterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
doubleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - enterEveryRule(ParserRuleContext) - Method in class owl.grammar.LTLParserBaseListener
- enterExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by
LTLParser.expression()
. - enterExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by
LTLParser.expression()
. - enterFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by
LTLParser.formula()
. - enterFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by
LTLParser.formula()
. - enterNested(LTLParser.NestedContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
nested
labeled alternative inLTLParser.atomExpression()
. - enterNested(LTLParser.NestedContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
nested
labeled alternative inLTLParser.atomExpression()
. - enterOrExpression(LTLParser.OrExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by
LTLParser.orExpression()
. - enterOrExpression(LTLParser.OrExpressionContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by
LTLParser.orExpression()
. - enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.AndExpressionContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOpContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOperationContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BoolContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BooleanContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ExpressionContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FormulaContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.NestedContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.OrExpressionContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryAtomContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOpContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOperationContext
- enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.VariableContext
- enterSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
singleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - enterSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
singleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - enterUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
unaryAtom
labeled alternative inLTLParser.unaryExpression()
. - enterUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
unaryAtom
labeled alternative inLTLParser.unaryExpression()
. - enterUnaryOp(LTLParser.UnaryOpContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by
LTLParser.unaryOp()
. - enterUnaryOp(LTLParser.UnaryOpContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by
LTLParser.unaryOp()
. - enterUnaryOperation(LTLParser.UnaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
unaryOperation
labeled alternative inLTLParser.unaryExpression()
. - enterUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
unaryOperation
labeled alternative inLTLParser.unaryExpression()
. - enterVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseListener
-
Enter a parse tree produced by the
variable
labeled alternative inLTLParser.atomExpression()
. - enterVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserListener
-
Enter a parse tree produced by the
variable
labeled alternative inLTLParser.atomExpression()
. - Environment - Class in owl.run
-
The environment makes global configuration available to all parts of the pipeline.
- Environment() - Constructor for class owl.run.Environment
- ENVIRONMENT - Static variable in class owl.cinterface.CInterface
- EOF() - Method in class owl.grammar.LTLParser.FormulaContext
- eqFactory - Variable in class owl.factories.Factories
- equals(Object) - Method in class owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState
- equals(Object) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- equals(Object) - Method in class owl.automaton.acceptance.ParityAcceptance
- equals(Object) - Method in class owl.automaton.hoa.HoaReader.HoaState
- equals(Object) - Method in class owl.automaton.UltimatelyPeriodicWord
- equals(Object) - Method in class owl.collections.ValuationTree.Leaf
- equals(Object) - Method in class owl.collections.ValuationTree.Node
- equals(Object) - Method in class owl.game.GameViews.Node
- equals(Object) - Method in class owl.ltl.Formula
- equals(Object) - Method in class owl.translations.delag.ProductState
- equals(Object) - Method in class owl.translations.delag.State
- equals(Object) - Method in class owl.translations.ltl2dpa.AsymmetricRankingState
- equals(Object) - Method in class owl.translations.ltl2dpa.SymmetricRankingState
- equals(Object) - Method in class owl.translations.ltl2dra.SymmetricRankingState
- equals(Object) - Method in class owl.translations.ltl2ldba.AsymmetricProductState
- equals(Object) - Method in class owl.translations.ltl2ldba.SymmetricProductState
- equals(Object) - Method in class owl.translations.ltl2nba.ProductState
- equals(Object) - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- equals(Object) - Method in class owl.translations.mastertheorem.Fixpoints
- equals(Object) - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- equals(Object) - Method in class owl.translations.nba2dpa.RankingState
- equals(Object) - Method in class owl.translations.nba2ldba.BreakpointState
- equals(Object) - Method in class owl.translations.rabinizer.MonitorState
- equals(Object) - Method in class owl.translations.rabinizer.RabinizerState
- equalsAll(Automaton<?, AllAcceptance>, Automaton<?, AllAcceptance>) - Static method in class owl.automaton.algorithm.LanguageContainment
- equalsCoBuchi(Automaton<?, CoBuchiAcceptance>, Automaton<?, CoBuchiAcceptance>) - Static method in class owl.automaton.algorithm.LanguageContainment
- equalsValue(Formula) - Method in class owl.ltl.BooleanConstant
- equalsValue(Formula) - Method in class owl.ltl.Formula
- equalsValue(Formula) - Method in class owl.ltl.Formula.TemporalOperator
- equalsValue(Formula) - Method in class owl.ltl.Literal
- EquivalenceClass - Interface in owl.ltl
-
A propositional equivalence class of an LTL formula.
- EquivalenceClassFactory - Interface in owl.factories
-
A factory for creating propositional equivalence classes for LTL formulas.
- ERROR - Static variable in class owl.grammar.LTLLexer
- ERROR - Static variable in class owl.grammar.LTLParser
- evaluate(BooleanExpression<T>, Predicate<T>) - Static method in class jhoafparser.extensions.BooleanExpressions
- evaluatedFixpoints - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
- evaluatedFixpoints - Variable in class owl.translations.ltl2ldba.SymmetricProductState
- evaluatedFixpoints - Variable in class owl.translations.ltl2nba.ProductState
- even() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- even() - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
- even() - Method in class owl.automaton.algorithm.simulations.SimulationStates.MultipebbleSimulationState
- evenString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- eventually() - Method in class owl.ltl.robust.LabelledSplit
- eventually() - Method in class owl.ltl.robust.Split
- EVENTUALLY - owl.ltl.robust.Robustness
- EVENTUALLY_ALWAYS - owl.ltl.robust.Robustness
- eventuallyAlways() - Method in class owl.ltl.robust.LabelledSplit
- eventuallyAlways() - Method in class owl.ltl.robust.Split
- EverythingIsNonnullByDefault - Annotation Type in owl.util.annotation
- exit(S) - Method in interface owl.automaton.Automaton.Visitor
-
Called when leaving a state.
- exitAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by
LTLParser.andExpression()
. - exitAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by
LTLParser.andExpression()
. - exitBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by
LTLParser.binaryOp()
. - exitBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by
LTLParser.binaryOp()
. - exitBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
binaryOperation
labeled alternative inLTLParser.binaryExpression()
. - exitBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
binaryOperation
labeled alternative inLTLParser.binaryExpression()
. - exitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
binaryUnary
labeled alternative inLTLParser.binaryExpression()
. - exitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
binaryUnary
labeled alternative inLTLParser.binaryExpression()
. - exitBool(LTLParser.BoolContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by
LTLParser.bool()
. - exitBool(LTLParser.BoolContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by
LTLParser.bool()
. - exitBoolean(LTLParser.BooleanContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
boolean
labeled alternative inLTLParser.atomExpression()
. - exitBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
boolean
labeled alternative inLTLParser.atomExpression()
. - exitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
doubleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - exitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
doubleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - exitEveryRule(ParserRuleContext) - Method in class owl.grammar.LTLParserBaseListener
- exitExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by
LTLParser.expression()
. - exitExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by
LTLParser.expression()
. - exitFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by
LTLParser.formula()
. - exitFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by
LTLParser.formula()
. - exitNested(LTLParser.NestedContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
nested
labeled alternative inLTLParser.atomExpression()
. - exitNested(LTLParser.NestedContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
nested
labeled alternative inLTLParser.atomExpression()
. - exitOrExpression(LTLParser.OrExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by
LTLParser.orExpression()
. - exitOrExpression(LTLParser.OrExpressionContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by
LTLParser.orExpression()
. - exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.AndExpressionContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOpContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOperationContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BoolContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BooleanContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ExpressionContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FormulaContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.NestedContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.OrExpressionContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryAtomContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOpContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOperationContext
- exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.VariableContext
- exitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
singleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - exitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
singleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - exitUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
unaryAtom
labeled alternative inLTLParser.unaryExpression()
. - exitUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
unaryAtom
labeled alternative inLTLParser.unaryExpression()
. - exitUnaryOp(LTLParser.UnaryOpContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by
LTLParser.unaryOp()
. - exitUnaryOp(LTLParser.UnaryOpContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by
LTLParser.unaryOp()
. - exitUnaryOperation(LTLParser.UnaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
unaryOperation
labeled alternative inLTLParser.unaryExpression()
. - exitUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
unaryOperation
labeled alternative inLTLParser.unaryExpression()
. - exitVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseListener
-
Exit a parse tree produced by the
variable
labeled alternative inLTLParser.atomExpression()
. - exitVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserListener
-
Exit a parse tree produced by the
variable
labeled alternative inLTLParser.atomExpression()
. - expression() - Method in class owl.grammar.LTLParser
- expression() - Method in class owl.grammar.LTLParser.FormulaContext
- expression() - Method in class owl.grammar.LTLParser.NestedContext
- ExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.ExpressionContext
- ExternalTranslator - Class in owl.translations
- ExternalTranslator(String, ExternalTranslator.InputMode, Environment) - Constructor for class owl.translations.ExternalTranslator
- ExternalTranslator(List<String>, ExternalTranslator.InputMode, Environment) - Constructor for class owl.translations.ExternalTranslator
- ExternalTranslator.InputMode - Enum in owl.translations
- extMask() - Method in class owl.translations.nbadet.NbaDetConf
- extractMergeMode(CommandLine, String) - Static method in class owl.translations.nbadet.NbaDetArgs
- extractSims(CommandLine, String) - Static method in class owl.translations.nbadet.NbaDetArgs
F
- Factories - Class in owl.factories
- Factories(EquivalenceClassFactory, ValuationSetFactory) - Constructor for class owl.factories.Factories
- factory - Variable in class owl.automaton.AbstractImmutableAutomaton
- factory() - Method in class owl.automaton.AbstractImmutableAutomaton
- factory() - Method in class owl.automaton.algorithm.simulations.BackwardDirectSimulation
- factory() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
- factory() - Method in class owl.automaton.algorithm.simulations.ForwardDelayedSimulation
- factory() - Method in class owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation
- factory() - Method in class owl.automaton.algorithm.simulations.ForwardDirectSimulation
- factory() - Method in class owl.automaton.algorithm.simulations.ForwardFairSimulation
- factory() - Method in class owl.automaton.algorithm.simulations.SimulationGame
- factory() - Method in interface owl.automaton.algorithm.simulations.SimulationType
- factory() - Method in interface owl.automaton.Automaton
-
Returns the backing engine for the symbolic representation of edges.
- factory() - Method in class owl.automaton.HashMapAutomaton
- factory() - Method in class owl.collections.ValuationSet
- factory() - Method in interface owl.ltl.EquivalenceClass
- factory() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- factorySupplier() - Method in class owl.run.Environment
- 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
- FAIR_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
- fairSimulation(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, int) - Method in class owl.automaton.algorithm.simulations.BuchiSimulation
- fallback() - Method in class owl.translations.delag.ProductState
- FALSE - Static variable in class owl.game.output.Aig
- FALSE - Static variable in class owl.grammar.LTLLexer
- FALSE - Static variable in class owl.grammar.LTLParser
- FALSE - Static variable in class owl.ltl.BooleanConstant
- FALSE - Static variable in class owl.ltl.robust.Split
- FALSE() - Method in class owl.grammar.LTLParser.BoolContext
- falseChild - Variable in class owl.collections.ValuationTree.Node
- fCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
- feedTo(AigConsumer) - Method in interface owl.game.Game
- feedTo(AigConsumer) - Method in interface owl.game.output.AigPrintable
- FGMU - owl.ltl.SyntacticFragment
- fgSafety(Environment, LabelledFormula) - Static method in class owl.translations.canonical.NonDeterministicConstructionsPortfolio
- fgSafety(Environment, LabelledFormula, boolean) - Static method in class owl.translations.canonical.DeterministicConstructionsPortfolio
- FGX - owl.ltl.SyntacticFragment
- filter(IntPredicate) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- filter(Automaton<S, ?>, Set<S>) - Static method in interface owl.automaton.SuccessorFunction
- filter(Automaton<S, ?>, Set<S>, Predicate<Edge<S>>) - Static method in interface owl.automaton.SuccessorFunction
- filter(ValuationTree<E>) - Method in class owl.collections.ValuationSet
- filter(Game<S, A>, Predicate<S>) - Static method in class owl.game.GameViews
- filter(Game<S, A>, Predicate<S>, Predicate<Edge<S>>) - Static method in class owl.game.GameViews
- Filter() - Constructor for class owl.automaton.Views.Filter
- filtered(Automaton<S, A>, Views.Filter<S>) - Static method in class owl.automaton.Views
-
Create a filtered view on the passed automaton.
- filterExternalIncl(Set<Pair<S, S>>, NbaSccInfo<S>, BiMap<S, Integer>) - Static method in class owl.translations.nbadet.NbaDetConf
- filterInternalIncl(Set<Pair<S, S>>, NbaSccInfo<S>) - Static method in class owl.translations.nbadet.NbaDetConf
- FINALLY - Static variable in class owl.grammar.LTLLexer
- FINALLY - Static variable in class owl.grammar.LTLParser
- FINALLY() - Method in class owl.grammar.LTLParser.UnaryOpContext
- finerOrEqual(NbaDetState<S>) - Method in class owl.translations.nbadet.NbaDetState
-
Check finerOrEqual component-wise, assuming same configuration.
- finerOrEqual(RankedSlice, RankedSlice) - Static method in class owl.translations.nbadet.SmartSucc
-
Returns true if second slice is a neighbor-merged version of the first, ignoring ranks.
- finished() - Method in class owl.translations.delag.ProductState
- finSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- fixpoints - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- fixpoints - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- fixpoints() - Method in class owl.translations.mastertheorem.Fixpoints
- Fixpoints - Class in owl.translations.mastertheorem
- Fixpoints() - Constructor for class owl.translations.mastertheorem.Fixpoints
- flag() - Method in class owl.automaton.algorithm.simulations.MultiPebble
-
Computes the 'combined' flag of a multipebble.
- flag() - Method in class owl.automaton.algorithm.simulations.Pebble
- flag() - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
- flatValues() - Method in class owl.collections.ValuationTree
- flatValues(Function<E, T>) - Method in class owl.collections.ValuationTree
- flip() - Method in class owl.game.output.LabelledAig
- flipEven() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- flipMax() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- FOperator - Class in owl.ltl
-
Finally.
- FOperator(Formula) - Constructor for class owl.ltl.FOperator
- forEach(BitSet, Consumer<? super BitSet>) - Method in class owl.collections.ValuationSet
- forEach(Consumer<? super BitSet>) - Method in class owl.collections.ValuationSet
- forEach(ValuationSet, BitSet, Consumer<? super BitSet>) - Method in interface owl.factories.ValuationSetFactory
- forEach(ValuationSet, Consumer<? super BitSet>) - Method in interface owl.factories.ValuationSetFactory
- forEachAcceptanceSet(IntConsumer) - Method in class owl.automaton.edge.Edge
- forEachIndex(IntConsumer) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- forEachInfSet(IntConsumer) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- forEachNonTransientEdge(Automaton<S, ?>, BiConsumer<S, Edge<S>>) - Static method in class owl.automaton.AutomatonUtil
- forEachPair(Iterable<E1>, Iterable<E2>, BiConsumer<E1, E2>) - Static method in class owl.collections.Collections3
- formula - Variable in class owl.ltl.rewriter.LiteralMapper.ShiftedLabelledFormula
- formula() - Method in class owl.grammar.LTLParser
- formula() - Method in class owl.ltl.LabelledFormula
- Formula - Class in owl.ltl
- Formula.BinaryTemporalOperator - Class in owl.ltl
- Formula.NaryPropositionalOperator - Class in owl.ltl
- Formula.PropositionalOperator - Class in owl.ltl
- Formula.TemporalOperator - Class in owl.ltl
- Formula.UnaryTemporalOperator - Class in owl.ltl
- FormulaClass() - Constructor for class owl.ltl.SyntacticFragments.FormulaClass
- FormulaContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FormulaContext
- FormulaIsomorphism - Class in owl.ltl.util
- formulaRanking() - Method in class owl.translations.rabinizer.MonitorState
- Formulas - Class in owl.ltl
- ForwardDelayedSimulation<S> - Class in owl.automaton.algorithm.simulations
- ForwardDelayedSimulation(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Constructor for class owl.automaton.algorithm.simulations.ForwardDelayedSimulation
- ForwardDirectLookaheadSimulation<S> - Class in owl.automaton.algorithm.simulations
- ForwardDirectLookaheadSimulation(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Constructor for class owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation
- ForwardDirectSimulation<S> - Class in owl.automaton.algorithm.simulations
-
Simulation type for forward-direct multipebble simulation games.
- ForwardDirectSimulation(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Constructor for class owl.automaton.algorithm.simulations.ForwardDirectSimulation
-
Constructs a simulation game for two given automata and two states.
- ForwardFairSimulation<S> - Class in owl.automaton.algorithm.simulations
- ForwardFairSimulation(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Constructor for class owl.automaton.algorithm.simulations.ForwardFairSimulation
- freeUnmanagedMemory(IsolateThread, PointerBase) - Static method in class owl.cinterface.CInterface
- fromCValue(int) - Static method in enum owl.cinterface.CAutomaton.Acceptance
- fromCValue(int) - Static method in enum owl.cinterface.CDecomposedDPA.RealizabilityStatus
- fromCValue(int) - Static method in enum owl.cinterface.CDecomposedDPA.Structure.NodeType
- fromCValue(int) - Static method in enum owl.cinterface.CLabelledFormula.AtomicPropositionStatus
- fromInt(int) - Static method in class owl.util.BitSetUtil
-
Converts an int into a BitSet.
- fromOmegaAcceptance(OmegaAcceptance) - Static method in enum owl.cinterface.CAutomaton.Acceptance
- fromSet(Set<S>, BiMap<S, Integer>) - Static method in class owl.util.BitSetUtil
-
Converts a set into a bitset.
- fromSet(Set<S>, Function<S, Integer>, int) - Static method in class owl.util.BitSetUtil
- fromTrieEncoding(List<BitSet>) - Static method in class owl.translations.nbadet.SmartSucc
-
Reverses the trie encoding.
- fst() - Method in class owl.collections.NullablePair
- fst() - Method in class owl.collections.Pair
G
- Game<S,A extends OmegaAcceptance> - Interface in owl.game
- Game.Owner - Enum in owl.game
- GameFactory - Class in owl.game
- GameUtil - Class in owl.game
- GameViews - Class in owl.game
- GameViews.Node<S> - Class in owl.game
-
A state of the split game.
- gCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- GeneralizedBuchiAcceptance - Class in owl.automaton.acceptance
- GeneralizedCoBuchiAcceptance - Class in owl.automaton.acceptance
- GeneralizedRabinAcceptance - Class in owl.automaton.acceptance
-
Generalized Rabin Acceptance - OR (Fin(i) and AND Inf(j)).
- GeneralizedRabinAcceptance.Builder - Class in owl.automaton.acceptance
- GeneralizedRabinAcceptance.RabinPair - Class in owl.automaton.acceptance
- GeneralizedRabinAcceptanceOptimizations - Class in owl.automaton.acceptance.optimization
- GenericConstructions - Class in owl.translations.canonical
- geometricMean(int...) - Static method in class owl.util.Statistics
- get(int) - Method in class owl.cinterface.CDoubleArrayList
- get(int) - Method in class owl.cinterface.CIntArrayList
- get(String) - Method in class owl.run.modules.OwlModuleRegistry
- get(BitSet) - Method in class owl.collections.ValuationTree
- get(BitSet) - Method in class owl.collections.ValuationTree.Leaf
- get(BitSet) - Method in class owl.collections.ValuationTree.Node
- get(List<K>, boolean) - Method in class owl.collections.TrieMap
-
Retrieve value at given key.
- get(Robustness) - Method in class owl.ltl.robust.Split
- get(OwlModuleRegistry.Type) - Method in class owl.run.modules.OwlModuleRegistry
- getAcceptance(NbaDetConf<S>) - Static method in class owl.translations.nbadet.NbaDetState
-
Naive unoptimized parity acceptance (just uses upper bound of possible priorities).
- getAcceptanceSets(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
-
Collect all acceptance sets occurring on transitions within the given state set.
- getAcceptanceSets(Automaton<S, ?>, Set<S>) - Static method in class owl.automaton.AutomatonUtil
-
Collect all acceptance sets occurring on transitions within the given state set.
- getAlgoArgs() - Static method in class owl.translations.nbadet.NbaLangInclusions
-
Register new simulation algorithms for argument parsing here.
- getAlgos() - Static method in class owl.translations.nbadet.NbaLangInclusions
-
Returns list of available algorithms to get language inclusion pairs.
- getATN() - Method in class owl.grammar.LTLLexer
- getATN() - Method in class owl.grammar.LTLParser
- getAtom() - Method in class owl.ltl.Literal
- getAttractor(Collection<S>, Game.Owner) - Method in interface owl.game.Game
- getAttractorFixpoint(Collection<S>, Game.Owner) - Method in interface owl.game.Game
- getCause() - Method in exception owl.run.parser.PipelineParser.ModuleParseException
- getChannelNames() - Method in class owl.grammar.LTLLexer
- getChild(IsolateThread, ObjectHandle, int) - Static method in class owl.cinterface.CDecomposedDPA.Structure
- getConjuncts(BooleanExpression<T>) - Static method in class jhoafparser.extensions.BooleanExpressions
- getCValue() - Method in enum owl.cinterface.CAutomaton.Acceptance
- getCValue() - Method in enum owl.cinterface.CDecomposedDPA.RealizabilityStatus
- getCValue() - Method in enum owl.cinterface.CDecomposedDPA.Structure.NodeType
- getCValue() - Method in enum owl.cinterface.CLabelledFormula.AtomicPropositionStatus
- getDefault() - Static method in class owl.translations.nbadet.NbaDetArgs
-
A configuration with the suggested default optimizations.
- getDefaultAnnotationOption() - Static method in class owl.run.RunUtil
- getDepth(Formula) - Static method in class owl.ltl.visitors.XDepthVisitor
- getDisjuncts(BooleanExpression<T>) - Static method in class jhoafparser.extensions.BooleanExpressions
- getEnvironment(CommandLine) - Static method in class owl.run.parser.OwlParser
- getEquivalenceClassFactory(List<String>) - Method in interface owl.factories.FactorySupplier
- getEquivalenceClassFactory(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
- getFactories(List<String>) - Method in interface owl.factories.FactorySupplier
- getFalse() - Method in class owl.game.output.AigFactory
- getFromCli(CommandLine) - Static method in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- getFromCli(CommandLine) - Static method in class owl.translations.nbadet.NbaDetArgs
-
Returns a configuration that is configured by flags provided by the user.
- getGrammarFileName() - Method in class owl.grammar.LTLLexer
- getGrammarFileName() - Method in class owl.grammar.LTLParser
- getIncompleteStates(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
-
Determines all states which are incomplete, i.e.
- getModeNames() - Method in class owl.grammar.LTLLexer
- getNameAndVersion() - Static method in class owl.util.OwlVersion
-
Obtains the name and version of the currently running Owl component.
- getNbaAccPseudoSinks(Automaton<S, BuchiAcceptance>) - Static method in class owl.translations.nbadet.NbaLangInclusions
-
Returns set of states with accepting loops on any symbol (i.e.
- getNode(int) - Method in class owl.game.output.AigFactory
- getNondeterministicStates(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
- getNumberOfChildren(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CDecomposedDPA.Structure
- getOptions() - Static method in class owl.run.DefaultCli
- getQuotientable() - Static method in class owl.translations.nbadet.NbaLangInclusions
-
The following ones are safe for performing a naive quotient using provided equivalences.
- getReader(String) - Method in class owl.run.modules.OwlModuleRegistry
- getReferencedAutomaton(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CDecomposedDPA.Structure
- getRootValue() - Method in class owl.collections.TrieMap
- getRuleIndex() - Method in class owl.grammar.LTLParser.AndExpressionContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.AtomExpressionContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.BinaryExpressionContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.BinaryOpContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.BoolContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.ExpressionContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.FormulaContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.OrExpressionContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.UnaryExpressionContext
- getRuleIndex() - Method in class owl.grammar.LTLParser.UnaryOpContext
- getRuleNames() - Method in class owl.grammar.LTLLexer
- getRuleNames() - Method in class owl.grammar.LTLParser
- getSerializedATN() - Method in class owl.grammar.LTLLexer
- getSerializedATN() - Method in class owl.grammar.LTLParser
- getSuitable(NbaDetState<S>, BitSet, boolean) - Method in class owl.translations.nbadet.SmartSucc
- getTokenNames() - Method in class owl.grammar.LTLLexer
-
Deprecated.
- getTokenNames() - Method in class owl.grammar.LTLParser
-
Deprecated.
- getTransformer(String) - Method in class owl.run.modules.OwlModuleRegistry
- 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
- getVocabulary() - Method in class owl.grammar.LTLLexer
- getVocabulary() - Method in class owl.grammar.LTLParser
- getWriter(String) - Method in class owl.run.modules.OwlModuleRegistry
- gfCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- gfCoSafety(Environment, LabelledFormula, boolean) - Static method in class owl.translations.canonical.DeterministicConstructionsPortfolio
- gfCoSafety(Environment, LabelledFormula, boolean) - Static method in class owl.translations.canonical.NonDeterministicConstructionsPortfolio
- gfCoSafetyAutomaton - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
- gfCoSafetyAutomaton - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.DeterministicAutomata
- gfCoSafetyAutomaton - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.NonDeterministicAutomata
- GfgCoBuchiMinimization - Class in owl.automaton.minimization
-
This class implements [ICALP'19] minimization of GFG automata.
- GLOBALLY - Static variable in class owl.grammar.LTLLexer
- GLOBALLY - Static variable in class owl.grammar.LTLParser
- GLOBALLY() - Method in class owl.grammar.LTLParser.UnaryOpContext
- globalSettings - Variable in class owl.run.parser.OwlParser
- GOperator - Class in owl.ltl
-
Globally.
- GOperator(Formula) - Constructor for class owl.ltl.GOperator
- greatestFixpoints() - Method in class owl.translations.mastertheorem.Fixpoints
- gSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- guard(OutputStream) - Static method in class owl.util.GuardedStream
- guard(Writer) - Static method in class owl.util.GuardedStream
- GuardedStream - Class in owl.util
-
Wrappers for streams which only forward a
OutputStream.flush()
uponOutputStream.close()
.
H
- has(List<K>, boolean) - Method in class owl.collections.TrieMap
-
Check whether the value at the precise given key (for inSubtree=false) or its subtree (for inSubtree=true) exists.
- hasAcceptanceSets() - Method in class owl.automaton.edge.Edge
-
Returns whether this edge has any acceptance set.
- hashCode() - Method in class owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState
- hashCode() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- hashCode() - Method in class owl.automaton.acceptance.ParityAcceptance
- hashCode() - Method in class owl.automaton.hoa.HoaReader.HoaState
- hashCode() - Method in class owl.automaton.UltimatelyPeriodicWord
- hashCode() - Method in class owl.collections.ValuationTree.Leaf
- hashCode() - Method in class owl.collections.ValuationTree.Node
- hashCode() - Method in class owl.game.GameViews.Node
- hashCode() - Method in class owl.ltl.Formula
- hashCode() - Method in class owl.translations.delag.ProductState
- hashCode() - Method in class owl.translations.delag.State
- hashCode() - Method in class owl.translations.dra2dpa.IARState
- hashCode() - Method in class owl.translations.ltl2dpa.AsymmetricRankingState
- hashCode() - Method in class owl.translations.ltl2dpa.SymmetricRankingState
- hashCode() - Method in class owl.translations.ltl2dra.SymmetricRankingState
- hashCode() - Method in class owl.translations.ltl2ldba.AsymmetricProductState
- hashCode() - Method in class owl.translations.ltl2ldba.SymmetricProductState
- hashCode() - Method in class owl.translations.ltl2nba.ProductState
- hashCode() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- hashCode() - Method in class owl.translations.mastertheorem.Fixpoints
- hashCode() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- hashCode() - Method in class owl.translations.nba2dpa.RankingState
- hashCode() - Method in class owl.translations.nba2ldba.BreakpointState
- hashCode() - Method in class owl.translations.rabinizer.MonitorState
- hashCode() - Method in class owl.translations.rabinizer.RabinizerState
- HashMapAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
- hasInfSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- height() - Method in class owl.ltl.Formula
- height(Collection<? extends Formula>) - Static method in class owl.ltl.Formulas
- height(Formula...) - Static method in class owl.ltl.Formulas
- HOA_INPUT_MODULE - Static variable in class owl.run.modules.InputReaders
- HOA_OUTPUT_MODULE - Static variable in class owl.run.modules.OutputWriters
- HoaReader - Class in owl.automaton.hoa
- HoaReader.HoaState - Class in owl.automaton.hoa
- HoaWriter - Class in owl.automaton.hoa
- HoaWriter.HoaOption - Enum in owl.automaton.hoa
I
- IARBuilder<R> - Class in owl.translations.dra2dpa
- IARBuilder(Automaton<R, RabinAcceptance>, ParityAcceptance.Parity) - Constructor for class owl.translations.dra2dpa.IARBuilder
- IARState<R> - Class in owl.translations.dra2dpa
- IARState() - Constructor for class owl.translations.dra2dpa.IARState
- id - Variable in class owl.automaton.hoa.HoaReader.HoaState
- ids() - Method in class owl.translations.nbadet.NbaSccInfo
-
SCC IDs in some reverse topological order (bottom SCCs first, initial last).
- IMP - Static variable in class owl.grammar.LTLLexer
- IMP - Static variable in class owl.grammar.LTLParser
- IMP() - Method in class owl.grammar.LTLParser.BinaryOpContext
- implies(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- implies(EquivalenceClass) - Method in interface owl.ltl.EquivalenceClass
- index - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
- index() - Method in class owl.automaton.acceptance.degeneralization.BuchiDegeneralization.IndexedState
- index() - Method in class owl.translations.canonical.RoundRobinState
- index(S) - Method in class owl.automaton.algorithm.SccDecomposition
-
Find the index of the strongly connected component this state belongs to.
- IndexedState() - Constructor for class owl.automaton.acceptance.degeneralization.BuchiDegeneralization.IndexedState
- indexMap() - Method in class owl.automaton.algorithm.SccDecomposition
- INFINITELY_OFTEN - owl.ltl.robust.Robustness
- infinitelyOften - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
-
Corresponds to gfCoSafetyAutomaton.
- infinitelyOften() - Method in class owl.ltl.robust.LabelledSplit
- infinitelyOften() - Method in class owl.ltl.robust.Split
- infSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- infSet(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- infSetCount() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- infSetIterator() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- initialComponent() - Method in class owl.automaton.AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton
- initialComponent() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- initialComponentStates() - Method in class owl.translations.nba2dpa.RankingState
- initialStateInternal(EquivalenceClass, EquivalenceClass) - Method in class owl.translations.canonical.LegacyFactory
-
Deprecated.
- initialStates - Variable in class owl.automaton.AbstractImmutableAutomaton
- initialStates() - Method in class owl.automaton.AbstractImmutableAutomaton
- initialStates() - Method in class owl.automaton.algorithm.SccDecomposition
- initialStates() - Method in class owl.automaton.algorithm.simulations.BackwardDirectSimulation
- initialStates() - Method in class owl.automaton.algorithm.simulations.ForwardDelayedSimulation
- initialStates() - Method in class owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation
- initialStates() - Method in class owl.automaton.algorithm.simulations.ForwardDirectSimulation
- initialStates() - Method in class owl.automaton.algorithm.simulations.ForwardFairSimulation
- initialStates() - Method in class owl.automaton.algorithm.simulations.SimulationGame
- initialStates() - Method in interface owl.automaton.algorithm.simulations.SimulationType
- initialStates() - Method in interface owl.automaton.Automaton
-
Returns the set of initial states, which can potentially be empty.
- initialStates() - Method in class owl.automaton.HashMapAutomaton
- initialStates() - Method in class owl.automaton.TwoPartAutomaton
- initialStates(Collection<? extends S>) - Method in class owl.automaton.HashMapAutomaton
- initialStates(Collection<? extends S>) - Method in interface owl.automaton.MutableAutomaton
-
Sets the set of initial states of the automaton.
- initialStates(Set<S>) - Method in class owl.automaton.Views.Filter.Builder
- initialStatesA() - Method in class owl.automaton.TwoPartAutomaton
- initialStatesB() - Method in class owl.automaton.TwoPartAutomaton
- initialStatesWithRemainder(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.Safety
- inner - Variable in class owl.grammar.LTLParser.UnaryOperationContext
- input() - Method in class owl.run.Pipeline
- InputReaders - Class in owl.run.modules
- inSet(int) - Method in class owl.automaton.edge.Edge
-
Test membership of this edge for a specific acceptance set.
- INSTANCE - Static variable in class owl.automaton.acceptance.AllAcceptance
- INSTANCE - Static variable in class owl.automaton.acceptance.BuchiAcceptance
- INSTANCE - Static variable in class owl.automaton.acceptance.CoBuchiAcceptance
- INSTANCE - Static variable in class owl.ltl.rewriter.PullUpXVisitor
- intersection(BitSet, BitSet) - Static method in class owl.util.BitSetUtil
- intersection(List<Automaton<S, ?>>) - Static method in class owl.automaton.BooleanOperations
- intersection(List<Automaton<S, ?>>, boolean) - Static method in class owl.automaton.BooleanOperations
- intersection(Automaton<S1, ?>, Automaton<S2, ?>) - Static method in class owl.automaton.BooleanOperations
- intersection(Automaton<S1, ?>, Automaton<S2, ?>, boolean) - Static method in class owl.automaton.BooleanOperations
- intersection(UpwardClosedSet) - Method in class owl.collections.UpwardClosedSet
- intersection(ValuationSet) - Method in class owl.collections.ValuationSet
- intersection(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- intersects(ValuationSet) - Method in class owl.collections.ValuationSet
- intersects(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- intMask() - Method in class owl.translations.nbadet.NbaDetConf
- IntVisitor - Interface in owl.ltl.visitors
- inverse(Map<S, ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
- inverse(ValuationSetFactory) - Method in class owl.collections.ValuationTree
- inverse(ValuationSetFactory, IntUnaryOperator) - Method in class owl.collections.ValuationTree
- is(Automaton.Property) - Method in class owl.automaton.AbstractImmutableAutomaton.SemiDeterministicEdgesAutomaton
- is(Automaton.Property) - Method in interface owl.automaton.Automaton
- is(Automaton.Property) - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
- IS_FIXPOINT - Static variable in class owl.translations.mastertheorem.Predicates
- IS_GREATEST_FIXPOINT - Static variable in class owl.translations.mastertheorem.Predicates
- IS_LEAST_FIXPOINT - Static variable in class owl.translations.mastertheorem.Predicates
- isAccepting(int) - Method in class owl.automaton.acceptance.ParityAcceptance
- isAccepting(int) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- isAccepting(BitSet) - Method in class owl.automaton.acceptance.OmegaAcceptance
-
Returns whether repeating these acceptance indices infinitely often would be accepting.
- isAcceptingEdge(Edge<?>) - Method in class owl.automaton.acceptance.OmegaAcceptance
-
Returns whether repeating this edge infinitely often would be accepting.
- isAlmostAll(Formula) - Static method in class owl.ltl.SyntacticFragments
- isBlockedByCoSafety(EquivalenceClass) - Method in class owl.translations.BlockingElements
- isBlockedBySafety(EquivalenceClass) - Method in class owl.translations.BlockingElements
- isBottomScc(Set<S>) - Method in class owl.automaton.algorithm.SccDecomposition
-
Determine if a given strongly connected component is bottom.
- isConstant() - Method in class owl.game.output.Aig
- isCoSafety(EquivalenceClass) - Static method in class owl.ltl.SyntacticFragments
- isCoSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
- isCoSafetySafety(Formula) - Static method in class owl.ltl.SyntacticFragments
- isDistinct(List<E>) - Static method in class owl.collections.Collections3
- isEmpty() - Method in class owl.collections.TrieMap
- isEmpty() - Method in class owl.collections.ValuationSet
- isEmpty() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- isEmpty(Automaton<S, ?>) - Static method in class owl.automaton.algorithm.LanguageEmptiness
- isEmpty(Automaton<S, ?>, Set<S>) - Static method in class owl.automaton.algorithm.LanguageEmptiness
- isEven() - Method in enum owl.game.Game.Owner
- isFalse() - Method in interface owl.ltl.EquivalenceClass
- isFgSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
- isFinite(EquivalenceClass) - Static method in class owl.ltl.SyntacticFragments
- isFinite(Formula) - Static method in class owl.ltl.SyntacticFragments
- isFSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
- isGCoSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
- isGfCoSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
- isInfinite(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- isInfinitelyOften(Formula) - Static method in class owl.ltl.SyntacticFragments
- isInstanceOf(Class<? extends OmegaAcceptance>, Class<? extends OmegaAcceptance>) - Static method in class owl.automaton.acceptance.OmegaAcceptanceCast
- isLeaf() - Method in class owl.game.output.Aig
- isLessOrEqualWeak() - Method in enum owl.cinterface.CAutomaton.Acceptance
- isLessThanParity() - Method in enum owl.cinterface.CAutomaton.Acceptance
- isLiveness() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- isLiveness() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- isNegated() - Method in class owl.game.output.LabelledAig
- isNegated() - Method in class owl.ltl.Literal
- isOdd() - Method in enum owl.game.Game.Owner
- isPureEventual() - Method in class owl.ltl.Biconditional
- isPureEventual() - Method in class owl.ltl.BooleanConstant
- isPureEventual() - Method in class owl.ltl.FOperator
- isPureEventual() - Method in class owl.ltl.Formula.BinaryTemporalOperator
- isPureEventual() - Method in class owl.ltl.Formula
- isPureEventual() - Method in class owl.ltl.Formula.NaryPropositionalOperator
- isPureEventual() - Method in class owl.ltl.GOperator
- isPureEventual() - Method in class owl.ltl.Literal
- isPureEventual() - Method in class owl.ltl.Negation
- isPureEventual() - Method in class owl.ltl.XOperator
- isPureUniversal() - Method in class owl.ltl.Biconditional
- isPureUniversal() - Method in class owl.ltl.BooleanConstant
- isPureUniversal() - Method in class owl.ltl.FOperator
- isPureUniversal() - Method in class owl.ltl.Formula.BinaryTemporalOperator
- isPureUniversal() - Method in class owl.ltl.Formula
- isPureUniversal() - Method in class owl.ltl.Formula.NaryPropositionalOperator
- isPureUniversal() - Method in class owl.ltl.GOperator
- isPureUniversal() - Method in class owl.ltl.Literal
- isPureUniversal() - Method in class owl.ltl.Negation
- isPureUniversal() - Method in class owl.ltl.XOperator
- isSafety() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- isSafety() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- isSafety(EquivalenceClass) - Static method in class owl.ltl.SyntacticFragments
- isSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
- isSafetyCoSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
- isSatisfiable(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
- isSccReachable(int, int) - Method in class owl.translations.nbadet.NbaSccInfo
-
reachability relation on SCCs.
- isSingleStep(Formula) - Static method in class owl.ltl.SyntacticFragments
- isSingleton() - Method in class owl.automaton.algorithm.simulations.MultiPebble
- isSingleton(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CAutomaton
- isStateReachable(S, S) - Method in class owl.translations.nbadet.NbaSccInfo
-
reachability relation on states.
- isSuspendable() - Method in class owl.ltl.Formula
- isTransientScc(Set<S>) - Method in class owl.automaton.algorithm.SccDecomposition
-
Determine if a given strongly connected component is transient.
- isTrue() - Method in interface 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
- isValid(Automaton<S, BuchiAcceptance>) - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
- isValid(S, Automaton<S, BuchiAcceptance>) - Method in class owl.automaton.algorithm.simulations.Transition
- isVariable() - 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.GeneralizedRabinAcceptance
- 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
- iterator(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
J
- JBddSupplier - Class in owl.factories.jbdd
- jhoafparser.extensions - package jhoafparser.extensions
-
Extensions and fixes for the jhoafparser library.
- join(String...) - Static method in class owl.util.StringUtil
K
- kCutMask(List<BitSet>, int) - Static method in class owl.translations.nbadet.SmartSucc
- kEquiv(List<BitSet>, List<BitSet>, int) - Static method in class owl.translations.nbadet.SmartSucc
-
Two trie-encoded slices are k-equiv.
- key() - Method in class owl.run.modules.OwlModule
L
- LabelledAig - Class in owl.game.output
- LabelledAig() - Constructor for class owl.game.output.LabelledAig
- LabelledFormula - Class in owl.ltl
- LabelledFormula() - Constructor for class owl.ltl.LabelledFormula
- LabelledSplit - Class in owl.ltl.robust
- LabelledSplit() - Constructor for class owl.ltl.robust.LabelledSplit
- language() - Method in interface owl.ltl.EquivalenceClass
- language() - Method in interface owl.ltl.LtlLanguageExpressible
- language() - Method in class owl.translations.ltl2ldba.AsymmetricProductState
- language() - Method in class owl.translations.ltl2ldba.SymmetricProductState
- language() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- language() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- LanguageAnalysis - Class in owl.ltl.algorithms
- LanguageContainment - Class in owl.automaton.algorithm
- LanguageEmptiness - Class in owl.automaton.algorithm
- LanguageMembership - Class in owl.automaton.algorithm
- largestAcceptanceSet() - Method in class owl.automaton.edge.Edge
-
Returns the largest acceptance set this edge is a member of, or
-1
if none. - LatexPrintVisitor - Class in owl.ltl.visitors
- LatexPrintVisitor(List<String>) - Constructor for class owl.ltl.visitors.LatexPrintVisitor
- 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
- leaf(int) - Static method in class owl.game.output.Aig
- leastFixpoints() - Method in class owl.translations.mastertheorem.Fixpoints
- leastUpperBound(List<SyntacticFragments.FormulaClass>) - Static method in class owl.ltl.SyntacticFragments.FormulaClass
- leastUpperBound(SyntacticFragments.FormulaClass) - Method in class owl.ltl.SyntacticFragments.FormulaClass
- left - Variable in class owl.grammar.LTLParser.BinaryOperationContext
- left() - Method in class owl.collections.Either
- left() - Method in class owl.game.output.Aig
- left(A) - Static method in class owl.collections.Either
- LEFT - owl.collections.Either.Type
- leftIsNegated() - Method in class owl.game.output.Aig
- leftNormalized() - Method in class owl.translations.nbadet.RankedSlice
-
Returns copy with only leftmost occurrence of each state.
- leftOperand() - Method in class owl.ltl.Biconditional
- leftOperand() - Method in class owl.ltl.Formula.BinaryTemporalOperator
- LegacyFactory - Class in owl.translations.canonical
-
Deprecated.
- LegacyFactory(Factories) - Constructor for class owl.translations.canonical.LegacyFactory
-
Deprecated.
- lessOrEquals(SyntacticFragments.FormulaClass) - Method in class owl.ltl.SyntacticFragments.FormulaClass
- level() - Method in class owl.ltl.SyntacticFragments.FormulaClass
- LIMIT_DETERMINISTIC - owl.automaton.Automaton.Property
- LimitDeterministicGeneralizedBuchiAutomaton() - Constructor for class owl.automaton.AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton
- Literal - Class in owl.ltl
- LiteralMapper - Class in owl.ltl.rewriter
- LiteralMapper.ShiftedLabelledFormula - Class in owl.ltl.rewriter
- liveness - Variable in class owl.translations.ltl2ldba.SymmetricProductState
- liveness - Variable in class owl.translations.ltl2nba.ProductState
- LOOKAHEAD_DIRECT_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
- LookaheadSimulationState() - Constructor for class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
- 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
- LTL_INPUT_MODULE - Static variable in class owl.run.modules.InputReaders
- LTL2DAFunction - Class in owl.translations
- LTL2DAFunction(Class<? extends OmegaAcceptance>, Environment) - Constructor for class owl.translations.LTL2DAFunction
- LTL2DAFunction(Environment) - Constructor for class owl.translations.LTL2DAFunction
- LTL2DAModule - Class in owl.translations.modules
- LTL2DGRAModule - Class in owl.translations.modules
- LTL2DPAFunction - Class in owl.translations.ltl2dpa
- LTL2DPAFunction(Environment, EnumSet<LTL2DPAFunction.Configuration>) - Constructor for class owl.translations.ltl2dpa.LTL2DPAFunction
- LTL2DPAFunction.Configuration - Enum in owl.translations.ltl2dpa
- LTL2DPAModule - Class in owl.translations.modules
- LTL2DRAModule - Class in owl.translations.modules
- LTL2LDBAModule - Class in owl.translations.modules
- LTL2LDGBAModule - Class in owl.translations.modules
- LTL2NAFunction - Class in owl.translations
- LTL2NAFunction(Class<? extends OmegaAcceptance>, Environment) - Constructor for class owl.translations.LTL2NAFunction
- LTL2NAFunction(Environment) - Constructor for class owl.translations.LTL2NAFunction
- LTL2NAModule - Class in owl.translations.modules
- LTL2NBAModule - Class in owl.translations.modules
- LTL2NGBAModule - Class in owl.translations.modules
- LTL2NormalFormModule - Class in owl.translations.modules
- LtlfParser - Class in owl.ltl.parser
- LtlfToLtlTranslator - Class in owl.ltl.parser
- LtlfToLtlTranslator.LtlfToLtlVisitor - Class in owl.ltl.parser
- LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor - Class in owl.ltl.parser
- LtlfToLtlVisitor(Literal) - Constructor for class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- LtlLanguageExpressible - Interface in owl.ltl
- LTLLexer - Class in owl.grammar
- LTLLexer(CharStream) - Constructor for class owl.grammar.LTLLexer
- LtlParser - Class in owl.ltl.parser
- LTLParser - Class in owl.grammar
- LTLParser(TokenStream) - Constructor for class owl.grammar.LTLParser
- LTLParser.AndExpressionContext - Class in owl.grammar
- LTLParser.AtomExpressionContext - Class in owl.grammar
- LTLParser.BinaryExpressionContext - Class in owl.grammar
- LTLParser.BinaryOpContext - Class in owl.grammar
- LTLParser.BinaryOperationContext - Class in owl.grammar
- LTLParser.BinaryUnaryContext - Class in owl.grammar
- LTLParser.BoolContext - Class in owl.grammar
- LTLParser.BooleanContext - Class in owl.grammar
- LTLParser.DoubleQuotedVariableContext - Class in owl.grammar
- LTLParser.ExpressionContext - Class in owl.grammar
- LTLParser.FormulaContext - Class in owl.grammar
- LTLParser.NestedContext - Class in owl.grammar
- LTLParser.OrExpressionContext - Class in owl.grammar
- LTLParser.SingleQuotedVariableContext - Class in owl.grammar
- LTLParser.UnaryAtomContext - Class in owl.grammar
- LTLParser.UnaryExpressionContext - Class in owl.grammar
- LTLParser.UnaryOpContext - Class in owl.grammar
- LTLParser.UnaryOperationContext - Class in owl.grammar
- LTLParser.VariableContext - Class in owl.grammar
- LTLParserBaseListener - Class in owl.grammar
-
This class provides an empty implementation of
LTLParserListener
, which can be extended to create a listener which only needs to handle a subset of the available methods. - LTLParserBaseListener() - Constructor for class owl.grammar.LTLParserBaseListener
- LTLParserBaseVisitor<T> - Class in owl.grammar
-
This class provides an empty implementation of
LTLParserVisitor
, which can be extended to create a visitor which only needs to handle a subset of the available methods. - LTLParserBaseVisitor() - Constructor for class owl.grammar.LTLParserBaseVisitor
- LTLParserListener - Interface in owl.grammar
-
This interface defines a complete listener for a parse tree produced by
LTLParser
. - LTLParserVisitor<T> - Interface in owl.grammar
-
This interface defines a complete generic visitor for a parse tree produced by
LTLParser
. - lub(CAutomaton.Acceptance) - Method in enum owl.cinterface.CAutomaton.Acceptance
M
- main(String...) - Static method in class owl.automaton.acceptance.degeneralization.BuchiDegeneralization
-
Entry-point for standalone CLI tool.
- main(String...) - Static method in class owl.automaton.algorithm.simulations.BuchiSimulation
-
Entry point for the execution of 'nbasim' start script.
- main(String...) - Static method in class owl.cinterface.CInterface
- 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.modules.LTL2DAModule
- main(String...) - Static method in class owl.translations.modules.LTL2DGRAModule
- main(String...) - Static method in class owl.translations.modules.LTL2DPAModule
- main(String...) - Static method in class owl.translations.modules.LTL2DRAModule
- main(String...) - Static method in class owl.translations.modules.LTL2LDBAModule
- main(String...) - Static method in class owl.translations.modules.LTL2LDGBAModule
- main(String...) - Static method in class owl.translations.modules.LTL2NAModule
- main(String...) - Static method in class owl.translations.modules.LTL2NBAModule
- main(String...) - Static method in class owl.translations.modules.LTL2NGBAModule
- main(String...) - Static method in class owl.translations.modules.LTL2NormalFormModule
- 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.nbadet.NbaDet
-
Entry point for nbadet tool.
- main(String...) - Static method in class owl.translations.Synthesis
- manipulate(StoredAutomaton) - Method in class jhoafparser.extensions.ToStateAcceptanceFixed
- map(Function<? super A, ? extends C>, Function<? super B, ? extends C>) - Method in class owl.collections.Either
- map(Function<? super Set<E>, ? extends Collection<? extends T>>) - Method in class owl.collections.ValuationTree
- map(Function<Pair<BitSet, Integer>, Pair<BitSet, Integer>>) - Method in class owl.translations.nbadet.RankedSlice
-
This is to avoid general stream API, but still have convenience.
- map(UnaryOperator<Formula>) - Method in class owl.ltl.Formula.NaryPropositionalOperator
- map(UnaryOperator<Formula>) - Method in class owl.ltl.robust.LabelledSplit
- map(UnaryOperator<Formula>) - Method in class owl.ltl.robust.Split
- map(UnaryOperator<Formula>, boolean) - Method in class owl.ltl.robust.Split
- mapFst(Function<A, C>) - Method in class owl.collections.NullablePair
- mapFst(Function<A, C>) - Method in class owl.collections.Pair
- mapInternal(UnaryOperator<Formula>) - Method in class owl.ltl.Formula.NaryPropositionalOperator
- mapping - Variable in class owl.ltl.rewriter.LiteralMapper.ShiftedLabelledFormula
- mapSnd(Function<B, C>) - Method in class owl.collections.NullablePair
- mapSnd(Function<B, C>) - Method in class owl.collections.Pair
- masterState() - Method in class owl.translations.rabinizer.RabinizerState
- max() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- MAX_ARRAY_LENGTH - Static variable in class owl.util.ArraysSupport
-
The maximum length of array to allocate (unless necessary).
- MAX_EVEN - owl.automaton.acceptance.ParityAcceptance.Parity
- MAX_MERGE - owl.translations.nbadet.NbaDetConf.UpdateMode
- MAX_ODD - owl.automaton.acceptance.ParityAcceptance.Parity
- maximal(Automaton<S, BuchiAcceptance>, S, ColorRefinement.Ordering, ColorRefinement.Coloring<S>) - Static method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood
-
Constructs a neighborhood for a given state under a previously computed coloring and ordering consisting of only maximal NeighborTypes.
- maximalElements(List<E>, BiPredicate<E, E>) - Static method in class owl.collections.Collections3
-
Computes a sub-list of elements which are maximal.
- maxLookahead() - Method in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- maxString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- median(int...) - Static method in class owl.util.Statistics
- memoizedFlatValues(Set<T>, Set<ValuationTree<E>>, Function<E, T>) - Method in class owl.collections.ValuationTree.Leaf
- memoizedFlatValues(Set<T>, Set<ValuationTree<E>>, Function<E, T>) - Method in class owl.collections.ValuationTree
- memoizedFlatValues(Set<T>, Set<ValuationTree<E>>, Function<E, T>) - Method in class owl.collections.ValuationTree.Node
- memoizedInverse(ValuationSetFactory, Map<ValuationTree<E>, Map<E, ValuationSet>>, IntUnaryOperator) - Method in class owl.collections.ValuationTree.Leaf
- memoizedInverse(ValuationSetFactory, Map<ValuationTree<E>, Map<E, ValuationSet>>, IntUnaryOperator) - Method in class owl.collections.ValuationTree
- memoizedInverse(ValuationSetFactory, Map<ValuationTree<E>, Map<E, ValuationSet>>, IntUnaryOperator) - Method in class owl.collections.ValuationTree.Node
- memoizedMap(Function<? super Set<E>, ? extends Collection<? extends T>>, Map<ValuationTree<E>, ValuationTree<T>>) - Method in class owl.collections.ValuationTree.Leaf
- memoizedMap(Function<? super Set<E>, ? extends Collection<? extends T>>, Map<ValuationTree<E>, ValuationTree<T>>) - Method in class owl.collections.ValuationTree
- memoizedMap(Function<? super Set<E>, ? extends Collection<? extends T>>, Map<ValuationTree<E>, ValuationTree<T>>) - Method in class owl.collections.ValuationTree.Node
- memoizedValues(Set<Set<E>>, Set<ValuationTree<E>>) - Method in class owl.collections.ValuationTree.Leaf
- memoizedValues(Set<Set<E>>, Set<ValuationTree<E>>) - Method in class owl.collections.ValuationTree
- memoizedValues(Set<Set<E>>, Set<ValuationTree<E>>) - Method in class owl.collections.ValuationTree.Node
- mergeBuchiTypePairs(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
- mergeMode() - Method in class owl.translations.nbadet.NbaDetArgs
- MIN_EVEN - owl.automaton.acceptance.ParityAcceptance.Parity
- MIN_ODD - owl.automaton.acceptance.ParityAcceptance.Parity
- minimize(Automaton<S, CoBuchiAcceptance>) - Static method in class owl.automaton.minimization.GfgCoBuchiMinimization
- minimizeEdgeImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
-
Remove all Inf edges which are implied by another Inf index of the same pair.
- minimizeMergePairs(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
-
Merge independent pairs.
- minimizeOverlap(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
-
Remove edges in a Fin set from all corresponding Inf sets.
- minimizePairImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
-
Delete all pairs which only accept if another pair accepts.
- minimizePriorities(MutableAutomaton<S, ParityAcceptance>) - Static method in class owl.automaton.acceptance.optimization.ParityAcceptanceOptimizations
-
This optimization simply determines all priorities used in each SCC and then tries to eliminate "gaps".
- minimizeSccIrrelevant(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
-
- Remove all indices from edges of an SCC which can't accept (e.g.
- mkFin(int) - Static method in class jhoafparser.extensions.BooleanExpressions
- mkInf(int) - Static method in class jhoafparser.extensions.BooleanExpressions
- modeNames - Static variable in class owl.grammar.LTLLexer
- MODULE - Static variable in class owl.automaton.acceptance.degeneralization.BuchiDegeneralization
-
Instantiation of the module.
- MODULE - Static variable in class owl.automaton.acceptance.degeneralization.RabinDegeneralization
- MODULE - Static variable in class owl.automaton.acceptance.optimization.AcceptanceOptimizations
- MODULE - Static variable in class owl.automaton.algorithm.simulations.BuchiSimulation
- MODULE - Static variable in class owl.automaton.minimization.GfgCoBuchiMinimization
- MODULE - Static variable in class owl.ltl.rewriter.SimplifierTransformer
- MODULE - Static variable in class owl.translations.delag.DelagBuilder
- MODULE - Static variable in class owl.translations.dra2dpa.IARBuilder
- MODULE - Static variable in class owl.translations.ExternalTranslator
- MODULE - Static variable in class owl.translations.modules.LTL2DAModule
- MODULE - Static variable in class owl.translations.modules.LTL2DGRAModule
- MODULE - Static variable in class owl.translations.modules.LTL2DPAModule
- MODULE - Static variable in class owl.translations.modules.LTL2DRAModule
- MODULE - Static variable in class owl.translations.modules.LTL2LDBAModule
- MODULE - Static variable in class owl.translations.modules.LTL2LDGBAModule
- MODULE - Static variable in class owl.translations.modules.LTL2NAModule
- MODULE - Static variable in class owl.translations.modules.LTL2NBAModule
- MODULE - Static variable in class owl.translations.modules.LTL2NGBAModule
- MODULE - Static variable in class owl.translations.modules.LTL2NormalFormModule
- MODULE - Static variable in class owl.translations.nba2dpa.NBA2DPA
- MODULE - Static variable in class owl.translations.nba2ldba.NBA2LDBA
- MODULE - Static variable in class owl.translations.nbadet.NbaDet
- MonitorState - Class in owl.translations.rabinizer
- MonitorState() - Constructor for class owl.translations.rabinizer.MonitorState
- monitorStates() - Method in class owl.translations.rabinizer.RabinizerState
- MOperator - Class in owl.ltl
-
Strong Release.
- MOperator(Formula, Formula) - Constructor for class owl.ltl.MOperator
- moveAtoB(A) - Method in class owl.automaton.TwoPartAutomaton
- moves() - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
- moveToArray(CDoubleArray) - Method in class owl.cinterface.CDoubleArrayList
- moveToArray(CIntArray) - Method in class owl.cinterface.CIntArrayList
- mSccs() - Method in class owl.translations.nbadet.NbaDetState
-
(remaining, unhandled) mixed SCC(s) - simple ranked slices / Safra tree(s).
- msccsStates() - Method in class owl.translations.nbadet.NbaDetConfSets
- MUELLER_SCHUPP - owl.translations.nbadet.NbaDetConf.UpdateMode
- MultiPebble<S> - Class in owl.automaton.algorithm.simulations
-
Abstracts multiple pebbles controlled by Duplicator in a multipebble simulation game.
- MultiPebble() - Constructor for class owl.automaton.algorithm.simulations.MultiPebble
- MultipebbleSimulationState() - Constructor for class owl.automaton.algorithm.simulations.SimulationStates.MultipebbleSimulationState
- MutableAutomaton<S,A extends OmegaAcceptance> - Interface in owl.automaton
-
A mutation interface extending
Automaton
. - MutableAutomatonUtil - Class in owl.automaton
- MutableAutomatonUtil.Sink - Class in owl.automaton
N
- name - Variable in exception owl.run.modules.OwlModuleRegistry.OwlModuleNotFoundException
- name() - Method in class owl.automaton.acceptance.AllAcceptance
- name() - Method in class owl.automaton.acceptance.BuchiAcceptance
- name() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
- name() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
- name() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- name() - Method in class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
- name() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- name() - Method in class owl.automaton.acceptance.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() - Method in class owl.automaton.HashMapAutomaton
- name() - Method in class owl.util.OwlVersion.NameAndVersion
- name(String) - Method in class owl.automaton.HashMapAutomaton
- name(String) - Method in interface owl.automaton.MutableAutomaton
-
Sets the name of the automaton.
- NameAndVersion() - Constructor for class owl.util.OwlVersion.NameAndVersion
- nameExtra() - Method in class owl.automaton.acceptance.BuchiAcceptance
- nameExtra() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- nameExtra() - Method in class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
- nameExtra() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- nameExtra() - Method in class owl.automaton.acceptance.OmegaAcceptance
- nameExtra() - Method in class owl.automaton.acceptance.ParityAcceptance
- nameExtra() - Method in class owl.automaton.acceptance.RabinAcceptance
- NBA2DPA - Class in owl.translations.nba2dpa
- NBA2DPA() - Constructor for class owl.translations.nba2dpa.NBA2DPA
- NBA2LDBA - Class in owl.translations.nba2ldba
- NBA2LDBA() - Constructor for class owl.translations.nba2ldba.NBA2LDBA
- NbaAdjMat<S> - Class in owl.translations.nbadet
- NbaAdjMat(Automaton<S, BuchiAcceptance>, ImmutableBiMap<S, Integer>, Set<S>, SubsumedStatesMap) - Constructor for class owl.translations.nbadet.NbaAdjMat
- NbaDet - Class in owl.translations.nbadet
-
This class provides a conversion from non-deterministic Büchi automata into deterministic parity automata.
- NbaDetArgs - Class in owl.translations.nbadet
- NbaDetArgs() - Constructor for class owl.translations.nbadet.NbaDetArgs
- NbaDetArgs.Builder - Class in owl.translations.nbadet
- NbaDetConf<S> - Class in owl.translations.nbadet
-
This is the structure containing all required information that is used in the determinization process and is obtained based on an NbaDetArgs instance.
- NbaDetConf() - Constructor for class owl.translations.nbadet.NbaDetConf
- NbaDetConf.UpdateMode - Enum in owl.translations.nbadet
- NbaDetConfSets - Class in owl.translations.nbadet
-
these sets reflect the different determinisation components to be used in the DetState i.e.
- NbaDetConfSets() - Constructor for class owl.translations.nbadet.NbaDetConfSets
- NbaDetState<S> - Class in owl.translations.nbadet
-
This is the state type of the deterministic parity automaton produced by nbadet.
- NbaDetState() - Constructor for class owl.translations.nbadet.NbaDetState
- NbaLangInclusions - Class in owl.translations.nbadet
-
This class glues available algorithms that can underapprox.
- NbaLangInclusions.SimType - Enum in owl.translations.nbadet
-
Register new simulation algorithms here.
- NbaSccInfo<S> - Class in owl.translations.nbadet
-
This class wraps SccDecomposition, assigns each SCC an integer ID (in topological order) and provides additional lookup tables to check various SCC properties and the SCC ID of states.
- NbaSccInfo() - Constructor for class owl.translations.nbadet.NbaSccInfo
- NbaSimAlgorithm<S,T> - Interface in owl.translations.nbadet
-
Interface that all pluggable language inclusion / simulation algorithms should implement.
- Negation - Class in owl.ltl
- Negation(Formula) - Constructor for class owl.ltl.Negation
- Neighborhood() - Constructor for class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood
- NeighborType() - Constructor for class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
- nested - Variable in class owl.grammar.LTLParser.NestedContext
- NestedContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.NestedContext
- NEVER - owl.ltl.robust.Robustness
- newInstance(CommandLine, Environment) - Method in interface owl.run.modules.OwlModule.Constructor
- newLength(int, int, int) - Static method in class owl.util.ArraysSupport
- NEXT - Static variable in class owl.grammar.LTLLexer
- NEXT - Static variable in class owl.grammar.LTLParser
- NEXT() - Method in class owl.grammar.LTLParser.UnaryOpContext
- nextCoSafety - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
- nnf() - Method in class owl.ltl.Biconditional
- nnf() - Method in class owl.ltl.BooleanConstant
- nnf() - Method in class owl.ltl.Conjunction
- nnf() - Method in class owl.ltl.Disjunction
- nnf() - Method in class owl.ltl.FOperator
- nnf() - Method in class owl.ltl.Formula
- nnf() - Method in class owl.ltl.GOperator
- nnf() - Method in class owl.ltl.LabelledFormula
- nnf() - Method in class owl.ltl.Literal
- nnf() - Method in class owl.ltl.MOperator
- nnf() - Method in class owl.ltl.Negation
- nnf() - Method in class owl.ltl.ROperator
- nnf() - Method in class owl.ltl.UOperator
- nnf() - Method in class owl.ltl.WOperator
- nnf() - Method in class owl.ltl.XOperator
- NNF - owl.ltl.rewriter.SimplifierFactory.Mode
- NNF - owl.ltl.SyntacticFragment
- NNF_LIGHT - owl.ltl.rewriter.SimplifierFactory.Mode
- node(Aig, boolean, Aig, boolean) - Static method in class owl.game.output.Aig
- node(Aig, Aig) - Static method in class owl.game.output.Aig
- Node() - Constructor for class owl.game.GameViews.Node
- nodeType(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CDecomposedDPA.Structure
- nonDeterministicAutomata(Factories, boolean) - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- NonDeterministicConstructions - Class in owl.translations.canonical
- NonDeterministicConstructions.CoSafety - Class in owl.translations.canonical
- NonDeterministicConstructions.FgSafety - Class in owl.translations.canonical
- NonDeterministicConstructions.GfCoSafety - Class in owl.translations.canonical
- NonDeterministicConstructions.Safety - Class in owl.translations.canonical
- NonDeterministicConstructions.Tracking - Class in owl.translations.canonical
- NonDeterministicConstructionsPortfolio<A extends OmegaAcceptance> - Class in owl.translations.canonical
- NonDeterministicConstructionsPortfolio(Class<A>, Environment) - Constructor for class owl.translations.canonical.NonDeterministicConstructionsPortfolio
- NonDeterministicEdgeMapAutomaton(ValuationSetFactory, Set<S>, A) - Constructor for class owl.automaton.AbstractImmutableAutomaton.NonDeterministicEdgeMapAutomaton
- NonDeterministicEdgesAutomaton(ValuationSetFactory, Set<S>, A) - Constructor for class owl.automaton.AbstractImmutableAutomaton.NonDeterministicEdgesAutomaton
- NonDeterministicEdgeTreeAutomaton(ValuationSetFactory, Set<S>, A) - Constructor for class owl.automaton.AbstractImmutableAutomaton.NonDeterministicEdgeTreeAutomaton
- NormalForms - Class in owl.ltl.rewriter
- Normalisation - Class in owl.translations.mastertheorem
- not() - Method in class owl.ltl.Biconditional
- not() - Method in class owl.ltl.BooleanConstant
- not() - Method in class owl.ltl.Conjunction
- not() - Method in class owl.ltl.Disjunction
- not() - Method in class owl.ltl.FOperator
- not() - Method in class owl.ltl.Formula
-
Syntactically negate this formula.
- not() - Method in class owl.ltl.GOperator
- not() - Method in class owl.ltl.LabelledFormula
- not() - Method in class owl.ltl.Literal
- not() - Method in class owl.ltl.MOperator
- not() - Method in class owl.ltl.Negation
- not() - Method in class owl.ltl.ROperator
- not() - Method in class owl.ltl.UOperator
- not() - Method in class owl.ltl.WOperator
- not() - Method in class owl.ltl.XOperator
- not(LabelledAig) - Method in class owl.game.output.AigFactory
- NOT - Static variable in class owl.grammar.LTLLexer
- NOT - Static variable in class owl.grammar.LTLParser
- NOT() - Method in class owl.grammar.LTLParser.UnaryOpContext
- notWorse(List<BitSet>, List<BitSet>, int) - Static method in class owl.translations.nbadet.SmartSucc
-
Returns whether k-cut not worse in t1 compared to t2.
- NULL_MODULE - Static variable in class owl.run.modules.OutputWriters
- NULL_SIM - owl.translations.nbadet.NbaLangInclusions.SimType
- NullablePair<A,B> - Class in owl.collections
- NullablePair() - Constructor for class owl.collections.NullablePair
O
- odd() - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
- odd() - Method in class owl.automaton.algorithm.simulations.SimulationStates.MultipebbleSimulationState
- of() - Static method in class owl.collections.UpwardClosedSet
- of() - Static method in class owl.collections.ValuationTree
- of(boolean) - Static method in class owl.ltl.BooleanConstant
- of(boolean) - Static method in class owl.run.Environment
- of(boolean, boolean) - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- of(boolean, boolean, boolean) - Static method in class owl.translations.mastertheorem.Normalisation
- of(boolean, boolean, boolean) - Static method in class owl.translations.rabinizer.RabinizerConfiguration
- of(int) - Static method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- of(int) - Static method in class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
- of(int) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- of(int) - Static method in class owl.automaton.acceptance.RabinAcceptance
- of(int) - Method in interface owl.factories.ValuationSetFactory
- of(int) - Static method in class owl.ltl.Literal
- of(int, boolean) - Static method in class owl.ltl.Literal
- of(int, E) - Static method in class owl.translations.canonical.RoundRobinState
- of(int, BitSet, ValuationSetFactory, boolean) - Static method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
- of(int, ValuationTree<E>, ValuationTree<E>) - Static method in class owl.collections.ValuationTree
- of(A, B) - Static method in class owl.collections.NullablePair
- of(A, B) - Static method in class owl.collections.Pair
- of(A, ValuationSetFactory) - Static method in class owl.automaton.HashMapAutomaton
-
Creates an empty automaton with given acceptance condition.
- of(A, ValuationSetFactory, Collection<S>, BiFunction<S, BitSet, Edge<S>>, Function<S, BitSet>) - Static method in class owl.automaton.HashMapAutomaton
- of(String, String, Supplier<Options>, OwlModule.Constructor<M>) - Static method in class owl.run.modules.OwlModule
- of(String, String, Option, OwlModule.Constructor<M>) - Static method in class owl.run.modules.OwlModule
- of(String, String, Options, OwlModule.Constructor<M>) - Static method in class owl.run.modules.OwlModule
- of(String, String, OwlModule.Constructor<M>) - Static method in class owl.run.modules.OwlModule
- of(BitSet) - Static method in class owl.collections.UpwardClosedSet
- of(BitSet) - Method in interface owl.factories.ValuationSetFactory
- of(BitSet...) - Method in interface owl.factories.ValuationSetFactory
- of(BitSet, BitSet) - Method in interface owl.factories.ValuationSetFactory
- of(Collection<? extends E>) - Static method in class owl.collections.ValuationTree
- of(Collection<? extends Formula.TemporalOperator>) - Static method in class owl.translations.mastertheorem.Fixpoints
- of(Collection<? extends Formula.TemporalOperator>, Collection<? extends Formula.TemporalOperator>) - Static method in class owl.translations.mastertheorem.Fixpoints
- of(Collection<? extends Formula>) - Static method in class owl.ltl.Conjunction
- of(Collection<? extends Formula>) - Static method in class owl.ltl.Disjunction
- of(Function<Automaton<Object, ?>, R>) - Static method in interface owl.run.modules.OwlModule.AutomatonTransformer
- of(Function<Automaton<Object, A>, R>, Class<A>) - Static method in interface owl.run.modules.OwlModule.AutomatonTransformer
- of(Function<LabelledFormula, R>) - Static method in interface owl.run.modules.OwlModule.LabelledFormulaTransformer
- of(Predicate<S>) - Static method in class owl.automaton.Views.Filter
- of(Predicate<S>, BiPredicate<S, Edge<S>>) - Static method in class owl.automaton.Views.Filter
- of(List<GeneralizedRabinAcceptance.RabinPair>) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- of(List<GeneralizedRabinAcceptance.RabinPair>) - Static method in class owl.automaton.acceptance.RabinAcceptance
- of(List<Pair<BitSet, Integer>>) - Static method in class owl.translations.nbadet.RankedSlice
-
Wraps a slice (no deep copy).
- of(Map<Integer, EquivalenceClass>) - Static method in class owl.translations.ltl2dra.SymmetricRankingState
- of(Set<ColorRefinement.NeighborType>, ValuationSet) - Static method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood
- of(Set<S>) - Static method in class owl.automaton.Views.Filter
- of(Set<S>, Predicate<S>) - Static method in class owl.automaton.Views.Filter
- of(Set<S>, Set<S>) - Static method in class owl.automaton.determinization.Determinization.BreakpointState
- of(Set<S>, SuccessorFunction<S>) - Static method in class owl.automaton.algorithm.SccDecomposition
- of(Set<S>, Game.Owner) - Static method in class owl.game.algorithms.ParityGameSolver.WinningRegions
- of(Stream<? extends Formula>) - Static method in class owl.ltl.Conjunction
- of(Stream<? extends Formula>) - Static method in class owl.ltl.Disjunction
- of(BooleanExpression<AtomAcceptance>) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- of(BooleanExpression<AtomAcceptance>) - Static method in class owl.automaton.acceptance.RabinAcceptance
- of(BooleanExpression<AtomLabel>, IntUnaryOperator) - Method in interface owl.factories.ValuationSetFactory
- of(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CAutomaton
- of(IsolateThread, ObjectHandle) - Static method in class owl.cinterface.CDecomposedDPA
- of(GeneralizedRabinAcceptance.RabinPair...) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- of(GeneralizedRabinAcceptance.RabinPair...) - Static method in class owl.automaton.acceptance.RabinAcceptance
- of(Automaton<S, ?>) - Static method in class owl.automaton.algorithm.SccDecomposition
- of(Automaton<S, B>, Set<S>) - Static method in class owl.automaton.AutomatonUtil.LimitDeterministicGeneralizedBuchiAutomaton
- of(Automaton<S, BuchiAcceptance>) - Static method in class owl.automaton.algorithm.simulations.ColorRefinement
-
Computes the color refinement (i.e.
- of(Automaton<S, BuchiAcceptance>) - Static method in class owl.translations.nbadet.NbaSccInfo
-
Compute various useful information.
- of(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Static method in class owl.automaton.algorithm.simulations.BackwardDirectSimulation
- of(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Static method in class owl.automaton.algorithm.simulations.ForwardDelayedSimulation
- of(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Static method in class owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation
- of(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Static method in class owl.automaton.algorithm.simulations.ForwardDirectSimulation
- of(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>, S, S, int, Set<Pair<S, S>>) - Static method in class owl.automaton.algorithm.simulations.ForwardFairSimulation
- of(Factories, Set<? extends Formula>, boolean) - Static method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
- of(Factories, Set<? extends Formula>, boolean) - Static method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
- of(Factories, Formula) - Static method in class owl.translations.canonical.DeterministicConstructions.CoSafety
- of(Factories, Formula) - Static method in class owl.translations.canonical.DeterministicConstructions.CoSafetySafety
- of(Factories, Formula) - Static method in class owl.translations.canonical.DeterministicConstructions.Safety
- of(Factories, Formula) - Static method in class owl.translations.canonical.DeterministicConstructions.SafetyCoSafety
- of(Factories, Formula) - Static method in class owl.translations.canonical.NonDeterministicConstructions.CoSafety
- of(Factories, Formula) - Static method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
- of(Factories, Formula) - Static method in class owl.translations.canonical.NonDeterministicConstructions.Safety
- of(ValuationSetFactory, A) - Static method in class owl.automaton.EmptyAutomaton
- of(ValuationSetFactory, S, A) - Static method in class owl.automaton.SingletonAutomaton
- of(ValuationSetFactory, S, A, BitSet) - Static method in class owl.automaton.SingletonAutomaton
- of(ValuationSetFactory, S, A, Set<Integer>) - Static method in class owl.automaton.SingletonAutomaton
- of(Aig) - Static method in class owl.game.output.LabelledAig
- of(Aig, boolean) - Static method in class owl.game.output.LabelledAig
- of(EquivalenceClass, EquivalenceClass) - Static method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting
- of(Formula) - Method in interface owl.factories.EquivalenceClassFactory
-
Create or retrieve a (propositional) equivalence class for a LTL formula.
- of(Formula) - Static method in class owl.ltl.FOperator
-
Construct a LTL-equivalent formula for F(operand).
- of(Formula) - Static method in class owl.ltl.GOperator
-
Construct a LTL-equivalent formula for G(operand).
- of(Formula) - Static method in class owl.ltl.XOperator
-
Construct a LTL-equivalent formula for X(operand).
- of(Formula...) - Static method in class owl.ltl.Conjunction
- of(Formula...) - Static method in class owl.ltl.Disjunction
- of(Formula, int) - Static method in class owl.ltl.XOperator
-
Construct a LTL-equivalent formula for X^n(operand).
- of(Formula, List<String>) - Static method in class owl.ltl.LabelledFormula
- of(Formula, Formula) - Static method in class owl.ltl.Biconditional
-
Construct a LTL-equivalent formula for (leftOperand)<->(rightOperand).
- of(Formula, Formula) - Static method in class owl.ltl.Conjunction
- of(Formula, Formula) - Static method in class owl.ltl.Disjunction
- of(Formula, Formula) - Static method in class owl.ltl.MOperator
-
Construct a LTL-equivalent formula for (leftOperand)M(rightOperand).
- of(Formula, Formula) - Static method in class owl.ltl.ROperator
-
Construct a LTL-equivalent formula for (leftOperand)R(rightOperand).
- of(Formula, Formula) - Static method in class owl.ltl.UOperator
-
Construct a LTL-equivalent formula for (leftOperand)U(rightOperand).
- of(Formula, Formula) - Static method in class owl.ltl.WOperator
-
Construct a LTL-equivalent formula for (leftOperand)W(rightOperand).
- of(Split, List<String>) - Static method in class owl.ltl.robust.LabelledSplit
- of(SyntacticFragments.Type, int) - Static method in class owl.ltl.SyntacticFragments.FormulaClass
- of(Environment, Class<? extends B>) - Static method in class owl.translations.ltl2ldba.AsymmetricLDBAConstruction
- of(Environment, Class<? extends B>) - Static method in class owl.translations.ltl2ldba.SymmetricLDBAConstruction
- of(Environment, Class<? extends R>, boolean) - Static method in class owl.translations.ltl2dra.SymmetricDRAConstruction
- of(Environment, Class<B>) - Static method in class owl.translations.ltl2nba.SymmetricNBAConstruction
- of(OwlModule.InputReader, List<OwlModule.Transformer>, OwlModule.OutputWriter) - Static method in class owl.run.Pipeline
- of(OwlModule<OwlModule.InputReader>, List<OwlModule<OwlModule.Transformer>>, OwlModule<OwlModule.Transformer>, List<OwlModule<OwlModule.Transformer>>, OwlModule<OwlModule.OutputWriter>) - Static method in class owl.run.parser.PartialModuleConfiguration
- of(NbaDetArgs, NbaSccInfo<S>, BiMap<S, Integer>) - Static method in class owl.translations.nbadet.NbaDetConfSets
- of(NbaDetConf<S>, BitSet) - Static method in class owl.translations.nbadet.NbaDetState
- of(NbaDetConf<S>, Set<S>) - Static method in class owl.translations.nbadet.NbaDetState
-
Given a set and a configuration, create a DetState to be used as an initial state.
- of(R) - Static method in class owl.translations.dra2dpa.IARState
- of(R, IntPreOrder) - Static method in class owl.translations.dra2dpa.IARState
- of(S) - Static method in class owl.automaton.acceptance.degeneralization.BuchiDegeneralization.IndexedState
- of(S) - Static method in class owl.automaton.edge.Edge
-
Creates an edge which belongs to no acceptance set.
- of(S, int) - Static method in class owl.automaton.acceptance.degeneralization.BuchiDegeneralization.IndexedState
- of(S, int) - Static method in class owl.automaton.edge.Edge
-
Creates an edge which belongs to a single acceptance set.
- of(S, BitSet) - Static method in class owl.automaton.edge.Edge
-
Creates an edge which belongs to the specified acceptance sets.
- ofGeneralized(int, int) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
- ofNullable(E) - Static method in class owl.collections.Collections3
- OinkExecutionException(String) - Constructor for exception owl.game.algorithms.OinkGameSolver.OinkExecutionException
- OinkExecutionException(String, Throwable) - Constructor for exception owl.game.algorithms.OinkGameSolver.OinkExecutionException
- OinkGameSolver - Class in owl.game.algorithms
- OinkGameSolver() - Constructor for class owl.game.algorithms.OinkGameSolver
- OinkGameSolver.OinkExecutionException - Exception in owl.game.algorithms
-
Abstracts potential errors when executing oink to solve a game.
- OmegaAcceptance - Class in owl.automaton.acceptance
- OmegaAcceptance() - Constructor for class owl.automaton.acceptance.OmegaAcceptance
- OmegaAcceptanceCast - Class in owl.automaton.acceptance
-
This class provides functionality to cast an automaton to an automaton with a more generic acceptance condition.
- onlyInitialState() - Method in class owl.automaton.AbstractImmutableAutomaton
- onlyInitialState() - Method in interface owl.automaton.Automaton
-
Returns the initial state.
- onlyInitialStateWithRemainder(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Safety
- onlyState() - Method in class owl.automaton.algorithm.simulations.MultiPebble
-
Utility function that just grabs the only contained state.
- op - Variable in class owl.grammar.LTLParser.BinaryOperationContext
- op - Variable in class owl.grammar.LTLParser.UnaryOperationContext
- operand() - Method in class owl.ltl.Formula.UnaryTemporalOperator
- operand() - Method in class owl.ltl.Negation
- operands - Variable in class owl.ltl.Formula
- OPERATOR - Static variable in class owl.ltl.rewriter.PullUpXVisitor
- operatorSymbol() - Method in class owl.ltl.Conjunction
- operatorSymbol() - Method in class owl.ltl.Disjunction
- operatorSymbol() - Method in class owl.ltl.FOperator
- operatorSymbol() - Method in class owl.ltl.Formula.NaryPropositionalOperator
- operatorSymbol() - Method in class owl.ltl.Formula.TemporalOperator
- operatorSymbol() - Method in class owl.ltl.GOperator
- operatorSymbol() - Method in class owl.ltl.MOperator
- operatorSymbol() - Method in class owl.ltl.ROperator
- operatorSymbol() - Method in class owl.ltl.UOperator
- operatorSymbol() - Method in class owl.ltl.WOperator
- operatorSymbol() - Method in class owl.ltl.XOperator
- opponent() - Method in enum owl.game.Game.Owner
- OPTIMISE_INITIAL_STATE - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- optimize(Automaton<S, A>) - Static method in class owl.automaton.acceptance.optimization.AcceptanceOptimizations
- optimizeInitialState(Automaton<S, A>) - Static method in class owl.automaton.AnnotatedStateOptimisation
-
Selects a state within the automaton as a new initial state such that the resulting automaton is smaller in size and the new initial state share the same value for
AnnotatedState.state()
. - options - Static variable in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- options - Static variable in class owl.translations.nbadet.NbaDetArgs
- options() - Method in class owl.run.modules.OwlModule
- or - Variable in class owl.grammar.LTLParser.ExpressionContext
- or(EquivalenceClass) - Method in interface 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
- original() - Method in class owl.translations.nbadet.NbaAdjMat
- output() - Method in class owl.run.Pipeline
- 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. - overrideLogLevel(Level) - Static method in class owl.translations.nbadet.NbaDet
- owl.automaton - package owl.automaton
-
This package and its subpackages contain the infrastructure for omega automata.
- owl.automaton.acceptance - package owl.automaton.acceptance
- owl.automaton.acceptance.degeneralization - package owl.automaton.acceptance.degeneralization
- owl.automaton.acceptance.optimization - package owl.automaton.acceptance.optimization
- owl.automaton.algorithm - package owl.automaton.algorithm
- owl.automaton.algorithm.simulations - package owl.automaton.algorithm.simulations
- owl.automaton.determinization - package owl.automaton.determinization
- owl.automaton.edge - package owl.automaton.edge
- owl.automaton.hoa - package owl.automaton.hoa
- owl.automaton.minimization - package owl.automaton.minimization
- owl.cinterface - package owl.cinterface
- owl.cinterface.emulation - package owl.cinterface.emulation
- owl.collections - package owl.collections
- owl.factories - package owl.factories
- owl.factories.jbdd - package owl.factories.jbdd
- owl.game - package owl.game
- owl.game.algorithms - package owl.game.algorithms
- owl.game.output - package owl.game.output
- owl.grammar - package owl.grammar
- owl.ltl - package owl.ltl
- owl.ltl.algorithms - package owl.ltl.algorithms
- owl.ltl.parser - package owl.ltl.parser
- owl.ltl.rewriter - package owl.ltl.rewriter
- owl.ltl.robust - package owl.ltl.robust
-
Implements parsing of rLTL and conversion to LTL.
- owl.ltl.util - package owl.ltl.util
- owl.ltl.visitors - package owl.ltl.visitors
- owl.run - package owl.run
-
This package (and it's sub-packages) contains a flexible infrastructure for executing various translation chains and obtaining these translation chains from the command line.
- owl.run.modules - package owl.run.modules
- owl.run.parser - package owl.run.parser
- owl.translations - package owl.translations
- owl.translations.canonical - package owl.translations.canonical
- owl.translations.delag - package owl.translations.delag
- owl.translations.dpa2safety - package owl.translations.dpa2safety
- owl.translations.dra2dpa - package owl.translations.dra2dpa
- owl.translations.ltl2dpa - package owl.translations.ltl2dpa
- owl.translations.ltl2dra - package owl.translations.ltl2dra
- owl.translations.ltl2ldba - package owl.translations.ltl2ldba
- owl.translations.ltl2nba - package owl.translations.ltl2nba
- owl.translations.mastertheorem - package owl.translations.mastertheorem
- owl.translations.modules - package owl.translations.modules
- owl.translations.nba2dpa - package owl.translations.nba2dpa
- owl.translations.nba2ldba - package owl.translations.nba2ldba
- owl.translations.nbadet - package owl.translations.nbadet
- owl.translations.rabinizer - package owl.translations.rabinizer
-
A translation from LTL to tDGRA.
- owl.util - package owl.util
- owl.util.annotation - package owl.util.annotation
- OwlModule<M extends OwlModule.Instance> - Class in owl.run.modules
- OwlModule() - Constructor for class owl.run.modules.OwlModule
- OwlModule.AutomatonTransformer - Interface in owl.run.modules
-
Derived transformer that casts the argument to an
Automaton
and optionally converts the acceptance condition if possible. - OwlModule.Constructor<M> - Interface in owl.run.modules
- OwlModule.InputReader - Interface in owl.run.modules
-
Input readers are tasked with providing input to the processing pipeline.
- OwlModule.Instance - Interface in owl.run.modules
- OwlModule.LabelledFormulaTransformer - Interface in owl.run.modules
- OwlModule.OutputWriter - Interface in owl.run.modules
-
The final piece of every pipeline, formatting the produced results and writing them on some output.
- OwlModule.Transformer - Interface in owl.run.modules
-
Transformers are the central pieces of the pipeline concept.
- 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
- owlVersion(IsolateThread, CCharPointer, UnsignedWord) - Static method in class owl.cinterface.CInterface
- OwlVersion - Class in owl.util
- OwlVersion.NameAndVersion - Class in owl.util
- owner() - Method in class owl.automaton.algorithm.simulations.SimulationType.SimulationState
- owner(S) - Method in interface owl.game.Game
- owner(T) - Method in class owl.automaton.algorithm.simulations.SimulationGame
P
- Pair<A,B> - Class in owl.collections
- Pair() - Constructor for class owl.collections.Pair
- pairs() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
-
Returns an unmodifiable view of the pair collection.
- parity() - Method in class owl.automaton.acceptance.ParityAcceptance
- PARITY - owl.cinterface.CAutomaton.Acceptance
- PARITY_MAX_EVEN - owl.cinterface.CAutomaton.Acceptance
- PARITY_MAX_ODD - owl.cinterface.CAutomaton.Acceptance
- PARITY_MIN_EVEN - owl.cinterface.CAutomaton.Acceptance
- PARITY_MIN_ODD - owl.cinterface.CAutomaton.Acceptance
- ParityAcceptance - Class in owl.automaton.acceptance
- ParityAcceptance(int, ParityAcceptance.Parity) - Constructor for class owl.automaton.acceptance.ParityAcceptance
- ParityAcceptance.Parity - Enum in owl.automaton.acceptance
- ParityAcceptanceOptimizations - Class in owl.automaton.acceptance.optimization
- ParityGameSolver - Interface in owl.game.algorithms
- ParityGameSolver.WinningRegions<S> - Class in owl.game.algorithms
- ParityUtil - Class in owl.automaton
- parse(InputStream) - Static method in class owl.ltl.robust.RobustLtlParser
- parse(String) - Static method in class owl.ltl.parser.LtlfParser
- parse(String) - Static method in class owl.ltl.parser.LtlParser
- parse(String) - Static method in class owl.ltl.robust.RobustLtlParser
- parse(String[], CommandLineParser, Options, OwlModuleRegistry) - Static method in class owl.run.parser.OwlParser
- parse(String, List<String>) - Static method in class owl.ltl.parser.LtlfParser
- parse(String, List<String>) - Static method in class owl.ltl.parser.LtlParser
- parse(List<PipelineParser.ModuleDescription>, CommandLineParser, OwlModuleRegistry, Environment) - Static method in class owl.run.parser.PipelineParser
-
Parses the given command line with the given
registry
. - parse(IsolateThread, CCharPointer) - Static method in class owl.cinterface.CAutomaton
- parse(IsolateThread, CCharPointer, CCharPointerPointer, int) - Static method in class owl.cinterface.CLabelledFormula
- parseAndTranslateToLtl(String) - Static method in class owl.ltl.parser.LtlfParser
- parseAndTranslateToLtl(String, List<String>) - Static method in class owl.ltl.parser.LtlfParser
- parseArg(String) - Method in interface owl.translations.nbadet.NbaSimAlgorithm
-
This method should parse the provided argument into the right type (e.g.
- 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
- partition(Collection<E>, BiPredicate<E, E>) - Static method in class owl.collections.Collections3
-
Partition the elements using the given relation.
- past - Variable in class owl.translations.delag.State
- Pebble<S> - Class in owl.automaton.algorithm.simulations
-
Abstraction of a single pebble in a multipebble simulation game.
- Pebble() - Constructor for class owl.automaton.algorithm.simulations.Pebble
- pebbleCount() - Method in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- pebbles() - Method in class owl.automaton.algorithm.simulations.MultiPebble
- period - Variable in class owl.automaton.UltimatelyPeriodicWord
- PG_SOLVER_OUTPUT_MODULE - Static variable in class owl.game.GameUtil
- PI - owl.ltl.SyntacticFragments.Type
- PI_1 - Static variable in class owl.ltl.SyntacticFragments
- PI_2 - Static variable in class owl.ltl.SyntacticFragments
- 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
- PipelineParser - Class in owl.run.parser
- PipelineParser.ModuleParseException - Exception in owl.run.parser
- 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.
- playerEven() - Method in class owl.game.algorithms.ParityGameSolver.WinningRegions
- playerOdd() - Method in class owl.game.algorithms.ParityGameSolver.WinningRegions
- possibleKSets(Set<S>, int) - Static method in class owl.automaton.algorithm.simulations.SimulationUtil
-
Computes all possible sets with k elements drawn from a given input set.
- powerSet() - Method in class owl.translations.nbadet.NbaDetState
-
all states present in this macro-state (states with same powerSet are lang-equiv.).
- powerSucc(BitSet, BitSet) - Method in class owl.translations.nbadet.NbaAdjMat
-
Optimized successor function for a fixed valuation.
- predecessors(Iterable<S>) - Method in interface owl.game.Game
- predecessors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
- predecessors(Automaton<S, BuchiAcceptance>, BitSet) - Method in class owl.automaton.algorithm.simulations.MultiPebble
- predecessors(Automaton<S, BuchiAcceptance>, BitSet) - Method in class owl.automaton.algorithm.simulations.Pebble
- predecessors(Automaton<S, BuchiAcceptance>, ValuationSet) - Method in class owl.automaton.algorithm.simulations.MultiPebble
- predecessors(Automaton<S, BuchiAcceptance>, ValuationSet) - Method in class owl.automaton.algorithm.simulations.Pebble
- predecessors(S) - Method in interface owl.automaton.Automaton
-
Returns the predecessors of the specified
successor
. - predecessors(S, Game.Owner) - Method in interface owl.game.Game
- Predicates - Class in owl.translations.mastertheorem
- preferredEdgeAccess() - Method in interface owl.automaton.Automaton
-
Indicate if the automaton implements a fast (e.g.
- preferredEdgeAccess() - Method in interface owl.automaton.EdgeMapAutomatonMixin
- preferredEdgeAccess() - Method in interface owl.automaton.EdgesAutomatonMixin
- preferredEdgeAccess() - Method in interface owl.automaton.EdgeTreeAutomatonMixin
- prefix - Variable in class owl.automaton.UltimatelyPeriodicWord
- prepare(Automaton<S, BuchiAcceptance>, Set<Pair<S, S>>, NbaDetArgs) - Static method in class owl.translations.nbadet.NbaDetConf
-
construct the structure containing all required information and that will be passed around as information store a lot.
- preprocess(Automaton<S, BuchiAcceptance>, NbaDetArgs) - Static method in class owl.translations.nbadet.NbaDet
-
Compute selected simulations.
- PreprocessorVisitor - Class in owl.ltl.parser
- PreprocessorVisitor() - Constructor for class owl.ltl.parser.PreprocessorVisitor
- print(OutputStream) - Method in class owl.game.output.AigerPrinter
- print(PrintWriter) - Method in class owl.game.output.AigerPrinter
- printObjectHandle(IsolateThread, ObjectHandle, CCharPointer, UnsignedWord) - Static method in class owl.cinterface.CInterface
- PrintVisitor - Class in owl.ltl.visitors
- priorityToRank(int) - Static method in class owl.translations.nbadet.NbaDetState
-
Inverse of rankToPriority.
- productState - Variable in class owl.translations.delag.State
- ProductState<T> - Class in owl.translations.delag
- ProductState - Class in owl.translations.ltl2nba
- ProductState() - Constructor for class owl.translations.delag.ProductState
- project(BitSet) - Method in class owl.collections.ValuationSet
- propagate(ExecutionException) - Static method in exception owl.run.PipelineException
- 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
- prune(List<Pair<BitSet, Integer>>) - Static method in class owl.translations.nbadet.SmartSucc
-
Take unpruned tuple, reverse operation of unprune.
- prunedWithSim(SubsumedStatesMap) - Method in class owl.translations.nbadet.RankedSlice
- 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
- PushNegOneDownVisitor() - Constructor for class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- put(List<K>, V) - Method in class owl.collections.TrieMap
-
Put value at provided key position.
- putReaders(List<OwlModule<OwlModule.InputReader>>) - Method in class owl.run.modules.OwlModuleRegistry
- putTransformers(List<OwlModule<OwlModule.Transformer>>) - Method in class owl.run.modules.OwlModuleRegistry
Q
- queryRealizabilityStatus(IsolateThread, ObjectHandle, CIntPointer, int) - Static method in class owl.cinterface.CDecomposedDPA
- quotientAutomaton(Automaton<S, A>, Function<S, T>) - Static method in class owl.automaton.Views
-
This is essentially
fmap :: (S -> T) -> Automaton<S,A> -> Automaton<T,A>
.
R
- RabinAcceptance - Class in owl.automaton.acceptance
-
This class represents a Rabin acceptance.
- RabinAcceptance.Builder - Class in owl.automaton.acceptance
- RabinDegeneralization - Class in owl.automaton.acceptance.degeneralization
- RabinDegeneralization.DegeneralizedRabinState<S> - Class in owl.automaton.acceptance.degeneralization
- RabinizerBuilder - Class in owl.translations.rabinizer
-
Central class handling the Rabinizer construction.
- RabinizerConfiguration - Class in owl.translations.rabinizer
- RabinizerConfiguration() - Constructor for class owl.translations.rabinizer.RabinizerConfiguration
- RabinizerState - Class in owl.translations.rabinizer
- RabinizerState() - Constructor for class owl.translations.rabinizer.RabinizerState
- RankedSlice - Class in owl.translations.nbadet
-
type/wrapper of ranked slices, which are just tuples of disjoint sets, with entries that are additionally to the index order also ranked by some extra total order (i.e.
- RankedSlice() - Constructor for class owl.translations.nbadet.RankedSlice
- ranking() - Method in class owl.translations.ltl2dpa.AsymmetricRankingState
- ranking() - Method in class owl.translations.ltl2dpa.SymmetricRankingState
- RankingState<S> - Class in owl.translations.nba2dpa
- RankingState() - Constructor for class owl.translations.nba2dpa.RankingState
- rankToPriority(int, boolean) - Static method in class owl.translations.nbadet.NbaDetState
-
Transform a good/bad event for a rank into a min-even priority.
- rankUpperBound(NbaDetConf<S>) - Static method in class owl.translations.nbadet.NbaDetState
-
There are at most as many non-empty ranked sets as states.
- rawFormula() - Method in class owl.ltl.rewriter.PullUpXVisitor.XFormula
- RDQUOTE - Static variable in class owl.grammar.LTLLexer
- RDQUOTE - Static variable in class owl.grammar.LTLParser
- RDQUOTE() - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
- read() - Method in class owl.cinterface.emulation.EmulatedCDoublePointer
- read() - Method in class owl.cinterface.emulation.EmulatedCIntPointer
- read(int) - Method in class owl.cinterface.emulation.EmulatedCDoublePointer
- read(int) - Method in class owl.cinterface.emulation.EmulatedCIntPointer
- read(Reader, Consumer<Object>, Supplier<Boolean>) - Method in interface owl.run.modules.OwlModule.InputReader
- read(Reader, Function<List<String>, ValuationSetFactory>) - Static method in class owl.automaton.hoa.HoaReader
- read(String, Function<List<String>, ValuationSetFactory>) - Static method in class owl.automaton.hoa.HoaReader
- read(SignedWord) - Method in class owl.cinterface.emulation.EmulatedCDoublePointer
- read(SignedWord) - Method in class owl.cinterface.emulation.EmulatedCIntPointer
- READER - owl.run.modules.OwlModuleRegistry.Type
- readStream(Reader, Function<List<String>, ValuationSetFactory>, Consumer<Automaton<HoaReader.HoaState, ?>>) - Static method in class owl.automaton.hoa.HoaReader
- realizable(Game<S, ParityAcceptance>) - Method in class owl.game.algorithms.OinkGameSolver
- realizable(Game<S, ParityAcceptance>) - Method in interface owl.game.algorithms.ParityGameSolver
- realizable(Game<S, ParityAcceptance>) - Method in class owl.game.algorithms.ZielonkaGameSolver
- REALIZABLE - owl.cinterface.CDecomposedDPA.RealizabilityStatus
- 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
- registerWriter(List<OwlModule<OwlModule.OutputWriter>>) - Method in class owl.run.modules.OwlModuleRegistry
- rejecting() - Method in class owl.automaton.determinization.Determinization.BreakpointState
- rejecting() - Method in class owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting
- 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.GeneralizedCoBuchiAcceptance
- rejectingSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
- rejectingSet() - Method in class owl.automaton.acceptance.OmegaAcceptance
-
Returns a set of indices which repeated infinitely often are rejecting or
Optional.empty()
if no such set exists. - rejectingSet() - Method in class owl.automaton.acceptance.ParityAcceptance
- rejSccs() - Method in class owl.translations.nbadet.NbaSccInfo
-
Weak rejecting SCCs (trivial or only rejecting cycles).
- relabel(IntUnaryOperator) - Method in class owl.collections.ValuationSet
- RELEASE - Static variable in class owl.grammar.LTLLexer
- RELEASE - Static variable in class owl.grammar.LTLParser
- RELEASE() - Method in class owl.grammar.LTLParser.BinaryOpContext
- removeComplementaryInfSets(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimization.GeneralizedRabinAcceptanceOptimizations
-
Delete all Inf sets which are the complement of their corresponding Fin set.
- removeDeadStates(MutableAutomaton<S, ?>) - Static method in class owl.automaton.acceptance.optimization.AcceptanceOptimizations
- removeDeadStates(MutableAutomaton<S, ?>, boolean) - Static method in class owl.automaton.acceptance.optimization.AcceptanceOptimizations
-
Remove states from the automaton that cannot belong to an infinite accepting path.
- removeEdge(S, BitSet, S) - Method in interface owl.automaton.MutableAutomaton
-
Removes all transition from
source
undervaluation
todestination
. - removeEdge(S, ValuationSet, S) - Method in class owl.automaton.HashMapAutomaton
- removeEdge(S, ValuationSet, S) - Method in interface owl.automaton.MutableAutomaton
-
Removes all transition from
source
undervaluations
todestination
. - removeInitialState(S) - Method in class owl.automaton.HashMapAutomaton
- 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 class owl.automaton.HashMapAutomaton
- 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, A>) - Static method in class owl.automaton.acceptance.optimization.AcceptanceOptimizations
- REPLACE - owl.translations.ExternalTranslator.InputMode
- replaceInitialStates(Game<S, A>, Set<S>) - Static method in class owl.game.GameViews
- representatives() - Method in class owl.collections.UpwardClosedSet
- restoreLogLevel(Map<Handler, Level>) - Static method in class owl.translations.nbadet.NbaDet
- Rewriter - Class in owl.translations.mastertheorem
- Rewriter() - Constructor for class owl.translations.mastertheorem.Rewriter
- Rewriter.ToCoSafety - Class in owl.translations.mastertheorem
- Rewriter.ToSafety - Class in owl.translations.mastertheorem
- right - Variable in class owl.grammar.LTLParser.BinaryOperationContext
- right() - Method in class owl.collections.Either
- right() - Method in class owl.game.output.Aig
- right(B) - Static method in class owl.collections.Either
- RIGHT - owl.collections.Either.Type
- rightIsNegated() - Method in class owl.game.output.Aig
- rightOperand() - Method in class owl.ltl.Biconditional
- rightOperand() - Method in class owl.ltl.Formula.BinaryTemporalOperator
- RLTL_INPUT_MODULE - Static variable in class owl.ltl.robust.RobustLtlInputReader
- RobustLtlInputReader - Class in owl.ltl.robust
- RobustLtlParser - Class in owl.ltl.robust
- Robustness - Enum in owl.ltl.robust
- root - Variable in class owl.grammar.LTLParser.FormulaContext
- ROperator - Class in owl.ltl
-
Weak Release.
- ROperator(Formula, Formula) - Constructor for class owl.ltl.ROperator
- RoundRobinState<E> - Class in owl.translations.canonical
- RoundRobinState() - Constructor for class owl.translations.canonical.RoundRobinState
- RPAREN - Static variable in class owl.grammar.LTLLexer
- RPAREN - Static variable in class owl.grammar.LTLParser
- RPAREN() - Method in class owl.grammar.LTLParser.NestedContext
- rSccs() - Method in class owl.translations.nbadet.NbaDetState
-
stores states in rej.
- rsccStates() - Method in class owl.translations.nbadet.NbaDetConfSets
- 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_expression - Static variable in class owl.grammar.LTLParser
- RULE_formula - Static variable in class owl.grammar.LTLParser
- RULE_orExpression - Static variable in class owl.grammar.LTLParser
- RULE_unaryExpression - Static variable in class owl.grammar.LTLParser
- RULE_unaryOp - Static variable in class owl.grammar.LTLParser
- ruleNames - Static variable in class owl.grammar.LTLLexer
- ruleNames - Static variable in class owl.grammar.LTLParser
- run(String[], PartialModuleConfiguration) - Static method in class owl.run.parser.PartialConfigurationParser
- run(ReadableByteChannel, WritableByteChannel) - Method in class owl.run.Pipeline
- run(CommandLine, Pipeline) - Static method in class owl.run.DefaultCli
- run(Automaton<S, BuchiAcceptance>, String) - Method in interface owl.translations.nbadet.NbaSimAlgorithm
-
This method just parses the argument provided by the user and runs the algorithm.
- RunUtil - Class in owl.run
S
- safety - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
- safety - Variable in class owl.translations.ltl2ldba.SymmetricProductState
- safety - Variable in class owl.translations.ltl2nba.ProductState
- safety() - Method in class owl.translations.delag.ProductState
- safety(Environment, LabelledFormula) - Static method in class owl.translations.canonical.DeterministicConstructionsPortfolio
- safety(Environment, LabelledFormula) - Static method in class owl.translations.canonical.NonDeterministicConstructionsPortfolio
- SAFETY - owl.cinterface.CAutomaton.Acceptance
- safetyAutomaton - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
- safetyAutomaton - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.DeterministicAutomata
- safetyAutomaton - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.NonDeterministicAutomata
- safetyBucket() - Method in class owl.translations.ltl2dpa.SymmetricRankingState
- safetyBucketIndex() - Method in class owl.translations.ltl2dpa.SymmetricRankingState
- safetyCoSafety(Environment, LabelledFormula) - Static method in class owl.translations.canonical.DeterministicConstructionsPortfolio
- safetyIndex() - Method in class owl.translations.ltl2dpa.AsymmetricRankingState
- SAFRA - owl.translations.nbadet.NbaDetConf.UpdateMode
- sanity() - Method in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- sanityCheckSuccessor(NbaDetState<S>, BitSet, Edge<NbaDetState<S>>) - Method in class owl.translations.nbadet.SmartSucc
- scc(S) - Method in class owl.automaton.algorithm.SccDecomposition
-
Find the the strongly connected component this state belongs to.
- sccDecomposition() - Method in class owl.translations.nbadet.NbaSccInfo
-
the state sets, numbered in some topological order (bottom SCCs last).
- SccDecomposition<S> - Class in owl.automaton.algorithm
-
This class provides a decomposition into strongly connected components (SCCs) of a directed graph given by either an
Automaton
or aSuccessorFunction
. - SccDecomposition() - Constructor for class owl.automaton.algorithm.SccDecomposition
- sccs() - Method in class owl.automaton.algorithm.SccDecomposition
-
Compute the list of strongly connected components.
- sccsWithoutTransient() - Method in class owl.automaton.algorithm.SccDecomposition
-
Compute the list of strongly connected components, skipping transient components.
- selectAsymmetric(Formula, boolean) - Static method in class owl.translations.mastertheorem.Selector
- Selector - Class in owl.translations.mastertheorem
- selectSymmetric(Formula, boolean) - Static method in class owl.translations.mastertheorem.Selector
- SEMI_DETERMINISTIC - owl.automaton.Automaton.Property
- SemiDeterministicEdgesAutomaton(ValuationSetFactory, Set<S>, A) - Constructor for class owl.automaton.AbstractImmutableAutomaton.SemiDeterministicEdgesAutomaton
- sepAcc() - Method in class owl.translations.nbadet.NbaDetArgs
- sepAccCyc() - Method in class owl.translations.nbadet.NbaDetArgs
- sepDet() - Method in class owl.translations.nbadet.NbaDetArgs
- sepMix() - Method in class owl.translations.nbadet.NbaDetArgs
- sepRej() - Method in class owl.translations.nbadet.NbaDetArgs
- ServerCli - Class in owl.run
- set(int, double) - Method in class owl.cinterface.CDoubleArrayList
- set(int, int) - Method in class owl.cinterface.CIntArrayList
- setAcceptingSets(MutableAutomaton<S, ParityAcceptance>) - Static method in class owl.automaton.acceptance.optimization.ParityAcceptanceOptimizations
- setComputeSims(Set<Pair<NbaLangInclusions.SimType, String>>) - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- setEven(boolean) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- setFlag(boolean) - Method in class owl.automaton.algorithm.simulations.MultiPebble
-
Sets the final flag of all contained subpebbles.
- setMax(boolean) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
- setMergeMode(NbaDetConf.UpdateMode) - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- sets() - Method in class owl.translations.nbadet.NbaDetConf
- setSepAcc(boolean) - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- setSepAccCyc(boolean) - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- setSepDet(boolean) - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- setSepMix(boolean) - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- setSepRej(boolean) - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- setSimExt(boolean) - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- setSimInt(boolean) - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- settings - Variable in exception owl.run.parser.PipelineParser.ModuleParseException
- setUsePowersets(boolean) - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- setUseSmartSucc(boolean) - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- setVerbosity(Level) - Method in class owl.translations.nbadet.NbaDetArgs.Builder
- shift(BooleanExpression<AtomAcceptance>, int) - Static method in class jhoafparser.extensions.BooleanExpressions
- shiftLiterals(LabelledFormula) - Static method in class owl.ltl.rewriter.LiteralMapper
- SIGMA - owl.ltl.SyntacticFragments.Type
- SIGMA_1 - Static variable in class owl.ltl.SyntacticFragments
- SIGMA_2 - Static variable in class owl.ltl.SyntacticFragments
- simExt() - Method in class owl.translations.nbadet.NbaDetArgs
- simInt() - Method in class owl.translations.nbadet.NbaDetArgs
- simplified() - Method in class owl.translations.mastertheorem.Fixpoints
- SimplifierFactory - Class in owl.ltl.rewriter
- SimplifierFactory.Mode - Enum in owl.ltl.rewriter
- SimplifierTransformer - Class in owl.ltl.rewriter
- simplify(IsolateThread, ObjectHandle, int, CIntPointer, int) - Static method in class owl.cinterface.CLabelledFormula
- SimulationGame<S,T extends SimulationType.SimulationState<S>> - Class in owl.automaton.algorithm.simulations
-
Wrapper class that takes a simulationType and constructs the actual game itself based on the state and transition function defined within the concrete simulationType.
- SimulationGame(SimulationType<S, T>) - Constructor for class owl.automaton.algorithm.simulations.SimulationGame
- SimulationState() - Constructor for class owl.automaton.algorithm.simulations.SimulationType.SimulationState
- SimulationStates - Class in owl.automaton.algorithm.simulations
- SimulationStates.LookaheadSimulationState<S> - Class in owl.automaton.algorithm.simulations
- SimulationStates.MultipebbleSimulationState<S> - Class in owl.automaton.algorithm.simulations
-
Holds all information necessary to implement forward multipebble simulations.
- SimulationType<S,T extends SimulationType.SimulationState<S>> - Interface in owl.automaton.algorithm.simulations
- SimulationType.SimulationState<S> - Class in owl.automaton.algorithm.simulations
- SimulationUtil - Class in owl.automaton.algorithm.simulations
- 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(Pair<BitSet, Integer>) - Static method in class owl.translations.nbadet.RankedSlice
-
Wraps a single ranked set into a slice.
- SingletonAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
- Sink() - Constructor for class owl.automaton.MutableAutomatonUtil.Sink
- size - Variable in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
- size - Variable in class owl.automaton.acceptance.GeneralizedCoBuchiAcceptance
- size() - Method in class owl.automaton.algorithm.simulations.MultiPebble
- size() - Method in interface owl.automaton.Automaton
-
Returns the number of reachable states of this automaton (its cardinality).
- size() - Method in class owl.cinterface.CDoubleArrayList
- size() - Method in class owl.cinterface.CIntArrayList
- size() - Method in class owl.collections.TrieMap
-
Returns size (O(n) operation, traverses tree).
- size() - Method in class owl.collections.ValuationSet
- SKIP_DEF - Static variable in class owl.grammar.LTLLexer
- SKIP_DEF - Static variable in class owl.grammar.LTLParser
- slice() - Method in class owl.translations.nbadet.RankedSlice
- smallestAcceptanceSet() - Method in class owl.automaton.edge.Edge
-
Returns the largest acceptance set this edge is a member of, or
Integer.MAX_VALUE
if none. - SmartSucc<S> - Class in owl.translations.nbadet
-
This class acts like a "smart cache" for the states produced during NBA determinization.
- SmartSucc(NbaDetConf<S>) - Constructor for class owl.translations.nbadet.SmartSucc
- snd() - Method in class owl.collections.NullablePair
- snd() - Method in class owl.collections.Pair
- solve(Game<S, ParityAcceptance>) - Method in class owl.game.algorithms.OinkGameSolver
- solve(Game<S, ParityAcceptance>) - Method in interface owl.game.algorithms.ParityGameSolver
- solve(Game<S, ParityAcceptance>) - Method in class owl.game.algorithms.ZielonkaGameSolver
- sortedList(Set<? extends Formula>) - Static method in class owl.ltl.Formula.NaryPropositionalOperator
- split(Automaton<S, A>, Collection<String>) - Static method in class owl.game.GameViews
- split(Automaton<S, A>, Predicate<String>) - Static method in class owl.game.GameViews
- Split - Class in owl.ltl.robust
- Split() - Constructor for class owl.ltl.robust.Split
- SplitUntilVisitor - Class in owl.ltl.rewriter
- SplitUntilVisitor() - Constructor for class owl.ltl.rewriter.SplitUntilVisitor
- SRELEASE - Static variable in class owl.grammar.LTLLexer
- SRELEASE - Static variable in class owl.grammar.LTLParser
- SRELEASE() - Method in class owl.grammar.LTLParser.BinaryOpContext
- standard() - Static method in class owl.run.Environment
- standardDeviation(int...) - Static method in class owl.util.Statistics
- state() - Method in class owl.automaton.acceptance.degeneralization.BuchiDegeneralization.IndexedState
- state() - Method in class owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState
- state() - Method in class owl.automaton.algorithm.simulations.Pebble
- state() - Method in interface owl.automaton.AnnotatedState
- state() - Method in class owl.game.GameViews.Node
- state() - Method in class owl.translations.canonical.RoundRobinState
- state() - Method in class owl.translations.dra2dpa.IARState
- state() - Method in class owl.translations.ltl2dpa.AsymmetricRankingState
- state() - Method in class owl.translations.ltl2dpa.SymmetricRankingState
- state() - Method in class owl.translations.ltl2dra.SymmetricRankingState
- State<T> - Class in owl.translations.delag
- stateAnnotation() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
- stateFilter(Predicate<S>) - Method in class owl.automaton.Views.Filter.Builder
- stateMap() - Method in class owl.translations.nbadet.NbaAdjMat
- states() - Method in class owl.automaton.AbstractImmutableAutomaton
- states() - Method in class owl.automaton.algorithm.simulations.BackwardDirectSimulation
- states() - Method in class owl.automaton.algorithm.simulations.ForwardDelayedSimulation
- states() - Method in class owl.automaton.algorithm.simulations.ForwardDirectLookaheadSimulation
- states() - Method in class owl.automaton.algorithm.simulations.ForwardDirectSimulation
- states() - Method in class owl.automaton.algorithm.simulations.ForwardFairSimulation
- states() - Method in class owl.automaton.algorithm.simulations.SimulationGame
- states() - Method in interface owl.automaton.algorithm.simulations.SimulationType
- 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.determinization.Determinization.BreakpointState
- states() - Method in class owl.automaton.HashMapAutomaton
- states() - Method in class owl.automaton.TwoPartAutomaton
- states() - Method in class owl.translations.nbadet.NbaAdjMat
- states(Game.Owner) - Method in interface owl.game.Game
- Statistics - Class in owl.util
- STDIN - owl.translations.ExternalTranslator.InputMode
- StringUtil - Class in owl.util
- subformulas(Class<E>) - Method in class owl.ltl.Formula
- subformulas(Predicate<? super Formula>) - Method in class owl.ltl.Formula
- subformulas(Predicate<? super Formula>, Function<? super Formula, E>) - Method in class owl.ltl.Formula
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Biconditional
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.BooleanConstant
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Conjunction
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Disjunction
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in interface owl.ltl.EquivalenceClass
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Formula
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Formula.TemporalOperator
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Literal
- substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Negation
- suc - Variable in class owl.collections.TrieMap
- succ(int, int) - Method in class owl.translations.nbadet.NbaAdjMat
- successor() - Method in class owl.automaton.edge.Edge
-
Get the target state of the edge.
- successor(EquivalenceClass, BitSet, EquivalenceClass) - Method in class owl.translations.canonical.LegacyFactory
-
Deprecated.
- successor(NbaDetConf<S>, BitSet) - Method in class owl.translations.nbadet.NbaDetState
- successor(NbaDetState<S>, BitSet) - Method in class owl.translations.nbadet.SmartSucc
-
Wraps successor calculation.
- successor(S, BitSet) - Method in interface owl.automaton.Automaton
-
Returns the successor of the specified
state
under the givenvaluation
. - successorFunction() - Method in class owl.automaton.algorithm.SccDecomposition
- SuccessorFunction<S> - Interface in owl.automaton
- successors(Iterable<S>) - Method in interface owl.game.Game
- successors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
- successors(Set<Edge<S>>) - Static method in class owl.automaton.edge.Edges
- successors(Automaton<S, BuchiAcceptance>, BitSet) - Method in class owl.automaton.algorithm.simulations.MultiPebble
-
Computes the set of possible successor multipebbles for a given valuation and automaton.
- successors(Automaton<S, BuchiAcceptance>, BitSet) - Method in class owl.automaton.algorithm.simulations.Pebble
-
Computes set of successor pebbles for a single valuation.
- successors(Automaton<S, BuchiAcceptance>, ValuationSet) - Method in class owl.automaton.algorithm.simulations.MultiPebble
-
Computes possible successor multipebbles for a given set of valuations and automaton.
- successors(Automaton<S, BuchiAcceptance>, ValuationSet) - Method in class owl.automaton.algorithm.simulations.Pebble
-
Computes the set of successor pebbles for a set of valuations.
- successors(S) - Method in interface owl.automaton.Automaton
-
Returns all successors of the specified
state
. - successors(S) - Method in interface owl.automaton.EdgeTreeAutomatonMixin
- successors(S) - Method in class owl.automaton.HashMapAutomaton
- successors(S) - Method in interface owl.automaton.SuccessorFunction
-
Returns all successors of the specified
state
. - successors(S, BitSet) - Method in interface owl.automaton.Automaton
-
Returns the successors of the specified
state
under the givenvaluation
. - successors(S, Game.Owner) - Method in interface owl.game.Game
- successorTree(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
- supportBasedRelevantFormulaAnalysis() - Method in class owl.translations.rabinizer.RabinizerConfiguration
- suspendableFormulaDetection() - Method in class owl.translations.rabinizer.RabinizerConfiguration
- swap() - Method in class owl.collections.NullablePair
- swap() - Method in class owl.collections.Pair
- SYMMETRIC - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
- SymmetricDRAConstruction<R extends GeneralizedRabinAcceptance> - Class in owl.translations.ltl2dra
- SymmetricEvaluatedFixpoints - Class in owl.translations.mastertheorem
- SymmetricEvaluatedFixpoints.DeterministicAutomata - Class in owl.translations.mastertheorem
- SymmetricEvaluatedFixpoints.NonDeterministicAutomata - Class in owl.translations.mastertheorem
- SymmetricLDBAConstruction<B extends GeneralizedBuchiAcceptance> - Class in owl.translations.ltl2ldba
- SymmetricNBAConstruction<B extends GeneralizedBuchiAcceptance> - Class in owl.translations.ltl2nba
- SymmetricProductState - Class in owl.translations.ltl2ldba
- SymmetricRankingState - Class in owl.translations.ltl2dpa
- SymmetricRankingState - Class in owl.translations.ltl2dra
- SymmetricRankingState() - Constructor for class owl.translations.ltl2dpa.SymmetricRankingState
- 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
- SyntacticFragments.FormulaClass - Class in owl.ltl
- SyntacticFragments.Type - Enum in owl.ltl
- SyntacticSimplifier - Class in owl.ltl.rewriter
- syntaxError(Recognizer<?, ?>, Object, int, int, String, RecognitionException) - Method in class owl.ltl.parser.TokenErrorListener
- Synthesis - Class in owl.translations
- SYNTHETIC_CO_SAFETY_LITERAL - Static variable in class owl.ltl.rewriter.NormalForms
- SYNTHETIC_SAFETY_LITERAL - Static variable in class owl.ltl.rewriter.NormalForms
- syserr - Static variable in class owl.util.GuardedStream
- sysout - Static variable in class owl.util.GuardedStream
T
- table() - Method in class owl.translations.ltl2dra.SymmetricRankingState
- temporalOperators() - Method in interface owl.ltl.EquivalenceClass
- temporalStep(BitSet) - Method in class owl.ltl.Biconditional
- 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 interface owl.ltl.EquivalenceClass
- temporalStep(BitSet) - Method in class owl.ltl.Formula.TemporalOperator
- temporalStep(BitSet) - Method in class owl.ltl.Formula
-
Do a single temporal step.
- temporalStep(BitSet) - Method in class owl.ltl.Literal
- temporalStep(BitSet) - Method in class owl.ltl.Negation
- temporalStepTree() - Method in interface owl.ltl.EquivalenceClass
- temporalStepTree(Function<EquivalenceClass, Set<T>>) - Method in interface owl.ltl.EquivalenceClass
- TO_STRING_MODULE - Static variable in class owl.run.modules.OutputWriters
- toArray() - Method in class owl.cinterface.CDoubleArrayList
- toArray() - Method in class owl.cinterface.CIntArrayList
- toBuilder() - Method in class owl.translations.nbadet.NbaDetArgs
- toCnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
- toCnf(Formula, Function<? super Formula.NaryPropositionalOperator, ? extends Collection<Formula>>) - Static method in class owl.ltl.rewriter.NormalForms
- toCnfFormula(Formula) - Static method in class owl.ltl.rewriter.NormalForms
- ToCoSafety(Iterable<? extends Formula.TemporalOperator>) - Constructor for class owl.translations.mastertheorem.Rewriter.ToCoSafety
- ToCoSafety(Fixpoints) - Constructor for class owl.translations.mastertheorem.Rewriter.ToCoSafety
- toDnf(BooleanExpression<AtomAcceptance>) - Static method in class jhoafparser.extensions.BooleanExpressions
- toDnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
- toDnf(Formula, Function<? super Formula.NaryPropositionalOperator, ? extends Collection<Formula>>) - Static method in class owl.ltl.rewriter.NormalForms
- toDnfFormula(Formula) - Static method in class owl.ltl.rewriter.NormalForms
- toExpression() - Method in class owl.collections.ValuationSet
- toExpression(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- ToHoa(boolean, boolean) - Constructor for class owl.run.modules.OutputWriters.ToHoa
- toInt(BitSet) - Static method in class owl.util.BitSetUtil
-
Converts a BitSet into an Int.
- TokenErrorListener - Class in owl.ltl.parser
- TokenErrorListener() - Constructor for class owl.ltl.parser.TokenErrorListener
- tokenNames - Static variable in class owl.grammar.LTLLexer
-
Deprecated.Use
LTLLexer.VOCABULARY
instead. - tokenNames - Static variable in class owl.grammar.LTLParser
-
Deprecated.Use
LTLParser.VOCABULARY
instead. - toLtl(EnumSet<Robustness>) - Method in class owl.ltl.robust.LabelledSplit
- toOinkInstance(Game<S, ParityAcceptance>, PrintWriter) - Method in class owl.game.algorithms.OinkGameSolver
- toPgSolver(Game<S, ParityAcceptance>, PrintWriter, boolean) - Static method in class owl.game.GameUtil
- ToSafety(Iterable<? extends Formula.TemporalOperator>) - Constructor for class owl.translations.mastertheorem.Rewriter.ToSafety
- ToSafety(Fixpoints) - Constructor for class owl.translations.mastertheorem.Rewriter.ToSafety
- toSet(BitSet, Function<Integer, S>) - Static method in class owl.util.BitSetUtil
-
Converts a BitSet into a set.
- ToStateAcceptanceFixed - Class in jhoafparser.extensions
-
Convert automaton to state-based acceptance.
- ToStateAcceptanceFixed() - Constructor for class jhoafparser.extensions.ToStateAcceptanceFixed
-
Default constructor.
- toString() - Method in class owl.automaton.acceptance.degeneralization.RabinDegeneralization.DegeneralizedRabinState
- 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.algorithm.simulations.ColorRefinement.NeighborType
- toString() - Method in class owl.automaton.algorithm.simulations.MultiPebble
- toString() - Method in class owl.automaton.algorithm.simulations.Pebble
- toString() - Method in class owl.automaton.algorithm.simulations.SimulationGame
- toString() - Method in class owl.automaton.algorithm.simulations.SimulationStates.LookaheadSimulationState
- toString() - Method in class owl.automaton.algorithm.simulations.SimulationStates.MultipebbleSimulationState
- toString() - Method in class owl.automaton.algorithm.simulations.Transition
- toString() - Method in class owl.automaton.edge.Edge
- toString() - Method in class owl.automaton.HashMapAutomaton
- toString() - Method in class owl.automaton.hoa.HoaReader.HoaState
- toString() - Method in class owl.automaton.MutableAutomatonUtil.Sink
- toString() - Method in class owl.cinterface.CDoubleArrayList
- toString() - Method in class owl.cinterface.CIntArrayList
- toString() - Method in class owl.collections.Either
- toString() - Method in class owl.collections.NullablePair
- toString() - Method in class owl.collections.Pair
- toString() - Method in class owl.collections.ValuationSet
- toString() - Method in class owl.collections.ValuationTree.Leaf
- toString() - Method in class owl.collections.ValuationTree.Node
- toString() - Method in class owl.game.GameViews.Node
- toString() - Method in class owl.ltl.Biconditional
- toString() - Method in class owl.ltl.BooleanConstant
- toString() - Method in class owl.ltl.Formula.BinaryTemporalOperator
- toString() - Method in class owl.ltl.Formula.NaryPropositionalOperator
- toString() - Method in class owl.ltl.Formula.UnaryTemporalOperator
- toString() - Method in class owl.ltl.LabelledFormula
- toString() - Method in class owl.ltl.Literal
- toString() - Method in class owl.ltl.robust.LabelledSplit
- toString() - Method in class owl.ltl.robust.Split
- toString() - Method in class owl.translations.delag.State
- toString() - Method in class owl.translations.dra2dpa.IARState
- toString() - Method in class owl.translations.ltl2dpa.AsymmetricRankingState
- toString() - Method in class owl.translations.ltl2dpa.SymmetricRankingState
- toString() - Method in class owl.translations.ltl2dra.SymmetricRankingState
- toString() - Method in class owl.translations.ltl2ldba.AsymmetricProductState
- toString() - Method in class owl.translations.ltl2ldba.SymmetricProductState
- toString() - Method in class owl.translations.ltl2nba.ProductState
- toString() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
- toString() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
- toString() - Method in class owl.translations.nba2dpa.RankingState
- toString() - Method in class owl.translations.nba2ldba.BreakpointState
- toString() - Method in class owl.translations.nbadet.NbaAdjMat
- toString() - Method in class owl.translations.nbadet.NbaDetConf
- toString() - Method in class owl.translations.nbadet.NbaDetState
-
Prints the sets of the determinization components, where each bitset is expanded into the states of the underlying NBA, i.e., usually integers numbering the states of the input NBA (more complicated objects would work, but make this rather unreadable).
- toString() - Method in class owl.translations.nbadet.NbaSccInfo
- toString() - Method in class owl.translations.nbadet.RankedSlice
- toString() - Method in class owl.translations.rabinizer.MonitorState
- toString() - Method in class owl.translations.rabinizer.RabinizerState
- toString(Function<Integer, ?>) - Method in class owl.translations.nbadet.RankedSlice
- toString(Automaton<S, ?>) - Static method in class owl.automaton.hoa.HoaWriter
- toString(Automaton<S, ?>, EnumSet<HoaWriter.HoaOption>) - Static method in class owl.automaton.hoa.HoaWriter
- 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
- toTrieEncoding() - Method in class owl.translations.nbadet.NbaDetState
-
Combined trie encoding (the det.
- toTrieEncoding(RankedSlice) - Static method in class owl.translations.nbadet.SmartSucc
-
Notice that this is only for a single slice.
- Tracking(Factories) - Constructor for class owl.translations.canonical.DeterministicConstructions.Tracking
- Tracking(Factories, Formula) - Constructor for class owl.translations.canonical.NonDeterministicConstructions.Tracking
- transform(Object) - Method in interface owl.run.modules.OwlModule.AutomatonTransformer
- transform(Object) - Method in interface owl.run.modules.OwlModule.LabelledFormulaTransformer
- transform(Object) - Method in interface owl.run.modules.OwlModule.Transformer
- transform(Automaton<Object, ?>) - Method in class owl.automaton.acceptance.optimization.AcceptanceOptimizations.AcceptanceOptimizationTransformer
- transform(Automaton<Object, ?>) - Method in interface owl.run.modules.OwlModule.AutomatonTransformer
- transform(LabelledFormula) - Method in class owl.ltl.rewriter.SimplifierTransformer
- transform(LabelledFormula) - Method in interface owl.run.modules.OwlModule.LabelledFormulaTransformer
- TRANSFORMER - owl.run.modules.OwlModuleRegistry.Type
- transformers() - Method in class owl.run.Pipeline
- transformList(List<E1>, Function<E1, E2>) - Static method in class owl.collections.Collections3
- transformMap(Map<K1, ValuationSet>, Function<K1, K2>) - Static method in class owl.collections.Collections3
- transformMap(Map<K1, V>, Function<K1, K2>, BiFunction<? super V, ? super V, ? extends V>) - Static method in class owl.collections.Collections3
- transformSet(Set<E1>, Function<E1, E2>) - Static method in class owl.collections.Collections3
- transientSccs() - Method in class owl.automaton.algorithm.SccDecomposition
-
Return indices of all strongly connected components that are transient.
- Transition<S> - Class in owl.automaton.algorithm.simulations
- Transition() - Constructor for class owl.automaton.algorithm.simulations.Transition
- translate(Formula, int) - Static method in class owl.ltl.parser.LtlfToLtlTranslator
- translation(Environment, boolean) - Static method in class owl.translations.modules.LTL2NBAModule
- translation(Environment, boolean) - Static method in class owl.translations.modules.LTL2NGBAModule
- translation(Environment, boolean, boolean) - Static method in class owl.translations.modules.LTL2LDBAModule
- translation(Environment, boolean, boolean) - Static method in class owl.translations.modules.LTL2LDGBAModule
- translation(Environment, boolean, boolean, boolean) - Static method in class owl.translations.modules.LTL2DPAModule
- translation(Environment, boolean, boolean, RabinizerConfiguration) - Static method in class owl.translations.modules.LTL2DGRAModule
- translation(Environment, boolean, boolean, RabinizerConfiguration) - Static method in class owl.translations.modules.LTL2DRAModule
- traverse(List<K>, boolean) - Method in class owl.collections.TrieMap
- TrieMap<K,V> - Class in owl.collections
-
A TrieMap is a Map with sequences as keys that are organized in a Trie for value retrieval.
- TrieMap() - Constructor for class owl.collections.TrieMap
- TriFunction<A,B,C,R> - Interface in owl.util
- trim() - Method in class owl.automaton.HashMapAutomaton
- trim() - Method in interface owl.automaton.MutableAutomaton
-
Removes unreachable states and adjust internal data structures after mutation.
- TRUE - Static variable in class owl.grammar.LTLLexer
- TRUE - Static variable in class owl.grammar.LTLParser
- TRUE - Static variable in class owl.ltl.BooleanConstant
- TRUE - Static variable in class owl.ltl.robust.Split
- TRUE() - Method in class owl.grammar.LTLParser.BoolContext
- trueChild - Variable in class owl.collections.ValuationTree.Node
- trueness() - Method in interface owl.ltl.EquivalenceClass
- trvSccs() - Method in class owl.translations.nbadet.NbaSccInfo
-
trivial SCCs.
- TwoPartAutomaton<A,B,C extends OmegaAcceptance> - Class in owl.automaton
- TwoPartAutomaton() - Constructor for class owl.automaton.TwoPartAutomaton
- type - Variable in exception owl.run.modules.OwlModuleRegistry.OwlModuleNotFoundException
- type() - Method in class owl.collections.Either
- type() - Method in class owl.ltl.SyntacticFragments.FormulaClass
- type(OwlModule<?>) - Method in class owl.run.modules.OwlModuleRegistry
- types() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.Neighborhood
U
- UltimatelyPeriodicWord - Class in owl.automaton
- UltimatelyPeriodicWord(List<BitSet>, List<BitSet>) - Constructor for class owl.automaton.UltimatelyPeriodicWord
- UnabbreviateVisitor - Class in owl.ltl.visitors
- UnabbreviateVisitor(Class<? extends Formula>...) - Constructor for class owl.ltl.visitors.UnabbreviateVisitor
- UnaryAtomContext(LTLParser.UnaryExpressionContext) - Constructor for class owl.grammar.LTLParser.UnaryAtomContext
- unaryExpression() - Method in class owl.grammar.LTLParser.BinaryOperationContext
- unaryExpression() - Method in class owl.grammar.LTLParser.BinaryUnaryContext
- unaryExpression() - Method in class owl.grammar.LTLParser
- UnaryExpressionContext() - Constructor for class owl.grammar.LTLParser.UnaryExpressionContext
- UnaryExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.UnaryExpressionContext
- 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
- UNDEFINED - Static variable in class owl.ltl.rewriter.LiteralMapper
- unfold() - Method in interface owl.ltl.EquivalenceClass
-
See
Formula.unfold()
. - unfold() - Method in class owl.ltl.FOperator
- unfold() - Method in class owl.ltl.Formula.PropositionalOperator
- unfold() - Method in class owl.ltl.Formula
- unfold() - Method in class owl.ltl.GOperator
- 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
- union(BitSet, BitSet) - Static method in class owl.util.BitSetUtil
- union(Collection<ValuationTree<E>>) - Static method in class owl.collections.ValuationTrees
- union(Set<E>, Set<E>) - Static method in class owl.collections.Collections3
- union(UpwardClosedSet) - Method in class owl.collections.UpwardClosedSet
- union(ValuationSet) - Method in class owl.collections.ValuationSet
- union(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
- union(ValuationTree<E>, ValuationTree<E>) - Static method in class owl.collections.ValuationTrees
- unionBuchi(List<Automaton<S, BuchiAcceptance>>) - Static method in class owl.automaton.BooleanOperations
-
Deprecated.
- universe() - Method in interface owl.factories.ValuationSetFactory
- universe(Set<S>, int) - Static method in class owl.automaton.algorithm.simulations.MultiPebble
-
Builds all possible multi pebbles for the given input arguments.
- universe(Automaton<S, BuchiAcceptance>) - Static method in class owl.automaton.algorithm.simulations.Pebble
-
Computes the set of all possible pebbles for an automaton.
- universe(Automaton<S, BuchiAcceptance>, int) - Static method in class owl.automaton.algorithm.simulations.MultiPebble
- universe(S) - Static method in class owl.automaton.algorithm.simulations.Pebble
-
Computes the set of all possible pebbles for a given state.
- UNKNOWN - owl.cinterface.CDecomposedDPA.RealizabilityStatus
- unprune(List<Pair<BitSet, Integer>>) - Static method in class owl.translations.nbadet.SmartSucc
-
Takes content of a ranked slice, returns a "unpruned" version, i.e., labels contain states of whole subtree unpruned nodes in rank order uniquely determine a rank slice and are useful for storing ranked slices in k-equiv-aware lookup table (trie)
- UNREALIZABLE - owl.cinterface.CDecomposedDPA.RealizabilityStatus
- UNTIL - Static variable in class owl.grammar.LTLLexer
- UNTIL - Static variable in class owl.grammar.LTLParser
- UNTIL() - Method in class owl.grammar.LTLParser.BinaryOpContext
- UNUSED - owl.cinterface.CLabelledFormula.AtomicPropositionStatus
- 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 class owl.automaton.HashMapAutomaton
- 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 class owl.automaton.HashMapAutomaton
- updateEdges(Set<? extends S>, BiFunction<? super S, Edge<S>, Edge<S>>) - Method in interface owl.automaton.MutableAutomaton
-
Remaps each outgoing edge of the specified
states
according toupdater
. - UpwardClosedSet - Class in owl.collections
-
Bucket-based implementation of an upward-closed set.
- USED - owl.cinterface.CLabelledFormula.AtomicPropositionStatus
- usePowersets() - Method in class owl.translations.nbadet.NbaDetArgs
- useSmartSucc() - Method in class owl.translations.nbadet.NbaDetArgs
V
- valuation() - Method in class owl.automaton.algorithm.simulations.ColorRefinement.NeighborType
- valuation() - Method in class owl.automaton.algorithm.simulations.SimulationStates.MultipebbleSimulationState
- ValuationSet - Class in owl.collections
- ValuationSet() - Constructor for class owl.collections.ValuationSet
- ValuationSetFactory - Interface in owl.factories
- ValuationTree<E> - Class in owl.collections
- ValuationTree.Leaf<E> - Class in owl.collections
- ValuationTree.Node<E> - Class in owl.collections
- ValuationTrees - Class in owl.collections
- value - Variable in class owl.collections.ValuationTree.Leaf
- value - Variable in class owl.ltl.BooleanConstant
- valueOf(String) - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.automaton.Automaton.PreferredEdgeAccess
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.automaton.Automaton.Property
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.automaton.hoa.HoaWriter.HoaOption
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.cinterface.CAutomaton.Acceptance
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.cinterface.CDecomposedDPA.RealizabilityStatus
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.cinterface.CDecomposedDPA.Structure.NodeType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.cinterface.CLabelledFormula.AtomicPropositionStatus
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.collections.Either.Type
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.game.Game.Owner
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.ltl.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.SyntacticFragments.Type
-
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.ExternalTranslator.InputMode
-
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.nbadet.NbaDetConf.UpdateMode
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.translations.nbadet.NbaLangInclusions.SimType
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.automaton.Automaton.PreferredEdgeAccess
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.automaton.Automaton.Property
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.automaton.hoa.HoaWriter.HoaOption
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.cinterface.CAutomaton.Acceptance
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.cinterface.CDecomposedDPA.RealizabilityStatus
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.cinterface.CDecomposedDPA.Structure.NodeType
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.cinterface.CLabelledFormula.AtomicPropositionStatus
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.collections.Either.Type
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Method in class owl.collections.ValuationTree
- values() - Static method in enum owl.game.Game.Owner
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.ltl.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.SyntacticFragments.Type
-
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.ExternalTranslator.InputMode
-
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.nbadet.NbaDetConf.UpdateMode
-
Returns an array containing the constants of this enum type, in the order they are declared.
- values() - Static method in enum owl.translations.nbadet.NbaLangInclusions.SimType
-
Returns an array containing the constants of this enum type, in the order they are declared.
- variable - Variable in class owl.collections.ValuationTree.Node
- variable - Variable in class owl.grammar.LTLParser.DoubleQuotedVariableContext
- variable - Variable in class owl.grammar.LTLParser.SingleQuotedVariableContext
- variable - Variable in class owl.grammar.LTLParser.VariableContext
- variable() - Method in class owl.game.output.Aig
- VARIABLE - Static variable in class owl.grammar.LTLLexer
- VARIABLE - Static variable in class owl.grammar.LTLParser
- VARIABLE() - Method in class owl.grammar.LTLParser.VariableContext
- VariableContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.VariableContext
- variables() - Method in class owl.ltl.robust.LabelledSplit
- variables(Game.Owner) - Method in class owl.automaton.algorithm.simulations.SimulationGame
- variables(Game.Owner) - Method in interface owl.game.Game
- verboseFine() - Method in class owl.automaton.algorithm.simulations.BuchiSimulationArguments
- verbosity() - Method in class owl.translations.nbadet.NbaDetArgs
- version() - Method in class owl.util.OwlVersion.NameAndVersion
- Views - Class in owl.automaton
- Views.Filter<S> - Class in owl.automaton
- Views.Filter.Builder<S> - Class in owl.automaton
- visit(Biconditional) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- visit(Biconditional) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(Biconditional) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(Biconditional) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(Biconditional) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(Biconditional) - Method in class owl.ltl.rewriter.SyntacticSimplifier
- visit(Biconditional) - Method in class owl.ltl.visitors.Converter
- visit(Biconditional) - Method in interface owl.ltl.visitors.IntVisitor
- visit(Biconditional) - Method in class owl.ltl.visitors.PrintVisitor
- visit(Biconditional) - Method in interface owl.ltl.visitors.Visitor
- visit(Biconditional, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(BooleanConstant) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- visit(BooleanConstant) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(BooleanConstant) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(BooleanConstant) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(BooleanConstant) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(BooleanConstant) - Method in class owl.ltl.rewriter.SyntacticSimplifier
- visit(BooleanConstant) - Method in class owl.ltl.visitors.Converter
- visit(BooleanConstant) - Method in interface owl.ltl.visitors.IntVisitor
- visit(BooleanConstant) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(BooleanConstant) - Method in class owl.ltl.visitors.PrintVisitor
- visit(BooleanConstant) - Method in interface owl.ltl.visitors.Visitor
- visit(BooleanConstant) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(BooleanConstant, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(Conjunction) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- visit(Conjunction) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(Conjunction) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(Conjunction) - Method in class owl.ltl.rewriter.CombineUntilVisitor
- visit(Conjunction) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(Conjunction) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(Conjunction) - Method in class owl.ltl.rewriter.SyntacticSimplifier
- visit(Conjunction) - Method in class owl.ltl.visitors.Converter
- visit(Conjunction) - Method in interface owl.ltl.visitors.IntVisitor
- visit(Conjunction) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(Conjunction) - Method in class owl.ltl.visitors.PrintVisitor
- visit(Conjunction) - Method in interface owl.ltl.visitors.Visitor
- visit(Conjunction) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(Conjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(Disjunction) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- visit(Disjunction) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(Disjunction) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(Disjunction) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(Disjunction) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(Disjunction) - Method in class owl.ltl.rewriter.SyntacticSimplifier
- visit(Disjunction) - Method in class owl.ltl.visitors.Converter
- visit(Disjunction) - Method in interface owl.ltl.visitors.IntVisitor
- visit(Disjunction) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(Disjunction) - Method in class owl.ltl.visitors.PrintVisitor
- visit(Disjunction) - Method in interface owl.ltl.visitors.Visitor
- visit(Disjunction) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(Disjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(FOperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- visit(FOperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(FOperator) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(FOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(FOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(FOperator) - Method in class owl.ltl.rewriter.SyntacticSimplifier
- visit(FOperator) - Method in class owl.ltl.visitors.Converter
- visit(FOperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(FOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(FOperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(FOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(FOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(FOperator) - Method in interface owl.ltl.visitors.Visitor
- visit(FOperator) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(FOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- visit(FOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- visit(FOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(Formula.TemporalOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(Formula.TemporalOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(GOperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- visit(GOperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(GOperator) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(GOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(GOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(GOperator) - Method in class owl.ltl.rewriter.SyntacticSimplifier
- visit(GOperator) - Method in class owl.ltl.visitors.Converter
- visit(GOperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(GOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(GOperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(GOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(GOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(GOperator) - Method in interface owl.ltl.visitors.Visitor
- visit(GOperator) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(GOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- visit(GOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- visit(GOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(Literal) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- visit(Literal) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(Literal) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(Literal) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(Literal) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(Literal) - Method in class owl.ltl.rewriter.SyntacticSimplifier
- visit(Literal) - Method in class owl.ltl.visitors.Converter
- visit(Literal) - Method in interface owl.ltl.visitors.IntVisitor
- visit(Literal) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(Literal) - Method in class owl.ltl.visitors.PrintVisitor
- visit(Literal) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(Literal) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(Literal) - Method in interface owl.ltl.visitors.Visitor
- visit(Literal) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(Literal, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(MOperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- visit(MOperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(MOperator) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(MOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(MOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(MOperator) - Method in class owl.ltl.rewriter.SyntacticSimplifier
- visit(MOperator) - Method in class owl.ltl.visitors.Converter
- visit(MOperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(MOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(MOperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(MOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(MOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(MOperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
- visit(MOperator) - Method in interface owl.ltl.visitors.Visitor
- visit(MOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- visit(MOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- visit(MOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(Negation) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- visit(Negation) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(Negation) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(Negation) - Method in interface owl.ltl.visitors.IntVisitor
- visit(Negation) - Method in class owl.ltl.visitors.PrintVisitor
- visit(Negation) - Method in interface owl.ltl.visitors.Visitor
- visit(Negation, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(ROperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- visit(ROperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(ROperator) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(ROperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(ROperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(ROperator) - Method in class owl.ltl.rewriter.SyntacticSimplifier
- visit(ROperator) - Method in class owl.ltl.visitors.Converter
- visit(ROperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(ROperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(ROperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(ROperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(ROperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(ROperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
- visit(ROperator) - Method in interface owl.ltl.visitors.Visitor
- visit(ROperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- visit(ROperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- visit(ROperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(UOperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- visit(UOperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(UOperator) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(UOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(UOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(UOperator) - Method in class owl.ltl.rewriter.SplitUntilVisitor
- visit(UOperator) - Method in class owl.ltl.rewriter.SyntacticSimplifier
- visit(UOperator) - Method in class owl.ltl.visitors.Converter
- visit(UOperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(UOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(UOperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(UOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(UOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(UOperator) - Method in interface owl.ltl.visitors.Visitor
- visit(UOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- visit(UOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- visit(UOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(WOperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor.PushNegOneDownVisitor
- visit(WOperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(WOperator) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(WOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(WOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(WOperator) - Method in class owl.ltl.rewriter.SyntacticSimplifier
- visit(WOperator) - Method in class owl.ltl.visitors.Converter
- visit(WOperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(WOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(WOperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(WOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(WOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(WOperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
- visit(WOperator) - Method in interface owl.ltl.visitors.Visitor
- visit(WOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
- visit(WOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
- visit(WOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(XOperator) - Method in class owl.ltl.parser.LtlfToLtlTranslator.LtlfToLtlVisitor
- visit(XOperator) - Method in class owl.ltl.parser.PreprocessorVisitor
- visit(XOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
- visit(XOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
- visit(XOperator) - Method in class owl.ltl.rewriter.SyntacticSimplifier
- visit(XOperator) - Method in class owl.ltl.visitors.Converter
- visit(XOperator) - Method in interface owl.ltl.visitors.IntVisitor
- visit(XOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
- visit(XOperator) - Method in class owl.ltl.visitors.PrintVisitor
- visit(XOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
- visit(XOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
- visit(XOperator) - Method in interface owl.ltl.visitors.Visitor
- visit(XOperator) - Method in class owl.ltl.visitors.XDepthVisitor
- visit(XOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
- visit(S, BitSet, Edge<S>) - Method in interface owl.automaton.Automaton.EdgeVisitor
-
An outgoing edge of the state, might be called several times.
- visit(S, Map<Edge<S>, ValuationSet>) - Method in interface owl.automaton.Automaton.EdgeMapVisitor
-
The edge map associated with the state.
- visit(S, ValuationTree<Edge<S>>) - Method in interface owl.automaton.Automaton.EdgeTreeVisitor
-
The edge map associated with the state.
- visitAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.andExpression()
. - visitAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.andExpression()
. - visitBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.binaryOp()
. - visitBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.binaryOp()
. - visitBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
binaryOperation
labeled alternative inLTLParser.binaryExpression()
. - visitBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
binaryOperation
labeled alternative inLTLParser.binaryExpression()
. - visitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
binaryUnary
labeled alternative inLTLParser.binaryExpression()
. - visitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
binaryUnary
labeled alternative inLTLParser.binaryExpression()
. - visitBool(LTLParser.BoolContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.bool()
. - visitBool(LTLParser.BoolContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.bool()
. - visitBoolean(LTLParser.BooleanContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
boolean
labeled alternative inLTLParser.atomExpression()
. - visitBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
boolean
labeled alternative inLTLParser.atomExpression()
. - visitConjunction(Collection<Formula>, boolean) - Static method in class owl.ltl.rewriter.SyntacticSimplifier
- visitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
doubleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - visitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
doubleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - visitErrorNode(ErrorNode) - Method in class owl.grammar.LTLParserBaseListener
- visitExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.expression()
. - visitExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.expression()
. - visitFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.formula()
. - visitFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.formula()
. - 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()
. - visitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
singleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - visitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
singleQuotedVariable
labeled alternative inLTLParser.atomExpression()
. - visitTerminal(TerminalNode) - Method in class owl.grammar.LTLParserBaseListener
- visitUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
unaryAtom
labeled alternative inLTLParser.unaryExpression()
. - visitUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
unaryAtom
labeled alternative inLTLParser.unaryExpression()
. - visitUnaryOp(LTLParser.UnaryOpContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by
LTLParser.unaryOp()
. - visitUnaryOp(LTLParser.UnaryOpContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by
LTLParser.unaryOp()
. - visitUnaryOperation(LTLParser.UnaryOperationContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
unaryOperation
labeled alternative inLTLParser.unaryExpression()
. - visitUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
unaryOperation
labeled alternative inLTLParser.unaryExpression()
. - visitVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
Visit a parse tree produced by the
variable
labeled alternative inLTLParser.atomExpression()
. - visitVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserVisitor
-
Visit a parse tree produced by the
variable
labeled alternative inLTLParser.atomExpression()
. - VOCABULARY - Static variable in class owl.grammar.LTLLexer
- VOCABULARY - Static variable in class owl.grammar.LTLParser
- vsFactory - Variable in class owl.factories.Factories
W
- WEAK - owl.cinterface.CAutomaton.Acceptance
- weakestBadPrio(NbaDetConf<S>) - Static method in class owl.translations.nbadet.NbaDetState
-
Some weakly bad event that can not be caused by any real set with rank.
- withAcceptance(int) - Method in class owl.automaton.edge.Edge
- withAcceptance(BitSet) - Method in class owl.automaton.edge.Edge
- withAcceptance(IntUnaryOperator) - Method in class owl.automaton.edge.Edge
- withAcceptanceSets(int) - Method in class owl.automaton.acceptance.ParityAcceptance
- withFlag(boolean) - Method in class owl.automaton.algorithm.simulations.Pebble
-
Sets the flag of a pebble.
- without(BitSet, BitSet) - Static method in class owl.util.BitSetUtil
- withoutAcceptance() - Method in class owl.automaton.edge.Edge
- withoutEmptySets() - Method in class owl.translations.nbadet.RankedSlice
-
Returns copy without empty sets.
- withParity(ParityAcceptance.Parity) - Method in class owl.automaton.acceptance.ParityAcceptance
- withSuccessor(T) - Method in class owl.automaton.edge.Edge
-
Returns an edge which has the same acceptance but the given state as successor.
- withUpdateMode(NbaDetConf.UpdateMode) - Method in class owl.translations.nbadet.NbaDetConf
- 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(double) - Method in class owl.cinterface.emulation.EmulatedCDoublePointer
- write(int) - Method in class owl.cinterface.emulation.EmulatedCIntPointer
- write(int, double) - Method in class owl.cinterface.emulation.EmulatedCDoublePointer
- write(int, int) - Method in class owl.cinterface.emulation.EmulatedCIntPointer
- write(Writer, Object) - Method in class owl.run.modules.OutputWriters.AutomatonStats
- write(Writer, Object) - Method in class owl.run.modules.OutputWriters.ToHoa
- write(Writer, Object) - Method in interface owl.run.modules.OwlModule.OutputWriter
- write(SignedWord, double) - Method in class owl.cinterface.emulation.EmulatedCDoublePointer
- write(SignedWord, int) - Method in class owl.cinterface.emulation.EmulatedCIntPointer
- write(Automaton<S, ?>, HOAConsumer) - Static method in class owl.automaton.hoa.HoaWriter
- write(Automaton<S, ?>, HOAConsumer, EnumSet<HoaWriter.HoaOption>) - Static method in class owl.automaton.hoa.HoaWriter
- 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.ZielonkaGameSolver
- ZielonkaGameSolver - Class in owl.game.algorithms
- ZielonkaGameSolver() - Constructor for class owl.game.algorithms.ZielonkaGameSolver
- zielonkaRealizability(Game<S, ParityAcceptance>) - Static method in class owl.game.algorithms.ZielonkaGameSolver
_
- _ATN - Static variable in class owl.grammar.LTLLexer
- _ATN - Static variable in class owl.grammar.LTLParser
- _decisionToDFA - Static variable in class owl.grammar.LTLLexer
- _decisionToDFA - Static variable in class owl.grammar.LTLParser
- _serializedATN - Static variable in class owl.grammar.LTLLexer
- _serializedATN - Static variable in class owl.grammar.LTLParser
- _sharedContextCache - Static variable in class owl.grammar.LTLLexer
- _sharedContextCache - Static variable in class owl.grammar.LTLParser
All Classes All Packages