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
AND - Static variable in class owl.grammar.LTLLexer
 
AND - Static variable in class owl.grammar.LTLParser
 
AND() - Method in class owl.grammar.LTLParser.AndExpressionContext
 
AND(int) - Method in class owl.grammar.LTLParser.AndExpressionContext
 
andExpression() - Method in class owl.grammar.LTLParser
 
andExpression() - Method in class owl.grammar.LTLParser.OrExpressionContext
 
andExpression(int) - Method in class owl.grammar.LTLParser.OrExpressionContext
 
AndExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.AndExpressionContext
 
AnnotatedState<S> - Interface in owl.automaton.util
 
annotation(T) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
 
annotation(T) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
 
annotations() - Method in interface owl.run.Environment
Whether additional information (like semantic state labels) should be included.
ANNOTATIONS - owl.automaton.output.HoaPrinter.HoaOption
Print annotations, e.g.
any() - Method in class owl.collections.ValuationSet
 
any(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
anyMatch(Predicate<Formula>) - Method in class owl.ltl.Biconditional
 
anyMatch(Predicate<Formula>) - Method in class owl.ltl.BinaryModalOperator
 
anyMatch(Predicate<Formula>) - Method in class owl.ltl.BooleanConstant
 
anyMatch(Predicate<Formula>) - Method in interface owl.ltl.Formula
 
anyMatch(Predicate<Formula>) - Method in class owl.ltl.LabelledFormula
 
anyMatch(Predicate<Formula>) - Method in class owl.ltl.Literal
 
anyMatch(Predicate<Formula>) - Method in class owl.ltl.PropositionalFormula
 
anyMatch(Predicate<Formula>) - Method in class owl.ltl.UnaryModalOperator
 
append(Collection<E>, E) - Static method in class owl.collections.Collections3
 
append(List<E>, E) - Static method in class owl.collections.Collections3
 
apply(Automaton<?, ?>) - Method in class owl.translations.nba2dpa.NBA2DPA
 
apply(Automaton<?, ?>) - Method in class owl.translations.nba2ldba.NBA2LDBA
 
apply(Automaton<S, ParityAcceptance>, Integer) - Method in class owl.translations.dpa2safety.DPA2Safety
 
apply(Formula) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
apply(Formula) - Method in class owl.ltl.visitors.Converter
 
apply(Formula, SimplifierFactory.Mode) - Static method in class owl.ltl.rewriter.SimplifierFactory
 
apply(Formula, SimplifierFactory.Mode...) - Static method in class owl.ltl.rewriter.SimplifierFactory
 
apply(LabelledFormula) - Method in class owl.translations.delag.DelagBuilder
 
apply(LabelledFormula) - Method in class owl.translations.ExternalTranslator
 
apply(LabelledFormula) - Method in class owl.translations.LTL2DAFunction
 
apply(LabelledFormula) - Method in class owl.translations.ltl2dpa.LTL2DPAFunction
 
apply(LabelledFormula) - Method in class owl.translations.ltl2dra.LTL2DRAFunction
 
apply(LabelledFormula) - Method in class owl.translations.ltl2ldba.LTL2LDBAFunction
 
apply(LabelledFormula, SimplifierFactory.Mode) - Static method in class owl.ltl.rewriter.SimplifierFactory
 
apply(LabelledFormula, SimplifierFactory.Mode...) - Static method in class owl.ltl.rewriter.SimplifierFactory
 
apply(S) - Method in interface owl.automaton.SuccessorFunction
 
applyDefault(Formula) - Static method in class owl.ltl.rewriter.SimplifierFactory
 
applyMinimization(MutableAutomaton<S, ? extends A>, List<Minimization<S, A>>) - Static method in class owl.automaton.minimizations.MinimizationUtil
 
asCollection(Map<Edge<S>, ValuationSet>) - Static method in class owl.automaton.edge.LabelledEdges
 
asMutable(Automaton<S, A>) - Static method in class owl.automaton.MutableAutomatonUtil
 
ASSERT - Static variable in class owl.grammar.TLSFLexer
 
ASSERT - Static variable in class owl.grammar.TLSFParser
 
ASSERT() - Method in class owl.grammar.TLSFParser.SpecificationContext
 
assert_() - Method in class owl.ltl.tlsf.Tlsf
 
assume() - Method in class owl.ltl.tlsf.Tlsf
 
ASSUME - Static variable in class owl.grammar.TLSFLexer
 
ASSUME - Static variable in class owl.grammar.TLSFParser
 
ASSUME() - Method in class owl.grammar.TLSFParser.SpecificationContext
 
async(boolean) - Static method in class owl.factories.jbdd.JBddSupplier
 
atomExpression() - Method in class owl.grammar.LTLParser
 
atomExpression() - Method in class owl.grammar.LTLParser.UnaryAtomContext
 
AtomExpressionContext() - Constructor for class owl.grammar.LTLParser.AtomExpressionContext
 
AtomExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.AtomExpressionContext
 
atomicPropositions() - Method in class owl.ltl.EquivalenceClass
atomicPropositions(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
Collects all literals used in the bdd and stores the corresponding atomic propositions in the BitSet.
AUTO - owl.jni.JniEmersonLeiAutomaton.SafetySplittingMode
 
automata - Variable in class owl.jni.JniEmersonLeiAutomaton
 
Automaton<S,A extends OmegaAcceptance> - Interface in owl.automaton
The base interface providing read access to an automaton.
AUTOMATON_STATS_CLI - Static variable in class owl.run.modules.OutputWriters
 
AUTOMATON_TO_GAME_CLI - Static variable in class owl.game.GameViews
 
Automaton.EdgeVisitor<S> - Interface in owl.automaton
 
Automaton.HybridVisitor<S> - Interface in owl.automaton
 
Automaton.LabelledEdgeVisitor<S> - Interface in owl.automaton
 
Automaton.Property - Enum in owl.automaton
 
Automaton.Visitor<S> - Interface in owl.automaton
 
AutomatonFactory - Class in owl.automaton
 
AutomatonOperations - Class in owl.automaton
 
AutomatonReader - Class in owl.automaton
 
AutomatonReader.HoaState - Class in owl.automaton
 
automatonStats(String) - Static method in class owl.run.modules.OutputWriters
 
AutomatonStats(String, Writer) - Constructor for class owl.run.modules.OutputWriters.AutomatonStats
 
AutomatonUtil - Class in owl.automaton
 
AutomatonUtil.InitialComponentState<S> - Class in owl.automaton
 

B

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

C

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

D

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

E

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

J

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

L

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

M

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

N

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

O

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

P

pairs() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
Returns an unmodifiable view of the pair collection.
parallel() - Method in interface owl.run.Environment
Whether computations should be parallel.
parity() - Method in class owl.automaton.acceptance.ParityAcceptance
 
PARITY - owl.translations.LTL2DAFunction.Constructions
 
ParityAcceptance - Class in owl.automaton.acceptance
 
ParityAcceptance(int, ParityAcceptance.Parity) - Constructor for class owl.automaton.acceptance.ParityAcceptance
 
ParityAcceptance.Parity - Enum in owl.automaton.acceptance
 
ParityGameSolver - Class in owl.game.algorithms
 
ParityUtil - Class in owl.automaton.transformations
 
parse(InputStream) - Static method in class owl.ltl.parser.LtlParser
 
parse(InputStream) - Static method in class owl.ltl.robust.RobustLtlParser
 
parse(InputStream, Charset) - Static method in class owl.ltl.parser.TlsfParser
 
parse(Reader) - Static method in class owl.ltl.parser.TlsfParser
 
parse(String) - Static method in class owl.ltl.parser.LtlParser
 
parse(String) - Static method in class owl.ltl.parser.TlsfParser
 
parse(String) - Static method in class owl.ltl.robust.RobustLtlParser
 
parse(String[], CommandLineParser, Options, OwlModuleRegistry) - Static method in class owl.run.parser.OwlParser
 
parse(String, List<String>) - Static method in class owl.ltl.parser.LtlParser
 
parse(List<PipelineParser.ModuleDescription>, CommandLineParser, OwlModuleRegistry) - Static method in class owl.run.parser.PipelineParser
Parses the given command line with the given registry.
parse(CommandLine) - Method in class owl.ltl.robust.RobustLtlInputReader
 
parse(CommandLine) - Method in interface owl.run.modules.OwlModuleParser
 
parse(CommandLine) - Method in class owl.translations.ltl2dpa.LTL2DPACliParser
 
parse(CommandLine) - Method in class owl.translations.ltl2dra.LTL2DRACliParser
 
parse(CommandLine) - Method in class owl.translations.ltl2ldba.LTL2LDBAModule
 
parse(CommandLine) - Method in class owl.translations.ltl2ldba.LTL2LDGBAModule
 
parse(CommandLine) - Method in class owl.translations.rabinizer.RabinizerCliParser
 
PartialConfigurationParser - Class in owl.run.parser
Utility class used to parse a simplified command line (single exposed module with rest of the pipeline preconfigured).
PartialModuleConfiguration - Class in owl.run.parser
 
PartialModuleConfiguration() - Constructor for class owl.run.parser.PartialModuleConfiguration
 
PartialModuleConfiguration.Constructor - Class in owl.run.parser
 
PG_SOLVER_CLI - Static variable in class owl.game.GameUtil
 
pipeline - Variable in class owl.run.parser.OwlParser
 
Pipeline - Class in owl.run
 
Pipeline() - Constructor for class owl.run.Pipeline
 
PipelineException - Exception in owl.run
 
PipelineException(String, Throwable) - Constructor for exception owl.run.PipelineException
 
PipelineExecutionContext - Interface in owl.run
Holds information about an execution originating from a particular input.
PipelineParser - Class in owl.run.parser
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
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
temporalStep(BitSet) - Method in interface owl.ltl.Formula
Do a single temporal step.
temporalStep(BitSet) - Method in class owl.ltl.Literal
 
temporalStep(BitSet) - Method in class owl.ltl.UnaryModalOperator
 
temporalStep(BitSet) - Method in class owl.ltl.XOperator
 
temporalStep(BitSet) - Method in class owl.translations.fgx2dpa.Monitor
 
temporalStep(EquivalenceClass, BitSet) - Method in interface owl.factories.EquivalenceClassFactory
 
temporalStepTree() - Method in class owl.ltl.EquivalenceClass
 
temporalStepTree(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
 
temporalStepUnfold(BitSet) - Method in class owl.ltl.Biconditional
 
temporalStepUnfold(BitSet) - Method in class owl.ltl.BinaryModalOperator
 
temporalStepUnfold(BitSet) - Method in class owl.ltl.BooleanConstant
 
temporalStepUnfold(BitSet) - Method in class owl.ltl.Conjunction
 
temporalStepUnfold(BitSet) - Method in class owl.ltl.Disjunction
 
temporalStepUnfold(BitSet) - Method in class owl.ltl.EquivalenceClass
temporalStepUnfold(BitSet) - Method in interface owl.ltl.Formula
Short-cut operation to avoid intermediate construction of formula ASTs.
temporalStepUnfold(BitSet) - Method in class owl.ltl.Literal
 
temporalStepUnfold(BitSet) - Method in class owl.ltl.UnaryModalOperator
 
temporalStepUnfold(BitSet) - Method in class owl.ltl.XOperator
 
temporalStepUnfold(EquivalenceClass, BitSet) - Method in interface owl.factories.EquivalenceClassFactory
 
theOther() - Method in enum owl.ltl.FrequencyG.Comparison
 
theOther() - Method in enum owl.ltl.FrequencyG.Limes
 
title - Variable in class owl.grammar.TLSFParser.TlsfContext
 
title() - Method in class owl.ltl.tlsf.Tlsf
 
TITLE - Static variable in class owl.grammar.TLSFLexer
 
TITLE - Static variable in class owl.grammar.TLSFParser
 
TITLE() - Method in class owl.grammar.TLSFParser.TlsfContext
 
tlsf() - Method in class owl.grammar.TLSFParser
 
Tlsf - Class in owl.ltl.tlsf
 
Tlsf() - Constructor for class owl.ltl.tlsf.Tlsf
 
TLSF - Static variable in class owl.run.modules.InputReaders
 
TLSF_CLI - Static variable in class owl.run.modules.InputReaders
 
Tlsf.Semantics - Enum in owl.ltl.tlsf
 
TlsfContext(ParserRuleContext, int) - Constructor for class owl.grammar.TLSFParser.TlsfContext
 
TLSFLexer - Class in owl.grammar
 
TLSFLexer(CharStream) - Constructor for class owl.grammar.TLSFLexer
 
TlsfParser - Class in owl.ltl.parser
 
TLSFParser - Class in owl.grammar
 
TLSFParser(TokenStream) - Constructor for class owl.grammar.TLSFParser
 
TLSFParser.InputContext - Class in owl.grammar
 
TLSFParser.OutputContext - Class in owl.grammar
 
TLSFParser.SemanticsContext - Class in owl.grammar
 
TLSFParser.SpecificationContext - Class in owl.grammar
 
TLSFParser.TargetContext - Class in owl.grammar
 
TLSFParser.TlsfContext - Class in owl.grammar
 
TLSFParserBaseListener - Class in owl.grammar
This class provides an empty implementation of TLSFParserListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
TLSFParserBaseListener() - Constructor for class owl.grammar.TLSFParserBaseListener
 
TLSFParserBaseVisitor<T> - Class in owl.grammar
This class provides an empty implementation of TLSFParserVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.
TLSFParserBaseVisitor() - Constructor for class owl.grammar.TLSFParserBaseVisitor
 
TLSFParserListener - Interface in owl.grammar
This interface defines a complete listener for a parse tree produced by TLSFParser.
TLSFParserVisitor<T> - Interface in owl.grammar
This interface defines a complete generic visitor for a parse tree produced by TLSFParser.
TO_STRING - Static variable in class owl.run.modules.OutputWriters
 
TO_STRING_CLI - Static variable in class owl.run.modules.OutputWriters
 
toAssertGuaranteeConjuncts() - Method in class owl.ltl.tlsf.Tlsf
 
toCnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
 
toCnfFormula(Formula) - Static method in class owl.ltl.rewriter.NormalForms
 
toDnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
 
toDnfFormula(Formula) - Static method in class owl.ltl.rewriter.NormalForms
 
toExpression() - Method in class owl.collections.ValuationSet
 
toExpression(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
toFormula() - Method in class owl.ltl.tlsf.Tlsf
 
ToHoa(EnumSet<OutputWriters.ToHoa.Setting>, List<StoredAutomatonManipulator>) - Constructor for class owl.run.modules.OutputWriters.ToHoa
 
TokenErrorListener - Class in owl.ltl.parser
 
TokenErrorListener() - Constructor for class owl.ltl.parser.TokenErrorListener
 
tokenNames - Static variable in class owl.grammar.LTLLexer
Deprecated.
Use LTLLexer.VOCABULARY instead.
tokenNames - Static variable in class owl.grammar.LTLParser
Deprecated.
tokenNames - Static variable in class owl.grammar.TLSFLexer
Deprecated.
tokenNames - Static variable in class owl.grammar.TLSFParser
Deprecated.
toLtl(EnumSet<Robustness>) - Method in class owl.ltl.robust.LabelledSplit
 
toPgSolver(Game<S, ParityAcceptance>, PrintWriter, boolean) - Static method in class owl.game.GameUtil
 
toString() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
toString() - Method in class owl.automaton.acceptance.OmegaAcceptance
 
toString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
toString() - Method in class owl.automaton.AutomatonReader.HoaState
 
toString() - Method in class owl.automaton.edge.LabelledEdge
 
toString() - Method in class owl.automaton.MutableAutomatonUtil.Sink
 
toString() - Method in class owl.collections.ValuationSet
 
toString() - Method in class owl.game.GameViews.Node
 
toString() - Method in class owl.ltl.Biconditional
 
toString() - Method in class owl.ltl.BinaryModalOperator
 
toString() - Method in class owl.ltl.BooleanConstant
 
toString() - Method in class owl.ltl.EquivalenceClass
 
toString() - Method in enum owl.ltl.FrequencyG.Comparison
 
toString() - Method in enum owl.ltl.FrequencyG.Limes
 
toString() - Method in class owl.ltl.FrequencyG
 
toString() - Method in class owl.ltl.LabelledFormula
 
toString() - Method in class owl.ltl.Literal
 
toString() - Method in class owl.ltl.PropositionalFormula
 
toString() - Method in class owl.ltl.robust.LabelledSplit
 
toString() - Method in class owl.ltl.robust.Split
 
toString() - Method in class owl.ltl.UnaryModalOperator
 
toString() - Method in class owl.translations.delag.State
 
toString() - Method in class owl.translations.dra2dpa.IARState
 
toString() - Method in class owl.translations.ldba2dpa.FlatRankingState
 
toString() - Method in class owl.translations.ldba2dra.MapRankingState
 
toString() - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
 
toString() - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
 
toString() - Method in class owl.translations.ltl2ldba.breakpoint.GObligations
 
toString() - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
 
toString() - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
 
toString() - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
 
toString() - Method in class owl.translations.ltl2ldba.Jump
 
toString() - Method in class owl.translations.nba2ldba.BreakpointState
 
toString() - Method in class owl.translations.rabinizer.RabinizerState
 
toString() - Method in class owl.translations.safra.SafraBuilder.Label
 
toString() - Method in class owl.translations.safra.Tree
 
toString(Automaton<S, ?>) - Static method in class owl.automaton.output.HoaPrinter
 
toString(Automaton<S, ?>, EnumSet<HoaPrinter.HoaOption>) - Static method in class owl.automaton.output.HoaPrinter
 
toString(LimitDeterministicAutomaton<S, ?, ?, ?>) - Static method in class owl.automaton.output.HoaPrinter
 
toString(LimitDeterministicAutomaton<S, ?, ?, ?>, EnumSet<HoaPrinter.HoaOption>) - Static method in class owl.automaton.output.HoaPrinter
 
toString(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
 
toString(Formula, List<String>) - Static method in class owl.ltl.visitors.PrintVisitor
 
toString(Formula, List<String>, boolean) - Static method in class owl.ltl.visitors.PrintVisitor
 
toString(LabelledFormula, boolean) - Static method in class owl.ltl.visitors.PrintVisitor
 
toValuationSet(ValuationSetFactory, BooleanExpression<AtomLabel>, IntUnaryOperator) - Static method in class owl.collections.ValuationSetUtil
 
transform(Object, PipelineExecutionContext) - Method in class owl.automaton.minimizations.ImplicitMinimizeTransformer
 
transform(Object, PipelineExecutionContext) - Method in class owl.automaton.transformations.RabinDegeneralization
 
transform(Object, PipelineExecutionContext) - Method in class owl.ltl.rewriter.SimplifierTransformer
 
transform(Object, PipelineExecutionContext) - Method in interface owl.run.modules.Transformer.Instance
Applies the transformation represented by this transformer to the given object.
transformer(String) - Method in class owl.run.modules.OwlModuleRegistry
 
Transformer - Interface in owl.run.modules
Transformers are the central pieces of the pipeline concept.
TRANSFORMER - owl.run.modules.OwlModuleRegistry.Type
 
Transformer.Instance - Interface in owl.run.modules
 
transformers() - Method in class owl.run.Pipeline
 
Transformers - Class in owl.run.modules
 
Transformers.SimpleTransformer - Class in owl.run.modules
 
transformUnique(Collection<F>, Function<F, T>) - Static method in class owl.collections.Collections3
 
Tree<L> - Class in owl.translations.safra
 
Tree() - Constructor for class owl.translations.safra.Tree
 
trim() - Method in interface owl.automaton.MutableAutomaton
Removes unreachable states and adjust internal data structures after mutation.
trivial(R) - Static method in class owl.translations.dra2dpa.IARState
 
TRUE - Static variable in class owl.grammar.LTLLexer
 
TRUE - Static variable in class owl.grammar.LTLParser
 
TRUE - Static variable in class owl.ltl.BooleanConstant
 
TRUE - Static variable in class owl.ltl.robust.Split
 
TRUE() - Method in class owl.grammar.LTLParser.BoolContext
 
Tuple - Annotation Type in owl.util.annotation
 
type - Variable in exception owl.run.modules.OwlModuleRegistry.OwlModuleNotFoundException
 
typeClass - Variable in enum owl.run.modules.OwlModuleRegistry.Type
 
TypeUtil - Class in owl.util
 

U

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