A B C D E F G H I J L M N O P R S T U V W X Z _

## A

AbstractAcceptingComponentBuilder<S,T extends OmegaAcceptance,U extends RecurringObligation> - Class in owl.translations.ltl2ldba
AbstractAcceptingComponentBuilder(Set<LTL2LDBAFunction.Configuration>, Factories) - Constructor for class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
AbstractAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
AbstractAutomaton(ValuationSetFactory, A, Set<S>) - Constructor for class owl.automaton.AbstractAutomaton
AbstractBuilder<S,T,A,L,B extends GeneralizedBuchiAcceptance> - Class in owl.translations.ldba2dpa
AbstractBuilder(LimitDeterministicAutomaton<S, T, B, A>, LanguageLattice<T, A, L>, Predicate<? super S>, boolean) - Constructor for class owl.translations.ldba2dpa.AbstractBuilder
AbstractFormula - Class in owl.ltl
AbstractFormula() - Constructor for class owl.ltl.AbstractFormula
AbstractJumpManager<X extends RecurringObligation> - Class in owl.translations.ltl2ldba
AbstractJumpManager(Set<LTL2LDBAFunction.Configuration>, EquivalenceClassFactory, Set<Formula>, Formula) - Constructor for class owl.translations.ltl2ldba.AbstractJumpManager
AbstractLTL2LDBAModule - Class in owl.translations.ltl2ldba
AbstractLTL2LDBAModule() - Constructor for class owl.translations.ltl2ldba.AbstractLTL2LDBAModule
accept(int, int) - Method in interface owl.util.IntBiConsumer
accept(Object) - Method in interface owl.run.modules.InputReaders.CheckedCallback
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.AndExpressionContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BinaryOpContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BinaryOperationContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BoolContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BooleanContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.ComparisonContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.ExpressionContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.FormulaContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.FractionContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.FrequencyOpContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.NestedContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.OrExpressionContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.ProbabilityContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.UnaryAtomContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.UnaryOpContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.UnaryOperationContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.VariableContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.TLSFParser.InputContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.TLSFParser.OutputContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.TLSFParser.SemanticsContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.TLSFParser.SpecificationContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.TLSFParser.TargetContext
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.TLSFParser.TlsfContext
accept(Automaton.EdgeVisitor<S>) - Method in interface owl.automaton.Automaton
accept(Automaton.EdgeVisitor<S>) - Method in class owl.automaton.ImplicitCachedStatesAutomaton
accept(Automaton.HybridVisitor<S>) - Method in interface owl.automaton.Automaton
  Traverse all edges of the automaton using the preferred visitor style.
accept(Automaton.LabelledEdgeVisitor<S>) - Method in interface owl.automaton.Automaton
accept(Automaton.LabelledEdgeVisitor<S>) - Method in class owl.automaton.ImplicitCachedStatesAutomaton
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.BooleanConstant
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.Conjunction
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.Disjunction
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.FOperator
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.FrequencyG
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.GOperator
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.Literal
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.MOperator
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.ROperator
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.UOperator
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.WOperator
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.XOperator
accept(BinaryVisitor<P, R>, P) - Method in class owl.ltl.Biconditional
accept(BinaryVisitor<P, R>, P) - Method in interface owl.ltl.Formula
accept(BinaryVisitor<P, R>, P) - Method in class owl.ltl.LabelledFormula
accept(IntVisitor) - Method in class owl.ltl.Biconditional
accept(IntVisitor) - Method in class owl.ltl.BooleanConstant
accept(IntVisitor) - Method in class owl.ltl.Conjunction
accept(IntVisitor) - Method in class owl.ltl.Disjunction
accept(IntVisitor) - Method in class owl.ltl.FOperator
accept(IntVisitor) - Method in interface owl.ltl.Formula
accept(IntVisitor) - Method in class owl.ltl.GOperator
accept(IntVisitor) - Method in class owl.ltl.LabelledFormula
accept(IntVisitor) - Method in class owl.ltl.Literal
accept(IntVisitor) - Method in class owl.ltl.MOperator
accept(IntVisitor) - Method in class owl.ltl.ROperator
accept(IntVisitor) - Method in class owl.ltl.UOperator
accept(IntVisitor) - Method in class owl.ltl.WOperator
accept(IntVisitor) - Method in class owl.ltl.XOperator
accept(Visitor<R>) - Method in class owl.ltl.Biconditional
accept(Visitor<R>) - Method in class owl.ltl.BooleanConstant
accept(Visitor<R>) - Method in class owl.ltl.Conjunction
accept(Visitor<R>) - Method in class owl.ltl.Disjunction
accept(Visitor<R>) - Method in class owl.ltl.FOperator
accept(Visitor<R>) - Method in interface owl.ltl.Formula
accept(Visitor<R>) - Method in class owl.ltl.FrequencyG
accept(Visitor<R>) - Method in class owl.ltl.GOperator
accept(Visitor<R>) - Method in class owl.ltl.LabelledFormula
accept(Visitor<R>) - Method in class owl.ltl.Literal
accept(Visitor<R>) - Method in class owl.ltl.MOperator
accept(Visitor<R>) - Method in class owl.ltl.ROperator
accept(Visitor<R>) - Method in class owl.ltl.UOperator
accept(Visitor<R>) - Method in class owl.ltl.WOperator
accept(Visitor<R>) - Method in class owl.ltl.XOperator
acceptance - Variable in class owl.automaton.AbstractAutomaton
acceptance() - Method in class owl.automaton.AbstractAutomaton
acceptance() - Method in interface owl.automaton.Automaton
  Returns the acceptance condition of this automaton.
acceptance() - Method in class owl.jni.JniAutomaton
acceptance(A) - Method in interface owl.automaton.MutableAutomaton
acceptanceSetCount() - Method in class owl.jni.JniAutomaton
acceptanceSetIterator() - Method in interface owl.automaton.edge.Edge
  An iterator containing all acceptance sets this edge is a member of in ascending order.
acceptanceSets() - Method in class owl.automaton.acceptance.AllAcceptance
acceptanceSets() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
acceptanceSets() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
acceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
acceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
acceptanceSets() - Method in class owl.automaton.acceptance.NoneAcceptance
acceptanceSets() - Method in class owl.automaton.acceptance.OmegaAcceptance
acceptanceSets() - Method in class owl.automaton.acceptance.ParityAcceptance
acceptingComponent() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
acceptingComponent() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
acceptingSet() - Method in class owl.automaton.acceptance.AllAcceptance
acceptingSet() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
acceptingSet() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
acceptingSet() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
acceptingSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
acceptingSet() - Method in class owl.automaton.acceptance.NoneAcceptance
acceptingSet() - Method in class owl.automaton.acceptance.OmegaAcceptance
acceptingSet() - Method in class owl.automaton.acceptance.ParityAcceptance
acceptsLivenessLanguage(DegeneralizedBreakpointState) - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
acceptsLivenessLanguage(DegeneralizedBreakpointFreeState) - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
acceptsLivenessLanguage(S) - Method in interface owl.translations.ldba2dpa.LanguageLattice
acceptsSafetyLanguage(DegeneralizedBreakpointState) - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
acceptsSafetyLanguage(DegeneralizedBreakpointFreeState) - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
acceptsSafetyLanguage(S) - Method in interface owl.translations.ldba2dpa.LanguageLattice
active(R, IntPreOrder) - Static method in class owl.translations.dra2dpa.IARState
add() - Method in class owl.automaton.acceptance.RabinAcceptance.Builder
add(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
add(Jump<U>) - Method in class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
add(S) - Method in interface owl.automaton.ldba.MutableAutomatonBuilder
addAllDistinct(List<T>, Collection<T>) - Static method in class owl.collections.Collections3
addComment(String) - Method in interface owl.game.output.AigConsumer
addComment(String) - Method in class owl.game.output.AigerPrinter
addDistinct(List<T>, T) - Static method in class owl.collections.Collections3
addEdge(S, BitSet, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton
  Adds a transition from the `source` state under `valuation`.
addEdge(S, ValuationSet, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton
  Adds transitions from the `source` state under `valuations`.
addInitialState(S) - Method in interface owl.automaton.MutableAutomaton
  Set the initial state of the automaton.
addInitialStateAcceptingComponent(KeyT) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonBuilder
addInput(String) - Method in interface owl.game.output.AigConsumer
addInput(String) - Method in class owl.game.output.AigerPrinter
addLatch(String, LabelledAig) - Method in interface owl.game.output.AigConsumer
addLatch(String, LabelledAig) - Method in class owl.game.output.AigerPrinter
addOutput(String, LabelledAig) - Method in interface owl.game.output.AigConsumer
addOutput(String, LabelledAig) - Method in class owl.game.output.AigerPrinter
addState(S) - Method in interface owl.automaton.MutableAutomaton
  Adds a `state` without outgoing edges to the set of states.
addTransformer(OwlModuleParser.TransformerParser...) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
addTransformer(Transformer...) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
aig() - Method in class owl.game.output.LabelledAig
Aig - Class in owl.game.output
Aig() - Constructor for class owl.game.output.Aig
AigConsumer - Interface in owl.game.output
AigerPrinter - Class in owl.game.output
AigerPrinter(boolean) - Constructor for class owl.game.output.AigerPrinter
AigFactory - Class in owl.game.output
AigFactory() - Constructor for class owl.game.output.AigFactory
AigPrintable - Interface in owl.game.output
all() - Method in class owl.ltl.robust.Split
ALL - owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
ALL - owl.ltl.SyntacticFragment
AllAcceptance - Class in owl.automaton.acceptance
allMatch(Predicate<Formula>) - Method in class owl.ltl.Biconditional
allMatch(Predicate<Formula>) - Method in class owl.ltl.BinaryModalOperator
allMatch(Predicate<Formula>) - Method in class owl.ltl.BooleanConstant
allMatch(Predicate<Formula>) - Method in interface owl.ltl.Formula
allMatch(Predicate<Formula>) - Method in class owl.ltl.LabelledFormula
allMatch(Predicate<Formula>) - Method in class owl.ltl.Literal
allMatch(Predicate<Formula>) - Method in class owl.ltl.PropositionalFormula
allMatch(Predicate<Formula>) - Method in class owl.ltl.UnaryModalOperator
alphabet() - Method in interface owl.factories.ValuationSetFactory
alphabetMapping - Variable in class owl.jni.JniEmersonLeiAutomaton.Reference
alphabetMapping() - Method in class owl.jni.JniEmersonLeiAutomaton.Reference
alphabetSize() - Method in interface owl.factories.ValuationSetFactory
always() - Method in class owl.ltl.robust.LabelledSplit
always() - Method in class owl.ltl.robust.Split
ALWAYS - owl.jni.JniEmersonLeiAutomaton.SafetySplittingMode
ALWAYS - owl.ltl.robust.Robustness
anchors - Variable in class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
and(EquivalenceClass) - Method in class owl.ltl.EquivalenceClass
  See `EquivalenceClassFactory.conjunction(EquivalenceClass, EquivalenceClass)`.
AND - Static variable in class owl.grammar.LTLLexer
AND - Static variable in class owl.grammar.LTLParser
AND() - Method in class owl.grammar.LTLParser.AndExpressionContext
AND(int) - Method in class owl.grammar.LTLParser.AndExpressionContext
andExpression() - Method in class owl.grammar.LTLParser
andExpression() - Method in class owl.grammar.LTLParser.OrExpressionContext
andExpression(int) - Method in class owl.grammar.LTLParser.OrExpressionContext
AndExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.AndExpressionContext
AnnotatedState<S> - Interface in owl.automaton.util
annotation(T) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
annotation(T) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
annotations() - Method in interface owl.run.Environment
  Whether additional information (like semantic state labels) should be included.
ANNOTATIONS - owl.automaton.output.HoaPrinter.HoaOption
  Print annotations, e.g.
any() - Method in class owl.collections.ValuationSet
any(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
anyMatch(Predicate<Formula>) - Method in class owl.ltl.Biconditional
anyMatch(Predicate<Formula>) - Method in class owl.ltl.BinaryModalOperator
anyMatch(Predicate<Formula>) - Method in class owl.ltl.BooleanConstant
anyMatch(Predicate<Formula>) - Method in interface owl.ltl.Formula
anyMatch(Predicate<Formula>) - Method in class owl.ltl.LabelledFormula
anyMatch(Predicate<Formula>) - Method in class owl.ltl.Literal
anyMatch(Predicate<Formula>) - Method in class owl.ltl.PropositionalFormula
anyMatch(Predicate<Formula>) - Method in class owl.ltl.UnaryModalOperator
append(Collection<E>, E) - Static method in class owl.collections.Collections3
append(List<E>, E) - Static method in class owl.collections.Collections3
apply(Automaton<?, ?>) - Method in class owl.translations.nba2dpa.NBA2DPA
apply(Automaton<?, ?>) - Method in class owl.translations.nba2ldba.NBA2LDBA
apply(Automaton<S, ParityAcceptance>, Integer) - Method in class owl.translations.dpa2safety.DPA2Safety
apply(Formula) - Method in class owl.ltl.rewriter.PullUpXVisitor
apply(Formula) - Method in class owl.ltl.visitors.Converter
apply(Formula, SimplifierFactory.Mode) - Static method in class owl.ltl.rewriter.SimplifierFactory
apply(Formula, SimplifierFactory.Mode...) - Static method in class owl.ltl.rewriter.SimplifierFactory
apply(LabelledFormula) - Method in class owl.translations.delag.DelagBuilder
apply(LabelledFormula) - Method in class owl.translations.ExternalTranslator
apply(LabelledFormula) - Method in class owl.translations.LTL2DAFunction
apply(LabelledFormula) - Method in class owl.translations.ltl2dpa.LTL2DPAFunction
apply(LabelledFormula) - Method in class owl.translations.ltl2dra.LTL2DRAFunction
apply(LabelledFormula) - Method in class owl.translations.ltl2ldba.LTL2LDBAFunction
apply(LabelledFormula, SimplifierFactory.Mode) - Static method in class owl.ltl.rewriter.SimplifierFactory
apply(LabelledFormula, SimplifierFactory.Mode...) - Static method in class owl.ltl.rewriter.SimplifierFactory
apply(S) - Method in interface owl.automaton.SuccessorFunction
applyDefault(Formula) - Static method in class owl.ltl.rewriter.SimplifierFactory
applyMinimization(MutableAutomaton<S, ? extends A>, List<Minimization<S, A>>) - Static method in class owl.automaton.minimizations.MinimizationUtil
asCollection(Map<Edge<S>, ValuationSet>) - Static method in class owl.automaton.edge.LabelledEdges
asMutable(Automaton<S, A>) - Static method in class owl.automaton.MutableAutomatonUtil
ASSERT - Static variable in class owl.grammar.TLSFLexer
ASSERT - Static variable in class owl.grammar.TLSFParser
ASSERT() - Method in class owl.grammar.TLSFParser.SpecificationContext
assert_() - Method in class owl.ltl.tlsf.Tlsf
assume() - Method in class owl.ltl.tlsf.Tlsf
ASSUME - Static variable in class owl.grammar.TLSFLexer
ASSUME - Static variable in class owl.grammar.TLSFParser
ASSUME() - Method in class owl.grammar.TLSFParser.SpecificationContext
async(boolean) - Static method in class owl.factories.jbdd.JBddSupplier
atomExpression() - Method in class owl.grammar.LTLParser
atomExpression() - Method in class owl.grammar.LTLParser.UnaryAtomContext
AtomExpressionContext() - Constructor for class owl.grammar.LTLParser.AtomExpressionContext
AtomExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.AtomExpressionContext
atomicPropositions() - Method in class owl.ltl.EquivalenceClass
  See `EquivalenceClassFactory.atomicPropositions(EquivalenceClass)`.
atomicPropositions(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
  Collects all literals used in the bdd and stores the corresponding atomic propositions in the BitSet.
AUTO - owl.jni.JniEmersonLeiAutomaton.SafetySplittingMode
automata - Variable in class owl.jni.JniEmersonLeiAutomaton
Automaton<S,A extends OmegaAcceptance> - Interface in owl.automaton
  The base interface providing read access to an automaton.
AUTOMATON_STATS_CLI - Static variable in class owl.run.modules.OutputWriters
AUTOMATON_TO_GAME_CLI - Static variable in class owl.game.GameViews
Automaton.EdgeVisitor<S> - Interface in owl.automaton
Automaton.HybridVisitor<S> - Interface in owl.automaton
Automaton.LabelledEdgeVisitor<S> - Interface in owl.automaton
Automaton.Property - Enum in owl.automaton
Automaton.Visitor<S> - Interface in owl.automaton
AutomatonFactory - Class in owl.automaton
AutomatonOperations - Class in owl.automaton
AutomatonReader - Class in owl.automaton
AutomatonReader.HoaState - Class in owl.automaton
automatonStats(String) - Static method in class owl.run.modules.OutputWriters
AutomatonStats(String, Writer) - Constructor for class owl.run.modules.OutputWriters.AutomatonStats
AutomatonUtil - Class in owl.automaton
AutomatonUtil.InitialComponentState<S> - Class in owl.automaton

## B

Biconditional - Class in owl.ltl
  Biconditional.
Biconditional(Formula, Formula) - Constructor for class owl.ltl.Biconditional
BIIMP - Static variable in class owl.grammar.LTLLexer
BIIMP - Static variable in class owl.grammar.LTLParser
BIIMP() - Method in class owl.grammar.LTLParser.BinaryOpContext
binaryExpression() - Method in class owl.grammar.LTLParser.AndExpressionContext
binaryExpression() - Method in class owl.grammar.LTLParser
binaryExpression() - Method in class owl.grammar.LTLParser.BinaryOperationContext
binaryExpression() - Method in class owl.grammar.LTLParser.UnaryOperationContext
binaryExpression(int) - Method in class owl.grammar.LTLParser.AndExpressionContext
BinaryExpressionContext() - Constructor for class owl.grammar.LTLParser.BinaryExpressionContext
BinaryExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BinaryExpressionContext
BinaryModalOperator - Class in owl.ltl
binaryOp() - Method in class owl.grammar.LTLParser
binaryOp() - Method in class owl.grammar.LTLParser.BinaryOperationContext
BinaryOpContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BinaryOpContext
BinaryOperationContext(LTLParser.BinaryExpressionContext) - Constructor for class owl.grammar.LTLParser.BinaryOperationContext
BinaryUnaryContext(LTLParser.BinaryExpressionContext) - Constructor for class owl.grammar.LTLParser.BinaryUnaryContext
BinaryVisitor<P,R> - Interface in owl.ltl.visitors
bind(Writer, Environment) - Method in interface owl.run.modules.OutputWriter
bind(Writer, Environment) - Method in class owl.run.modules.OutputWriters.ToHoa
blockingModalOperators - Variable in class owl.translations.ltl2ldba.AbstractJumpManager
bool() - Method in class owl.grammar.LTLParser
bool() - Method in class owl.grammar.LTLParser.BooleanContext
BoolContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BoolContext
BooleanConstant - Class in owl.ltl
BooleanContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.BooleanContext
booleanExpression() - Method in class owl.automaton.acceptance.AllAcceptance
booleanExpression() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
booleanExpression() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
booleanExpression() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
booleanExpression() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
booleanExpression() - Method in class owl.automaton.acceptance.NoneAcceptance
booleanExpression() - Method in class owl.automaton.acceptance.OmegaAcceptance
  Builds the canonical representation as `BooleanExpression`.
booleanExpression() - Method in class owl.automaton.acceptance.ParityAcceptance
BooleanExpressions - Class in owl.automaton.acceptance
BooleanLattice - Class in owl.translations.ltl2ldba.breakpointfree
BooleanLattice() - Constructor for class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
bound - Variable in class owl.ltl.FrequencyG
BreakpointState<S> - Class in owl.translations.nba2ldba
BreakpointState() - Constructor for class owl.translations.nba2ldba.BreakpointState
BUCHI - owl.translations.LTL2DAFunction.Constructions
BuchiAcceptance - Class in owl.automaton.acceptance
BuchiAcceptance() - Constructor for class owl.automaton.acceptance.BuchiAcceptance
BuchiDegeneralization - Class in owl.automaton.transformations
build() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
build() - Method in class owl.automaton.acceptance.RabinAcceptance.Builder
build() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonBuilder
build() - Method in interface owl.automaton.ldba.MutableAutomatonBuilder
build() - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
build() - Method in class owl.translations.dra2dpa.IARBuilder
build() - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedAcceptingComponentBuilder
build() - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedAcceptingComponentBuilder
build() - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
build() - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedAcceptingComponentBuilder
build(List<Transformer>, Environment) - Static method in class owl.run.modules.Transformers
build(CommandLine, Pipeline) - Static method in class owl.run.DefaultCli
build(CommandLine, Pipeline) - Static method in class owl.run.ServerCli
build(Automaton<S, BuchiAcceptance>) - Static method in class owl.translations.safra.SafraBuilder
build(Formula, EquivalenceClassFactory, Set<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.breakpoint.GObligationsJumpManager
build(Formula, EquivalenceClassFactory, Set<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.breakpointfree.FGObligationsJumpManager
build(LabelledFormula, Environment, RabinizerConfiguration) - Static method in class owl.translations.rabinizer.RabinizerBuilder
build(Environment, LabelledFormula) - Static method in class owl.translations.fgx2dpa.SafetyAutomaton
builder(String) - Static method in class owl.run.parser.PartialModuleConfiguration
Builder() - Constructor for class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
Builder() - Constructor for class owl.automaton.acceptance.RabinAcceptance.Builder
buildFormula(Split, EnumSet<Robustness>) - Static method in enum owl.ltl.robust.Robustness
buildJump(EquivalenceClass, X) - Method in class owl.translations.ltl2ldba.AbstractJumpManager

## C

cache() - Method in class owl.automaton.ImplicitCachedStatesAutomaton
call() - Method in class owl.run.ServerRunner
cast(Object) - Static method in class owl.automaton.AutomatonUtil
cast(Object, Class<A>) - Static method in class owl.automaton.AutomatonUtil
cast(Object, Class<S>, Class<A>) - Static method in class owl.automaton.AutomatonUtil
cast(Automaton<S, ?>, Class<A>) - Static method in class owl.automaton.AutomatonUtil
cast(Edge<? extends S>) - Static method in class owl.util.TypeUtil
cast(LabelledEdge<? extends S>) - Static method in class owl.util.TypeUtil
castMutable(Object, Class<S>, Class<A>) - Static method in class owl.automaton.MutableAutomatonUtil
channelNames - Static variable in class owl.grammar.LTLLexer
channelNames - Static variable in class owl.grammar.TLSFLexer
check() - Method in class owl.ltl.tlsf.Tlsf
checkDefaultAnnotationOption(CommandLine) - Static method in class owl.run.RunUtil
checkDefaultParallelOption(CommandLine) - Static method in class owl.run.RunUtil
checkedCallback(InputReaders.CheckedCallback) - Static method in class owl.run.modules.InputReaders
checkForVersion(String[]) - Static method in class owl.run.RunUtil
children - Variable in class owl.ltl.PropositionalFormula
classes() - Method in enum owl.ltl.SyntacticFragment
CLI - Static variable in class owl.automaton.minimizations.ImplicitMinimizeTransformer
CLI - Static variable in class owl.automaton.transformations.RabinDegeneralization
CLI - Static variable in class owl.ltl.rewriter.SimplifierTransformer
CLI - Static variable in class owl.translations.delag.DelagBuilder
CLI - Static variable in class owl.translations.dra2dpa.IARBuilder
CLI - Static variable in class owl.translations.ExternalTranslator
CLI - Static variable in class owl.translations.fgx2dpa.FGX2DPA
CLI - Static variable in class owl.translations.LTL2DAModule
CLI - Static variable in class owl.translations.nba2dpa.NBA2DPA
CLI - Static variable in class owl.translations.nba2ldba.NBA2LDBA
CLI - Static variable in class owl.translations.safra.SafraBuilder
closeTransformer() - Method in interface owl.run.modules.Transformer.Instance
  Utility method to clean up any stateful resources.
cmp - Variable in class owl.ltl.FrequencyG
CO_BUCHI - owl.translations.LTL2DAFunction.Constructions
CO_SAFETY - owl.ltl.SyntacticFragment
CO_SAFETY - owl.translations.LTL2DAFunction.Constructions
CoBuchiAcceptance - Class in owl.automaton.acceptance
CoBuchiAcceptance() - Constructor for class owl.automaton.acceptance.CoBuchiAcceptance
collect(Function<Formula, T>, Iterable<? extends Formula>) - Static method in class owl.ltl.visitors.Collector
collect(Function<Formula, T>, Formula) - Static method in class owl.ltl.visitors.Collector
collect(Function<Formula, T>, Formula...) - Static method in class owl.ltl.visitors.Collector
collect(Predicate<Formula>, Iterable<? extends Formula>) - Static method in class owl.ltl.visitors.Collector
collect(Predicate<Formula>, Formula...) - Static method in class owl.ltl.visitors.Collector
collectAtoms(Iterable<? extends Formula>) - Static method in class owl.ltl.visitors.Collector
collectAtoms(Iterable<? extends Formula>, boolean) - Static method in class owl.ltl.visitors.Collector
collectAtoms(Formula) - Static method in class owl.ltl.visitors.Collector
collectAtoms(Formula, boolean) - Static method in class owl.ltl.visitors.Collector
collectFOperators(Formula) - Static method in class owl.ltl.visitors.Collector
collectGOperators(Formula) - Static method in class owl.ltl.visitors.Collector
Collections3 - Class in owl.collections
Collector - Class in owl.ltl.visitors
collectTransformedFOperators(Iterable<? extends Formula>) - Static method in class owl.ltl.visitors.Collector
collectTransformedFOperators(Formula) - Static method in class owl.ltl.visitors.Collector
collectTransformedGOperators(Iterable<? extends Formula>) - Static method in class owl.ltl.visitors.Collector
collectTransformedGOperators(Formula) - Static method in class owl.ltl.visitors.Collector
combiner(BinaryOperator<Formula>) - Static method in class owl.ltl.robust.Split
comp - Variable in class owl.grammar.LTLParser.FrequencyOpContext
comparison() - Method in class owl.grammar.LTLParser
comparison() - Method in class owl.grammar.LTLParser.FrequencyOpContext
ComparisonContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.ComparisonContext
complement() - Method in class owl.automaton.acceptance.ParityAcceptance
complement() - Method in class owl.collections.ValuationSet
complement(Automaton<S, ?>) - Static method in class owl.automaton.Views
complement(Automaton<S, ?>, S) - Static method in class owl.automaton.Views
complement(MutableAutomaton<S, ParityAcceptance>, S) - Static method in class owl.automaton.transformations.ParityUtil
complement(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
COMPLEMENT_CLI - Static variable in class owl.automaton.transformations.ParityUtil
COMPLEMENT_CONSTRUCTION - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
complete(Automaton<S, A>, S) - Static method in class owl.automaton.Views
complete(MutableAutomaton<Object, ?>) - Static method in class owl.automaton.MutableAutomatonUtil
complete(MutableAutomaton<S, ?>, S) - Static method in class owl.automaton.MutableAutomatonUtil
  Completes the automaton by adding a sink state obtained from the `sinkSupplier` if necessary.
COMPLETE - owl.automaton.Automaton.Property
COMPLETE - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
completeAllAcceptance(Automaton<S, AllAcceptance>, S) - Static method in class owl.automaton.Views
completeAutomaton() - Method in class owl.translations.rabinizer.RabinizerConfiguration
components() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
components() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
COMPRESS_COLOURS - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
compute(Formula, Formula) - Static method in class owl.ltl.util.FormulaIsomorphism
computeAcceptance() - Method in class owl.translations.rabinizer.RabinizerConfiguration
computeJumps(EquivalenceClass) - Method in class owl.translations.ltl2ldba.AbstractJumpManager
computeJumps(EquivalenceClass) - Method in class owl.translations.ltl2ldba.breakpoint.GObligationsJumpManager
computeJumps(EquivalenceClass) - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligationsJumpManager
computeSccs(Automaton<S, ?>) - Static method in class owl.automaton.algorithms.SccDecomposition
  This method computes the SCCs of the state-/transition-graph of the automaton.
computeSccs(Automaton<S, ?>, boolean) - Static method in class owl.automaton.algorithms.SccDecomposition
computeSccs(SuccessorFunction<S>, Set<S>) - Static method in class owl.automaton.algorithms.SccDecomposition
computeSccs(SuccessorFunction<S>, Set<S>, boolean) - Static method in class owl.automaton.algorithms.SccDecomposition
computeSccs(SuccessorFunction<S>, S) - Static method in class owl.automaton.algorithms.SccDecomposition
computeSccs(SuccessorFunction<S>, S, boolean) - Static method in class owl.automaton.algorithms.SccDecomposition
configuration - Variable in class owl.translations.ltl2ldba.AbstractJumpManager
conjunction(Collection<EquivalenceClass>) - Method in interface owl.factories.EquivalenceClassFactory
conjunction(Iterator<EquivalenceClass>) - Method in interface owl.factories.EquivalenceClassFactory
conjunction(LabelledAig, LabelledAig) - Method in class owl.game.output.AigFactory
conjunction(EquivalenceClass...) - Method in interface owl.factories.EquivalenceClassFactory
conjunction(EquivalenceClass, EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
Conjunction - Class in owl.ltl
Conjunction(Collection<? extends Formula>) - Constructor for class owl.ltl.Conjunction
Conjunction(Stream<? extends Formula>) - Constructor for class owl.ltl.Conjunction
Conjunction(Formula...) - Constructor for class owl.ltl.Conjunction
constant - Variable in class owl.grammar.LTLParser.BooleanContext
contains(BitSet) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
contains(BitSet) - Method in class owl.collections.ValuationSet
contains(Automaton<S, BuchiAcceptance>, Automaton<S, BuchiAcceptance>) - Static method in class owl.automaton.algorithms.LanguageAnalysis
  Checks if the first the language of the first automaton is included in the language of the second automaton.
contains(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
contains(ValuationSet) - Method in class owl.collections.ValuationSet
contains(ValuationSet, BitSet) - Method in interface owl.factories.ValuationSetFactory
contains(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
contains(Formula) - Method in enum owl.ltl.SyntacticFragment
contains(LabelledFormula) - Method in enum owl.ltl.SyntacticFragment
containsInfinite(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
  Checks whether the given edge is contained in any Inf set of this pair.
containsLanguageOf(RecurringObligation) - Method in class owl.translations.ltl2ldba.breakpoint.GObligations
containsLanguageOf(RecurringObligation) - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
containsLanguageOf(RecurringObligation) - Method in interface owl.translations.ltl2ldba.RecurringObligation
CONVERSION_CLI - Static variable in class owl.automaton.transformations.ParityUtil
convert(Automaton<S, ParityAcceptance>, ParityAcceptance.Parity) - Static method in class owl.automaton.transformations.ParityUtil
convert(Visitor<Formula>) - Method in class owl.ltl.LabelledFormula
Converter - Class in owl.ltl.visitors
Converter(Set<Class<? extends Formula>>) - Constructor for class owl.ltl.visitors.Converter
copy(Automaton<S, ?>, MutableAutomaton<S, ?>) - Static method in class owl.automaton.MutableAutomatonFactory
copy(Automaton<S, A>) - Static method in class owl.automaton.MutableAutomatonFactory
copyFrom(LTLParser.AtomExpressionContext) - Method in class owl.grammar.LTLParser.AtomExpressionContext
copyFrom(LTLParser.BinaryExpressionContext) - Method in class owl.grammar.LTLParser.BinaryExpressionContext
copyFrom(LTLParser.FrequencySpecContext) - Method in class owl.grammar.LTLParser.FrequencySpecContext
copyFrom(LTLParser.UnaryExpressionContext) - Method in class owl.grammar.LTLParser.UnaryExpressionContext
copyOf(Game<S, A>) - Static method in class owl.game.GameFactory
create(A, ValuationSetFactory) - Static method in class owl.automaton.MutableAutomatonFactory
  Creates an empty automaton with given acceptance condition.
create(A, ValuationSetFactory, Collection<S>, BiFunction<S, BitSet, ? extends Collection<Edge<S>>>) - Static method in class owl.automaton.MutableAutomatonFactory
create(A, ValuationSetFactory, Collection<S>, BiFunction<S, BitSet, Edge<S>>, Function<S, BitSet>) - Static method in class owl.automaton.MutableAutomatonFactory
create(Supplier<MutableAutomaton<S, NoneAcceptance>>, MutableAutomatonBuilder<X2, T, Acc>, Function<S, Iterable<X2>>, Function<T, X3>, EnumSet<LimitDeterministicAutomatonBuilder.Configuration>) - Static method in class owl.automaton.ldba.LimitDeterministicAutomatonBuilder
create(Supplier<MutableAutomaton<S, NoneAcceptance>>, MutableAutomatonBuilder<X2, T, Acc>, Function<S, Iterable<X2>>, Function<T, X3>, EnumSet<LimitDeterministicAutomatonBuilder.Configuration>, Predicate<S>) - Static method in class owl.automaton.ldba.LimitDeterministicAutomatonBuilder
create(ValuationSetFactory, Collection<S>, A, BiFunction<S, BitSet, ? extends Collection<Edge<S>>>, Function<S, ? extends Collection<LabelledEdge<S>>>) - Static method in class owl.automaton.AutomatonFactory
  Creates a non-deterministic on-the-fly constructed automaton with support for bulk creation of edges.
create(ValuationSetFactory, Collection<S>, A, BiFunction<S, BitSet, Edge<S>>) - Static method in class owl.automaton.AutomatonFactory
  Creates a semi-deterministic on-the-fly constructed automaton.
create(ValuationSetFactory, Collection<S>, A, Function<S, ? extends Collection<LabelledEdge<S>>>) - Static method in class owl.automaton.AutomatonFactory
  Creates a non-deterministic on-the-fly constructed automaton with supporting only bulk creation of edges.
create(ValuationSetFactory, S, A, BiFunction<S, BitSet, ? extends Collection<Edge<S>>>, Function<S, ? extends Collection<LabelledEdge<S>>>) - Static method in class owl.automaton.AutomatonFactory
  Creates a non-deterministic on-the-fly constructed automaton with support for bulk creation of edges.
create(ValuationSetFactory, S, A, BiFunction<S, BitSet, Edge<S>>) - Static method in class owl.automaton.AutomatonFactory
  Creates a deterministic on-the-fly constructed automaton.
create(ValuationSetFactory, S, A, Function<S, ? extends Collection<LabelledEdge<S>>>) - Static method in class owl.automaton.AutomatonFactory
  Creates a non-deterministic on-the-fly constructed automaton with supporting only bulk creation of edges.
create(Environment) - Method in interface owl.run.modules.Transformer
create(Environment) - Method in class owl.run.modules.Transformers.SimpleTransformer
createConjunction(Iterable<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
createConjunction(Iterator<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
createConjunction(Stream<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
createDegeneralizedBreakpointFreeLDBABuilder(Environment, Set<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.LTL2LDBAFunction
createDegeneralizedBreakpointLDBABuilder(Environment, Set<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.LTL2LDBAFunction
createDisjunction(Iterable<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
createDisjunction(Iterator<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
createDisjunction(Stream<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
createDisjunctionStream(EquivalenceClass, Function<Formula, Stream<X>>) - Static method in class owl.translations.ltl2ldba.AbstractJumpManager
createGeneralizedBreakpointFreeLDBABuilder(Environment, Set<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.LTL2LDBAFunction
createGeneralizedBreakpointLDBABuilder(Environment, Set<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.LTL2LDBAFunction
createPowerSetAutomaton(Automaton<S, ?>, A, boolean) - Static method in class owl.automaton.Views
createSink() - Static method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
createSink() - Static method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
createState(EquivalenceClass, GObligations) - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedAcceptingComponentBuilder
createState(EquivalenceClass, GObligations) - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedAcceptingComponentBuilder
createState(EquivalenceClass, FGObligations) - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
createState(EquivalenceClass, FGObligations) - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedAcceptingComponentBuilder
createState(EquivalenceClass, U) - Method in class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
cube(BitSet) - Method in class owl.game.output.AigFactory

## D

DaemonThreadFactory - Class in owl.util
DaemonThreadFactory(ThreadGroup) - Constructor for class owl.util.DaemonThreadFactory
DEFAULT - Static variable in class owl.run.modules.InputReaders.HoaReader
DEFAULT - Static variable in class owl.run.modules.OutputWriters.ToHoa
DEFAULT_REGISTRY - Static variable in class owl.run.modules.OwlModuleRegistry
  A preconfigured `registry`, holding commonly used utility modules.
DefaultCli - Class in owl.run
degeneralize(Automaton<S, ? extends GeneralizedBuchiAcceptance>) - Static method in class owl.automaton.transformations.BuchiDegeneralization
degeneralize(Automaton<S, ? extends GeneralizedRabinAcceptance>) - Static method in class owl.automaton.transformations.RabinDegeneralization
DEGENERALIZE - owl.translations.ltl2dra.LTL2DRAFunction.Configuration
DegeneralizedAcceptingComponentBuilder - Class in owl.translations.ltl2ldba.breakpoint
DegeneralizedAcceptingComponentBuilder - Class in owl.translations.ltl2ldba.breakpointfree
DegeneralizedAcceptingComponentBuilder(Factories, Set<LTL2LDBAFunction.Configuration>) - Constructor for class owl.translations.ltl2ldba.breakpoint.DegeneralizedAcceptingComponentBuilder
DegeneralizedAcceptingComponentBuilder(Factories, Set<LTL2LDBAFunction.Configuration>) - Constructor for class owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
DegeneralizedBreakpointFreeState - Class in owl.translations.ltl2ldba.breakpointfree
DegeneralizedBreakpointState - Class in owl.translations.ltl2ldba.breakpoint
DelagBuilder<T> - Class in owl.translations.delag
DelagBuilder(Environment) - Constructor for class owl.translations.delag.DelagBuilder
DelagBuilder(Environment, Function<LabelledFormula, ? extends Automaton<T, ?>>) - Constructor for class owl.translations.delag.DelagBuilder
denominator - Variable in class owl.grammar.LTLParser.FractionContext
depth() - Method in class owl.ltl.rewriter.PullUpXVisitor.XFormula
description - Variable in class owl.grammar.TLSFParser.TlsfContext
description() - Method in class owl.ltl.tlsf.Tlsf
DESCRIPTION - Static variable in class owl.grammar.TLSFLexer
DESCRIPTION - Static variable in class owl.grammar.TLSFParser
DESCRIPTION() - Method in class owl.grammar.TLSFParser.TlsfContext
DETERMINISTIC - owl.automaton.Automaton.Property
disjunction(Collection<EquivalenceClass>) - Method in interface owl.factories.EquivalenceClassFactory
disjunction(Iterator<EquivalenceClass>) - Method in interface owl.factories.EquivalenceClassFactory
disjunction(LabelledAig, LabelledAig) - Method in class owl.game.output.AigFactory
disjunction(EquivalenceClass...) - Method in interface owl.factories.EquivalenceClassFactory
disjunction(EquivalenceClass, EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
Disjunction - Class in owl.ltl
Disjunction(Collection<? extends Formula>) - Constructor for class owl.ltl.Disjunction
Disjunction(Stream<? extends Formula>) - Constructor for class owl.ltl.Disjunction
Disjunction(Formula...) - Constructor for class owl.ltl.Disjunction
DIVISION - Static variable in class owl.grammar.LTLLexer
DIVISION - Static variable in class owl.grammar.LTLParser
DIVISION() - Method in class owl.grammar.LTLParser.FractionContext
DOUBLE_QUOTED - Static variable in class owl.grammar.LTLLexer
DOUBLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLLexer
DOUBLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLParser
DOUBLE_QUOTED_VARIABLE() - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
DoubleQuotedVariableContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.DoubleQuotedVariableContext
DPA2Safety<S> - Class in owl.translations.dpa2safety
DPA2Safety() - Constructor for class owl.translations.dpa2safety.DPA2Safety

## E

eager() - Method in class owl.translations.rabinizer.RabinizerConfiguration
EAGER_UNFOLD - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
edge - Variable in class owl.automaton.edge.LabelledEdge
edge() - Method in class owl.automaton.edge.LabelledEdge
edge(S, BitSet) - Method in interface owl.automaton.Automaton
  Returns the successor edge of the specified `state` under the given `valuation`.
Edge<S> - Interface in owl.automaton.edge
  This interface represents edges of automata including their acceptance membership.
edges(int) - Method in class owl.jni.JniAutomaton
edges(Collection<LabelledEdge<S>>) - Static method in class owl.automaton.edge.LabelledEdges
edges(S) - Method in interface owl.automaton.Automaton
  Returns all successor edges of the specified `state` under any valuation.
edges(S) - Method in interface owl.automaton.EdgesAutomatonMixin
edges(S) - Method in interface owl.automaton.LabelledEdgesAutomatonMixin
edges(S) - Method in class owl.automaton.Views.AutomatonView
edges(S, BitSet) - Method in interface owl.automaton.Automaton
  Returns the successor edges of the specified `state` under the given `valuation`.
edges(S, BitSet) - Method in interface owl.automaton.LabelledEdgesAutomatonMixin
edges(S, BitSet) - Method in class owl.automaton.Views.AutomatonView
Edges - Class in owl.automaton.edge
EdgesAutomatonMixin<S,A extends OmegaAcceptance> - Interface in owl.automaton
  Mixin interface for implementing an automaton by `Automaton.edges(Object, BitSet)`.
EMERSON_LEI - owl.translations.LTL2DAFunction.Constructions
EmersonLeiAcceptance - Class in owl.automaton.acceptance
EmersonLeiAcceptance(int, BooleanExpression<AtomAcceptance>) - Constructor for class owl.automaton.acceptance.EmersonLeiAcceptance
EmptinessCheck - Class in owl.automaton.algorithms
empty() - Method in interface owl.factories.ValuationSetFactory
empty(ValuationSetFactory) - Static method in class owl.automaton.AutomatonFactory
EMPTY_ARRAY - Static variable in class owl.ltl.EquivalenceClass
emptyIsAccepting() - Method in class owl.automaton.acceptance.ParityAcceptance
enter(S) - Method in interface owl.automaton.Automaton.Visitor
enterAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by `LTLParser.andExpression()`.
enterAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserListener
  Enter a parse tree produced by `LTLParser.andExpression()`.
enterBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by `LTLParser.binaryOp()`.
enterBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserListener
  Enter a parse tree produced by `LTLParser.binaryOp()`.
enterBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by the `binaryOperation` labeled alternative 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()`.
enterComparison(LTLParser.ComparisonContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by `LTLParser.comparison()`.
enterComparison(LTLParser.ComparisonContext) - Method in interface owl.grammar.LTLParserListener
  Enter a parse tree produced by `LTLParser.comparison()`.
enterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by the `doubleQuotedVariable` labeled alternative 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
enterEveryRule(ParserRuleContext) - Method in class owl.grammar.TLSFParserBaseListener
enterExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by `LTLParser.expression()`.
enterExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserListener
  Enter a parse tree produced by `LTLParser.expression()`.
enterFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by `LTLParser.formula()`.
enterFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserListener
  Enter a parse tree produced by `LTLParser.formula()`.
enterFraction(LTLParser.FractionContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by the `fraction` labeled alternative in `LTLParser.frequencySpec()`.
enterFraction(LTLParser.FractionContext) - Method in interface owl.grammar.LTLParserListener
  Enter a parse tree produced by the `fraction` labeled alternative in `LTLParser.frequencySpec()`.
enterFrequencyOp(LTLParser.FrequencyOpContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by `LTLParser.frequencyOp()`.
enterFrequencyOp(LTLParser.FrequencyOpContext) - Method in interface owl.grammar.LTLParserListener
  Enter a parse tree produced by `LTLParser.frequencyOp()`.
enterInput(TLSFParser.InputContext) - Method in class owl.grammar.TLSFParserBaseListener
  Enter a parse tree produced by `TLSFParser.input()`.
enterInput(TLSFParser.InputContext) - Method in interface owl.grammar.TLSFParserListener
  Enter a parse tree produced by `TLSFParser.input()`.
enterNested(LTLParser.NestedContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by the `nested` labeled alternative 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()`.
enterOutput(TLSFParser.OutputContext) - Method in class owl.grammar.TLSFParserBaseListener
  Enter a parse tree produced by `TLSFParser.output()`.
enterOutput(TLSFParser.OutputContext) - Method in interface owl.grammar.TLSFParserListener
  Enter a parse tree produced by `TLSFParser.output()`.
enterProbability(LTLParser.ProbabilityContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by the `probability` labeled alternative in `LTLParser.frequencySpec()`.
enterProbability(LTLParser.ProbabilityContext) - Method in interface owl.grammar.LTLParserListener
  Enter a parse tree produced by the `probability` labeled alternative in `LTLParser.frequencySpec()`.
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.AndExpressionContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOpContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOperationContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BoolContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BooleanContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ComparisonContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ExpressionContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FormulaContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FractionContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FrequencyOpContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.NestedContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.OrExpressionContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ProbabilityContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryAtomContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOpContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOperationContext
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.VariableContext
enterRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.InputContext
enterRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.OutputContext
enterRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.SemanticsContext
enterRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.SpecificationContext
enterRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.TargetContext
enterRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.TlsfContext
enterSemantics(TLSFParser.SemanticsContext) - Method in class owl.grammar.TLSFParserBaseListener
  Enter a parse tree produced by `TLSFParser.semantics()`.
enterSemantics(TLSFParser.SemanticsContext) - Method in interface owl.grammar.TLSFParserListener
  Enter a parse tree produced by `TLSFParser.semantics()`.
enterSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by the `singleQuotedVariable` labeled alternative 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()`.
enterSpecification(TLSFParser.SpecificationContext) - Method in class owl.grammar.TLSFParserBaseListener
  Enter a parse tree produced by `TLSFParser.specification()`.
enterSpecification(TLSFParser.SpecificationContext) - Method in interface owl.grammar.TLSFParserListener
  Enter a parse tree produced by `TLSFParser.specification()`.
enterTarget(TLSFParser.TargetContext) - Method in class owl.grammar.TLSFParserBaseListener
  Enter a parse tree produced by `TLSFParser.target()`.
enterTarget(TLSFParser.TargetContext) - Method in interface owl.grammar.TLSFParserListener
  Enter a parse tree produced by `TLSFParser.target()`.
enterTlsf(TLSFParser.TlsfContext) - Method in class owl.grammar.TLSFParserBaseListener
  Enter a parse tree produced by `TLSFParser.tlsf()`.
enterTlsf(TLSFParser.TlsfContext) - Method in interface owl.grammar.TLSFParserListener
  Enter a parse tree produced by `TLSFParser.tlsf()`.
enterUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseListener
  Enter a parse tree produced by the `unaryAtom` labeled alternative 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 - Interface in owl.run
  The environment makes global configuration available to all parts of the pipeline.
EOF() - Method in class owl.grammar.LTLParser.FormulaContext
EOF() - Method in class owl.grammar.TLSFParser.TlsfContext
EPSILON_TRANSITIONS - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
epsilonJumps(S) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
epsilonJumps(S) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
EQ - Static variable in class owl.grammar.LTLLexer
EQ - Static variable in class owl.grammar.LTLParser
eqFactory - Variable in class owl.factories.Factories
equals(Object) - Method in class owl.automaton.acceptance.ParityAcceptance
equals(Object) - Method in class owl.automaton.AutomatonReader.HoaState
equals(Object) - Method in class owl.automaton.edge.LabelledEdge
equals(Object) - Method in class owl.automaton.MutableAutomatonUtil.Sink
equals(Object) - Method in class owl.ltl.AbstractFormula
equals(Object) - Method in class owl.ltl.BooleanConstant
equals(Object) - Method in class owl.translations.delag.State
equals(Object) - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
equals(Object) - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
equals(Object) - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
equals(Object) - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
equals(Object) - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
equals(Object) - Method in class owl.translations.ltl2ldba.Jump
equals2(AbstractFormula) - Method in class owl.ltl.AbstractFormula
equals2(AbstractFormula) - Method in class owl.ltl.Biconditional
equals2(AbstractFormula) - Method in class owl.ltl.BinaryModalOperator
equals2(AbstractFormula) - Method in class owl.ltl.FrequencyG
equals2(AbstractFormula) - Method in class owl.ltl.Literal
equals2(AbstractFormula) - Method in class owl.ltl.PropositionalFormula
equals2(AbstractFormula) - Method in class owl.ltl.UnaryModalOperator
EquivalenceClass - Class in owl.ltl
  EquivalenceClass interface.
EquivalenceClass(EquivalenceClassFactory, Formula) - Constructor for class owl.ltl.EquivalenceClass
EquivalenceClassFactory - Interface in owl.factories
EquivalenceClassLanguageLattice - Class in owl.translations.ltl2ldba.breakpoint
EquivalenceClassLanguageLattice(EquivalenceClassFactory) - Constructor for class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
EquivalenceClassStateFactory - Class in owl.translations.ltl2ldba
EquivalenceClassStateFactory(Factories, boolean, boolean) - Constructor for class owl.translations.ltl2ldba.EquivalenceClassStateFactory
even() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
evenString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
eventually() - Method in class owl.ltl.robust.LabelledSplit
eventually() - Method in class owl.ltl.robust.Split
EVENTUALLY - owl.ltl.robust.Robustness
EVENTUALLY_ALWAYS - owl.ltl.robust.Robustness
eventuallyAlways() - Method in class owl.ltl.robust.LabelledSplit
eventuallyAlways() - Method in class owl.ltl.robust.Split
EverythingIsNonnullByDefault - Annotation Type in owl.util.annotation
execute(Callable<Void>) - Static method in class owl.run.RunUtil
  Executes the given given runner and logs any occurring error to the console.
EXISTS_SAFETY_CORE - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
EXISTS_SAFETY_CORE - owl.translations.ltl2dra.LTL2DRAFunction.Configuration
exit(S) - Method in interface owl.automaton.Automaton.Visitor
exitAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by `LTLParser.andExpression()`.
exitAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserListener
  Exit a parse tree produced by `LTLParser.andExpression()`.
exitBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by `LTLParser.binaryOp()`.
exitBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserListener
  Exit a parse tree produced by `LTLParser.binaryOp()`.
exitBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by the `binaryOperation` labeled alternative 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()`.
exitComparison(LTLParser.ComparisonContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by `LTLParser.comparison()`.
exitComparison(LTLParser.ComparisonContext) - Method in interface owl.grammar.LTLParserListener
  Exit a parse tree produced by `LTLParser.comparison()`.
exitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by the `doubleQuotedVariable` labeled alternative 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
exitEveryRule(ParserRuleContext) - Method in class owl.grammar.TLSFParserBaseListener
exitExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by `LTLParser.expression()`.
exitExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserListener
  Exit a parse tree produced by `LTLParser.expression()`.
exitFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by `LTLParser.formula()`.
exitFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserListener
  Exit a parse tree produced by `LTLParser.formula()`.
exitFraction(LTLParser.FractionContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by the `fraction` labeled alternative in `LTLParser.frequencySpec()`.
exitFraction(LTLParser.FractionContext) - Method in interface owl.grammar.LTLParserListener
  Exit a parse tree produced by the `fraction` labeled alternative in `LTLParser.frequencySpec()`.
exitFrequencyOp(LTLParser.FrequencyOpContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by `LTLParser.frequencyOp()`.
exitFrequencyOp(LTLParser.FrequencyOpContext) - Method in interface owl.grammar.LTLParserListener
  Exit a parse tree produced by `LTLParser.frequencyOp()`.
exitInput(TLSFParser.InputContext) - Method in class owl.grammar.TLSFParserBaseListener
  Exit a parse tree produced by `TLSFParser.input()`.
exitInput(TLSFParser.InputContext) - Method in interface owl.grammar.TLSFParserListener
  Exit a parse tree produced by `TLSFParser.input()`.
exitNested(LTLParser.NestedContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by the `nested` labeled alternative 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()`.
exitOutput(TLSFParser.OutputContext) - Method in class owl.grammar.TLSFParserBaseListener
  Exit a parse tree produced by `TLSFParser.output()`.
exitOutput(TLSFParser.OutputContext) - Method in interface owl.grammar.TLSFParserListener
  Exit a parse tree produced by `TLSFParser.output()`.
exitProbability(LTLParser.ProbabilityContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by the `probability` labeled alternative in `LTLParser.frequencySpec()`.
exitProbability(LTLParser.ProbabilityContext) - Method in interface owl.grammar.LTLParserListener
  Exit a parse tree produced by the `probability` labeled alternative in `LTLParser.frequencySpec()`.
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.AndExpressionContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOpContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOperationContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BoolContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BooleanContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ComparisonContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ExpressionContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FormulaContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FractionContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FrequencyOpContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.NestedContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.OrExpressionContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ProbabilityContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryAtomContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOpContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOperationContext
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.VariableContext
exitRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.InputContext
exitRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.OutputContext
exitRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.SemanticsContext
exitRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.SpecificationContext
exitRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.TargetContext
exitRule(ParseTreeListener) - Method in class owl.grammar.TLSFParser.TlsfContext
exitSemantics(TLSFParser.SemanticsContext) - Method in class owl.grammar.TLSFParserBaseListener
  Exit a parse tree produced by `TLSFParser.semantics()`.
exitSemantics(TLSFParser.SemanticsContext) - Method in interface owl.grammar.TLSFParserListener
  Exit a parse tree produced by `TLSFParser.semantics()`.
exitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by the `singleQuotedVariable` labeled alternative 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()`.
exitSpecification(TLSFParser.SpecificationContext) - Method in class owl.grammar.TLSFParserBaseListener
  Exit a parse tree produced by `TLSFParser.specification()`.
exitSpecification(TLSFParser.SpecificationContext) - Method in interface owl.grammar.TLSFParserListener
  Exit a parse tree produced by `TLSFParser.specification()`.
exitTarget(TLSFParser.TargetContext) - Method in class owl.grammar.TLSFParserBaseListener
  Exit a parse tree produced by `TLSFParser.target()`.
exitTarget(TLSFParser.TargetContext) - Method in interface owl.grammar.TLSFParserListener
  Exit a parse tree produced by `TLSFParser.target()`.
exitTlsf(TLSFParser.TlsfContext) - Method in class owl.grammar.TLSFParserBaseListener
  Exit a parse tree produced by `TLSFParser.tlsf()`.
exitTlsf(TLSFParser.TlsfContext) - Method in interface owl.grammar.TLSFParserListener
  Exit a parse tree produced by `TLSFParser.tlsf()`.
exitUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseListener
  Exit a parse tree produced by the `unaryAtom` labeled alternative 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(Environment, String) - Constructor for class owl.translations.ExternalTranslator
extractPropositions(Formula) - Static method in class owl.factories.PropositionVisitor

## F

factories - Variable in class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
Factories - Class in owl.factories
Factories(EquivalenceClassFactory, ValuationSetFactory) - Constructor for class owl.factories.Factories
factory - Variable in class owl.automaton.AbstractAutomaton
factory - Variable in class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
factory - Variable in class owl.translations.ltl2ldba.AbstractJumpManager
factory() - Method in class owl.automaton.AbstractAutomaton
factory() - Method in interface owl.automaton.Automaton
factory() - Method in class owl.ltl.EquivalenceClass
factorySupplier() - Method in interface owl.run.Environment
  Returns the configured `FactorySupplier`.
FactorySupplier - Interface in owl.factories
failWithMessage(String) - Static method in class owl.run.RunUtil
  Prints given `message` on standard error and 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`.
FALSE - Static variable in class owl.game.output.Aig
FALSE - Static variable in class owl.grammar.LTLLexer
FALSE - Static variable in class owl.grammar.LTLParser
FALSE - Static variable in class owl.ltl.BooleanConstant
FALSE - Static variable in class owl.ltl.robust.Split
FALSE() - Method in class owl.grammar.LTLParser.BoolContext
feedTo(Object, HOAConsumer) - Static method in class owl.automaton.output.HoaPrinter
feedTo(Object, HOAConsumer, EnumSet<HoaPrinter.HoaOption>) - Static method in class owl.automaton.output.HoaPrinter
feedTo(Automaton<S, ?>, HOAConsumer) - Static method in class owl.automaton.output.HoaPrinter
feedTo(Automaton<S, ?>, HOAConsumer, EnumSet<HoaPrinter.HoaOption>) - Static method in class owl.automaton.output.HoaPrinter
feedTo(LimitDeterministicAutomaton<S, ?, ?, ?>, HOAConsumer) - Static method in class owl.automaton.output.HoaPrinter
feedTo(LimitDeterministicAutomaton<S, ?, ?, ?>, HOAConsumer, EnumSet<HoaPrinter.HoaOption>) - Static method in class owl.automaton.output.HoaPrinter
feedTo(AigConsumer) - Method in interface owl.game.Game
feedTo(AigConsumer) - Method in interface owl.game.output.AigPrintable
FGMU - owl.ltl.SyntacticFragment
FGObligations - Class in owl.translations.ltl2ldba.breakpointfree
FGObligationsJumpManager - Class in owl.translations.ltl2ldba.breakpointfree
FGSubstitution - Class in owl.translations.ltl2ldba
FGSubstitution(Iterable<? extends Formula>) - Constructor for class owl.translations.ltl2ldba.FGSubstitution
FGX - owl.ltl.SyntacticFragment
FGX2DPA - Class in owl.translations.fgx2dpa
filter(IntPredicate) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
filter(Automaton<S, ?>, Set<S>) - Static method in interface owl.automaton.SuccessorFunction
filter(Automaton<S, ?>, Set<S>, Predicate<Edge<S>>) - Static method in interface owl.automaton.SuccessorFunction
filter(Automaton<S, A>, Set<S>) - Static method in class owl.automaton.Views
filter(Automaton<S, A>, Set<S>, Predicate<Edge<S>>) - Static method in class owl.automaton.Views
filter(Game<S, A>, Set<S>) - Static method in class owl.game.GameViews
filter(Game<S, A>, Set<S>, Predicate<Edge<S>>) - Static method in class owl.game.GameViews
FINALLY - Static variable in class owl.grammar.LTLLexer
FINALLY - Static variable in class owl.grammar.LTLParser
FINALLY() - Method in class owl.grammar.LTLParser.FrequencyOpContext
FINALLY() - Method in class owl.grammar.LTLParser.UnaryOpContext
findNextSafety(List<T>, int) - Method in class owl.translations.ldba2dpa.AbstractBuilder
FINITE - owl.ltl.SyntacticFragment
finSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
FlatRankingAutomaton - Class in owl.translations.ldba2dpa
FlatRankingState<S,T> - Class in owl.translations.ldba2dpa
FlatRankingState() - Constructor for class owl.translations.ldba2dpa.FlatRankingState
flip() - Method in class owl.game.output.LabelledAig
flipEven() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
flipMax() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
FOperator - Class in owl.ltl
  Finally.
FOperator(Formula) - Constructor for class owl.ltl.FOperator
FORCE_JUMPS - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
forEach(BitSet, Consumer<BitSet>) - Method in class owl.collections.ValuationSet
forEach(BiConsumer<L, List<L>>) - Method in class owl.translations.safra.Tree
forEach(BiConsumer<Edge<S>, BitSet>) - Method in class owl.automaton.edge.LabelledEdge
forEach(Consumer<BitSet>) - Method in class owl.collections.ValuationSet
forEach(Consumer<BitSet>) - Method in interface owl.factories.ValuationSetFactory
forEach(Consumer<L>) - Method in class owl.translations.safra.Tree
forEach(Consumer<Formula>) - Method in class owl.ltl.PropositionalFormula
forEach(ValuationSet, BitSet, Consumer<BitSet>) - Method in interface owl.factories.ValuationSetFactory
forEach(ValuationSet, Consumer<BitSet>) - Method in interface owl.factories.ValuationSetFactory
forEachEdge(S, Consumer<Edge<S>>) - Method in interface owl.automaton.Automaton
forEachIndex(IntConsumer) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
forEachInfSet(IntConsumer) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
forEachLabelledEdge(S, BiConsumer<Edge<S>, ValuationSet>) - Method in interface owl.automaton.Automaton
forEachNonTransientEdge(Automaton<S, ?>, BiConsumer<S, Edge<S>>) - Static method in class owl.automaton.AutomatonUtil
formula - Variable in class owl.grammar.TLSFParser.SpecificationContext
formula - Variable in class owl.jni.JniEmersonLeiAutomaton.Reference
formula - Variable in class owl.ltl.rewriter.LiteralMapper.ShiftedFormula
formula() - Method in class owl.grammar.LTLParser
formula() - Method in class owl.ltl.LabelledFormula
Formula - Interface in owl.ltl
FormulaContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FormulaContext
FormulaIsomorphism - Class in owl.ltl.util
FractionContext(LTLParser.FrequencySpecContext) - Constructor for class owl.grammar.LTLParser.FractionContext
FREQUENCY_SPEC - Static variable in class owl.grammar.LTLLexer
FrequencyG - Class in owl.ltl
FrequencyG(Formula, double, FrequencyG.Comparison, FrequencyG.Limes) - Constructor for class owl.ltl.FrequencyG
FrequencyG.Comparison - Enum in owl.ltl
FrequencyG.Limes - Enum in owl.ltl
frequencyOp() - Method in class owl.grammar.LTLParser
frequencyOp() - Method in class owl.grammar.LTLParser.UnaryOpContext
FrequencyOpContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FrequencyOpContext
frequencySpec() - Method in class owl.grammar.LTLParser.FrequencyOpContext
frequencySpec() - Method in class owl.grammar.LTLParser
FrequencySpecContext() - Constructor for class owl.grammar.LTLParser.FrequencySpecContext
FrequencySpecContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FrequencySpecContext
fromFunction(Class<K>, Function<K, V>) - Static method in class owl.run.modules.Transformers
fromWriter(OutputWriter) - Static method in class owl.run.modules.Transformers
  Creates a `transformer` from a `writer` by redirecting the output to the `meta writer`.

## G

Game<S,A extends OmegaAcceptance> - Interface in owl.game
Game.Owner - Enum in owl.game
GameFactory - Class in owl.game
GameUtil - Class in owl.game
GameViews - Class in owl.game
GameViews.Node<S> - Class in owl.game
  A state of the split game.
GE - Static variable in class owl.grammar.LTLLexer
GE - Static variable in class owl.grammar.LTLParser
GE() - Method in class owl.grammar.LTLParser.ComparisonContext
GeneralizedAcceptingComponentBuilder - Class in owl.translations.ltl2ldba.breakpoint
GeneralizedAcceptingComponentBuilder - Class in owl.translations.ltl2ldba.breakpointfree
GeneralizedAcceptingComponentBuilder(Factories, Set<LTL2LDBAFunction.Configuration>) - Constructor for class owl.translations.ltl2ldba.breakpoint.GeneralizedAcceptingComponentBuilder
GeneralizedAcceptingComponentBuilder(Factories, Set<LTL2LDBAFunction.Configuration>) - Constructor for class owl.translations.ltl2ldba.breakpointfree.GeneralizedAcceptingComponentBuilder
GeneralizedBreakpointFreeState - Class in owl.translations.ltl2ldba.breakpointfree
GeneralizedBreakpointState - Class in owl.translations.ltl2ldba.breakpoint
GeneralizedBuchiAcceptance - Class in owl.automaton.acceptance
GeneralizedRabinAcceptance - Class in owl.automaton.acceptance
  Generalized Rabin Acceptance - OR (Fin(i) and AND Inf(j)).
GeneralizedRabinAcceptance.Builder - Class in owl.automaton.acceptance
GeneralizedRabinAcceptance.RabinPair - Class in owl.automaton.acceptance
GeneralizedRabinMinimizations - Class in owl.automaton.minimizations
GenericMinimizations - Class in owl.automaton.minimizations
GEQ - owl.ltl.FrequencyG.Comparison
get(Robustness) - Method in class owl.ltl.robust.Split
getAcceptanceSets(Automaton<S, ?>, Set<S>) - Static method in class owl.automaton.AutomatonUtil
  Collect all acceptance sets occurring on transitions within the given state set.
getAllOfType(OwlModuleRegistry.Type) - Method in class owl.run.modules.OwlModuleRegistry
getAllWithName(String) - Method in class owl.run.modules.OwlModuleRegistry
getATN() - Method in class owl.grammar.LTLLexer
getATN() - Method in class owl.grammar.LTLParser
getATN() - Method in class owl.grammar.TLSFLexer
getATN() - Method in class owl.grammar.TLSFParser
getAtom() - Method in class owl.ltl.Literal
getAttractor(Collection<S>, Game.Owner) - Method in interface owl.game.Game
getAttractorFixpoint(Collection<S>, Game.Owner) - Method in interface owl.game.Game
getBottom() - Method in interface owl.translations.ldba2dpa.LanguageLattice
getBottom() - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
getBottom() - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
getCause() - Method in exception owl.run.parser.PipelineParser.ModuleParseException
getChannelNames() - Method in class owl.grammar.LTLLexer
getChannelNames() - Method in class owl.grammar.TLSFLexer
getChildren() - Method in class owl.collections.LabelledTree.Node
getChoice(S, Game.Owner) - Method in interface owl.game.Game
getConsumer(Consumer<? super Automaton<AutomatonReader.HoaState, ?>>, FactorySupplier) - Static method in class owl.automaton.AutomatonReader
getConsumer(Consumer<? super Automaton<AutomatonReader.HoaState, ?>>, ValuationSetFactory) - Static method in class owl.automaton.AutomatonReader
getDefaultAnnotationOption() - Static method in class owl.run.RunUtil
getDefaultParallelOption() - Static method in class owl.run.RunUtil
getDepth(Formula) - Static method in class owl.ltl.visitors.XDepthVisitor
getDescription() - Method in class owl.ltl.robust.RobustLtlInputReader
getDescription() - Method in interface owl.run.modules.OwlModuleParser
getDescription() - Method in class owl.translations.ltl2dpa.LTL2DPACliParser
getDescription() - Method in class owl.translations.ltl2dra.LTL2DRACliParser
getDescription() - Method in class owl.translations.ltl2ldba.LTL2LDBAModule
getDescription() - Method in class owl.translations.ltl2ldba.LTL2LDGBAModule
getDescription() - Method in class owl.translations.rabinizer.RabinizerCliParser
getEquivalenceClassFactory(List<String>) - Method in interface owl.factories.FactorySupplier
getEquivalenceClassFactory(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
getEquivalenceClassFactory(List<String>, boolean) - Method in interface owl.factories.FactorySupplier
getEquivalenceClassFactory(List<String>, boolean) - Method in class owl.factories.jbdd.JBddSupplier
getFactories(List<String>) - Method in interface owl.factories.FactorySupplier
getFactories(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
getFactories(List<String>, boolean) - Method in interface owl.factories.FactorySupplier
getFactory() - Method in class owl.collections.ValuationSet
getFalse() - Method in interface owl.factories.EquivalenceClassFactory
getFalse() - Method in class owl.game.output.AigFactory
getGrammarFileName() - Method in class owl.grammar.LTLLexer
getGrammarFileName() - Method in class owl.grammar.LTLParser
getGrammarFileName() - Method in class owl.grammar.TLSFLexer
getGrammarFileName() - Method in class owl.grammar.TLSFParser
getIncompleteStates(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
  Determines all states which are incomplete, i.e.
getInitial(EquivalenceClass, EquivalenceClass...) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
getInitial(Formula...) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
getKey() - Method in class owl.ltl.robust.RobustLtlInputReader
getKey() - Method in interface owl.run.modules.OwlModuleParser
getKey() - Method in class owl.translations.ltl2dpa.LTL2DPACliParser
getKey() - Method in class owl.translations.ltl2dra.LTL2DRACliParser
getKey() - Method in class owl.translations.ltl2ldba.LTL2LDBAModule
getKey() - Method in class owl.translations.ltl2ldba.LTL2LDGBAModule
getKey() - Method in class owl.translations.rabinizer.RabinizerCliParser
getLabel() - Method in class owl.collections.LabelledTree.Leaf
getLabel() - Method in class owl.collections.LabelledTree.Node
getLanguage() - Method in class owl.translations.ltl2ldba.breakpoint.GObligations
getLanguage() - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
getLanguage() - Method in interface owl.translations.ltl2ldba.RecurringObligation
getLanguage(DegeneralizedBreakpointState) - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
getLanguage(DegeneralizedBreakpointFreeState) - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
getLanguage(S) - Method in interface owl.translations.ldba2dpa.LanguageLattice
getModeNames() - Method in class owl.grammar.LTLLexer
getModeNames() - Method in class owl.grammar.TLSFLexer
getNode(int) - Method in class owl.game.output.AigFactory
getNondeterministicStates(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
getNondeterministicSuccessor(EquivalenceClass, BitSet) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
getObligations() - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
getObligations() - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
getObligations() - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
getObligations() - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
getOperand() - Method in class owl.ltl.UnaryModalOperator
getOperator() - Method in class owl.ltl.BinaryModalOperator
getOperator() - Method in class owl.ltl.Conjunction
getOperator() - Method in class owl.ltl.Disjunction
getOperator() - Method in class owl.ltl.FOperator
getOperator() - Method in class owl.ltl.FrequencyG
getOperator() - Method in class owl.ltl.GOperator
getOperator() - Method in class owl.ltl.MOperator
getOperator() - Method in class owl.ltl.PropositionalFormula
getOperator() - Method in class owl.ltl.ROperator
getOperator() - Method in class owl.ltl.UnaryModalOperator
getOperator() - Method in class owl.ltl.UOperator
getOperator() - Method in class owl.ltl.WOperator
getOperator() - Method in class owl.ltl.XOperator
getOptions() - Method in class owl.ltl.robust.RobustLtlInputReader
getOptions() - Static method in class owl.run.DefaultCli
getOptions() - Method in interface owl.run.modules.OwlModuleParser
getOptions() - Static method in class owl.run.ServerCli
getOptions() - Method in class owl.translations.ltl2dpa.LTL2DPACliParser
getOptions() - Method in class owl.translations.ltl2dra.LTL2DRACliParser
getOptions() - Method in class owl.translations.ltl2ldba.AbstractLTL2LDBAModule
getOptions() - Method in class owl.translations.rabinizer.RabinizerCliParser
getOwner(S) - Method in interface owl.game.Game
getPredecessors(Iterable<S>) - Method in interface owl.game.Game
getPredecessors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
getPredecessors(S, Game.Owner) - Method in interface owl.game.Game
getRuleIndex() - Method in class owl.grammar.LTLParser.AndExpressionContext
getRuleIndex() - Method in class owl.grammar.LTLParser.AtomExpressionContext
getRuleIndex() - Method in class owl.grammar.LTLParser.BinaryExpressionContext
getRuleIndex() - Method in class owl.grammar.LTLParser.BinaryOpContext
getRuleIndex() - Method in class owl.grammar.LTLParser.BoolContext
getRuleIndex() - Method in class owl.grammar.LTLParser.ComparisonContext
getRuleIndex() - Method in class owl.grammar.LTLParser.ExpressionContext
getRuleIndex() - Method in class owl.grammar.LTLParser.FormulaContext
getRuleIndex() - Method in class owl.grammar.LTLParser.FrequencyOpContext
getRuleIndex() - Method in class owl.grammar.LTLParser.FrequencySpecContext
getRuleIndex() - Method in class owl.grammar.LTLParser.OrExpressionContext
getRuleIndex() - Method in class owl.grammar.LTLParser.UnaryExpressionContext
getRuleIndex() - Method in class owl.grammar.LTLParser.UnaryOpContext
getRuleIndex() - Method in class owl.grammar.TLSFParser.InputContext
getRuleIndex() - Method in class owl.grammar.TLSFParser.OutputContext
getRuleIndex() - Method in class owl.grammar.TLSFParser.SemanticsContext
getRuleIndex() - Method in class owl.grammar.TLSFParser.SpecificationContext
getRuleIndex() - Method in class owl.grammar.TLSFParser.TargetContext
getRuleIndex() - Method in class owl.grammar.TLSFParser.TlsfContext
getRuleNames() - Method in class owl.grammar.LTLLexer
getRuleNames() - Method in class owl.grammar.LTLParser
getRuleNames() - Method in class owl.grammar.TLSFLexer
getRuleNames() - Method in class owl.grammar.TLSFParser
getSensitiveAlphabet(EquivalenceClass) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
getSensitiveAlphabet(DegeneralizedBreakpointFreeState) - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
getSerializedATN() - Method in class owl.grammar.LTLLexer
getSerializedATN() - Method in class owl.grammar.LTLParser
getSerializedATN() - Method in class owl.grammar.TLSFLexer
getSerializedATN() - Method in class owl.grammar.TLSFParser
getStates(Game.Owner) - Method in interface owl.game.Game
getSuccessor(EquivalenceClass, BitSet, EquivalenceClass...) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
getSuccessor(GeneralizedBreakpointState, BitSet) - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedAcceptingComponentBuilder
getSuccessor(DegeneralizedBreakpointFreeState, BitSet) - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
getSuccessors(Iterable<S>) - Method in interface owl.game.Game
getSuccessors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
getSuccessors(EquivalenceClass) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
getSuccessors(EquivalenceClass[], BitSet, EquivalenceClass) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
getSuccessors(S, Game.Owner) - Method in interface owl.game.Game
getT() - Method in interface owl.translations.ldba2dpa.Language
getTokenNames() - Method in class owl.grammar.LTLLexer
  Deprecated.
getTokenNames() - Method in class owl.grammar.LTLParser
  Deprecated.
getTokenNames() - Method in class owl.grammar.TLSFLexer
  Deprecated.
getTokenNames() - Method in class owl.grammar.TLSFParser
  Deprecated.
getTop() - Method in interface owl.translations.ldba2dpa.LanguageLattice
getTop() - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
getTop() - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
getTrue() - Method in interface owl.factories.EquivalenceClassFactory
getTrue() - Method in class owl.game.output.AigFactory
getValuationSetFactory(List<String>) - Method in interface owl.factories.FactorySupplier
getValuationSetFactory(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
getVariables(Game.Owner) - Method in interface owl.game.Game
getVocabulary() - Method in class owl.grammar.LTLLexer
getVocabulary() - Method in class owl.grammar.LTLParser
getVocabulary() - Method in class owl.grammar.TLSFLexer
getVocabulary() - Method in class owl.grammar.TLSFParser
GFSubstitution - Class in owl.translations.ltl2ldba
GFSubstitution(Iterable<? extends Formula>) - Constructor for class owl.translations.ltl2ldba.GFSubstitution
GLOBALLY - Static variable in class owl.grammar.LTLLexer
GLOBALLY - Static variable in class owl.grammar.LTLParser
GLOBALLY() - Method in class owl.grammar.LTLParser.FrequencyOpContext
GLOBALLY() - Method in class owl.grammar.LTLParser.UnaryOpContext
globalSettings - Variable in class owl.run.parser.OwlParser
GObligations - Class in owl.translations.ltl2ldba.breakpoint
GObligations() - Constructor for class owl.translations.ltl2ldba.breakpoint.GObligations
GObligationsJumpManager - Class in owl.translations.ltl2ldba.breakpoint
GOperator - Class in owl.ltl
  Globally.
GOperator(Formula) - Constructor for class owl.ltl.GOperator
greaterOrEqual(Language<L>) - Method in interface owl.translations.ldba2dpa.Language
GREEDY - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
GT - owl.ltl.FrequencyG.Comparison
GT - Static variable in class owl.grammar.LTLLexer
GT - Static variable in class owl.grammar.LTLParser
GT() - Method in class owl.grammar.LTLParser.ComparisonContext
guarantee() - Method in class owl.ltl.tlsf.Tlsf
GUARANTEE - Static variable in class owl.grammar.TLSFLexer
GUARANTEE - Static variable in class owl.grammar.TLSFParser
GUARANTEE() - Method in class owl.grammar.TLSFParser.SpecificationContext
guard(OutputStream) - Static method in class owl.util.GuardedStream
guard(Writer) - Static method in class owl.util.GuardedStream
GuardedStream - Class in owl.util
  Wrappers for streams which only forward a `OutputStream.flush()` upon `OutputStream.close()`.
GUESS_F - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
guessF() - Static method in class owl.translations.ltl2ldba.AbstractLTL2LDBAModule

## H

hasAcceptanceSets() - Method in interface owl.automaton.edge.Edge
  Returns whether this edge has any acceptance set.
hashCode() - Method in class owl.automaton.acceptance.ParityAcceptance
hashCode() - Method in class owl.automaton.AutomatonReader.HoaState
hashCode() - Method in class owl.automaton.edge.LabelledEdge
hashCode() - Method in class owl.automaton.MutableAutomatonUtil.Sink
hashCode() - Method in class owl.ltl.AbstractFormula
hashCode() - Method in class owl.ltl.BooleanConstant
hashCode() - Method in class owl.translations.delag.State
hashCode() - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
hashCode() - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
hashCode() - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
hashCode() - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
hashCode() - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
hashCode() - Method in class owl.translations.ltl2ldba.Jump
hashCodeOnce() - Method in class owl.ltl.AbstractFormula
hashCodeOnce() - Method in class owl.ltl.Biconditional
hashCodeOnce() - Method in class owl.ltl.BinaryModalOperator
hashCodeOnce() - Method in class owl.ltl.Conjunction
hashCodeOnce() - Method in class owl.ltl.Disjunction
hashCodeOnce() - Method in class owl.ltl.FrequencyG
hashCodeOnce() - Method in class owl.ltl.Literal
hashCodeOnce() - Method in class owl.ltl.UnaryModalOperator
HashedTuple - Annotation Type in owl.util.annotation
hasInfSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
hasSafetyCore(EquivalenceClass, boolean) - Static method in class owl.translations.ltl2ldba.SafetyDetector
HOA - Static variable in class owl.run.modules.InputReaders
HOA - Static variable in class owl.run.modules.OutputWriters
HOA_CLI - Static variable in class owl.run.modules.InputReaders
HOA_CLI - Static variable in class owl.run.modules.OutputWriters
HoaPrinter - Class in owl.automaton.output
HoaPrinter.HoaOption - Enum in owl.automaton.output
HoaReader() - Constructor for class owl.run.modules.InputReaders.HoaReader
HoaReader(HOAFParserSettings) - Constructor for class owl.run.modules.InputReaders.HoaReader

## I

IARBuilder<R> - Class in owl.translations.dra2dpa
IARBuilder(Automaton<R, RabinAcceptance>) - Constructor for class owl.translations.dra2dpa.IARBuilder
IARState<R> - Class in owl.translations.dra2dpa
IARState() - Constructor for class owl.translations.dra2dpa.IARState
ID_SEP - Static variable in class owl.grammar.TLSFLexer
ID_SEP - Static variable in class owl.grammar.TLSFParser
ID_SEP() - Method in class owl.grammar.TLSFParser.InputContext
ID_SEP() - Method in class owl.grammar.TLSFParser.OutputContext
ID_SEP(int) - Method in class owl.grammar.TLSFParser.InputContext
ID_SEP(int) - Method in class owl.grammar.TLSFParser.OutputContext
IMP - Static variable in class owl.grammar.LTLLexer
IMP - Static variable in class owl.grammar.LTLParser
IMP() - Method in class owl.grammar.LTLParser.BinaryOpContext
ImplicitCachedStatesAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
ImplicitCachedStatesAutomaton(ValuationSetFactory, Set<S>, A) - Constructor for class owl.automaton.ImplicitCachedStatesAutomaton
ImplicitMinimizeTransformer - Class in owl.automaton.minimizations
ImplicitMinimizeTransformer() - Constructor for class owl.automaton.minimizations.ImplicitMinimizeTransformer
ImplicitMinimizeTransformer(MinimizationUtil.MinimizationLevel) - Constructor for class owl.automaton.minimizations.ImplicitMinimizeTransformer
implies(EquivalenceClass) - Method in class owl.ltl.EquivalenceClass
  See `EquivalenceClassFactory.implies(EquivalenceClass, EquivalenceClass)`.
implies(EquivalenceClass, EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
in - Variable in class owl.grammar.TLSFParser.InputContext
index - Variable in class owl.jni.JniEmersonLeiAutomaton.Reference
INF - owl.ltl.FrequencyG.Limes
INF - Static variable in class owl.grammar.LTLLexer
INF - Static variable in class owl.grammar.LTLParser
INF() - Method in class owl.grammar.LTLParser.FrequencyOpContext
INFINITELY_OFTEN - owl.ltl.robust.Robustness
infinitelyOften() - Method in class owl.ltl.robust.LabelledSplit
infinitelyOften() - Method in class owl.ltl.robust.Split
INFO - Static variable in class owl.grammar.TLSFLexer
INFO - Static variable in class owl.grammar.TLSFParser
INFO() - Method in class owl.grammar.TLSFParser.TlsfContext
INFO_END - Static variable in class owl.grammar.TLSFLexer
INFO_END - Static variable in class owl.grammar.TLSFParser
INFO_END() - Method in class owl.grammar.TLSFParser.TlsfContext
INFO_START - Static variable in class owl.grammar.TLSFLexer
INFO_START - Static variable in class owl.grammar.TLSFParser
INFO_START() - Method in class owl.grammar.TLSFParser.TlsfContext
INFO_STRING - Static variable in class owl.grammar.TLSFLexer
INFO_STRING - Static variable in class owl.grammar.TLSFParser
INFO_STRING() - Method in class owl.grammar.TLSFParser.TlsfContext
INFO_STRING(int) - Method in class owl.grammar.TLSFParser.TlsfContext
infSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
infSet(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
infSetCount() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
infSetIterator() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
initialComponent() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
initialComponent() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
InitialComponentState() - Constructor for class owl.automaton.AutomatonUtil.InitialComponentState
initially() - Method in class owl.ltl.tlsf.Tlsf
INITIALLY - Static variable in class owl.grammar.TLSFLexer
INITIALLY - Static variable in class owl.grammar.TLSFParser
INITIALLY() - Method in class owl.grammar.TLSFParser.SpecificationContext
initialStates - Variable in class owl.automaton.AbstractAutomaton
initialStates() - Method in class owl.automaton.AbstractAutomaton
initialStates() - Method in interface owl.automaton.Automaton
  Returns the set of initial states, which can potentially be empty.
initialStates() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
initialStates() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
initialStates(Collection<? extends S>) - Method in interface owl.automaton.MutableAutomaton
  Sets the set of initial states of the automaton.
inner - Variable in class owl.grammar.LTLParser.UnaryOperationContext
input() - Method in class owl.grammar.TLSFParser
input() - Method in class owl.grammar.TLSFParser.TlsfContext
input() - Method in class owl.run.Pipeline
InputContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.InputContext
InputReader - Interface in owl.run.modules
  Input readers are tasked with providing input to the processing pipeline.
InputReaders - Class in owl.run.modules
InputReaders.CheckedCallback - Interface in owl.run.modules
InputReaders.HoaReader - Class in owl.run.modules
inputs() - Method in class owl.ltl.tlsf.Tlsf
INPUTS - Static variable in class owl.grammar.TLSFLexer
INPUTS - Static variable in class owl.grammar.TLSFParser
INPUTS() - Method in class owl.grammar.TLSFParser.InputContext
insertableToRanking(T, Map<A, Language<L>>) - Method in class owl.translations.ldba2dpa.AbstractBuilder
inSet(int) - Method in interface owl.automaton.edge.Edge
  Test membership of this edge for a specific acceptance set.
INSTANCE - Static variable in class owl.automaton.acceptance.AllAcceptance
INSTANCE - Static variable in class owl.automaton.acceptance.BuchiAcceptance
INSTANCE - Static variable in class owl.automaton.acceptance.CoBuchiAcceptance
INSTANCE - Static variable in class owl.automaton.acceptance.NoneAcceptance
INSTANCE - Static variable in class owl.automaton.MutableAutomatonUtil.Sink
INSTANCE - Static variable in class owl.automaton.transformations.RabinDegeneralization
INSTANCE - Static variable in class owl.ltl.rewriter.PullUpXVisitor
INSTANCE - Static variable in class owl.ltl.robust.RobustLtlInputReader
INSTANCE - Static variable in class owl.translations.ltl2dpa.LTL2DPACliParser
INSTANCE - Static variable in class owl.translations.ltl2dra.LTL2DRACliParser
INSTANCE - Static variable in class owl.translations.ltl2ldba.LTL2LDBAModule
INSTANCE - Static variable in class owl.translations.ltl2ldba.LTL2LDGBAModule
INSTANCE - Static variable in class owl.translations.rabinizer.RabinizerCliParser
instanceFromFunction(Class<K>, Function<K, V>) - Static method in class owl.run.modules.Transformers
IntBiConsumer - Interface in owl.util
intersection(Iterable<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
intersection(Iterator<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
intersection(List<Automaton<S, ? extends OmegaAcceptance>>) - Static method in class owl.automaton.AutomatonOperations
  Constructs an automaton recognizing the intersection of languages of the given automata.
intersection(ValuationSet) - Method in class owl.collections.ValuationSet
intersection(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
intersects(ValuationSet) - Method in class owl.collections.ValuationSet
intersects(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
IntVisitor - Interface in owl.ltl.visitors
IO_END - Static variable in class owl.grammar.TLSFLexer
IO_END - Static variable in class owl.grammar.TLSFParser
IO_END() - Method in class owl.grammar.TLSFParser.InputContext
IO_END() - Method in class owl.grammar.TLSFParser.OutputContext
IO_START - Static variable in class owl.grammar.TLSFLexer
IO_START - Static variable in class owl.grammar.TLSFParser
IO_START() - Method in class owl.grammar.TLSFParser.InputContext
IO_START() - Method in class owl.grammar.TLSFParser.OutputContext
is(Automaton.Property) - Method in interface owl.automaton.Automaton
is(Automaton.Property) - Method in class owl.automaton.Views.AutomatonView
isAccepting(int) - Method in class owl.automaton.acceptance.ParityAcceptance
isAcceptingState - Variable in class owl.translations.ldba2dpa.AbstractBuilder
isAlmostAll(Formula) - Static method in class owl.ltl.SyntacticFragments
isBottom() - Method in interface owl.translations.ldba2dpa.Language
isConstant() - Method in class owl.game.output.Aig
isDetBuchiRecognisable(Formula) - Static method in class owl.ltl.SyntacticFragments
isDetCoBuchiRecognisable(Formula) - Static method in class owl.ltl.SyntacticFragments
isDeterministic() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
isDistinct(Collection<E>) - Static method in class owl.collections.Collections3
isEmpty() - Method in class owl.collections.ValuationSet
isEmpty(Automaton<S, ?>) - Static method in class owl.automaton.algorithms.EmptinessCheck
isEmpty(Automaton<S, ?>, S) - Static method in class owl.automaton.algorithms.EmptinessCheck
isFalse() - Method in class owl.ltl.EquivalenceClass
isInfinite(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
isInfinitelyOften(Formula) - Static method in class owl.ltl.SyntacticFragments
isLeaf() - Method in class owl.game.output.Aig
isLivenessLanguage(A) - Method in interface owl.translations.ldba2dpa.LanguageLattice
isLivenessLanguage(GObligations) - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
isLivenessLanguage(FGObligations) - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
isMealy() - Method in enum owl.ltl.tlsf.Tlsf.Semantics
isMoore() - Method in enum owl.ltl.tlsf.Tlsf.Semantics
isNegated() - Method in class owl.game.output.LabelledAig
isNegated() - Method in class owl.ltl.Literal
isPureEventual() - Method in class owl.ltl.Biconditional
isPureEventual() - Method in class owl.ltl.BooleanConstant
isPureEventual() - Method in class owl.ltl.FOperator
isPureEventual() - Method in interface owl.ltl.Formula
isPureEventual() - Method in class owl.ltl.FrequencyG
isPureEventual() - Method in class owl.ltl.GOperator
isPureEventual() - Method in class owl.ltl.Literal
isPureEventual() - Method in class owl.ltl.MOperator
isPureEventual() - Method in class owl.ltl.PropositionalFormula
isPureEventual() - Method in class owl.ltl.ROperator
isPureEventual() - Method in class owl.ltl.UOperator
isPureEventual() - Method in class owl.ltl.WOperator
isPureEventual() - Method in class owl.ltl.XOperator
isPureUniversal() - Method in class owl.ltl.Biconditional
isPureUniversal() - Method in class owl.ltl.BooleanConstant
isPureUniversal() - Method in class owl.ltl.FOperator
isPureUniversal() - Method in interface owl.ltl.Formula
isPureUniversal() - Method in class owl.ltl.FrequencyG
isPureUniversal() - Method in class owl.ltl.GOperator
isPureUniversal() - Method in class owl.ltl.Literal
isPureUniversal() - Method in class owl.ltl.MOperator
isPureUniversal() - Method in class owl.ltl.PropositionalFormula
isPureUniversal() - Method in class owl.ltl.ROperator
isPureUniversal() - Method in class owl.ltl.UOperator
isPureUniversal() - Method in class owl.ltl.WOperator
isPureUniversal() - Method in class owl.ltl.XOperator
isSafetyAnnotation(A) - Method in interface owl.translations.ldba2dpa.LanguageLattice
isSafetyAnnotation(GObligations) - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
isSafetyAnnotation(FGObligations) - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
isSatisfiable(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
isShutdown() - Method in interface owl.run.Environment
  Whether the computation has finished.
isStrict() - Method in enum owl.ltl.tlsf.Tlsf.Semantics
isSuspendable() - Method in class owl.ltl.Biconditional
isSuspendable() - Method in class owl.ltl.BooleanConstant
isSuspendable() - Method in class owl.ltl.FOperator
isSuspendable() - Method in interface owl.ltl.Formula
isSuspendable() - Method in class owl.ltl.FrequencyG
isSuspendable() - Method in class owl.ltl.GOperator
isSuspendable() - Method in class owl.ltl.Literal
isSuspendable() - Method in class owl.ltl.MOperator
isSuspendable() - Method in class owl.ltl.PropositionalFormula
isSuspendable() - Method in class owl.ltl.ROperator
isSuspendable() - Method in class owl.ltl.UOperator
isSuspendable() - Method in class owl.ltl.WOperator
isSuspendable() - Method in class owl.ltl.XOperator
isThreadSafe() - Method in interface owl.factories.FactorySupplier
isTop() - Method in interface owl.translations.ldba2dpa.Language
isTransient(SuccessorFunction<S>, Set<S>) - Static method in class owl.automaton.algorithms.SccDecomposition
isTrap(Automaton<S, ?>, Set<S>) - Static method in class owl.automaton.algorithms.SccDecomposition
  Determines whether the given set of states is a BSCC in the given automaton assuming that it is an SCC.
isTrue() - Method in class owl.ltl.EquivalenceClass
isUniversal(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
isUniverse() - Method in class owl.collections.ValuationSet
isUnsatisfiable(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
isVariable() - Method in class owl.game.output.Aig
isWellFormedAutomaton(Automaton<S, ?>) - Method in class owl.automaton.acceptance.OmegaAcceptance
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.AllAcceptance
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.CoBuchiAcceptance
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.NoneAcceptance
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.OmegaAcceptance
  This method determines if the given edge is a well defined edge for this acceptance condition.
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.ParityAcceptance
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.RabinAcceptance

## J

JBddSupplier - Class in owl.factories.jbdd
JniAutomaton<S> - Class in owl.jni
JniEmersonLeiAutomaton - Class in owl.jni
JniEmersonLeiAutomaton.Reference - Class in owl.jni
JniEmersonLeiAutomaton.SafetySplittingMode - Enum in owl.jni
join(String...) - Static method in class owl.util.StringUtil
join(Language<L>) - Method in interface owl.translations.ldba2dpa.Language
Jump<U extends RecurringObligation> - Class in owl.translations.ltl2ldba

## L

Label() - Constructor for class owl.translations.safra.SafraBuilder.Label
LabelledAig - Class in owl.game.output
LabelledAig() - Constructor for class owl.game.output.LabelledAig
LabelledEdge<S> - Class in owl.automaton.edge
labelledEdges(S) - Method in interface owl.automaton.Automaton
  Returns all labelled edges of the specified `state`.
labelledEdges(S) - Method in interface owl.automaton.EdgesAutomatonMixin
labelledEdges(S) - Method in class owl.automaton.Views.AutomatonView
LabelledEdges - Class in owl.automaton.edge
LabelledEdgesAutomatonMixin<S,A extends OmegaAcceptance> - Interface in owl.automaton
  Mixin interface for implementing an automaton by `Automaton.labelledEdges(Object)`.
LabelledFormula - Class in owl.ltl
LabelledFormula() - Constructor for class owl.ltl.LabelledFormula
LabelledSplit - Class in owl.ltl.robust
LabelledSplit() - Constructor for class owl.ltl.robust.LabelledSplit
LabelledTree<L1,L2> - Class in owl.collections
LabelledTree() - Constructor for class owl.collections.LabelledTree
LabelledTree.Leaf<L1,L2> - Class in owl.collections
LabelledTree.Node<L1,L2> - Class in owl.collections
Language<L> - Interface in owl.translations.ldba2dpa
LanguageAnalysis - Class in owl.automaton.algorithms
LanguageAnalysis - Class in owl.ltl.algorithms
LanguageLattice<S,A,L> - Interface in owl.translations.ldba2dpa
largestAcceptanceSet() - Method in interface owl.automaton.edge.Edge
  Returns the largest acceptance set this edge is a member of, or `-1` if none.
lattice - Variable in class owl.translations.ldba2dpa.AbstractBuilder
LCPAREN - Static variable in class owl.grammar.LTLLexer
LCPAREN - Static variable in class owl.grammar.LTLParser
LCPAREN() - Method in class owl.grammar.LTLParser.FrequencyOpContext
ldba - Variable in class owl.translations.ldba2dpa.AbstractBuilder
ldbaSplit(Automaton<S, B>) - Static method in class owl.automaton.AutomatonUtil
LDQUOTE - Static variable in class owl.grammar.LTLLexer
LDQUOTE - Static variable in class owl.grammar.LTLParser
LDQUOTE() - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
LE - Static variable in class owl.grammar.LTLLexer
LE - Static variable in class owl.grammar.LTLParser
LE() - Method in class owl.grammar.LTLParser.ComparisonContext
leaf(int) - Static method in class owl.game.output.Aig
Leaf(L2) - Constructor for class owl.collections.LabelledTree.Leaf
left - Variable in class owl.grammar.LTLParser.BinaryOperationContext
left - Variable in class owl.ltl.Biconditional
left - Variable in class owl.ltl.BinaryModalOperator
left() - Method in class owl.game.output.Aig
leftIsNegated() - Method in class owl.game.output.Aig
lessOrEqual(Language<L>) - Method in interface owl.translations.ldba2dpa.Language
LIGHT - owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
limes - Variable in class owl.grammar.LTLParser.FrequencyOpContext
limes - Variable in class owl.ltl.FrequencyG
LIMIT_DETERMINISTIC - owl.automaton.Automaton.Property
LimitDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V> - Interface in owl.automaton.ldba
LimitDeterministicAutomatonBuilder<S,KeyT,T,B extends GeneralizedBuchiAcceptance,C> - Class in owl.automaton.ldba
LimitDeterministicAutomatonBuilder.Configuration - Enum in owl.automaton.ldba
LimitDeterministicAutomatonImpl<S,T,U extends GeneralizedBuchiAcceptance,V> - Class in owl.automaton.ldba
LimitDeterministicAutomatonImpl(MutableAutomaton<S, NoneAcceptance>, MutableAutomaton<T, U>, SetMultimap<S, T>, Table<S, ValuationSet, Set<T>>, Set<T>) - Constructor for class owl.automaton.ldba.LimitDeterministicAutomatonImpl
Literal - Class in owl.ltl
Literal(int) - Constructor for class owl.ltl.Literal
Literal(int, boolean) - Constructor for class owl.ltl.Literal
LiteralMapper - Class in owl.ltl.rewriter
LiteralMapper.ShiftedFormula - Class in owl.ltl.rewriter
LPAREN - Static variable in class owl.grammar.LTLLexer
LPAREN - Static variable in class owl.grammar.LTLParser
LPAREN() - Method in class owl.grammar.LTLParser.NestedContext
LSQUOTE - Static variable in class owl.grammar.LTLLexer
LSQUOTE - Static variable in class owl.grammar.LTLParser
LSQUOTE() - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
LT - Static variable in class owl.grammar.LTLLexer
LT - Static variable in class owl.grammar.LTLParser
LT() - Method in class owl.grammar.LTLParser.ComparisonContext
LTL - Static variable in class owl.run.modules.InputReaders
LTL_CLI - Static variable in class owl.run.modules.InputReaders
LTL_SIMPLIFIER - Static variable in class owl.run.modules.Transformers
LTL2DAFunction - Class in owl.translations
LTL2DAFunction(Environment, boolean, EnumSet<LTL2DAFunction.Constructions>) - Constructor for class owl.translations.LTL2DAFunction
LTL2DAFunction.Constructions - Enum in owl.translations
LTL2DAModule - Class in owl.translations
LTL2DPA - Class in owl.translations
LTL2DPACliParser - Class in owl.translations.ltl2dpa
LTL2DPAFunction - Class in owl.translations.ltl2dpa
LTL2DPAFunction(Environment, Set<LTL2DPAFunction.Configuration>) - Constructor for class owl.translations.ltl2dpa.LTL2DPAFunction
LTL2DPAFunction.Configuration - Enum in owl.translations.ltl2dpa
LTL2DRACliParser - Class in owl.translations.ltl2dra
LTL2DRAFunction - Class in owl.translations.ltl2dra
LTL2DRAFunction(Environment, Set<LTL2DRAFunction.Configuration>) - Constructor for class owl.translations.ltl2dra.LTL2DRAFunction
LTL2DRAFunction.Configuration - Enum in owl.translations.ltl2dra
LTL2LDBAFunction<S,B extends GeneralizedBuchiAcceptance,C extends RecurringObligation> - Class in owl.translations.ltl2ldba
LTL2LDBAFunction.Configuration - Enum in owl.translations.ltl2ldba
LTL2LDBAModule - Class in owl.translations.ltl2ldba
LTL2LDGBAModule - Class in owl.translations.ltl2ldba
LTLLexer - Class in owl.grammar
LTLLexer(CharStream) - Constructor for class owl.grammar.LTLLexer
LtlParser - Class in owl.ltl.parser
LTLParser - Class in owl.grammar
LTLParser(TokenStream) - Constructor for class owl.grammar.LTLParser
LTLParser.AndExpressionContext - Class in owl.grammar
LTLParser.AtomExpressionContext - Class in owl.grammar
LTLParser.BinaryExpressionContext - Class in owl.grammar
LTLParser.BinaryOpContext - Class in owl.grammar
LTLParser.BinaryOperationContext - Class in owl.grammar
LTLParser.BinaryUnaryContext - Class in owl.grammar
LTLParser.BoolContext - Class in owl.grammar
LTLParser.BooleanContext - Class in owl.grammar
LTLParser.ComparisonContext - Class in owl.grammar
LTLParser.DoubleQuotedVariableContext - Class in owl.grammar
LTLParser.ExpressionContext - Class in owl.grammar
LTLParser.FormulaContext - Class in owl.grammar
LTLParser.FractionContext - Class in owl.grammar
LTLParser.FrequencyOpContext - Class in owl.grammar
LTLParser.FrequencySpecContext - Class in owl.grammar
LTLParser.NestedContext - Class in owl.grammar
LTLParser.OrExpressionContext - Class in owl.grammar
LTLParser.ProbabilityContext - Class in owl.grammar
LTLParser.SingleQuotedVariableContext - Class in owl.grammar
LTLParser.UnaryAtomContext - Class in owl.grammar
LTLParser.UnaryExpressionContext - Class in owl.grammar
LTLParser.UnaryOpContext - Class in owl.grammar
LTLParser.UnaryOperationContext - Class in owl.grammar
LTLParser.VariableContext - Class in owl.grammar
LTLParserBaseListener - Class in owl.grammar
  This class provides an empty implementation of `LTLParserListener`, which can be extended to create a listener which only needs to handle a subset of the available methods.
LTLParserBaseListener() - Constructor for class owl.grammar.LTLParserBaseListener
LTLParserBaseVisitor<T> - Class in owl.grammar
  This class provides an empty implementation of `LTLParserVisitor`, which can be extended to create a visitor which only needs to handle a subset of the available methods.
LTLParserBaseVisitor() - Constructor for class owl.grammar.LTLParserBaseVisitor
LTLParserListener - Interface in owl.grammar
  This interface defines a complete listener for a parse tree produced by `LTLParser`.
LTLParserVisitor<T> - Interface in owl.grammar
  This interface defines a complete generic visitor for a parse tree produced by `LTLParser`.

## M

main(String...) - Static method in class owl.run.DefaultCli
main(String...) - Static method in class owl.run.ServerCli
main(String...) - Static method in class owl.translations.delag.DelagBuilder
main(String...) - Static method in class owl.translations.dra2dpa.IARBuilder
main(String...) - Static method in class owl.translations.fgx2dpa.FGX2DPA
main(String...) - Static method in class owl.translations.LTL2DAModule
main(String...) - Static method in class owl.translations.LTL2DPA
main(String...) - Static method in class owl.translations.ltl2dra.LTL2DRACliParser
main(String...) - Static method in class owl.translations.ltl2ldba.LTL2LDBAModule
main(String...) - Static method in class owl.translations.ltl2ldba.LTL2LDGBAModule
main(String...) - Static method in class owl.translations.nba2dpa.NBA2DPA
main(String...) - Static method in class owl.translations.nba2ldba.NBA2LDBA
main(String...) - Static method in class owl.translations.rabinizer.RabinizerDegeneralizeMain
main(String...) - Static method in class owl.translations.rabinizer.RabinizerMain
main(String...) - Static method in class owl.translations.Synthesis
MAIN - Static variable in class owl.grammar.TLSFLexer
MAIN - Static variable in class owl.grammar.TLSFParser
MAIN() - Method in class owl.grammar.TLSFParser.TlsfContext
MAIN_END - Static variable in class owl.grammar.TLSFLexer
MAIN_END - Static variable in class owl.grammar.TLSFParser
MAIN_END() - Method in class owl.grammar.TLSFParser.TlsfContext
MAIN_START - Static variable in class owl.grammar.TLSFLexer
MAIN_START - Static variable in class owl.grammar.TLSFParser
MAIN_START() - Method in class owl.grammar.TLSFParser.TlsfContext
map(BiFunction<L, List<Tree<L>>, Tree<L>>) - Method in class owl.translations.safra.Tree
map(Function<L, L>) - Method in class owl.translations.safra.Tree
map(Function<Edge<S>, Edge<T>>) - Method in class owl.automaton.edge.LabelledEdge
map(Function<Formula, T>) - Method in class owl.ltl.PropositionalFormula
map(UnaryOperator<Formula>) - Method in class owl.ltl.robust.LabelledSplit
map(UnaryOperator<Formula>) - Method in class owl.ltl.robust.Split
map(UnaryOperator<Formula>, boolean) - Method in class owl.ltl.robust.Split
mapping - Variable in class owl.ltl.rewriter.LiteralMapper.ShiftedFormula
MapRankingAutomaton - Class in owl.translations.ldba2dra
MapRankingState<S,K,V> - Class in owl.translations.ldba2dra
MapRankingState() - Constructor for class owl.translations.ldba2dra.MapRankingState
masterState() - Method in class owl.translations.rabinizer.RabinizerState
max() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
MAX_EVEN - owl.automaton.acceptance.ParityAcceptance.Parity
MAX_ODD - owl.automaton.acceptance.ParityAcceptance.Parity
maxString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
MEALY - owl.ltl.tlsf.Tlsf.Semantics
MEALY - Static variable in class owl.grammar.TLSFLexer
MEALY - Static variable in class owl.grammar.TLSFParser
MEALY() - Method in class owl.grammar.TLSFParser.SemanticsContext
MEALY() - Method in class owl.grammar.TLSFParser.TargetContext
MEALY_STRICT - owl.ltl.tlsf.Tlsf.Semantics
MEALY_STRICT - Static variable in class owl.grammar.TLSFLexer
MEALY_STRICT - Static variable in class owl.grammar.TLSFParser
MEALY_STRICT() - Method in class owl.grammar.TLSFParser.SemanticsContext
MEDIUM - owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
metaWriter() - Method in interface owl.run.PipelineExecutionContext
  The destination for any meta information obtained during execution.
MIN_EVEN - owl.automaton.acceptance.ParityAcceptance.Parity
MIN_ODD - owl.automaton.acceptance.ParityAcceptance.Parity
Minimization<S,A extends OmegaAcceptance> - Interface in owl.automaton.minimizations
MinimizationUtil - Class in owl.automaton.minimizations
MinimizationUtil.MinimizationLevel - Enum in owl.automaton.minimizations
minimize(MutableAutomaton<S, A>) - Method in interface owl.automaton.minimizations.Minimization
minimizeComplementaryInf(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
  Delete all Inf sets which are the complement of their corresponding Fin set.
minimizeDefault(MutableAutomaton<S, A>, MinimizationUtil.MinimizationLevel) - Static method in class owl.automaton.minimizations.MinimizationUtil
minimizeEdgeImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
  Remove all Inf edges which are implied by another Inf index of the same pair.
minimizeGloballyIrrelevant(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
  Remove pairs which cannot accept globally (e.g.
minimizeMergePairs(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
  Merge independent pairs.
minimizeOverlap(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
  Remove edges in a Fin set from all corresponding Inf sets.
minimizePairImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
  Delete all pairs which only accept if another pair accepts.
minimizePriorities(MutableAutomaton<S, ParityAcceptance>) - Static method in class owl.automaton.transformations.ParityUtil
MINIMIZER - Static variable in class owl.run.modules.Transformers
minimizeSccIrrelevant(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
  Remove all indices from edges of an SCC which can't accept (e.g.
minimizeTrivial(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.minimizations.GeneralizedRabinMinimizations
  Identify Fin-only pairs and SCCs which trivially accept with them.
minus(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
mkFin(int) - Static method in class owl.automaton.acceptance.BooleanExpressions
mkInf(int) - Static method in class owl.automaton.acceptance.BooleanExpressions
modalOperatorAction(Formula) - Method in class owl.ltl.visitors.PropositionalIntVisitor
modalOperatorAction(Formula) - Method in class owl.ltl.visitors.PropositionalVisitor
modalOperatorAction(Formula) - Method in class owl.ltl.visitors.SubstitutionVisitor
modalOperators() - Method in class owl.ltl.EquivalenceClass
  See `EquivalenceClassFactory.modalOperators(EquivalenceClass)`.
modalOperators(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
  Compute the support of the EquivalenceClass.
MODE_INFO - Static variable in class owl.grammar.TLSFLexer
MODE_IO - Static variable in class owl.grammar.TLSFLexer
MODE_MAIN - Static variable in class owl.grammar.TLSFLexer
MODE_SPEC - Static variable in class owl.grammar.TLSFLexer
modeNames - Static variable in class owl.grammar.LTLLexer
modeNames - Static variable in class owl.grammar.TLSFLexer
ModuleParseException(ParseException, OwlModuleParser<?>) - Constructor for exception owl.run.parser.PipelineParser.ModuleParseException
Monitor<F extends UnaryModalOperator> - Class in owl.translations.fgx2dpa
Monitor() - Constructor for class owl.translations.fgx2dpa.Monitor
monitorStates() - Method in class owl.translations.rabinizer.RabinizerState
MOORE - owl.ltl.tlsf.Tlsf.Semantics
MOORE - Static variable in class owl.grammar.TLSFLexer
MOORE - Static variable in class owl.grammar.TLSFParser
MOORE() - Method in class owl.grammar.TLSFParser.SemanticsContext
MOORE() - Method in class owl.grammar.TLSFParser.TargetContext
MOORE_STRICT - owl.ltl.tlsf.Tlsf.Semantics
MOORE_STRICT - Static variable in class owl.grammar.TLSFLexer
MOORE_STRICT - Static variable in class owl.grammar.TLSFParser
MOORE_STRICT() - Method in class owl.grammar.TLSFParser.SemanticsContext
MOperator - Class in owl.ltl
  Strong Release.
MOperator(Formula, Formula) - Constructor for class owl.ltl.MOperator
MutableAutomaton<S,A extends OmegaAcceptance> - Interface in owl.automaton
  A mutation interface extending `Automaton`.
MutableAutomatonBuilder<S,T,U extends OmegaAcceptance> - Interface in owl.automaton.ldba
MutableAutomatonFactory - Class in owl.automaton
MutableAutomatonUtil - Class in owl.automaton
MutableAutomatonUtil.Sink - Class in owl.automaton

## N

name - Variable in exception owl.run.modules.OwlModuleRegistry.OwlModuleNotFoundException
name - Variable in enum owl.run.modules.OwlModuleRegistry.Type
name() - Method in class owl.automaton.acceptance.AllAcceptance
name() - Method in class owl.automaton.acceptance.BuchiAcceptance
name() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
name() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
name() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
name() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
name() - Method in class owl.automaton.acceptance.NoneAcceptance
name() - Method in class owl.automaton.acceptance.OmegaAcceptance
name() - Method in class owl.automaton.acceptance.ParityAcceptance
name() - Method in class owl.automaton.acceptance.RabinAcceptance
name() - Method in interface owl.automaton.Automaton
name(String) - Method in interface owl.automaton.MutableAutomaton
  Sets the name of the automaton.
nameExtra() - Method in class owl.automaton.acceptance.BuchiAcceptance
nameExtra() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
nameExtra() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
nameExtra() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
nameExtra() - Method in class owl.automaton.acceptance.OmegaAcceptance
nameExtra() - Method in class owl.automaton.acceptance.ParityAcceptance
nameExtra() - Method in class owl.automaton.acceptance.RabinAcceptance
NBA2DPA - Class in owl.translations.nba2dpa
NBA2DPA() - Constructor for class owl.translations.nba2dpa.NBA2DPA
NBA2LDBA - Class in owl.translations.nba2ldba
NBA2LDBA(boolean, EnumSet<LimitDeterministicAutomatonBuilder.Configuration>) - Constructor for class owl.translations.nba2ldba.NBA2LDBA
nested - Variable in class owl.grammar.LTLParser.NestedContext
NestedContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.NestedContext
NEVER - owl.jni.JniEmersonLeiAutomaton.SafetySplittingMode
NEVER - owl.ltl.robust.Robustness
newThread(Runnable) - Method in class owl.util.DaemonThreadFactory
NEXT - Static variable in class owl.grammar.LTLLexer
NEXT - Static variable in class owl.grammar.LTLParser
NEXT() - Method in class owl.grammar.LTLParser.UnaryOpContext
nnf() - Method in class owl.ltl.Biconditional
nnf() - Method in class owl.ltl.BooleanConstant
nnf() - Method in class owl.ltl.Conjunction
nnf() - Method in class owl.ltl.Disjunction
nnf() - Method in class owl.ltl.FOperator
nnf() - Method in interface owl.ltl.Formula
nnf() - Method in class owl.ltl.FrequencyG
nnf() - Method in class owl.ltl.GOperator
nnf() - Method in class owl.ltl.Literal
nnf() - Method in class owl.ltl.MOperator
nnf() - Method in class owl.ltl.ROperator
nnf() - Method in class owl.ltl.UOperator
nnf() - Method in class owl.ltl.WOperator
nnf() - Method in class owl.ltl.XOperator
NNF - owl.ltl.rewriter.SimplifierFactory.Mode
NNF - owl.ltl.SyntacticFragment
node(Aig, boolean, Aig, boolean) - Static method in class owl.game.output.Aig
node(Aig, Aig) - Static method in class owl.game.output.Aig
Node() - Constructor for class owl.game.GameViews.Node
Node(L1, List<LabelledTree<L1, L2>>) - Constructor for class owl.collections.LabelledTree.Node
NON_DETERMINISTIC_INITIAL_COMPONENT - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
NoneAcceptance - Class in owl.automaton.acceptance
NormalForms - Class in owl.ltl.rewriter
normalize(Formula, SyntacticFragment) - Static method in class owl.ltl.SyntacticFragments
normalize(LabelledFormula, SyntacticFragment) - Static method in class owl.ltl.SyntacticFragments
not() - Method in class owl.ltl.Biconditional
not() - Method in class owl.ltl.BooleanConstant
not() - Method in class owl.ltl.Conjunction
not() - Method in class owl.ltl.Disjunction
not() - Method in class owl.ltl.FOperator
not() - Method in interface owl.ltl.Formula
  Syntactically negate this formula.
not() - Method in class owl.ltl.FrequencyG
not() - Method in class owl.ltl.GOperator
not() - Method in class owl.ltl.LabelledFormula
not() - Method in class owl.ltl.Literal
not() - Method in class owl.ltl.MOperator
not() - Method in class owl.ltl.ROperator
not() - Method in class owl.ltl.UOperator
not() - Method in class owl.ltl.WOperator
not() - Method in class owl.ltl.XOperator
not(LabelledAig) - Method in class owl.game.output.AigFactory
NOT - Static variable in class owl.grammar.LTLLexer
NOT - Static variable in class owl.grammar.LTLParser
NOT() - Method in class owl.grammar.LTLParser.UnaryOpContext
NULL - Static variable in class owl.run.modules.OutputWriters
NULL_CLI - Static variable in class owl.run.modules.OutputWriters
numberOfInputs() - Method in class owl.ltl.tlsf.Tlsf
numerator - Variable in class owl.grammar.LTLParser.FractionContext

## O

of(boolean) - Static method in class owl.ltl.BooleanConstant
of(boolean, boolean) - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
of(int) - Static method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
of(int) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
of(int) - Static method in class owl.automaton.acceptance.RabinAcceptance
of(int, boolean) - Static method in class owl.ltl.Literal
of(int, Set<S>, Set<S>) - Static method in class owl.translations.nba2ldba.BreakpointState
of(F) - Static method in class owl.translations.fgx2dpa.Monitor
of(F, Set<Formula>) - Static method in class owl.translations.fgx2dpa.Monitor
of(Iterable<? extends Formula>) - Static method in class owl.ltl.Conjunction
of(Iterable<? extends Formula>) - Static method in class owl.ltl.Disjunction
of(BitSet) - Method in interface owl.factories.ValuationSetFactory
of(BitSet, BitSet) - Method in interface owl.factories.ValuationSetFactory
of(Iterator<? extends Formula>) - Static method in class owl.ltl.Conjunction
of(Iterator<? extends Formula>) - Static method in class owl.ltl.Disjunction
of(List<GeneralizedRabinAcceptance.RabinPair>) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
of(List<GeneralizedRabinAcceptance.RabinPair>) - Static method in class owl.automaton.acceptance.RabinAcceptance
of(Map.Entry<Edge<S>, ValuationSet>) - Static method in class owl.automaton.edge.LabelledEdge
of(Set<GOperator>, List<FOperator>) - Static method in class owl.translations.fgx2dpa.PromisedSet
of(Set<GOperator>, List<FOperator>, Formula) - Static method in class owl.translations.fgx2dpa.PromisedSet
of(Stream<? extends Formula>) - Static method in class owl.ltl.Conjunction
of(Stream<? extends Formula>) - Static method in class owl.ltl.Disjunction
of(BooleanExpression<AtomAcceptance>) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
of(BooleanExpression<AtomAcceptance>) - Static method in class owl.automaton.acceptance.RabinAcceptance
of(GeneralizedRabinAcceptance.RabinPair...) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
of(GeneralizedRabinAcceptance.RabinPair...) - Static method in class owl.automaton.acceptance.RabinAcceptance
of(Edge<S>, ValuationSet) - Static method in class owl.automaton.edge.LabelledEdge
of(LimitDeterministicAutomaton<S, T, BuchiAcceptance, A>, LanguageLattice<T, A, L>, Predicate<? super S>, boolean, boolean) - Static method in class owl.translations.ldba2dpa.FlatRankingAutomaton
of(LimitDeterministicAutomaton<S, T, GeneralizedBuchiAcceptance, A>, LanguageLattice<T, A, L>, Predicate<S>, boolean, boolean) - Static method in class owl.translations.ldba2dra.MapRankingAutomaton
of(Aig) - Static method in class owl.game.output.LabelledAig
of(Aig, boolean) - Static method in class owl.game.output.LabelledAig
of(Formula) - Method in interface owl.factories.EquivalenceClassFactory
of(Formula) - Static method in class owl.ltl.FOperator
  Construct a LTL-equivalent formula for F(operand).
of(Formula) - Static method in class owl.ltl.GOperator
  Construct a LTL-equivalent formula for G(operand).
of(Formula) - Static method in class owl.ltl.XOperator
  Construct a LTL-equivalent formula for X(operand).
of(Formula...) - Static method in class owl.ltl.Conjunction
of(Formula...) - Static method in class owl.ltl.Disjunction
of(Formula, boolean, boolean, int, boolean) - Static method in class owl.jni.JniEmersonLeiAutomaton
of(Formula, boolean, boolean, JniEmersonLeiAutomaton.SafetySplittingMode, boolean) - Static method in class owl.jni.JniEmersonLeiAutomaton
of(Formula, int) - Static method in class owl.ltl.XOperator
  Construct a LTL-equivalent formula for X^n(operand).
of(Formula, List<String>) - Static method in class owl.ltl.LabelledFormula
of(Formula, List<String>, BitSet) - Static method in class owl.ltl.LabelledFormula
of(Formula, List<String>, Set<String>) - Static method in class owl.ltl.LabelledFormula
of(Formula, Formula) - Static method in class owl.ltl.Biconditional
  Construct a LTL-equivalent formula for (leftOperand)<->(rightOperand).
of(Formula, Formula) - Static method in class owl.ltl.Conjunction
of(Formula, Formula) - Static method in class owl.ltl.Disjunction
of(Formula, Formula) - Static method in class owl.ltl.MOperator
  Construct a LTL-equivalent formula for (leftOperand)M(rightOperand).
of(Formula, Formula) - Static method in class owl.ltl.ROperator
  Construct a LTL-equivalent formula for (leftOperand)R(rightOperand).
of(Formula, Formula) - Static method in class owl.ltl.UOperator
  Construct a LTL-equivalent formula for (leftOperand)U(rightOperand).
of(Formula, Formula) - Static method in class owl.ltl.WOperator
  Construct a LTL-equivalent formula for (leftOperand)W(rightOperand).
of(Split, List<String>) - Static method in class owl.ltl.robust.LabelledSplit
of(OwlModuleParser<?>) - Static method in enum owl.run.modules.OwlModuleRegistry.Type
of(S) - Static method in interface owl.automaton.edge.Edge
  Creates an edge which belongs to no acceptance set.
of(S) - Static method in class owl.translations.ldba2dpa.FlatRankingState
of(S, int) - Static method in interface owl.automaton.edge.Edge
  Creates an edge which belongs to a single acceptance set.
of(S, int, ValuationSet) - Static method in class owl.automaton.edge.LabelledEdge
of(S, BitSet) - Static method in interface owl.automaton.edge.Edge
  Creates an edge which belongs to the specified acceptance sets.
of(S, BitSet, ValuationSet) - Static method in class owl.automaton.edge.LabelledEdge
of(S, ValuationSet) - Static method in class owl.automaton.edge.LabelledEdge
ofGeneralized(int, int) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
OmegaAcceptance - Class in owl.automaton.acceptance
OmegaAcceptance() - Constructor for class owl.automaton.acceptance.OmegaAcceptance
onlyInitialState() - Method in interface owl.automaton.Automaton
  Returns the initial state.
op - Variable in class owl.grammar.LTLParser.BinaryOperationContext
op - Variable in class owl.grammar.LTLParser.FrequencyOpContext
op - Variable in class owl.grammar.LTLParser.UnaryOperationContext
operand - Variable in class owl.ltl.UnaryModalOperator
opponent() - Method in enum owl.game.Game.Owner
OPTIMISE_INITIAL_STATE - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
OPTIMISE_INITIAL_STATE - owl.translations.ltl2dra.LTL2DRAFunction.Configuration
OPTIMISED_STATE_STRUCTURE - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
OPTIMISED_STATE_STRUCTURE - owl.translations.ltl2dra.LTL2DRAFunction.Configuration
OPTIMISED_STATE_STRUCTURE - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
optimizeInitialState(Automaton<S, A>) - Static method in class owl.translations.ldba2dpa.AbstractBuilder
or - Variable in class owl.grammar.LTLParser.ExpressionContext
or(EquivalenceClass) - Method in class owl.ltl.EquivalenceClass
  See `EquivalenceClassFactory.disjunction(EquivalenceClass, EquivalenceClass)`.
OR - Static variable in class owl.grammar.LTLLexer
OR - Static variable in class owl.grammar.LTLParser
OR() - Method in class owl.grammar.LTLParser.OrExpressionContext
OR(int) - Method in class owl.grammar.LTLParser.OrExpressionContext
orExpression() - Method in class owl.grammar.LTLParser.ExpressionContext
orExpression() - Method in class owl.grammar.LTLParser
OrExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.OrExpressionContext
out - Variable in class owl.grammar.TLSFParser.OutputContext
output() - Method in class owl.grammar.TLSFParser
output() - Method in class owl.grammar.TLSFParser.TlsfContext
output() - Method in class owl.run.Pipeline
OutputContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.OutputContext
outputs() - Method in class owl.ltl.tlsf.Tlsf
OUTPUTS - Static variable in class owl.grammar.TLSFLexer
OUTPUTS - Static variable in class owl.grammar.TLSFParser
OUTPUTS() - Method in class owl.grammar.TLSFParser.OutputContext
OutputWriter - Interface in owl.run.modules
  The final piece of every pipeline, formatting the produced results and writing them on some output.
OutputWriter.Binding - Interface in owl.run.modules
OutputWriters - Class in owl.run.modules
OutputWriters.AutomatonStats - Class in owl.run.modules
OutputWriters.ToHoa - Class in owl.run.modules
  Converts any `HOA printable` object to its corresponding HOA representation.
OutputWriters.ToHoa.Setting - Enum in owl.run.modules
owl.automaton - package owl.automaton
  This package and its subpackages contain the infrastructure for omega automata.
owl.automaton.acceptance - package owl.automaton.acceptance
owl.automaton.algorithms - package owl.automaton.algorithms
owl.automaton.edge - package owl.automaton.edge
owl.automaton.ldba - package owl.automaton.ldba
owl.automaton.minimizations - package owl.automaton.minimizations
owl.automaton.output - package owl.automaton.output
owl.automaton.transformations - package owl.automaton.transformations
owl.automaton.util - package owl.automaton.util
owl.collections - package owl.collections
owl.factories - package owl.factories
owl.factories.jbdd - package owl.factories.jbdd
owl.game - package owl.game
owl.game.algorithms - package owl.game.algorithms
owl.game.output - package owl.game.output
owl.grammar - package owl.grammar
owl.jni - package owl.jni
owl.ltl - package owl.ltl
owl.ltl.algorithms - package owl.ltl.algorithms
owl.ltl.parser - package owl.ltl.parser
owl.ltl.rewriter - package owl.ltl.rewriter
owl.ltl.robust - package owl.ltl.robust
  Implements parsing of rLTL and conversion to LTL.
owl.ltl.tlsf - package owl.ltl.tlsf
owl.ltl.util - package owl.ltl.util
owl.ltl.visitors - package owl.ltl.visitors
owl.run - package owl.run
  This package (and it's sub-packages) contains a flexible infrastructure for executing various translation chains and obtaining these translation chains from the command line.
owl.run.modules - package owl.run.modules
owl.run.parser - package owl.run.parser
owl.translations - package owl.translations
owl.translations.delag - package owl.translations.delag
owl.translations.dpa2safety - package owl.translations.dpa2safety
owl.translations.dra2dpa - package owl.translations.dra2dpa
owl.translations.fgx2dpa - package owl.translations.fgx2dpa
owl.translations.ldba2dpa - package owl.translations.ldba2dpa
owl.translations.ldba2dra - package owl.translations.ldba2dra
owl.translations.ltl2dpa - package owl.translations.ltl2dpa
owl.translations.ltl2dra - package owl.translations.ltl2dra
owl.translations.ltl2ldba - package owl.translations.ltl2ldba
owl.translations.ltl2ldba.breakpoint - package owl.translations.ltl2ldba.breakpoint
owl.translations.ltl2ldba.breakpointfree - package owl.translations.ltl2ldba.breakpointfree
owl.translations.nba2dpa - package owl.translations.nba2dpa
owl.translations.nba2ldba - package owl.translations.nba2ldba
owl.translations.rabinizer - package owl.translations.rabinizer
  A translation from LTL to tDGRA.
owl.translations.safra - package owl.translations.safra
owl.util - package owl.util
owl.util.annotation - package owl.util.annotation
OwlModule - Interface in owl.run.modules
OwlModuleParser<M extends OwlModule> - Interface in owl.run.modules
OwlModuleParser.ReaderParser - Interface in owl.run.modules
OwlModuleParser.TransformerParser - Interface in owl.run.modules
OwlModuleParser.WriterParser - Interface in owl.run.modules
OwlModuleRegistry - Class in owl.run.modules
  A registry holding all modules used to parse the command line.
OwlModuleRegistry() - Constructor for class owl.run.modules.OwlModuleRegistry
OwlModuleRegistry.OwlModuleNotFoundException - Exception in owl.run.modules
OwlModuleRegistry.Type - Enum in owl.run.modules
OwlParser - Class in owl.run.parser
OwlParser(Pipeline, CommandLine) - Constructor for class owl.run.parser.OwlParser

## P

pairs() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
  Returns an unmodifiable view of the pair collection.
parallel() - Method in interface owl.run.Environment
  Whether computations should be parallel.
parity() - Method in class owl.automaton.acceptance.ParityAcceptance
PARITY - owl.translations.LTL2DAFunction.Constructions
ParityAcceptance - Class in owl.automaton.acceptance
ParityAcceptance(int, ParityAcceptance.Parity) - Constructor for class owl.automaton.acceptance.ParityAcceptance
ParityAcceptance.Parity - Enum in owl.automaton.acceptance
ParityGameSolver - Class in owl.game.algorithms
ParityUtil - Class in owl.automaton.transformations
parse(InputStream) - Static method in class owl.ltl.parser.LtlParser
parse(InputStream) - Static method in class owl.ltl.robust.RobustLtlParser
parse(InputStream, Charset) - Static method in class owl.ltl.parser.TlsfParser
parse(Reader) - Static method in class owl.ltl.parser.TlsfParser
parse(String) - Static method in class owl.ltl.parser.LtlParser
parse(String) - Static method in class owl.ltl.parser.TlsfParser
parse(String) - Static method in class owl.ltl.robust.RobustLtlParser
parse(String[], CommandLineParser, Options, OwlModuleRegistry) - Static method in class owl.run.parser.OwlParser
parse(String, List<String>) - Static method in class owl.ltl.parser.LtlParser
parse(List<PipelineParser.ModuleDescription>, CommandLineParser, OwlModuleRegistry) - Static method in class owl.run.parser.PipelineParser
  Parses the given command line with the given `registry`.
parse(CommandLine) - Method in class owl.ltl.robust.RobustLtlInputReader
parse(CommandLine) - Method in interface owl.run.modules.OwlModuleParser
parse(CommandLine) - Method in class owl.translations.ltl2dpa.LTL2DPACliParser
parse(CommandLine) - Method in class owl.translations.ltl2dra.LTL2DRACliParser
parse(CommandLine) - Method in class owl.translations.ltl2ldba.LTL2LDBAModule
parse(CommandLine) - Method in class owl.translations.ltl2ldba.LTL2LDGBAModule
parse(CommandLine) - Method in class owl.translations.rabinizer.RabinizerCliParser
PartialConfigurationParser - Class in owl.run.parser
  Utility class used to parse a simplified command line (single exposed module with rest of the pipeline preconfigured).
PartialModuleConfiguration - Class in owl.run.parser
PartialModuleConfiguration() - Constructor for class owl.run.parser.PartialModuleConfiguration
PartialModuleConfiguration.Constructor - Class in owl.run.parser
PG_SOLVER_CLI - Static variable in class owl.game.GameUtil
pipeline - Variable in class owl.run.parser.OwlParser
Pipeline - Class in owl.run
Pipeline() - Constructor for class owl.run.Pipeline
PipelineException - Exception in owl.run
PipelineException(String, Throwable) - Constructor for exception owl.run.PipelineException
PipelineExecutionContext - Interface in owl.run
  Holds information about an execution originating from a particular input.
PipelineParser - Class in owl.run.parser
  Utility class used to parse a `pipeline` description based on a `registry`.
PipelineParser.ModuleParseException - Exception in owl.run.parser
PipelineRunner - Class in owl.run
  Helper class to execute a specific pipeline with created input and output streams.
PLAYER_1 - owl.game.Game.Owner
  This player wants to dissatisfy the acceptance condition.
PLAYER_2 - owl.game.Game.Owner
  This player wants to satisfy the acceptance condition.
player1Variables() - Method in class owl.ltl.LabelledFormula
POS_NUMBER - Static variable in class owl.grammar.LTLLexer
POS_NUMBER - Static variable in class owl.grammar.LTLParser
POS_NUMBER() - Method in class owl.grammar.LTLParser.FractionContext
POS_NUMBER(int) - Method in class owl.grammar.LTLParser.FractionContext
predecessors(S) - Method in interface owl.automaton.Automaton
  Returns the predecessors of the specified `state`.
prefersLabelled() - Method in interface owl.automaton.Automaton
  Indicate if the automaton implements a fast computation (e.g.
prefersLabelled() - Method in interface owl.automaton.EdgesAutomatonMixin
prefersLabelled() - Method in interface owl.automaton.LabelledEdgesAutomatonMixin
prefersLabelled() - Method in class owl.automaton.Views.AutomatonView
preset() - Method in class owl.ltl.tlsf.Tlsf
PRESET - Static variable in class owl.grammar.TLSFLexer
PRESET - Static variable in class owl.grammar.TLSFParser
PRESET() - Method in class owl.grammar.TLSFParser.SpecificationContext
print(OutputStream) - Method in class owl.game.output.AigerPrinter
print(PrintWriter) - Method in class owl.game.output.AigerPrinter
PrintVisitor - Class in owl.ltl.visitors
prob - Variable in class owl.grammar.LTLParser.FrequencyOpContext
PROBABILITY - Static variable in class owl.grammar.LTLLexer
PROBABILITY - Static variable in class owl.grammar.LTLParser
PROBABILITY() - Method in class owl.grammar.LTLParser.ProbabilityContext
ProbabilityContext(LTLParser.FrequencySpecContext) - Constructor for class owl.grammar.LTLParser.ProbabilityContext
PromisedSet - Class in owl.translations.fgx2dpa
PromisedSet() - Constructor for class owl.translations.fgx2dpa.PromisedSet
propagate(ExecutionException) - Static method in exception owl.run.PipelineException
PropositionalFormula - Class in owl.ltl
PropositionalIntVisitor - Class in owl.ltl.visitors
  Visitor skeleton implementation that views the formula as propositional formula.
PropositionalIntVisitor() - Constructor for class owl.ltl.visitors.PropositionalIntVisitor
PropositionalVisitor<T> - Class in owl.ltl.visitors
  Visitor skeleton implementation that views the formula as propositional formula.
PropositionalVisitor() - Constructor for class owl.ltl.visitors.PropositionalVisitor
PropositionVisitor - Class in owl.factories
  For the propositional view on LTL modal operators (F, G, U, X) and literals (a, !a) are treated as propositions.
PULL_UP_X - owl.ltl.rewriter.SimplifierFactory.Mode
PullUpXVisitor - Class in owl.ltl.rewriter
PullUpXVisitor() - Constructor for class owl.ltl.rewriter.PullUpXVisitor
PullUpXVisitor.XFormula - Class in owl.ltl.rewriter
PUSH_DOWN_X - owl.ltl.rewriter.SimplifierFactory.Mode

## R

RABIN - owl.translations.LTL2DAFunction.Constructions
RABIN_DEGENERALIZATION - Static variable in class owl.run.modules.Transformers
RABIN_TO_PARITY - Static variable in class owl.run.modules.Transformers
RabinAcceptance - Class in owl.automaton.acceptance
  This class represents a Rabin acceptance.
RabinAcceptance.Builder - Class in owl.automaton.acceptance
RabinDegeneralization - Class in owl.automaton.transformations
RabinDegeneralization() - Constructor for class owl.automaton.transformations.RabinDegeneralization
RabinizerBuilder - Class in owl.translations.rabinizer
  Central class handling the Rabinizer construction.
RabinizerCliParser - Class in owl.translations.rabinizer
RabinizerConfiguration - Class in owl.translations.rabinizer
RabinizerConfiguration() - Constructor for class owl.translations.rabinizer.RabinizerConfiguration
RabinizerDegeneralizeMain - Class in owl.translations.rabinizer
RabinizerMain - Class in owl.translations.rabinizer
RabinizerState - Class in owl.translations.rabinizer
RabinizerState() - Constructor for class owl.translations.rabinizer.RabinizerState
rawFormula() - Method in class owl.ltl.rewriter.PullUpXVisitor.XFormula
RCPAREN - Static variable in class owl.grammar.LTLLexer
RCPAREN - Static variable in class owl.grammar.LTLParser
RCPAREN() - Method in class owl.grammar.LTLParser.FrequencyOpContext
RDQUOTE - Static variable in class owl.grammar.LTLLexer
RDQUOTE - Static variable in class owl.grammar.LTLParser
RDQUOTE() - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
reader(String) - Method in class owl.run.modules.OwlModuleRegistry
reader(InputReader) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
reader(OwlModuleParser.ReaderParser) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
READER - owl.run.modules.OwlModuleRegistry.Type
readHoa(InputStream, Consumer<Automaton<AutomatonReader.HoaState, ?>>, FactorySupplier) - Static method in class owl.automaton.AutomatonReader
readHoa(InputStream, Consumer<Automaton<AutomatonReader.HoaState, ?>>, ValuationSetFactory) - Static method in class owl.automaton.AutomatonReader
readHoa(InputStream, FactorySupplier, Class<A>) - Static method in class owl.automaton.AutomatonReader
readHoa(InputStream, ValuationSetFactory, Class<A>) - Static method in class owl.automaton.AutomatonReader
readHoa(String, FactorySupplier, Class<A>) - Static method in class owl.automaton.AutomatonReader
readHoa(String, ValuationSetFactory, Class<A>) - Static method in class owl.automaton.AutomatonReader
readHoaCollection(InputStream, FactorySupplier) - Static method in class owl.automaton.AutomatonReader
readHoaCollection(String, FactorySupplier) - Static method in class owl.automaton.AutomatonReader
RECOMMENDED_ASYMMETRIC_CONFIG - Static variable in class owl.translations.ltl2dpa.LTL2DPAFunction
RECOMMENDED_SYMMETRIC_CONFIG - Static variable in class owl.translations.ltl2dpa.LTL2DPAFunction
record() - Method in class owl.translations.dra2dpa.IARState
RecurringObligation - Interface in owl.translations.ltl2ldba
register(OwlModuleParser<?>) - Method in class owl.run.modules.OwlModuleRegistry
register(OwlModuleParser<?>...) - Method in class owl.run.modules.OwlModuleRegistry
rejectingSet() - Method in class owl.automaton.acceptance.AllAcceptance
rejectingSet() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
rejectingSet() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
rejectingSet() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
rejectingSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
rejectingSet() - Method in class owl.automaton.acceptance.NoneAcceptance
rejectingSet() - Method in class owl.automaton.acceptance.OmegaAcceptance
rejectingSet() - Method in class owl.automaton.acceptance.ParityAcceptance
RELEASE - Static variable in class owl.grammar.LTLLexer
RELEASE - Static variable in class owl.grammar.LTLParser
RELEASE() - Method in class owl.grammar.LTLParser.BinaryOpContext
remap(Automaton<S, A>, IntUnaryOperator) - Static method in class owl.automaton.Views
remove(String) - Method in class owl.run.modules.OwlModuleRegistry
REMOVE_EPSILON_TRANSITIONS - owl.automaton.ldba.LimitDeterministicAutomatonBuilder.Configuration
removeAndRemapIndices(MutableAutomaton<S, ?>, IntSet) - Static method in class owl.automaton.minimizations.MinimizationUtil
removeDeadStates(MutableAutomaton<S, ?>) - Static method in class owl.automaton.minimizations.MinimizationUtil
  Remove states from the automaton that cannot belong to an infinite accepting path.
removeEdge(S, BitSet, S) - Method in interface owl.automaton.MutableAutomaton
  Removes all transition from `source` under `valuation` to `destination`.
removeEdge(S, ValuationSet, S) - Method in interface owl.automaton.MutableAutomaton
  Removes all transition from `source` under `valuations` to `destination`.
removeFormulaRepresentative() - Method in class owl.translations.rabinizer.RabinizerConfiguration
removeInitialState(S) - Method in interface owl.automaton.MutableAutomaton
removeState(S) - Method in interface owl.automaton.MutableAutomaton
  Removes a state and all transitions involving it from the automaton.
removeStateIf(Predicate<? super S>) - Method in interface owl.automaton.MutableAutomaton
  Removes the specified `states` and all transitions involving them from the automaton.
removeTransientAcceptance(MutableAutomaton<S, ?>) - Static method in class owl.automaton.minimizations.GenericMinimizations
replaceInitialState(Automaton<S, A>, Set<S>) - Static method in class owl.automaton.Views
replaceInitialStates(Game<S, A>, Set<S>) - Static method in class owl.game.GameViews
representative() - Method in class owl.ltl.EquivalenceClass
require() - Method in class owl.ltl.tlsf.Tlsf
REQUIRE - Static variable in class owl.grammar.TLSFLexer
REQUIRE - Static variable in class owl.grammar.TLSFParser
REQUIRE() - Method in class owl.grammar.TLSFParser.SpecificationContext
right - Variable in class owl.grammar.LTLParser.BinaryOperationContext
right - Variable in class owl.ltl.Biconditional
right - Variable in class owl.ltl.BinaryModalOperator
right() - Method in class owl.game.output.Aig
rightIsNegated() - Method in class owl.game.output.Aig
RobustLtlInputReader - Class in owl.ltl.robust
RobustLtlParser - Class in owl.ltl.robust
Robustness - Enum in owl.ltl.robust
root - Variable in class owl.grammar.LTLParser.FormulaContext
ROperator - Class in owl.ltl
  Weak Release.
ROperator(Formula, Formula) - Constructor for class owl.ltl.ROperator
RPAREN - Static variable in class owl.grammar.LTLLexer
RPAREN - Static variable in class owl.grammar.LTLParser
RPAREN() - Method in class owl.grammar.LTLParser.NestedContext
RSQUOTE - Static variable in class owl.grammar.LTLLexer
RSQUOTE - Static variable in class owl.grammar.LTLParser
RSQUOTE() - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
RULE_andExpression - Static variable in class owl.grammar.LTLParser
RULE_atomExpression - Static variable in class owl.grammar.LTLParser
RULE_binaryExpression - Static variable in class owl.grammar.LTLParser
RULE_binaryOp - Static variable in class owl.grammar.LTLParser
RULE_bool - Static variable in class owl.grammar.LTLParser
RULE_comparison - Static variable in class owl.grammar.LTLParser
RULE_expression - Static variable in class owl.grammar.LTLParser
RULE_formula - Static variable in class owl.grammar.LTLParser
RULE_frequencyOp - Static variable in class owl.grammar.LTLParser
RULE_frequencySpec - Static variable in class owl.grammar.LTLParser
RULE_input - Static variable in class owl.grammar.TLSFParser
RULE_orExpression - Static variable in class owl.grammar.LTLParser
RULE_output - Static variable in class owl.grammar.TLSFParser
RULE_semantics - Static variable in class owl.grammar.TLSFParser
RULE_specification - Static variable in class owl.grammar.TLSFParser
RULE_target - Static variable in class owl.grammar.TLSFParser
RULE_tlsf - Static variable in class owl.grammar.TLSFParser
RULE_unaryExpression - Static variable in class owl.grammar.LTLParser
RULE_unaryOp - Static variable in class owl.grammar.LTLParser
ruleNames - Static variable in class owl.grammar.LTLLexer
ruleNames - Static variable in class owl.grammar.LTLParser
ruleNames - Static variable in class owl.grammar.TLSFLexer
ruleNames - Static variable in class owl.grammar.TLSFParser
run(Reader, Environment, Consumer<Object>) - Method in interface owl.run.modules.InputReader
run(Reader, Environment, Consumer<Object>) - Method in class owl.run.modules.InputReaders.HoaReader
run(String[], Map<String, PartialModuleConfiguration>, PartialModuleConfiguration) - Static method in class owl.run.parser.PartialConfigurationParser
run(String[], PartialModuleConfiguration) - Static method in class owl.run.parser.PartialConfigurationParser
run(Pipeline, Environment, ByteChannel, int) - Static method in class owl.run.PipelineRunner
run(Pipeline, Environment, ReadableByteChannel, WritableByteChannel, int) - Static method in class owl.run.PipelineRunner
RunUtil - Class in owl.run

## S

SAFETY - owl.ltl.SyntacticFragment
SAFETY - owl.translations.LTL2DAFunction.Constructions
SafetyAutomaton - Class in owl.translations.fgx2dpa
safetyComponents - Variable in class owl.translations.ldba2dpa.AbstractBuilder
SafetyDetector - Class in owl.translations.ltl2ldba
SafraBuilder - Class in owl.translations.safra
SafraBuilder.Label<S> - Class in owl.translations.safra
SccDecomposition<S> - Class in owl.automaton.algorithms
  Finds the SCCs of a given graph / transition system using Tarjan's algorithm.
sccSwitchOccurred(S, S) - Method in class owl.translations.ldba2dpa.AbstractBuilder
semantics() - Method in class owl.grammar.TLSFParser
semantics() - Method in class owl.grammar.TLSFParser.TlsfContext
semantics() - Method in class owl.ltl.tlsf.Tlsf
SEMANTICS - Static variable in class owl.grammar.TLSFLexer
SEMANTICS - Static variable in class owl.grammar.TLSFParser
SEMANTICS() - Method in class owl.grammar.TLSFParser.TlsfContext
SemanticsContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.SemanticsContext
SEMI_DETERMINISTIC - owl.automaton.Automaton.Property
ServerCli - Class in owl.run
ServerRunner - Class in owl.run
ServerRunner(Pipeline, Supplier<Environment>, int) - Constructor for class owl.run.ServerRunner
setEven(boolean) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
setMax(boolean) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
settings - Variable in exception owl.run.parser.PipelineParser.ModuleParseException
shiftLiterals(Formula) - Static method in class owl.ltl.rewriter.LiteralMapper
shortCircuit(Formula) - Static method in class owl.ltl.PropositionalFormula
shutdown() - Method in interface owl.run.Environment
  Called exactly one by the runner, indicating that the computation has ended due to, e.g., input exhaustion or an error.
simple() - Static method in class owl.translations.ltl2ldba.AbstractLTL2LDBAModule
SIMPLE_TRANSITION_LABELS - owl.automaton.output.HoaPrinter.HoaOption
  Create one transition for each element of the AP-power-set instead of complex expressions (which are not supported by all parsers).
SIMPLE_TRANSITION_LABELS - owl.run.modules.OutputWriters.ToHoa.Setting
SimpleTransformer() - Constructor for class owl.run.modules.Transformers.SimpleTransformer
SimplifierFactory - Class in owl.ltl.rewriter
SimplifierFactory.Mode - Enum in owl.ltl.rewriter
SimplifierTransformer - Class in owl.ltl.rewriter
SINGLE_QUOTED - Static variable in class owl.grammar.LTLLexer
SINGLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLLexer
SINGLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLParser
SINGLE_QUOTED_VARIABLE() - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
SINGLE_STEP - owl.ltl.SyntacticFragment
SingleQuotedVariableContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.SingleQuotedVariableContext
singleton(ValuationSetFactory, S, A) - Static method in class owl.automaton.AutomatonFactory
singleton(ValuationSetFactory, S, A, BitSet) - Static method in class owl.automaton.AutomatonFactory
singleton(ValuationSetFactory, S, A, Set<Integer>) - Static method in class owl.automaton.AutomatonFactory
sink() - Static method in class owl.translations.nba2ldba.BreakpointState
size - Variable in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
size() - Method in interface owl.automaton.Automaton
  Returns the number of reachable states of this automaton (its cardinality).
size() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
SKIP_DEF - Static variable in class owl.grammar.LTLLexer
SKIP_DEF - Static variable in class owl.grammar.LTLParser
SKIP_DEF - Static variable in class owl.grammar.TLSFLexer
SKIP_DEF - Static variable in class owl.grammar.TLSFParser
SKIP_FREQ - Static variable in class owl.grammar.LTLLexer
SKIP_FREQ - Static variable in class owl.grammar.LTLParser
SKIP_INFO - Static variable in class owl.grammar.TLSFLexer
SKIP_INFO - Static variable in class owl.grammar.TLSFParser
SKIP_IO - Static variable in class owl.grammar.TLSFLexer
SKIP_IO - Static variable in class owl.grammar.TLSFParser
SKIP_MAIN - Static variable in class owl.grammar.TLSFLexer
SKIP_MAIN - Static variable in class owl.grammar.TLSFParser
SKIP_SPEC - Static variable in class owl.grammar.TLSFLexer
SKIP_SPEC - Static variable in class owl.grammar.TLSFParser
smallestAcceptanceSet() - Method in interface owl.automaton.edge.Edge
  Returns the largest acceptance set this edge is a member of, or `Integer.MAX_VALUE` if none.
sortingOrder - Variable in class owl.translations.ldba2dpa.AbstractBuilder
SPEC_END - Static variable in class owl.grammar.TLSFLexer
SPEC_END - Static variable in class owl.grammar.TLSFParser
SPEC_END() - Method in class owl.grammar.TLSFParser.SpecificationContext
SPEC_LTL - Static variable in class owl.grammar.TLSFLexer
SPEC_LTL - Static variable in class owl.grammar.TLSFParser
SPEC_LTL() - Method in class owl.grammar.TLSFParser.SpecificationContext
SPEC_LTL(int) - Method in class owl.grammar.TLSFParser.SpecificationContext
SPEC_START - Static variable in class owl.grammar.TLSFLexer
SPEC_START - Static variable in class owl.grammar.TLSFParser
SPEC_START() - Method in class owl.grammar.TLSFParser.SpecificationContext
specification() - Method in class owl.grammar.TLSFParser
specification() - Method in class owl.grammar.TLSFParser.TlsfContext
specification(int) - Method in class owl.grammar.TLSFParser.TlsfContext
SpecificationContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.SpecificationContext
split(Set<String>) - Method in class owl.ltl.LabelledFormula
split(Automaton<S, A>, List<String>) - Static method in class owl.game.GameViews
Split - Class in owl.ltl.robust
Split() - Constructor for class owl.ltl.robust.Split
splitEquivalenceClass(EquivalenceClass) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
SRELEASE - Static variable in class owl.grammar.LTLLexer
SRELEASE - Static variable in class owl.grammar.LTLParser
SRELEASE() - Method in class owl.grammar.LTLParser.BinaryOpContext
state() - Method in interface owl.automaton.util.AnnotatedState
state() - Method in class owl.game.GameViews.Node
state() - Method in class owl.translations.dra2dpa.IARState
state() - Method in class owl.translations.ldba2dpa.FlatRankingState
state() - Method in class owl.translations.ldba2dra.MapRankingState
State<T> - Class in owl.translations.delag
states() - Method in interface owl.automaton.Automaton
  The set of all from the initial states reachable states in this automaton.
states() - Method in class owl.automaton.ImplicitCachedStatesAutomaton
StringUtil - Class in owl.util
structure - Variable in class owl.jni.JniEmersonLeiAutomaton
substitute(Function<Formula, Formula>) - Method in class owl.ltl.EquivalenceClass
  See `EquivalenceClassFactory.substitute(EquivalenceClass, Function)`.
substitute(EquivalenceClass, Function<Formula, Formula>) - Method in interface owl.factories.EquivalenceClassFactory
SubstitutionVisitor - Class in owl.ltl.visitors
SubstitutionVisitor(Function<? super Formula, ? extends Formula>) - Constructor for class owl.ltl.visitors.SubstitutionVisitor
successor() - Method in interface owl.automaton.edge.Edge
  Get the target state of the edge.
successor() - Method in class owl.automaton.edge.LabelledEdge
successor(S, BitSet) - Method in interface owl.automaton.Automaton
  Returns the successor of the specified `state` under the given `valuation`.
SuccessorFunction<S> - Interface in owl.automaton
successors(int) - Method in class owl.jni.JniAutomaton
successors(Collection<Edge<S>>) - Static method in class owl.automaton.edge.Edges
successors(Collection<LabelledEdge<S>>) - Static method in class owl.automaton.edge.LabelledEdges
successors(S) - Method in interface owl.automaton.Automaton
  Returns all successors of the specified `state`.
successors(S) - Method in interface owl.automaton.EdgesAutomatonMixin
successors(S) - Method in interface owl.automaton.LabelledEdgesAutomatonMixin
successors(S) - Method in interface owl.automaton.SuccessorFunction
  Returns all successors of the specified `state`.
successors(S) - Method in class owl.automaton.Views.AutomatonView
successors(S, BitSet) - Method in interface owl.automaton.Automaton
  Returns the successors of the specified `state` under the given `valuation`.
SUP - owl.ltl.FrequencyG.Limes
SUP - Static variable in class owl.grammar.LTLLexer
SUP - Static variable in class owl.grammar.LTLParser
SUP() - Method in class owl.grammar.LTLParser.FrequencyOpContext
supportBasedRelevantFormulaAnalysis() - Method in class owl.translations.rabinizer.RabinizerConfiguration
SUPPRESS_JUMPS - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
SUPPRESS_JUMPS_FOR_TRANSIENT_STATES - owl.automaton.ldba.LimitDeterministicAutomatonBuilder.Configuration
suspendableFormulaDetection() - Method in class owl.translations.rabinizer.RabinizerConfiguration
SYNTACTIC - owl.ltl.rewriter.SimplifierFactory.Mode
SYNTACTIC_FAIRNESS - owl.ltl.rewriter.SimplifierFactory.Mode
SYNTACTIC_FIXPOINT - owl.ltl.rewriter.SimplifierFactory.Mode
SyntacticFragment - Enum in owl.ltl
SyntacticFragments - Class in owl.ltl
syntax(String) - Static method in class owl.ltl.parser.LtlParser
syntax(String, List<String>) - Static method in class owl.ltl.parser.LtlParser
syntaxError(Recognizer<?, ?>, Object, int, int, String, RecognitionException) - Method in class owl.ltl.parser.TokenErrorListener
Synthesis - Class in owl.translations
syserr - Static variable in class owl.util.GuardedStream
sysout - Static variable in class owl.util.GuardedStream

## T

TAGS - Static variable in class owl.grammar.TLSFLexer
TAGS - Static variable in class owl.grammar.TLSFParser
target() - Method in class owl.grammar.TLSFParser
target() - Method in class owl.grammar.TLSFParser.TlsfContext
target() - Method in class owl.ltl.tlsf.Tlsf
TARGET - Static variable in class owl.grammar.TLSFLexer
TARGET - Static variable in class owl.grammar.TLSFParser
TARGET() - Method in class owl.grammar.TLSFParser.TlsfContext
TargetContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.TargetContext
temporalStep(BitSet) - Method in class owl.ltl.Biconditional
temporalStep(BitSet) - Method in class owl.ltl.BinaryModalOperator
temporalStep(BitSet) - Method in class owl.ltl.BooleanConstant
temporalStep(BitSet) - Method in class owl.ltl.Conjunction
temporalStep(BitSet) - Method in class owl.ltl.Disjunction
temporalStep(BitSet) - Method in class owl.ltl.EquivalenceClass
  See `EquivalenceClassFactory.temporalStep(EquivalenceClass, BitSet)`.
temporalStep(BitSet) - Method in interface owl.ltl.Formula
  Do a single temporal step.
temporalStep(BitSet) - Method in class owl.ltl.Literal
temporalStep(BitSet) - Method in class owl.ltl.UnaryModalOperator
temporalStep(BitSet) - Method in class owl.ltl.XOperator
temporalStep(BitSet) - Method in class owl.translations.fgx2dpa.Monitor
temporalStep(EquivalenceClass, BitSet) - Method in interface owl.factories.EquivalenceClassFactory
temporalStepTree() - Method in class owl.ltl.EquivalenceClass
temporalStepTree(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
temporalStepUnfold(BitSet) - Method in class owl.ltl.Biconditional
temporalStepUnfold(BitSet) - Method in class owl.ltl.BinaryModalOperator
temporalStepUnfold(BitSet) - Method in class owl.ltl.BooleanConstant
temporalStepUnfold(BitSet) - Method in class owl.ltl.Conjunction
temporalStepUnfold(BitSet) - Method in class owl.ltl.Disjunction
temporalStepUnfold(BitSet) - Method in class owl.ltl.EquivalenceClass
  See `EquivalenceClassFactory.temporalStepUnfold(EquivalenceClass, BitSet)`.
temporalStepUnfold(BitSet) - Method in interface owl.ltl.Formula
  Short-cut operation to avoid intermediate construction of formula ASTs.
temporalStepUnfold(BitSet) - Method in class owl.ltl.Literal
temporalStepUnfold(BitSet) - Method in class owl.ltl.UnaryModalOperator
temporalStepUnfold(BitSet) - Method in class owl.ltl.XOperator
temporalStepUnfold(EquivalenceClass, BitSet) - Method in interface owl.factories.EquivalenceClassFactory
theOther() - Method in enum owl.ltl.FrequencyG.Comparison
theOther() - Method in enum owl.ltl.FrequencyG.Limes
title - Variable in class owl.grammar.TLSFParser.TlsfContext
title() - Method in class owl.ltl.tlsf.Tlsf
TITLE - Static variable in class owl.grammar.TLSFLexer
TITLE - Static variable in class owl.grammar.TLSFParser
TITLE() - Method in class owl.grammar.TLSFParser.TlsfContext
tlsf() - Method in class owl.grammar.TLSFParser
Tlsf - Class in owl.ltl.tlsf
Tlsf() - Constructor for class owl.ltl.tlsf.Tlsf
TLSF - Static variable in class owl.run.modules.InputReaders
TLSF_CLI - Static variable in class owl.run.modules.InputReaders
Tlsf.Semantics - Enum in owl.ltl.tlsf
TlsfContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.TlsfContext
TLSFLexer - Class in owl.grammar
TLSFLexer(CharStream) - Constructor for class owl.grammar.TLSFLexer
TlsfParser - Class in owl.ltl.parser
TLSFParser - Class in owl.grammar
TLSFParser(TokenStream) - Constructor for class owl.grammar.TLSFParser
TLSFParser.InputContext - Class in owl.grammar
TLSFParser.OutputContext - Class in owl.grammar
TLSFParser.SemanticsContext - Class in owl.grammar
TLSFParser.SpecificationContext - Class in owl.grammar
TLSFParser.TargetContext - Class in owl.grammar
TLSFParser.TlsfContext - Class in owl.grammar
TLSFParserBaseListener - Class in owl.grammar
  This class provides an empty implementation of `TLSFParserListener`, which can be extended to create a listener which only needs to handle a subset of the available methods.
TLSFParserBaseListener() - Constructor for class owl.grammar.TLSFParserBaseListener
TLSFParserBaseVisitor<T> - Class in owl.grammar
  This class provides an empty implementation of `TLSFParserVisitor`, which can be extended to create a visitor which only needs to handle a subset of the available methods.
TLSFParserBaseVisitor() - Constructor for class owl.grammar.TLSFParserBaseVisitor
TLSFParserListener - Interface in owl.grammar
  This interface defines a complete listener for a parse tree produced by `TLSFParser`.
TLSFParserVisitor<T> - Interface in owl.grammar
  This interface defines a complete generic visitor for a parse tree produced by `TLSFParser`.
TO_STRING - Static variable in class owl.run.modules.OutputWriters
TO_STRING_CLI - Static variable in class owl.run.modules.OutputWriters
toAssertGuaranteeConjuncts() - Method in class owl.ltl.tlsf.Tlsf
toCnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
toCnfFormula(Formula) - Static method in class owl.ltl.rewriter.NormalForms
toDnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
toDnfFormula(Formula) - Static method in class owl.ltl.rewriter.NormalForms
toExpression() - Method in class owl.collections.ValuationSet
toExpression(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
toFormula() - Method in class owl.ltl.tlsf.Tlsf
ToHoa(EnumSet<OutputWriters.ToHoa.Setting>, List<StoredAutomatonManipulator>) - Constructor for class owl.run.modules.OutputWriters.ToHoa
TokenErrorListener - Class in owl.ltl.parser
TokenErrorListener() - Constructor for class owl.ltl.parser.TokenErrorListener
tokenNames - Static variable in class owl.grammar.LTLLexer
  Deprecated.
  Use `LTLLexer.VOCABULARY` instead.
tokenNames - Static variable in class owl.grammar.LTLParser
  Deprecated.
  Use `LTLParser.VOCABULARY` instead.
tokenNames - Static variable in class owl.grammar.TLSFLexer
  Deprecated.
  Use `TLSFLexer.VOCABULARY` instead.
tokenNames - Static variable in class owl.grammar.TLSFParser
  Deprecated.
  Use `TLSFParser.VOCABULARY` instead.
toLtl(EnumSet<Robustness>) - Method in class owl.ltl.robust.LabelledSplit
toPgSolver(Game<S, ParityAcceptance>, PrintWriter, boolean) - Static method in class owl.game.GameUtil
toString() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
toString() - Method in class owl.automaton.acceptance.OmegaAcceptance
toString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
toString() - Method in class owl.automaton.AutomatonReader.HoaState
toString() - Method in class owl.automaton.edge.LabelledEdge
toString() - Method in class owl.automaton.MutableAutomatonUtil.Sink
toString() - Method in class owl.collections.ValuationSet
toString() - Method in class owl.game.GameViews.Node
toString() - Method in class owl.ltl.Biconditional
toString() - Method in class owl.ltl.BinaryModalOperator
toString() - Method in class owl.ltl.BooleanConstant
toString() - Method in class owl.ltl.EquivalenceClass
toString() - Method in enum owl.ltl.FrequencyG.Comparison
toString() - Method in enum owl.ltl.FrequencyG.Limes
toString() - Method in class owl.ltl.FrequencyG
toString() - Method in class owl.ltl.LabelledFormula
toString() - Method in class owl.ltl.Literal
toString() - Method in class owl.ltl.PropositionalFormula
toString() - Method in class owl.ltl.robust.LabelledSplit
toString() - Method in class owl.ltl.robust.Split
toString() - Method in class owl.ltl.UnaryModalOperator
toString() - Method in class owl.translations.delag.State
toString() - Method in class owl.translations.dra2dpa.IARState
toString() - Method in class owl.translations.ldba2dpa.FlatRankingState
toString() - Method in class owl.translations.ldba2dra.MapRankingState
toString() - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
toString() - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
toString() - Method in class owl.translations.ltl2ldba.breakpoint.GObligations
toString() - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
toString() - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
toString() - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
toString() - Method in class owl.translations.ltl2ldba.Jump
toString() - Method in class owl.translations.nba2ldba.BreakpointState
toString() - Method in class owl.translations.rabinizer.RabinizerState
toString() - Method in class owl.translations.safra.SafraBuilder.Label
toString() - Method in class owl.translations.safra.Tree
toString(Automaton<S, ?>) - Static method in class owl.automaton.output.HoaPrinter
toString(Automaton<S, ?>, EnumSet<HoaPrinter.HoaOption>) - Static method in class owl.automaton.output.HoaPrinter
toString(LimitDeterministicAutomaton<S, ?, ?, ?>) - Static method in class owl.automaton.output.HoaPrinter
toString(LimitDeterministicAutomaton<S, ?, ?, ?>, EnumSet<HoaPrinter.HoaOption>) - Static method in class owl.automaton.output.HoaPrinter
toString(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
toString(Formula, List<String>) - Static method in class owl.ltl.visitors.PrintVisitor
toString(Formula, List<String>, boolean) - Static method in class owl.ltl.visitors.PrintVisitor
toString(LabelledFormula, boolean) - Static method in class owl.ltl.visitors.PrintVisitor
toValuationSet(ValuationSetFactory, BooleanExpression<AtomLabel>, IntUnaryOperator) - Static method in class owl.collections.ValuationSetUtil
transform(Object, PipelineExecutionContext) - Method in class owl.automaton.minimizations.ImplicitMinimizeTransformer
transform(Object, PipelineExecutionContext) - Method in class owl.automaton.transformations.RabinDegeneralization
transform(Object, PipelineExecutionContext) - Method in class owl.ltl.rewriter.SimplifierTransformer
transform(Object, PipelineExecutionContext) - Method in interface owl.run.modules.Transformer.Instance
  Applies the transformation represented by this transformer to the given object.
transformer(String) - Method in class owl.run.modules.OwlModuleRegistry
Transformer - Interface in owl.run.modules
  Transformers are the central pieces of the pipeline concept.
TRANSFORMER - owl.run.modules.OwlModuleRegistry.Type
Transformer.Instance - Interface in owl.run.modules
transformers() - Method in class owl.run.Pipeline
Transformers - Class in owl.run.modules
Transformers.SimpleTransformer - Class in owl.run.modules
transformUnique(Collection<F>, Function<F, T>) - Static method in class owl.collections.Collections3
Tree<L> - Class in owl.translations.safra
Tree() - Constructor for class owl.translations.safra.Tree
trim() - Method in interface owl.automaton.MutableAutomaton
  Removes unreachable states and adjust internal data structures after mutation.
trivial(R) - Static method in class owl.translations.dra2dpa.IARState
TRUE - Static variable in class owl.grammar.LTLLexer
TRUE - Static variable in class owl.grammar.LTLParser
TRUE - Static variable in class owl.ltl.BooleanConstant
TRUE - Static variable in class owl.ltl.robust.Split
TRUE() - Method in class owl.grammar.LTLParser.BoolContext
Tuple - Annotation Type in owl.util.annotation
type - Variable in exception owl.run.modules.OwlModuleRegistry.OwlModuleNotFoundException
typeClass - Variable in enum owl.run.modules.OwlModuleRegistry.Type
TypeUtil - Class in owl.util

## U

UnabbreviateVisitor - Class in owl.ltl.visitors
UnabbreviateVisitor(Class<? extends Formula>...) - Constructor for class owl.ltl.visitors.UnabbreviateVisitor
UnaryAtomContext(LTLParser.UnaryExpressionContext) - Constructor for class owl.grammar.LTLParser.UnaryAtomContext
unaryExpression() - Method in class owl.grammar.LTLParser.BinaryOperationContext
unaryExpression() - Method in class owl.grammar.LTLParser.BinaryUnaryContext
unaryExpression() - Method in class owl.grammar.LTLParser
UnaryExpressionContext() - Constructor for class owl.grammar.LTLParser.UnaryExpressionContext
UnaryExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.UnaryExpressionContext
UnaryModalOperator - Class in owl.ltl
unaryOp() - Method in class owl.grammar.LTLParser
unaryOp() - Method in class owl.grammar.LTLParser.UnaryOperationContext
UnaryOpContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.UnaryOpContext
UnaryOperationContext(LTLParser.UnaryExpressionContext) - Constructor for class owl.grammar.LTLParser.UnaryOperationContext
unfold() - Method in class owl.ltl.Biconditional
unfold() - Method in class owl.ltl.BooleanConstant
unfold() - Method in class owl.ltl.Conjunction
unfold() - Method in class owl.ltl.Disjunction
unfold() - Method in class owl.ltl.EquivalenceClass
  See `EquivalenceClassFactory.unfold(EquivalenceClass)`.
unfold() - Method in class owl.ltl.FOperator
unfold() - Method in interface owl.ltl.Formula
unfold() - Method in class owl.ltl.FrequencyG
unfold() - Method in class owl.ltl.GOperator
unfold() - Method in class owl.ltl.Literal
unfold() - Method in class owl.ltl.MOperator
unfold() - Method in class owl.ltl.ROperator
unfold() - Method in class owl.ltl.UOperator
unfold() - Method in class owl.ltl.WOperator
unfold() - Method in class owl.ltl.XOperator
unfold(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
unfoldTemporalStep(BitSet) - Method in class owl.ltl.Biconditional
unfoldTemporalStep(BitSet) - Method in class owl.ltl.BooleanConstant
unfoldTemporalStep(BitSet) - Method in class owl.ltl.Conjunction
unfoldTemporalStep(BitSet) - Method in class owl.ltl.Disjunction
unfoldTemporalStep(BitSet) - Method in class owl.ltl.EquivalenceClass
  See `EquivalenceClassFactory.unfoldTemporalStep(EquivalenceClass, BitSet)`.
unfoldTemporalStep(BitSet) - Method in class owl.ltl.FOperator
unfoldTemporalStep(BitSet) - Method in interface owl.ltl.Formula
  Short-cut operation to avoid intermediate construction of formula ASTs.
unfoldTemporalStep(BitSet) - Method in class owl.ltl.GOperator
unfoldTemporalStep(BitSet) - Method in class owl.ltl.Literal
unfoldTemporalStep(BitSet) - Method in class owl.ltl.MOperator
unfoldTemporalStep(BitSet) - Method in class owl.ltl.ROperator
unfoldTemporalStep(BitSet) - Method in class owl.ltl.UOperator
unfoldTemporalStep(BitSet) - Method in class owl.ltl.WOperator
unfoldTemporalStep(BitSet) - Method in class owl.ltl.XOperator
unfoldTemporalStep(EquivalenceClass, BitSet) - Method in interface owl.factories.EquivalenceClassFactory
union(Iterable<ValuationSet>) - Static method in class owl.collections.ValuationSetUtil
union(Iterable<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
union(Iterator<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
union(List<Automaton<S, BuchiAcceptance>>) - Static method in class owl.automaton.AutomatonOperations
union(ValuationSet) - Method in class owl.collections.ValuationSet
union(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
universe() - Method in interface owl.factories.ValuationSetFactory
UNTIL - Static variable in class owl.grammar.LTLLexer
UNTIL - Static variable in class owl.grammar.LTLParser
UNTIL() - Method in class owl.grammar.LTLParser.BinaryOpContext
UOperator - Class in owl.ltl
  Strong Until.
UOperator(Formula, Formula) - Constructor for class owl.ltl.UOperator
updateAcceptance(Function<? super A, ? extends A>) - Method in interface owl.automaton.MutableAutomaton
updateEdges(BiFunction<S, Edge<S>, Edge<S>>) - Method in interface owl.automaton.MutableAutomaton
  Remaps each edge of the automaton according to `updater`.
updateEdges(Set<? extends S>, BiFunction<? super S, Edge<S>, Edge<S>>) - Method in interface owl.automaton.MutableAutomaton
  Remaps each outgoing edge of the specified `states` according to `updater`.

## V

valuations - Variable in class owl.automaton.edge.LabelledEdge
valuations() - Method in class owl.automaton.edge.LabelledEdge
valuations(Collection<LabelledEdge<S>>) - Static method in class owl.automaton.edge.LabelledEdges
ValuationSet - Class in owl.collections
ValuationSet(ValuationSetFactory) - Constructor for class owl.collections.ValuationSet
ValuationSetFactory - Interface in owl.factories
valuationSetJumps(S) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
valuationSetJumps(S) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
ValuationSetUtil - Class in owl.collections
value - Variable in class owl.grammar.LTLParser.ProbabilityContext
value - Variable in class owl.ltl.BooleanConstant
valueOf(String) - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.automaton.Automaton.Property
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.automaton.ldba.LimitDeterministicAutomatonBuilder.Configuration
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.automaton.output.HoaPrinter.HoaOption
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.game.Game.Owner
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.jni.JniEmersonLeiAutomaton.SafetySplittingMode
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.ltl.FrequencyG.Comparison
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.ltl.FrequencyG.Limes
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.ltl.rewriter.SimplifierFactory.Mode
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.ltl.robust.Robustness
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.ltl.SyntacticFragment
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.ltl.tlsf.Tlsf.Semantics
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.run.modules.OutputWriters.ToHoa.Setting
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.run.modules.OwlModuleRegistry.Type
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.translations.LTL2DAFunction.Constructions
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.translations.ltl2dra.LTL2DRAFunction.Configuration
  Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
  Returns the enum constant of this type with the specified name.
values() - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.automaton.Automaton.Property
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.automaton.ldba.LimitDeterministicAutomatonBuilder.Configuration
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.automaton.output.HoaPrinter.HoaOption
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.game.Game.Owner
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.jni.JniEmersonLeiAutomaton.SafetySplittingMode
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.ltl.FrequencyG.Comparison
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.ltl.FrequencyG.Limes
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.ltl.rewriter.SimplifierFactory.Mode
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.ltl.robust.Robustness
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.ltl.SyntacticFragment
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.ltl.tlsf.Tlsf.Semantics
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.run.modules.OutputWriters.ToHoa.Setting
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.run.modules.OwlModuleRegistry.Type
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.translations.LTL2DAFunction.Constructions
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.translations.ltl2dra.LTL2DRAFunction.Configuration
  Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
  Returns an array containing the constants of this enum type, in the order they are declared.
VAR_ID - Static variable in class owl.grammar.TLSFLexer
VAR_ID - Static variable in class owl.grammar.TLSFParser
VAR_ID() - Method in class owl.grammar.TLSFParser.InputContext
VAR_ID() - Method in class owl.grammar.TLSFParser.OutputContext
VAR_ID(int) - Method in class owl.grammar.TLSFParser.InputContext
VAR_ID(int) - Method in class owl.grammar.TLSFParser.OutputContext
variable - Variable in class owl.grammar.LTLParser.DoubleQuotedVariableContext
variable - Variable in class owl.grammar.LTLParser.SingleQuotedVariableContext
variable - Variable in class owl.grammar.LTLParser.VariableContext
variable() - Method in class owl.game.output.Aig
VARIABLE - Static variable in class owl.grammar.LTLLexer
VARIABLE - Static variable in class owl.grammar.LTLParser
VARIABLE() - Method in class owl.grammar.LTLParser.VariableContext
VariableContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.VariableContext
variables() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
variables() - Method in interface owl.factories.EquivalenceClassFactory
variables() - Method in class owl.ltl.LabelledFormula
variables() - Method in class owl.ltl.robust.LabelledSplit
variables() - Method in class owl.ltl.tlsf.Tlsf
viewAs(Automaton<S, ?>, Class<A>) - Static method in class owl.automaton.Views
viewAsLts(Automaton<S, ?>) - Static method in class owl.automaton.Views
Views - Class in owl.automaton
Views.AutomatonView<S,A extends OmegaAcceptance> - Class in owl.automaton
visit(Biconditional) - Method in class owl.ltl.rewriter.PullUpXVisitor
visit(Biconditional) - Method in class owl.ltl.visitors.Converter
visit(Biconditional) - Method in interface owl.ltl.visitors.IntVisitor
visit(Biconditional) - Method in class owl.ltl.visitors.PrintVisitor
visit(Biconditional) - Method in class owl.ltl.visitors.SubstitutionVisitor
visit(Biconditional) - Method in interface owl.ltl.visitors.Visitor
visit(Biconditional, P) - Method in interface owl.ltl.visitors.BinaryVisitor
visit(BooleanConstant) - Method in class owl.factories.PropositionVisitor
visit(BooleanConstant) - Method in class owl.ltl.rewriter.PullUpXVisitor
visit(BooleanConstant) - Method in class owl.ltl.visitors.Converter
visit(BooleanConstant) - Method in interface owl.ltl.visitors.IntVisitor
visit(BooleanConstant) - Method in class owl.ltl.visitors.PrintVisitor
visit(BooleanConstant) - Method in class owl.ltl.visitors.SubstitutionVisitor
visit(BooleanConstant) - Method in interface owl.ltl.visitors.Visitor
visit(BooleanConstant) - Method in class owl.ltl.visitors.XDepthVisitor
visit(BooleanConstant, P) - Method in interface owl.ltl.visitors.BinaryVisitor
visit(Conjunction) - Method in class owl.factories.PropositionVisitor
visit(Conjunction) - Method in class owl.ltl.rewriter.PullUpXVisitor
visit(Conjunction) - Method in class owl.ltl.visitors.Converter
visit(Conjunction) - Method in interface owl.ltl.visitors.IntVisitor
visit(Conjunction) - Method in class owl.ltl.visitors.PrintVisitor
visit(Conjunction) - Method in class owl.ltl.visitors.SubstitutionVisitor
visit(Conjunction) - Method in interface owl.ltl.visitors.Visitor
visit(Conjunction) - Method in class owl.ltl.visitors.XDepthVisitor
visit(Conjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
visit(Disjunction) - Method in class owl.factories.PropositionVisitor
visit(Disjunction) - Method in class owl.ltl.rewriter.PullUpXVisitor
visit(Disjunction) - Method in class owl.ltl.visitors.Converter
visit(Disjunction) - Method in interface owl.ltl.visitors.IntVisitor
visit(Disjunction) - Method in class owl.ltl.visitors.PrintVisitor
visit(Disjunction) - Method in class owl.ltl.visitors.SubstitutionVisitor
visit(Disjunction) - Method in interface owl.ltl.visitors.Visitor
visit(Disjunction) - Method in class owl.ltl.visitors.XDepthVisitor
visit(Disjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
visit(FOperator) - Method in class owl.factories.PropositionVisitor
visit(FOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
visit(FOperator) - Method in class owl.ltl.visitors.Converter
visit(FOperator) - Method in interface owl.ltl.visitors.IntVisitor
visit(FOperator) - Method in class owl.ltl.visitors.PrintVisitor
visit(FOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
visit(FOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
visit(FOperator) - Method in interface owl.ltl.visitors.Visitor
visit(FOperator) - Method in class owl.ltl.visitors.XDepthVisitor
visit(FOperator) - Method in class owl.translations.ltl2ldba.GFSubstitution
visit(FOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
visit(FrequencyG) - Method in class owl.factories.PropositionVisitor
visit(FrequencyG) - Method in class owl.ltl.visitors.Converter
visit(FrequencyG) - Method in interface owl.ltl.visitors.IntVisitor
visit(FrequencyG) - Method in class owl.ltl.visitors.PrintVisitor
visit(FrequencyG) - Method in class owl.ltl.visitors.PropositionalIntVisitor
visit(FrequencyG) - Method in class owl.ltl.visitors.PropositionalVisitor
visit(FrequencyG) - Method in interface owl.ltl.visitors.Visitor
visit(GOperator) - Method in class owl.factories.PropositionVisitor
visit(GOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
visit(GOperator) - Method in class owl.ltl.visitors.Converter
visit(GOperator) - Method in interface owl.ltl.visitors.IntVisitor
visit(GOperator) - Method in class owl.ltl.visitors.PrintVisitor
visit(GOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
visit(GOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
visit(GOperator) - Method in interface owl.ltl.visitors.Visitor
visit(GOperator) - Method in class owl.ltl.visitors.XDepthVisitor
visit(GOperator) - Method in class owl.translations.ltl2ldba.FGSubstitution
visit(GOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
visit(Literal) - Method in class owl.factories.PropositionVisitor
visit(Literal) - Method in class owl.ltl.rewriter.PullUpXVisitor
visit(Literal) - Method in class owl.ltl.visitors.Converter
visit(Literal) - Method in interface owl.ltl.visitors.IntVisitor
visit(Literal) - Method in class owl.ltl.visitors.PrintVisitor
visit(Literal) - Method in class owl.ltl.visitors.PropositionalIntVisitor
visit(Literal) - Method in class owl.ltl.visitors.PropositionalVisitor
visit(Literal) - Method in interface owl.ltl.visitors.Visitor
visit(Literal) - Method in class owl.ltl.visitors.XDepthVisitor
visit(Literal, P) - Method in interface owl.ltl.visitors.BinaryVisitor
visit(MOperator) - Method in class owl.factories.PropositionVisitor
visit(MOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
visit(MOperator) - Method in class owl.ltl.visitors.Converter
visit(MOperator) - Method in interface owl.ltl.visitors.IntVisitor
visit(MOperator) - Method in class owl.ltl.visitors.PrintVisitor
visit(MOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
visit(MOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
visit(MOperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
visit(MOperator) - Method in interface owl.ltl.visitors.Visitor
visit(MOperator) - Method in class owl.translations.ltl2ldba.GFSubstitution
visit(MOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
visit(ROperator) - Method in class owl.factories.PropositionVisitor
visit(ROperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
visit(ROperator) - Method in class owl.ltl.visitors.Converter
visit(ROperator) - Method in interface owl.ltl.visitors.IntVisitor
visit(ROperator) - Method in class owl.ltl.visitors.PrintVisitor
visit(ROperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
visit(ROperator) - Method in class owl.ltl.visitors.PropositionalVisitor
visit(ROperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
visit(ROperator) - Method in interface owl.ltl.visitors.Visitor
visit(ROperator) - Method in class owl.translations.ltl2ldba.FGSubstitution
visit(ROperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
visit(UOperator) - Method in class owl.factories.PropositionVisitor
visit(UOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
visit(UOperator) - Method in class owl.ltl.visitors.Converter
visit(UOperator) - Method in interface owl.ltl.visitors.IntVisitor
visit(UOperator) - Method in class owl.ltl.visitors.PrintVisitor
visit(UOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
visit(UOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
visit(UOperator) - Method in interface owl.ltl.visitors.Visitor
visit(UOperator) - Method in class owl.translations.ltl2ldba.GFSubstitution
visit(UOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
visit(WOperator) - Method in class owl.factories.PropositionVisitor
visit(WOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
visit(WOperator) - Method in class owl.ltl.visitors.Converter
visit(WOperator) - Method in interface owl.ltl.visitors.IntVisitor
visit(WOperator) - Method in class owl.ltl.visitors.PrintVisitor
visit(WOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
visit(WOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
visit(WOperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
visit(WOperator) - Method in interface owl.ltl.visitors.Visitor
visit(WOperator) - Method in class owl.translations.ltl2ldba.FGSubstitution
visit(WOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
visit(XOperator) - Method in class owl.factories.PropositionVisitor
visit(XOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
visit(XOperator) - Method in class owl.ltl.visitors.Converter
visit(XOperator) - Method in interface owl.ltl.visitors.IntVisitor
visit(XOperator) - Method in class owl.ltl.visitors.PrintVisitor
visit(XOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
visit(XOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
visit(XOperator) - Method in interface owl.ltl.visitors.Visitor
visit(XOperator) - Method in class owl.ltl.visitors.XDepthVisitor
visit(XOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
visitAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by `LTLParser.andExpression()`.
visitAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserVisitor
  Visit a parse tree produced by `LTLParser.andExpression()`.
visitBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by `LTLParser.binaryOp()`.
visitBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserVisitor
  Visit a parse tree produced by `LTLParser.binaryOp()`.
visitBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by the `binaryOperation` labeled alternative 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()`.
visitComparison(LTLParser.ComparisonContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by `LTLParser.comparison()`.
visitComparison(LTLParser.ComparisonContext) - Method in interface owl.grammar.LTLParserVisitor
  Visit a parse tree produced by `LTLParser.comparison()`.
visitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by the `doubleQuotedVariable` labeled alternative 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()`.
visitEdge(Edge<S>, BitSet) - Method in interface owl.automaton.Automaton.EdgeVisitor
visitErrorNode(ErrorNode) - Method in class owl.grammar.LTLParserBaseListener
visitErrorNode(ErrorNode) - Method in class owl.grammar.TLSFParserBaseListener
visitExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by `LTLParser.expression()`.
visitExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserVisitor
  Visit a parse tree produced by `LTLParser.expression()`.
visitFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by `LTLParser.formula()`.
visitFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserVisitor
  Visit a parse tree produced by `LTLParser.formula()`.
visitFraction(LTLParser.FractionContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by the `fraction` labeled alternative in `LTLParser.frequencySpec()`.
visitFraction(LTLParser.FractionContext) - Method in interface owl.grammar.LTLParserVisitor
  Visit a parse tree produced by the `fraction` labeled alternative in `LTLParser.frequencySpec()`.
visitFrequencyOp(LTLParser.FrequencyOpContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by `LTLParser.frequencyOp()`.
visitFrequencyOp(LTLParser.FrequencyOpContext) - Method in interface owl.grammar.LTLParserVisitor
  Visit a parse tree produced by `LTLParser.frequencyOp()`.
visitInput(TLSFParser.InputContext) - Method in class owl.grammar.TLSFParserBaseVisitor
  Visit a parse tree produced by `TLSFParser.input()`.
visitInput(TLSFParser.InputContext) - Method in interface owl.grammar.TLSFParserVisitor
  Visit a parse tree produced by `TLSFParser.input()`.
visitLabelledEdge(Edge<S>, ValuationSet) - Method in interface owl.automaton.Automaton.LabelledEdgeVisitor
visitNested(LTLParser.NestedContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by the `nested` labeled alternative 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()`.
visitOutput(TLSFParser.OutputContext) - Method in class owl.grammar.TLSFParserBaseVisitor
  Visit a parse tree produced by `TLSFParser.output()`.
visitOutput(TLSFParser.OutputContext) - Method in interface owl.grammar.TLSFParserVisitor
  Visit a parse tree produced by `TLSFParser.output()`.
visitProbability(LTLParser.ProbabilityContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by the `probability` labeled alternative in `LTLParser.frequencySpec()`.
visitProbability(LTLParser.ProbabilityContext) - Method in interface owl.grammar.LTLParserVisitor
  Visit a parse tree produced by the `probability` labeled alternative in `LTLParser.frequencySpec()`.
visitSemantics(TLSFParser.SemanticsContext) - Method in class owl.grammar.TLSFParserBaseVisitor
  Visit a parse tree produced by `TLSFParser.semantics()`.
visitSemantics(TLSFParser.SemanticsContext) - Method in interface owl.grammar.TLSFParserVisitor
  Visit a parse tree produced by `TLSFParser.semantics()`.
visitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by the `singleQuotedVariable` labeled alternative 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()`.
visitSpecification(TLSFParser.SpecificationContext) - Method in class owl.grammar.TLSFParserBaseVisitor
  Visit a parse tree produced by `TLSFParser.specification()`.
visitSpecification(TLSFParser.SpecificationContext) - Method in interface owl.grammar.TLSFParserVisitor
  Visit a parse tree produced by `TLSFParser.specification()`.
visitTarget(TLSFParser.TargetContext) - Method in class owl.grammar.TLSFParserBaseVisitor
  Visit a parse tree produced by `TLSFParser.target()`.
visitTarget(TLSFParser.TargetContext) - Method in interface owl.grammar.TLSFParserVisitor
  Visit a parse tree produced by `TLSFParser.target()`.
visitTerminal(TerminalNode) - Method in class owl.grammar.LTLParserBaseListener
visitTerminal(TerminalNode) - Method in class owl.grammar.TLSFParserBaseListener
visitTlsf(TLSFParser.TlsfContext) - Method in class owl.grammar.TLSFParserBaseVisitor
  Visit a parse tree produced by `TLSFParser.tlsf()`.
visitTlsf(TLSFParser.TlsfContext) - Method in interface owl.grammar.TLSFParserVisitor
  Visit a parse tree produced by `TLSFParser.tlsf()`.
visitUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseVisitor
  Visit a parse tree produced by the `unaryAtom` labeled alternative 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
VOCABULARY - Static variable in class owl.grammar.TLSFLexer
VOCABULARY - Static variable in class owl.grammar.TLSFParser
vsFactory - Variable in class owl.factories.Factories

## W

with(L) - Method in class owl.translations.safra.Tree
withAcceptance(int) - Method in interface owl.automaton.edge.Edge
withAcceptance(BitSet) - Method in interface owl.automaton.edge.Edge
withAcceptance(IntUnaryOperator) - Method in interface owl.automaton.edge.Edge
withAcceptanceSets(int) - Method in class owl.automaton.acceptance.ParityAcceptance
withParity(ParityAcceptance.Parity) - Method in class owl.automaton.acceptance.ParityAcceptance
withSuccessor(T) - Method in interface owl.automaton.edge.Edge
  Returns an edge which has the same acceptance but the given state as successor.
WOperator - Class in owl.ltl
  Weak Until.
WOperator(Formula, Formula) - Constructor for class owl.ltl.WOperator
wrap(Formula) - Method in class owl.ltl.LabelledFormula
write(Object) - Method in interface owl.run.modules.OutputWriter.Binding
writer(String) - Method in class owl.run.modules.OwlModuleRegistry
writer(OutputWriter) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
writer(OwlModuleParser.WriterParser) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
WRITER - owl.run.modules.OwlModuleRegistry.Type
WUNTIL - Static variable in class owl.grammar.LTLLexer
WUNTIL - Static variable in class owl.grammar.LTLParser
WUNTIL() - Method in class owl.grammar.LTLParser.BinaryOpContext

## X

XDepthVisitor - Class in owl.ltl.visitors
XDepthVisitor() - Constructor for class owl.ltl.visitors.XDepthVisitor
XOperator - Class in owl.ltl
  Next.
XOperator(Formula) - Constructor for class owl.ltl.XOperator
XOR - Static variable in class owl.grammar.LTLLexer
XOR - Static variable in class owl.grammar.LTLParser
XOR() - Method in class owl.grammar.LTLParser.BinaryOpContext

## Z

ZIELONKA_SOLVER - Static variable in class owl.game.algorithms.ParityGameSolver
zielonkaRealizability(Game<S, ParityAcceptance>) - Static method in class owl.game.algorithms.ParityGameSolver
zip(Iterable<E1>, Iterable<E2>, BiConsumer<E1, E2>) - Static method in class owl.collections.Collections3

## _

_ATN - Static variable in class owl.grammar.LTLLexer
_ATN - Static variable in class owl.grammar.LTLParser
_ATN - Static variable in class owl.grammar.TLSFLexer
_ATN - Static variable in class owl.grammar.TLSFParser
_decisionToDFA - Static variable in class owl.grammar.LTLLexer
_decisionToDFA - Static variable in class owl.grammar.LTLParser
_decisionToDFA - Static variable in class owl.grammar.TLSFLexer
_decisionToDFA - Static variable in class owl.grammar.TLSFParser
_serializedATN - Static variable in class owl.grammar.LTLLexer
_serializedATN - Static variable in class owl.grammar.LTLParser
_serializedATN - Static variable in class owl.grammar.TLSFLexer
_serializedATN - Static variable in class owl.grammar.TLSFParser
_sharedContextCache - Static variable in class owl.grammar.LTLLexer
_sharedContextCache - Static variable in class owl.grammar.LTLParser
_sharedContextCache - Static variable in class owl.grammar.TLSFLexer
_sharedContextCache - Static variable in class owl.grammar.TLSFParser

A B C D E F G H I J L M N O P R S T U V W X Z _