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

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 under valuation.
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 under valuations.
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 into target.
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 given valuation.
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 given valuation.
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 in LTLParser.binaryExpression().
enterBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
enterBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
enterBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
enterBool(LTLParser.BoolContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by LTLParser.bool().
enterBool(LTLParser.BoolContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by LTLParser.bool().
enterBoolean(LTLParser.BooleanContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
enterBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
enterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
enterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
enterEveryRule(ParserRuleContext) - Method in class owl.grammar.LTLParserBaseListener
enterExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by LTLParser.expression().
enterExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by LTLParser.expression().
enterFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by LTLParser.formula().
enterFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by LTLParser.formula().
enterNested(LTLParser.NestedContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the nested labeled alternative in LTLParser.atomExpression().
enterNested(LTLParser.NestedContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the nested labeled alternative in LTLParser.atomExpression().
enterOrExpression(LTLParser.OrExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by LTLParser.orExpression().
enterOrExpression(LTLParser.OrExpressionContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by LTLParser.orExpression().
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.AndExpressionContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOpContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOperationContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BoolContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BooleanContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ExpressionContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FormulaContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.NestedContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.OrExpressionContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryAtomContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOpContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOperationContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.VariableContext
 
enterSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
enterSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
enterUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
enterUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
enterUnaryOp(LTLParser.UnaryOpContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by LTLParser.unaryOp().
enterUnaryOp(LTLParser.UnaryOpContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by LTLParser.unaryOp().
enterUnaryOperation(LTLParser.UnaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
enterUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
enterVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
enterVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
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 in LTLParser.binaryExpression().
exitBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
exitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
exitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
exitBool(LTLParser.BoolContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by LTLParser.bool().
exitBool(LTLParser.BoolContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by LTLParser.bool().
exitBoolean(LTLParser.BooleanContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
exitBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
exitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
exitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
exitEveryRule(ParserRuleContext) - Method in class owl.grammar.LTLParserBaseListener
exitExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by LTLParser.expression().
exitExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by LTLParser.expression().
exitFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by LTLParser.formula().
exitFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by LTLParser.formula().
exitNested(LTLParser.NestedContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the nested labeled alternative in LTLParser.atomExpression().
exitNested(LTLParser.NestedContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the nested labeled alternative in LTLParser.atomExpression().
exitOrExpression(LTLParser.OrExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by LTLParser.orExpression().
exitOrExpression(LTLParser.OrExpressionContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by LTLParser.orExpression().
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.AndExpressionContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOpContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOperationContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BoolContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BooleanContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ExpressionContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FormulaContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.NestedContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.OrExpressionContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryAtomContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOpContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOperationContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.VariableContext
 
exitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
exitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
exitUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
exitUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
exitUnaryOp(LTLParser.UnaryOpContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by LTLParser.unaryOp().
exitUnaryOp(LTLParser.UnaryOpContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by LTLParser.unaryOp().
exitUnaryOperation(LTLParser.UnaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
exitUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
exitVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
exitVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
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 calls System.exit(int) with 1.
failWithMessage(String, Throwable) - Static method in class owl.run.RunUtil
Prints given message on standard error and calls System.exit(int) with 1 and logs the given cause.
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() upon OutputStream.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
Utility class used to parse a pipeline description based on a registry.
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 under valuation to destination.
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 under valuations to destination.
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 a SuccessorFunction.
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 given valuation.
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 given valuation.
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.
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
Creates a new List by applying the transformer on each element of list.
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
Creates a new Set by applying the transformer on each element of set.
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
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 to updater.
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 in LTLParser.binaryExpression().
visitBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
visitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
visitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the binaryUnary labeled alternative in LTLParser.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 in LTLParser.atomExpression().
visitBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the boolean labeled alternative in LTLParser.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 in LTLParser.atomExpression().
visitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.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 in LTLParser.atomExpression().
visitNested(LTLParser.NestedContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the nested labeled alternative in LTLParser.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 in LTLParser.atomExpression().
visitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.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 in LTLParser.unaryExpression().
visitUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the unaryAtom labeled alternative in LTLParser.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 in LTLParser.unaryExpression().
visitUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
visitVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
visitVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the variable labeled alternative in LTLParser.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
 
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