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(ImmutableSet<LTL2LDBAFunction.Configuration>, Factories) - Constructor for class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
 
AbstractBuilder<S,T,A,L,B extends GeneralizedBuchiAcceptance> - Class in owl.translations.ldba2dpa
 
AbstractBuilder(LimitDeterministicAutomaton<S, T, B, A>, LanguageLattice<T, A, L>, Predicate<S>, boolean) - Constructor for class owl.translations.ldba2dpa.AbstractBuilder
 
AbstractJumpManager<X extends RecurringObligation> - Class in owl.translations.ltl2ldba
 
AbstractJumpManager(ImmutableSet<LTL2LDBAFunction.Configuration>, EquivalenceClassFactory) - Constructor for class owl.translations.ltl2ldba.AbstractJumpManager
 
accept(int, int) - Method in interface owl.util.IntBiConsumer
 
accept(int, T) - Method in interface owl.collections.Collections3.IndexedConsumer
 
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.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.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(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 interface owl.ltl.Formula
 
accept(BinaryVisitor<P, R>, P) - Method in class owl.ltl.LabelledFormula
 
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.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
 
accept(T, U, V) - Method in interface owl.util.TriConsumer
 
acceptance - Variable in class owl.translations.frequency.Automaton
 
acceptance() - Method in class owl.jni.IntAutomaton
 
acceptanceCondition - Variable in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
acceptanceNumbers - Variable in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
acceptanceSetCount() - Method in class owl.jni.IntAutomaton
 
acceptanceSetIterator() - Method in interface owl.automaton.edge.Edge
An iterator containing all acceptance sets this edge is a member of in ascending order.
acceptConverter(Visitor<Formula>) - Method in class owl.ltl.LabelledFormula
 
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(Map<K, ValuationSet>, K, ValuationSet) - Static method in class owl.collections.ValuationSetMapUtil
 
add(EquivalenceClass) - Method in class owl.translations.ltl2ldba.InitialComponentBuilder
 
add(Jump<U>) - Method in class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
 
add(S) - Method in interface owl.automaton.ldba.MutableAutomatonBuilder
 
add(S) - Method in class owl.translations.nba2ldba.GeneralizedBuchiView
 
addAccepting(KeyT) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonBuilder
 
addAll(Automaton<S, ?>) - Method in interface owl.automaton.MutableAutomaton
 
addAll(TranSet<S>) - Method in class owl.translations.frequency.TranSet
Deprecated.
 
addAll(T, ValuationSet) - Method in class owl.translations.frequency.TranSet
Deprecated.
 
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(Edge<? extends AutomatonState<?>>, ValuationSet) - Method in class owl.translations.frequency.HoaConsumerExtended
 
addEdge(Edge<? extends S>, BitSet) - Method in class owl.automaton.output.HoaConsumerExtended
 
addEdge(Edge<? extends S>, ValuationSet) - Method in class owl.automaton.output.HoaConsumerExtended
 
addEdge(LabelledEdge<? extends S>) - Method in class owl.automaton.output.HoaConsumerExtended
 
addEdge(ValuationSet, AutomatonState<?>) - Method in class owl.translations.frequency.HoaConsumerExtended
 
addEdge(ValuationSet, AutomatonState<?>) - Method in class owl.translations.frequency.HoaConsumerGeneralisedRabin
Deprecated.
 
addEdge(ValuationSet, AutomatonState<?>, PrimitiveIterator.OfInt) - Method in class owl.translations.frequency.HoaConsumerExtended
 
addEdge(ValuationSet, S) - Method in class owl.automaton.output.HoaConsumerExtended
 
addEdge(ValuationSet, S, PrimitiveIterator.OfInt) - Method in class owl.automaton.output.HoaConsumerExtended
 
addEdge(S, BitSet, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton
Adds a transition from the source state under valuation.
addEdge(S, BitSet, Edge<? extends S>) - Method in class owl.automaton.Views.ForwardingMutableAutomaton
 
addEdge(S, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton
Adds a transition from the source state under any valuation.
addEdge(S, ValuationSet, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton
Adds transitions from the source state under valuations.
addEdge(S, ValuationSet, Edge<? extends S>) - Method in class owl.automaton.Views.ForwardingMutableAutomaton
 
addEpsilonEdge(S) - Method in class owl.automaton.output.HoaConsumerExtended
 
addInfiniteSetsToConjunction(BooleanExpression<AtomAcceptance>, int) - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
 
addInfiniteSetsToConjunction(BooleanExpression<AtomAcceptance>, int) - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
addInitial(KeyS) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonBuilder
 
addInitialState(S) - Method in interface owl.automaton.MutableAutomaton
Adds a state to the set of initial states.
addInitialStates(Collection<? extends S>) - Method in interface owl.automaton.MutableAutomaton
Adds given states to the set of initial states.
addInitialStates(Collection<? extends S>) - Method in class owl.automaton.Views.ForwardingMutableAutomaton
 
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
 
addPair(RabinPair2<TranSet<S>, List<TranSet<S>>>) - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
addState(AutomatonState<?>) - Method in class owl.translations.frequency.HoaConsumerExtended
 
addState(S) - Method in interface owl.automaton.MutableAutomaton
Adds a state without outgoing edges to the set of states.
addState(S) - Method in class owl.automaton.output.HoaConsumerExtended
 
addStates(Collection<? extends S>) - Method in interface owl.automaton.MutableAutomaton
Adds states without outgoing edges to the set of states.
addStates(Collection<? extends S>) - Method in class owl.automaton.Views.ForwardingMutableAutomaton
 
addTransformer(OwlModuleParser.TransformerParser...) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
 
addTransformer(Transformer...) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
 
aig - Variable in class owl.game.output.LabelledAig
 
Aig - Class in owl.game.output
 
Aig(int) - Constructor for class owl.game.output.Aig
 
Aig(Aig, Aig) - Constructor for class owl.game.output.Aig
 
Aig(Aig, Aig, boolean, boolean) - 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 - owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
 
AllAcceptance - Class in owl.automaton.acceptance
 
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() - Method in class owl.jni.IntAutomaton
 
alphabetSize() - Method in interface owl.factories.ValuationSetFactory
 
anchors - Variable in class owl.translations.ltl2ldba.AbstractAcceptingComponentBuilder
 
and(EquivalenceClass) - Method in interface owl.ltl.EquivalenceClass
 
AND - Static variable in class owl.grammar.LTLLexer
 
AND - Static variable in class owl.grammar.LTLParser
 
AND() - Method in class owl.grammar.LTLParser.AndExpressionContext
 
AND(int) - Method in class owl.grammar.LTLParser.AndExpressionContext
 
andExpression() - Method in class owl.grammar.LTLParser
 
andExpression() - Method in class owl.grammar.LTLParser.OrExpressionContext
 
andExpression(int) - Method in class owl.grammar.LTLParser.OrExpressionContext
 
AndExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.AndExpressionContext
 
AnnotatedState<S> - Class in owl.translations.ldba2dpa
 
AnnotatedState(S) - Constructor for class owl.translations.ldba2dpa.AnnotatedState
 
annotations() - Method in interface owl.run.Environment
Whether additional information (like semantic state labels) should be included.
ANNOTATIONS - owl.automaton.output.HoaPrintable.HoaOption
Print annotations, e.g.
any() - Method in interface owl.collections.ValuationSet
 
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
 
apply(Automaton<S, ?>) - Method in class owl.translations.nba2dpa.NBA2DPAFunction
 
apply(Automaton<S, ?>) - Method in class owl.translations.nba2ldba.NBA2LDBA
 
apply(Automaton<S, ParityAcceptance>, Integer) - Method in class owl.translations.dpa2safety.DPA2Safety
 
apply(Formula) - Static method in class owl.ltl.rewriter.RewriterFactory
 
apply(Formula) - Method in class owl.ltl.visitors.DefaultConverter
 
apply(LabelledFormula) - Method in class owl.translations.delag.DelagBuilder
 
apply(LabelledFormula) - Method in class owl.translations.ExternalTranslator
 
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, RewriterFactory.RewriterEnum...) - Static method in class owl.ltl.rewriter.RewriterFactory
 
apply(RewriterFactory.RewriterEnum, Formula) - Static method in class owl.ltl.rewriter.RewriterFactory
 
apply(RewriterFactory.RewriterEnum, LabelledFormula) - Static method in class owl.ltl.rewriter.RewriterFactory
 
applyMinimization(MutableAutomaton<S, ? extends A>, List<Minimization<S, A>>) - Static method in class owl.automaton.minimizations.MinimizationUtil
 
asCutDeterministicAutomaton() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
 
asMap() - Method in class owl.translations.frequency.TranSet
Deprecated.
 
asMutable(Automaton<S, A>) - Static method in class owl.automaton.AutomatonUtil
 
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
 
assertConsistent() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
assertConsistent() - Method in class owl.automaton.acceptance.RabinAcceptance
 
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
 
asTransformer(Visitor<Formula>) - Static method in class owl.ltl.visitors.DefaultConverter
 
async() - 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
 
automaton - Variable in class owl.automaton.Views.ForwardingAutomaton
 
Automaton<S extends AutomatonState<S>,Acc extends OmegaAcceptance> - Class in owl.translations.frequency
 
Automaton<S,A extends OmegaAcceptance> - Interface in owl.automaton
Note: Every implementation should support concurrent read-access.
Automaton(Acc, Factories) - Constructor for class owl.translations.frequency.Automaton
 
Automaton(Acc, Factories, AtomicInteger) - Constructor for class owl.translations.frequency.Automaton
 
Automaton(Factories, Map<S, Map<Edge<S>, ValuationSet>>, Acc) - Constructor for class owl.translations.frequency.Automaton
 
AUTOMATON_STATS_CLI - Static variable in class owl.run.modules.OutputWriters
 
AUTOMATON_TO_GAME_CLI - Static variable in class owl.game.GameViews
 
Automaton.Property - Enum in owl.automaton
 
AutomatonFactory - Class in owl.automaton
 
AutomatonOperations - Class in owl.automaton
 
AutomatonReader - Class in owl.automaton
 
AutomatonReader.HoaState - Class in owl.automaton
 
AutomatonState<S> - Interface in owl.translations.frequency
 
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
 

B

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
 
BitUtil - Class in owl.util
 
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
 
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
 
BoundAndReward - Class in owl.translations.frequency
This class aims to store a bound and the transition, which have a reward regarding this bound.
BoundAndReward(FrequencyG, ValuationSetFactory) - Constructor for class owl.translations.frequency.BoundAndReward
 
BoundAndRewardForPrism - Interface in owl.translations.frequency
 
BreakpointState<S> - Class in owl.translations.nba2ldba
 
BuchiAcceptance - Class in owl.automaton.acceptance
 
BuchiAcceptance() - Constructor for class owl.automaton.acceptance.BuchiAcceptance
 
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() - Method in class owl.translations.ltl2ldba.InitialComponentBuilder
 
build() - Method in class owl.translations.nba2ldba.GeneralizedBuchiView
 
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(EquivalenceClass, ImmutableSet<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.breakpoint.GObligationsJumpManager
 
build(EquivalenceClass, ImmutableSet<LTL2LDBAFunction.Configuration>) - Static method in class owl.translations.ltl2ldba.breakpointfree.FGObligationsJumpManager
 
buildBuchi(LabelledFormula, Environment) - Static method in class owl.translations.SimpleTranslations
 
buildCoBuchi(LabelledFormula, Environment) - Static method in class owl.translations.SimpleTranslations
 
buildCoSafety(LabelledFormula, Environment) - Static method in class owl.translations.SimpleTranslations
 
builder(String) - Static method in class owl.run.parser.PartialModuleConfiguration
 
buildJump(EquivalenceClass, X) - Method in class owl.translations.ltl2ldba.AbstractJumpManager
 
buildSafety(LabelledFormula, Environment) - Static method in class owl.translations.SimpleTranslations
 

C

call() - Method in class owl.run.ServerRunner
 
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
 
castMutable(Object, Class<S>, Class<A>) - Static method in class owl.automaton.AutomatonUtil
 
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
 
children - Variable in class owl.ltl.PropositionalFormula
 
clear() - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
 
clear() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
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.RewriterTransformer
 
CLI - Static variable in class owl.ltl.visitors.UnabbreviateVisitor
 
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.LTL2DA
 
CLI - Static variable in class owl.translations.nba2dpa.NBA2DPAFunction
 
CLI - Static variable in class owl.translations.nba2ldba.NBA2LDBA
 
close() - Method in class owl.util.UncloseableWriter
 
closeTransformer() - Method in interface owl.run.modules.Transformer.Instance
Utility method to clean up any stateful resources.
cmp - Variable in class owl.ltl.FrequencyG
 
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
 
Collections3.IndexedConsumer<T> - Interface 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
 
COLOUR_OVERAPPROXIMATION - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
 
COLOURED - owl.automaton.Automaton.Property
 
comp - Variable in class owl.grammar.LTLParser.FrequencyOpContext
 
compare(GOperator, GOperator) - Method in class owl.translations.ltl2ldba.RankingComparator
 
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(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, ?>, BitSet) - Static method in class owl.automaton.AutomatonUtil
 
complete(MutableAutomaton<S, ?>, S, BitSet) - Static method in class owl.automaton.AutomatonUtil
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
 
componentMap - Variable in class owl.translations.ldba2dra.MapRankingState
 
COMPUTE_ACC_CONDITION - owl.translations.frequency.Optimisation
 
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(Set<S>, Function<S, Iterable<S>>) - Static method in class owl.translations.frequency.SccAnalyser
 
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(Automaton<S, ?>, Set<S>) - Static method in class owl.automaton.algorithms.SccDecomposition
 
computeSccs(Automaton<S, ?>, Set<S>, boolean) - Static method in class owl.automaton.algorithms.SccDecomposition
 
computeSccs(Automaton<S, ?>, S) - Static method in class owl.automaton.algorithms.SccDecomposition
 
computeSccs(Automaton<S, ?>, S, boolean) - Static method in class owl.automaton.algorithms.SccDecomposition
 
concat(Collection<E>, Collection<E>) - Static method in class owl.collections.Collections3
 
configuration - Variable in class owl.translations.ltl2ldba.AbstractJumpManager
 
conjunction(Iterable<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 - Class in owl.ltl
 
Conjunction(Iterable<? 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
 
constructAutomaton() - Method in class owl.translations.frequency.DtgrmaFactory
 
constructState(MasterAutomaton.MasterState, ImmutableMap<UnaryModalOperator, FrequencySelfProductSlave.State>) - Method in class owl.translations.frequency.ProductControllerSynthesis.State
 
contains(BitSet) - Method in interface 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
 
containsAll(Object, ValuationSet) - Method in class owl.translations.frequency.TranSet
Deprecated.
 
containsAll(ValuationSet) - Method in interface owl.collections.ValuationSet
 
containsAll(TranSet<S>) - Method in class owl.translations.frequency.TranSet
Deprecated.
 
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
 
containsState(S) - Method in interface owl.automaton.Automaton
Determines whether the automaton contains the given state.
containsStates(Collection<? extends S>) - Method in interface owl.automaton.Automaton
Determines whether the automaton contains all the given states.
CONVERSION_CLI - Static variable in class owl.automaton.transformations.ParityUtil
 
convert(Automaton<S, ParityAcceptance>, ParityAcceptance.Parity) - Static method in class owl.automaton.transformations.ParityUtil
 
copy() - Method in class owl.translations.frequency.TranSet
Deprecated.
 
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, Edge<S>>, Function<S, BitSet>) - Static method in class owl.automaton.MutableAutomatonFactory
 
create(Automaton<S, A>) - Static method in class owl.automaton.MutableAutomatonFactory
 
create(MutableAutomatonBuilder<X, 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(MutableAutomatonBuilder<X, 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(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<EquivalenceClass, 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
 
createPair() - Method in class owl.automaton.acceptance.RabinAcceptance
 
createPair(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
createPair(int) - Method in class owl.automaton.acceptance.RabinAcceptance
 
createPowerSetAutomaton(Automaton<S, NoneAcceptance>) - 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
 
createStreamingAutomaton(A, S, ValuationSetFactory, BiFunction<S, BitSet, Edge<S>>) - Static method in class owl.automaton.AutomatonFactory
 
cube(BitSet) - Method in class owl.game.output.AigFactory
 
currentState - Variable in class owl.translations.frequency.HoaConsumerExtended
 
CutDeterministicAutomaton<S,T,U extends GeneralizedBuchiAcceptance,V> - Class in owl.automaton.ldba
 

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.
defaultAction(Formula) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
defaultAction(Formula) - Method in class owl.ltl.visitors.DefaultVisitor
 
defaultAction(Formula) - Method in class owl.ltl.visitors.SubstitutionVisitor
 
defaultAction(Formula) - Method in class owl.ltl.visitors.XDepthVisitor
 
defaultAction(Formula, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
 
DefaultBinaryVisitor<P,R> - Class in owl.ltl.visitors
 
DefaultBinaryVisitor() - Constructor for class owl.ltl.visitors.DefaultBinaryVisitor
 
DefaultCli - Class in owl.run
 
DefaultConverter - Class in owl.ltl.visitors
 
DefaultConverter() - Constructor for class owl.ltl.visitors.DefaultConverter
 
DefaultIntVisitor - Class in owl.ltl.visitors
 
DefaultIntVisitor() - Constructor for class owl.ltl.visitors.DefaultIntVisitor
 
defaultSinkSupplier() - Static method in class owl.automaton.AutomatonUtil
 
DefaultVisitor<T> - Class in owl.ltl.visitors
 
DefaultVisitor() - Constructor for class owl.ltl.visitors.DefaultVisitor
 
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, ImmutableSet<LTL2LDBAFunction.Configuration>) - Constructor for class owl.translations.ltl2ldba.breakpoint.DegeneralizedAcceptingComponentBuilder
 
DegeneralizedAcceptingComponentBuilder(Factories, ImmutableSet<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, Function<LabelledFormula, ? extends Automaton<T, ?>>) - Constructor for class owl.translations.delag.DelagBuilder
 
denominator - Variable in class owl.grammar.LTLParser.FractionContext
 
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(Iterable<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 - Class in owl.ltl
 
Disjunction(Iterable<? 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
 
DPA2Safety<S> - Class in owl.translations.dpa2safety
 
DPA2Safety() - Constructor for class owl.translations.dpa2safety.DPA2Safety
 
DtgrmaFactory - Class in owl.translations.frequency
 
DtgrmaFactory(Formula, Factories, EnumSet<Optimisation>) - Constructor for class owl.translations.frequency.DtgrmaFactory
 

E

eager - Variable in class owl.translations.frequency.EquivalenceClassState
 
eager() - Method in class owl.translations.rabinizer.RabinizerConfiguration
 
EAGER - owl.translations.frequency.Optimisation
 
EAGER_UNFOLD - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
 
edge - Variable in class owl.automaton.edge.LabelledEdge
 
Edge<S> - Interface in owl.automaton.edge
This interface represents edges of automata including their acceptance membership.
edges(int) - Method in class owl.jni.IntAutomaton
 
EmptinessCheck - Class in owl.automaton.algorithms
 
empty(ValuationSetFactory) - Static method in class owl.automaton.AutomatonFactory
 
EMPTY_ARRAY - Static variable in interface owl.ltl.EquivalenceClass
 
emptyIsAccepting() - Method in class owl.automaton.acceptance.ParityAcceptance
 
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().
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.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.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().
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
 
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.transformations.RabinDegeneralization.DegeneralizedRabinState
 
equals(Object) - Method in class owl.game.output.Aig
 
equals(Object) - Method in class owl.game.output.LabelledAig
 
equals(Object) - Method in class owl.ltl.LabelledFormula
 
equals(Object) - Method in class owl.translations.delag.State
 
equals(Object) - Method in class owl.translations.dra2dpa.IARState
 
equals(Object) - Method in class owl.translations.frequency.BoundAndReward
 
equals(Object) - Method in class owl.translations.frequency.EquivalenceClassState
 
equals(Object) - Method in class owl.translations.frequency.RabinPair2
Deprecated.
 
equals(Object) - Method in class owl.translations.frequency.TranSet
Deprecated.
 
equals(Object) - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
 
equals(Object) - Method in class owl.translations.ltl2ldba.Jump
 
equals(Object) - Method in class owl.translations.nba2ldba.BreakpointState
 
equals(Object) - Method in class owl.translations.rabinizer.RabinizerState
 
equals(Object) - Method in class owl.util.ImmutableObject
 
equals2(ImmutableObject) - Method in class owl.game.GameViews.Node
 
equals2(ImmutableObject) - Method in class owl.ltl.BinaryModalOperator
 
equals2(ImmutableObject) - Method in class owl.ltl.BooleanConstant
 
equals2(ImmutableObject) - Method in class owl.ltl.FrequencyG
 
equals2(ImmutableObject) - Method in class owl.ltl.Literal
 
equals2(ImmutableObject) - Method in class owl.ltl.PropositionalFormula
 
equals2(ImmutableObject) - Method in class owl.ltl.UnaryModalOperator
 
equals2(ImmutableObject) - Method in class owl.translations.frequency.ProductControllerSynthesis.State
 
equals2(ImmutableObject) - Method in class owl.translations.ldba2dpa.FlatRankingState
 
equals2(ImmutableObject) - Method in class owl.translations.ldba2dra.MapRankingState
 
equals2(ImmutableObject) - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
 
equals2(ImmutableObject) - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
 
equals2(ImmutableObject) - Method in class owl.translations.ltl2ldba.breakpoint.GObligations
 
equals2(ImmutableObject) - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
 
equals2(ImmutableObject) - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
 
equals2(ImmutableObject) - Method in class owl.util.ImmutableObject
 
EquivalenceClass - Interface in owl.ltl
EquivalenceClass interface.
EquivalenceClassFactory - Interface in owl.factories
 
EquivalenceClassLanguageLattice - Class in owl.translations.ltl2ldba.breakpoint
 
EquivalenceClassLanguageLattice(EquivalenceClassFactory) - Constructor for class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
 
EquivalenceClassState<STATE extends AutomatonState<STATE>> - Class in owl.translations.frequency
 
EquivalenceClassStateFactory - Class in owl.translations.ltl2ldba
 
EquivalenceClassStateFactory(EquivalenceClassFactory, 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
 
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(Predicate<Formula>) - Method in interface owl.ltl.EquivalenceClass
 
EXISTS_SAFETY_CORE - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
 
EXISTS_SAFETY_CORE - owl.translations.ltl2dra.LTL2DRAFunction.Configuration
 
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().
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.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.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().
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().
ExplicitMinimizeTransformer<S,A extends OmegaAcceptance> - Class in owl.automaton.minimizations
 
ExplicitMinimizeTransformer(List<Minimization<S, A>>, Class<S>, Class<A>) - Constructor for class owl.automaton.minimizations.ExplicitMinimizeTransformer
 
explore(MutableAutomaton<S, ?>, Iterable<S>, BiFunction<S, BitSet, ? extends Iterable<Edge<S>>>, Function<S, BitSet>) - Static method in class owl.automaton.AutomatonUtil
Adds the given states and all states transitively reachable through explorationFunction to the automaton.
explore(MutableAutomaton<S, ?>, Iterable<S>, BiFunction<S, BitSet, ? extends Iterable<Edge<S>>>, Function<S, BitSet>, AtomicInteger) - Static method in class owl.automaton.AutomatonUtil
Adds the given states and all states transitively reachable through explorationFunction to the automaton.
explore(MutableAutomaton<S, ?>, Iterable<S>, BiFunction<S, BitSet, Iterable<Edge<S>>>) - Static method in class owl.automaton.AutomatonUtil
Adds the given states and all states transitively reachable through explorationFunction to the automaton.
exploreDeterministic(MutableAutomaton<S, ?>, Iterable<S>, BiFunction<S, BitSet, Edge<S>>, AtomicInteger) - Static method in class owl.automaton.AutomatonUtil
 
exploreDeterministic(MutableAutomaton<S, ?>, Iterable<S>, BiFunction<S, BitSet, Edge<S>>, Function<S, BitSet>) - Static method in class owl.automaton.AutomatonUtil
 
exploreDeterministic(MutableAutomaton<S, ?>, Iterable<S>, BiFunction<S, BitSet, Edge<S>>, Function<S, BitSet>, AtomicInteger) - Static method in class owl.automaton.AutomatonUtil
 
exploreWithLabelledEdge(MutableAutomaton<S, ?>, Iterable<S>, Function<S, Iterable<LabelledEdge<S>>>) - Static method in class owl.automaton.AutomatonUtil
 
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.frequency.Automaton
 
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.translations.ltl2ldba.AbstractAcceptingComponentBuilder
 
factory - Variable in class owl.translations.ltl2ldba.AbstractJumpManager
 
factorySupplier() - Method in interface owl.run.Environment
Returns the configured FactorySupplier.
FactorySupplier - Interface in owl.factories
 
failWithMessage(String, Throwable) - Static method in class owl.run.RunUtil
Prints given message on standard error and calls System.exit(int) with 1.
FAIRNESS - owl.ltl.rewriter.RewriterFactory.RewriterEnum
 
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() - Method in class owl.grammar.LTLParser.BoolContext
 
feedTo(AigConsumer) - Method in interface owl.game.Game
 
feedTo(AigConsumer) - Method in interface owl.game.output.AigPrintable
 
FGObligations - Class in owl.translations.ltl2ldba.breakpointfree
 
FGObligationsJumpManager - Class in owl.translations.ltl2ldba.breakpointfree
 
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
 
findAll(Map<K, ValuationSet>, BitSet) - Static method in class owl.collections.ValuationSetMapUtil
 
findFirst(Map<K, ValuationSet>, BitSet) - Static method in class owl.collections.ValuationSetMapUtil
 
findNextSafety(List<T>, int) - Method in class owl.translations.ldba2dpa.AbstractBuilder
 
findOnly(Map<K, ValuationSet>, BitSet) - Static method in class owl.collections.ValuationSetMapUtil
 
finSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
FlatRankingAutomaton - Class in owl.translations.ldba2dpa
 
FlatRankingState<S,T> - Class in owl.translations.ldba2dpa
 
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
 
flush() - Method in class owl.util.UncloseableWriter
 
FOperator - Class in owl.ltl
Finally.
FOperator(Formula) - Constructor for class owl.ltl.FOperator
 
FORCE_JUMPS - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
 
forEach(BitSet, Consumer<? super BitSet>) - Method in interface owl.collections.ValuationSet
 
forEach(Consumer<? super BitSet>) - Method in interface owl.collections.ValuationSet
 
forEach(Consumer<? super Map.Entry<S, ValuationSet>>) - Method in class owl.translations.frequency.TranSet
Deprecated.
 
forEach(Consumer<Formula>) - Method in class owl.ltl.PropositionalFormula
 
forEachEdge(BiConsumer<S, Edge<S>>) - Method in interface owl.automaton.Automaton
 
forEachEdge(S, Consumer<Edge<S>>) - Method in interface owl.automaton.Automaton
 
forEachIndex(IntConsumer) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
forEachIndexed(Iterable<T>, Collections3.IndexedConsumer<T>) - Static method in class owl.collections.Collections3
 
forEachInfSet(IntConsumer) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
forEachLabelledEdge(TriConsumer<S, Edge<S>, ValuationSet>) - Method in interface owl.automaton.Automaton
 
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
 
forEachState(Consumer<S>) - Method in interface owl.automaton.Automaton
 
formula - Variable in class owl.grammar.TLSFParser.SpecificationContext
 
formula - Variable in class owl.ltl.LabelledFormula
 
formula - Variable in class owl.ltl.rewriter.ShiftRewriter.ShiftedFormula
 
formula() - Method in class owl.grammar.LTLParser
 
Formula - Interface in owl.ltl
 
FormulaContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FormulaContext
 
ForwardingAutomaton(T) - Constructor for class owl.automaton.Views.ForwardingAutomaton
 
ForwardingMutableAutomaton(MutableAutomaton<S, B>) - Constructor for class owl.automaton.Views.ForwardingMutableAutomaton
 
FractionContext(LTLParser.FrequencySpecContext) - Constructor for class owl.grammar.LTLParser.FractionContext
 
Fragments - Class in owl.ltl
 
freeRepresentative() - Method in interface owl.ltl.EquivalenceClass
 
FREQUENCY_SPEC - Static variable in class owl.grammar.LTLLexer
 
frequencyG - Variable in class owl.translations.frequency.BoundAndReward
 
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
 
FrequencySelfProductSlave - Class in owl.translations.frequency
 
FrequencySelfProductSlave.State - Class in owl.translations.frequency
 
frequencySpec() - Method in class owl.grammar.LTLParser.FrequencyOpContext
 
frequencySpec() - Method in class owl.grammar.LTLParser
 
FrequencySpecContext() - Constructor for class owl.grammar.LTLParser.FrequencySpecContext
 
FrequencySpecContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FrequencySpecContext
 
fromFunction(Class<K>, Function<K, V>) - Static method in class owl.run.modules.Transformers
 
fromWriter(OutputWriter) - Static method in class owl.run.modules.Transformers
 

G

Game<S,A extends OmegaAcceptance> - Interface in owl.game
 
Game.Owner - Enum in owl.game
 
GameFactory - Class in owl.game
 
GameUtil - Class in owl.game
 
GameViews - Class in owl.game
 
GameViews.Node<S> - Class in owl.game
A state of the split game.
GE - Static variable in class owl.grammar.LTLLexer
 
GE - Static variable in class owl.grammar.LTLParser
 
GE() - Method in class owl.grammar.LTLParser.ComparisonContext
 
GeneralisedRabinWithMeanPayoffAcceptance - Class in owl.translations.frequency
 
GeneralisedRabinWithMeanPayoffAcceptance(List<RabinPair2<TranSet<ProductControllerSynthesis.State>, List<TranSet<ProductControllerSynthesis.State>>>>, List<Collection<BoundAndReward>>) - Constructor for class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
 
GeneralizedAcceptingComponentBuilder - Class in owl.translations.ltl2ldba.breakpoint
 
GeneralizedAcceptingComponentBuilder - Class in owl.translations.ltl2ldba.breakpointfree
 
GeneralizedAcceptingComponentBuilder(Factories, ImmutableSet<LTL2LDBAFunction.Configuration>) - Constructor for class owl.translations.ltl2ldba.breakpoint.GeneralizedAcceptingComponentBuilder
 
GeneralizedAcceptingComponentBuilder(Factories, ImmutableSet<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
 
GeneralizedBuchiAcceptance(int) - Constructor for class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
GeneralizedBuchiView<S> - Class in owl.translations.nba2ldba
 
GeneralizedBuchiView(Automaton<S, AllAcceptance>) - Constructor for class owl.translations.nba2ldba.GeneralizedBuchiView
 
GeneralizedRabinAcceptance - Class in owl.automaton.acceptance
Generalized Rabin Acceptance - OR (Fin(i) and AND Inf(j)).
GeneralizedRabinAcceptance() - Constructor for class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
GeneralizedRabinAcceptance.RabinPair - Class in owl.automaton.acceptance
 
GeneralizedRabinAcceptance2<S extends AutomatonState<?>> - Class in owl.translations.frequency
Deprecated.
GeneralizedRabinAcceptance2(List<RabinPair2<TranSet<S>, List<TranSet<S>>>>) - Constructor for class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
GeneralizedRabinMinimizations - Class in owl.automaton.minimizations
 
generate() - Method in class owl.translations.frequency.Automaton
 
GenericAcceptance - Class in owl.automaton.acceptance
 
GenericAcceptance(int, BooleanExpression<AtomAcceptance>) - Constructor for class owl.automaton.acceptance.GenericAcceptance
 
GenericMinimizations - Class in owl.automaton.minimizations
 
GEQ - owl.ltl.FrequencyG.Comparison
 
getAcceptance() - Method in interface owl.automaton.Automaton
Returns the acceptance condition of this automaton.
getAcceptance() - Method in class owl.automaton.StreamingAutomaton
 
getAcceptance() - Method in class owl.translations.frequency.Automaton
 
getAcceptanceCondition() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
getAcceptanceSets() - Method in class owl.automaton.acceptance.AllAcceptance
 
getAcceptanceSets() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
 
getAcceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
getAcceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
getAcceptanceSets() - Method in class owl.automaton.acceptance.GenericAcceptance
 
getAcceptanceSets() - Method in class owl.automaton.acceptance.NoneAcceptance
 
getAcceptanceSets() - Method in class owl.automaton.acceptance.OmegaAcceptance
 
getAcceptanceSets() - Method in class owl.automaton.acceptance.ParityAcceptance
 
getAcceptanceSets() - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
 
getAcceptanceSets() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
getAcceptingComponent() - Method in class owl.automaton.ldba.CutDeterministicAutomaton
 
getAcceptingComponent() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
 
getAcceptingComponent() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
 
getAnnotation(T) - Method in class owl.automaton.ldba.CutDeterministicAutomaton
 
getAnnotation(T) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
 
getAnnotation(T) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
 
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
 
getAtoms() - Method in interface owl.ltl.EquivalenceClass
Collects all literals used in the bdd and stores the corresponding atoms in the BitSet.
getAttractor(Collection<S>, Game.Owner) - Method in interface owl.game.Game
 
getAttractorFixpoint(Collection<S>, Game.Owner) - Method in interface owl.game.Game
 
getBooleanExpression() - Method in class owl.automaton.acceptance.AllAcceptance
 
getBooleanExpression() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
 
getBooleanExpression() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
getBooleanExpression() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
getBooleanExpression() - Method in class owl.automaton.acceptance.GenericAcceptance
 
getBooleanExpression() - Method in class owl.automaton.acceptance.NoneAcceptance
 
getBooleanExpression() - Method in class owl.automaton.acceptance.OmegaAcceptance
Canonical representation as BooleanExpression.
getBooleanExpression() - Method in class owl.automaton.acceptance.ParityAcceptance
 
getBooleanExpression() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
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
 
getComponents() - Method in class owl.automaton.ldba.CutDeterministicAutomaton
 
getComponents() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
 
getComponents() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
 
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
 
getControllerAcceptanceF(FOperator, Set<UnaryModalOperator>) - Method in class owl.translations.frequency.ProductControllerSynthesis
 
getControllerAcceptanceFrequencyG(FrequencyG, Set<UnaryModalOperator>) - Method in class owl.translations.frequency.ProductControllerSynthesis
 
getControllerAcceptanceG(GOperator, Set<UnaryModalOperator>) - Method in class owl.translations.frequency.ProductControllerSynthesis
 
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 interface owl.run.modules.OwlModuleParser
 
getEdge() - Method in class owl.automaton.edge.LabelledEdge
 
getEdge(S, BitSet) - Method in interface owl.automaton.Automaton
Returns the successor edge of the specified state under the given valuation.
getEdge(S, BitSet) - Method in class owl.automaton.StreamingAutomaton
 
getEdges(S) - Method in interface owl.automaton.Automaton
Returns all successor edges of the specified state under any valuation.
getEdges(S) - Method in class owl.automaton.StreamingAutomaton
 
getEdges(S, BitSet) - Method in interface owl.automaton.Automaton
Returns the successor edges of the specified state under the given valuation.
getEdges(S, BitSet) - Method in class owl.automaton.StreamingAutomaton
 
getEpsilonJumps(Set<S>) - Method in class owl.automaton.ldba.CutDeterministicAutomaton
 
getEpsilonJumps(S) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
 
getEpsilonJumps(S) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
 
getEquivalenceClass() - Method in class owl.translations.frequency.EquivalenceClassState
 
getEquivalenceClassFactory(List<String>) - Method in interface owl.factories.FactorySupplier
 
getEquivalenceClassFactory(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
 
getEquivalenceClassFactory(LabelledFormula) - Method in interface owl.factories.FactorySupplier
 
getFactories(List<String>) - Method in interface owl.factories.FactorySupplier
 
getFactories(LabelledFormula) - Method in interface owl.factories.FactorySupplier
 
getFactory() - Method in interface owl.automaton.Automaton
 
getFactory() - Method in class owl.automaton.StreamingAutomaton
 
getFactory() - Method in class owl.automaton.Views.ForwardingAutomaton
 
getFactory() - Method in interface owl.collections.ValuationSet
 
getFactory() - Method in interface owl.ltl.EquivalenceClass
 
getFalse() - Method in interface owl.factories.EquivalenceClassFactory
 
getFalse() - Method in class owl.game.output.AigFactory
 
getFormula() - Method in class owl.ltl.LabelledFormula
 
getFreqG() - Method in class owl.translations.frequency.BoundAndReward
 
getFreqG() - Method in interface owl.translations.frequency.BoundAndRewardForPrism
 
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, A>) - 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
 
getInitialComponent() - Method in class owl.automaton.ldba.CutDeterministicAutomaton
 
getInitialComponent() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
 
getInitialComponent() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
 
getInitialState() - Method in interface owl.automaton.Automaton
Returns the initial state.
getInitialState() - Method in class owl.translations.frequency.Automaton
Returns the initial state if there is a unique one.
getInitialStates() - Method in interface owl.automaton.Automaton
Returns the set of initial states, which can potentially be empty.
getInitialStates() - Method in class owl.automaton.StreamingAutomaton
 
getInitialStates() - Method in class owl.automaton.Views.ForwardingAutomaton
 
getInitialStates() - Method in class owl.translations.frequency.Automaton
Returns an immutable copy of the current initial state set.
getInvolvedAcceptanceNumbers(AutomatonState<?>, ValuationSet) - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
getKey() - Method in interface owl.run.modules.OwlModuleParser
 
getKey() - Method in class owl.translations.frequency.RabinizerFrequencyMain
 
getKey() - Method in class owl.translations.ltl2dpa.LTL2DPACliParser
 
getKey() - Method in class owl.translations.ltl2dra.LTL2DRACliParser
 
getKey() - Method in class owl.translations.ltl2ldba.LTL2LDBACliParser
 
getKey() - Method in class owl.translations.rabinizer.RabinizerCliParser
 
getLabel() - Method in class owl.collections.LabelledTree.Node
 
getLabelledEdges(S) - Method in interface owl.automaton.Automaton
Returns all successors of the specified state.
getLabelledEdges(S) - Method in class owl.automaton.StreamingAutomaton
 
getLabelledEdges(S) - Method in class owl.automaton.Views.ForwardingAutomaton
 
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
 
getMaximallyMergedEdgesOfEdge(AutomatonState<?>, ValuationSet) - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
 
getMaximallyMergedEdgesOfEdge(AutomatonState<?>, ValuationSet) - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
getMetaWriter() - Method in class owl.run.NullExecutionContext
 
getMetaWriter() - Method in interface owl.run.PipelineExecutionContext
The destination for any meta information obtained during execution.
getModeNames() - Method in class owl.grammar.LTLLexer
 
getModeNames() - Method in class owl.grammar.TLSFLexer
 
getName() - Method in class owl.automaton.acceptance.AllAcceptance
 
getName() - Method in class owl.automaton.acceptance.BuchiAcceptance
 
getName() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
 
getName() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
getName() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
getName() - Method in class owl.automaton.acceptance.GenericAcceptance
 
getName() - Method in class owl.automaton.acceptance.NoneAcceptance
 
getName() - Method in class owl.automaton.acceptance.OmegaAcceptance
 
getName() - Method in class owl.automaton.acceptance.ParityAcceptance
 
getName() - Method in class owl.automaton.acceptance.RabinAcceptance
 
getName() - Method in interface owl.automaton.output.HoaPrintable
 
getName() - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
 
getName() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
getName() - Method in class owl.translations.frequency.RabinAcceptance2
Deprecated.
 
getNameExtra() - Method in class owl.automaton.acceptance.BuchiAcceptance
 
getNameExtra() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
 
getNameExtra() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
getNameExtra() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
getNameExtra() - Method in class owl.automaton.acceptance.OmegaAcceptance
 
getNameExtra() - Method in class owl.automaton.acceptance.ParityAcceptance
 
getNameExtra() - Method in class owl.automaton.acceptance.RabinAcceptance
 
getNameExtra() - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
 
getNameExtra() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
getNameExtra() - Method in class owl.translations.frequency.RabinAcceptance2
Deprecated.
 
getNode(int) - Method in class owl.game.output.AigFactory
 
getNondetSuccessor(EquivalenceClass, BitSet) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
 
getNumberOfRewardSets() - Method in class owl.translations.frequency.BoundAndReward
 
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() - 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.LTL2LDBACliParser
 
getOptions() - Method in class owl.translations.rabinizer.RabinizerCliParser
 
getOriginalState() - Method in class owl.translations.dra2dpa.IARState
 
getOwner(S) - Method in interface owl.game.Game
 
getPairs() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
Returns an unmodifiable view of the pair collection.
getParity() - Method in class owl.automaton.acceptance.ParityAcceptance
 
getPlayer1Variables() - Method in class owl.ltl.LabelledFormula
 
getPlayer2Variables() - Method in class owl.ltl.LabelledFormula
 
getPredecessors(Iterable<S>) - Method in interface owl.game.Game
 
getPredecessors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
 
getPredecessors(S) - Method in interface owl.automaton.Automaton
 
getPredecessors(S, Game.Owner) - Method in interface owl.game.Game
 
getReachableStates(Automaton<S, A>) - Static method in class owl.automaton.AutomatonUtil
Returns all states reachable from the initial states.
getReachableStates(Automaton<S, A>, Collection<? extends S>) - Static method in class owl.automaton.AutomatonUtil
Returns all states reachable from the given set of states.
getReaderParser(String) - Method in class owl.run.modules.OwlModuleRegistry
 
getRecord() - Method in class owl.translations.dra2dpa.IARState
 
getRepresentative() - Method in interface owl.ltl.EquivalenceClass
 
getRewriter() - Method in enum owl.ltl.rewriter.RewriterFactory.RewriterEnum
 
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() - Method in interface owl.translations.frequency.AutomatonState
 
getSensitiveAlphabet() - Method in class owl.translations.frequency.EquivalenceClassState
 
getSensitiveAlphabet() - Method in class owl.translations.frequency.FrequencySelfProductSlave.State
 
getSensitiveAlphabet() - Method in class owl.translations.frequency.ProductControllerSynthesis.State
 
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
 
getSettings(OwlModuleRegistry.Type) - Method in class owl.run.modules.OwlModuleRegistry
 
getSink() - Static method in class owl.translations.nba2ldba.BreakpointState
 
getStates() - Method in interface owl.automaton.Automaton
Returns all states in this automaton.
getStates() - Method in class owl.automaton.StreamingAutomaton
 
getStates() - Method in class owl.automaton.Views.ForwardingAutomaton
 
getStates() - Method in class owl.translations.frequency.Automaton
 
getStates(Game.Owner) - Method in interface owl.game.Game
 
getSucceedTransitions(FrequencyMojmirSlaveAutomaton, int, Set<UnaryModalOperator>) - Method in class owl.translations.frequency.ProductControllerSynthesis.State
 
getSuccessor() - Method in interface owl.automaton.edge.Edge
Get the target state of the edge.
getSuccessor(BitSet) - Method in interface owl.translations.frequency.AutomatonState
Compute the successor of a state and return the corresponding edge.
getSuccessor(BitSet) - Method in class owl.translations.frequency.FrequencySelfProductSlave.State
 
getSuccessor(BitSet) - Method in class owl.translations.frequency.MasterAutomaton.MasterState
 
getSuccessor(BitSet) - Method in class owl.translations.frequency.ProductControllerSynthesis.State
 
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
 
getSuccessor(S, BitSet) - Method in interface owl.automaton.Automaton
 
getSuccessor(S, BitSet) - Method in class owl.automaton.StreamingAutomaton
 
getSuccessorMap(S) - Method in interface owl.automaton.Automaton
 
getSuccessors(Iterable<S>) - Method in interface owl.game.Game
 
getSuccessors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
 
getSuccessors(EquivalenceClass[], BitSet, EquivalenceClass) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
 
getSuccessors(S) - Method in interface owl.automaton.Automaton
 
getSuccessors(S) - Method in class owl.automaton.StreamingAutomaton
 
getSuccessors(S) - Method in class owl.translations.frequency.Automaton
 
getSuccessors(S, BitSet) - Method in interface owl.automaton.Automaton
 
getSuccessors(S, BitSet) - Method in class owl.automaton.StreamingAutomaton
 
getSuccessors(S, Game.Owner) - Method in interface owl.game.Game
 
getSupport() - Method in interface owl.ltl.EquivalenceClass
Compute the support of the EquivalenceClass.
getSupport(Predicate<Formula>) - Method in interface owl.ltl.EquivalenceClass
 
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
 
getTransformerParser(String) - Method in class owl.run.modules.OwlModuleRegistry
 
getTrue() - Method in interface owl.factories.EquivalenceClassFactory
 
getTrue() - Method in class owl.game.output.AigFactory
 
getTypes(OwlModuleParser<?>) - Static method in enum owl.run.modules.OwlModuleRegistry.Type
 
getUnmodifiableAcceptanceMdp() - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
 
getValuations() - Method in class owl.automaton.edge.LabelledEdge
 
getValuationSetFactory(List<String>) - Method in interface owl.factories.FactorySupplier
 
getValuationSetFactory(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
 
getValuationSetJumps(Set<S>) - Method in class owl.automaton.ldba.CutDeterministicAutomaton
 
getValuationSetJumps(S) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
 
getValuationSetJumps(S) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
 
getVariables() - Method in interface owl.automaton.Automaton
 
getVariables() - Method in class owl.automaton.ldba.CutDeterministicAutomaton
 
getVariables() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
 
getVariables() - Method in interface owl.automaton.output.HoaPrintable
 
getVariables() - Method in interface owl.factories.EquivalenceClassFactory
 
getVariables() - Method in class owl.translations.frequency.Automaton
 
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
 
getWriterParser(String) - Method in class owl.run.modules.OwlModuleRegistry
 
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
 
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
 
GUESS_F - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
 
guessF() - Static method in class owl.translations.ltl2ldba.LTL2LDBACliParser
 

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.transformations.RabinDegeneralization.DegeneralizedRabinState
 
hashCode() - Method in class owl.game.output.Aig
 
hashCode() - Method in class owl.game.output.LabelledAig
 
hashCode() - Method in class owl.ltl.LabelledFormula
 
hashCode() - Method in class owl.translations.delag.State
 
hashCode() - Method in class owl.translations.dra2dpa.IARState
 
hashCode() - Method in class owl.translations.frequency.BoundAndReward
 
hashCode() - Method in class owl.translations.frequency.EquivalenceClassState
 
hashCode() - Method in class owl.translations.frequency.RabinPair2
Deprecated.
 
hashCode() - Method in class owl.translations.frequency.TranSet
Deprecated.
 
hashCode() - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
 
hashCode() - Method in class owl.translations.ltl2ldba.Jump
 
hashCode() - Method in class owl.translations.nba2ldba.BreakpointState
 
hashCode() - Method in class owl.translations.rabinizer.RabinizerState
 
hashCode() - Method in class owl.util.ImmutableObject
 
hashCodeOnce() - Method in class owl.game.GameViews.Node
 
hashCodeOnce() - Method in class owl.ltl.BooleanConstant
 
hashCodeOnce() - Method in class owl.ltl.Conjunction
 
hashCodeOnce() - Method in class owl.ltl.Disjunction
 
hashCodeOnce() - Method in class owl.ltl.FOperator
 
hashCodeOnce() - Method in class owl.ltl.FrequencyG
 
hashCodeOnce() - Method in class owl.ltl.GOperator
 
hashCodeOnce() - Method in class owl.ltl.Literal
 
hashCodeOnce() - Method in class owl.ltl.MOperator
 
hashCodeOnce() - Method in class owl.ltl.ROperator
 
hashCodeOnce() - Method in class owl.ltl.UOperator
 
hashCodeOnce() - Method in class owl.ltl.WOperator
 
hashCodeOnce() - Method in class owl.ltl.XOperator
 
hashCodeOnce() - Method in class owl.translations.frequency.ProductControllerSynthesis.State
 
hashCodeOnce() - Method in class owl.translations.ldba2dpa.FlatRankingState
 
hashCodeOnce() - Method in class owl.translations.ldba2dra.MapRankingState
 
hashCodeOnce() - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
 
hashCodeOnce() - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
 
hashCodeOnce() - Method in class owl.translations.ltl2ldba.breakpoint.GObligations
 
hashCodeOnce() - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
 
hashCodeOnce() - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
 
hashCodeOnce() - Method in class owl.util.ImmutableObject
 
hasInfSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
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
 
HoaConsumerExtended<S> - Class in owl.automaton.output
 
HoaConsumerExtended - Class in owl.translations.frequency
 
HoaConsumerExtended(HOAConsumer, int, List<String>, OmegaAcceptance, Set<? extends AutomatonState<?>>, int, EnumSet<HoaPrintable.HoaOption>) - Constructor for class owl.translations.frequency.HoaConsumerExtended
 
HoaConsumerExtended(HOAConsumer, List<String>, OmegaAcceptance, Set<? extends S>, EnumSet<HoaPrintable.HoaOption>, boolean, String) - Constructor for class owl.automaton.output.HoaConsumerExtended
 
HoaConsumerGeneralisedRabin<S extends AutomatonState<?>> - Class in owl.translations.frequency
Deprecated.
HoaConsumerGeneralisedRabin(HOAConsumer, ValuationSetFactory, List<String>, Set<S>, GeneralizedRabinAcceptance2<S>, int) - Constructor for class owl.translations.frequency.HoaConsumerGeneralisedRabin
Deprecated.
 
HoaPrintable - Interface in owl.automaton.output
 
HoaPrintable.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
 
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
 
ImmutableObject - Class in owl.util
 
ImmutableObject() - Constructor for class owl.util.ImmutableObject
 
immutableUnion(Collection<? extends Collection<E>>) - Static method in class owl.collections.Collections3
 
IMP - Static variable in class owl.grammar.LTLLexer
 
IMP - Static variable in class owl.grammar.LTLParser
 
IMP() - Method in class owl.grammar.LTLParser.BinaryOpContext
 
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(int, int) - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
 
implies(int, int) - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
implies(EquivalenceClass) - Method in interface owl.ltl.EquivalenceClass
 
in - Variable in class owl.grammar.TLSFParser.InputContext
 
increaseRewards(Map<TranSet<ProductControllerSynthesis.State>, Integer>) - Method in class owl.translations.frequency.BoundAndReward
 
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
 
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
 
InitialComponentBuilder<K extends RecurringObligation> - Class in owl.translations.ltl2ldba
 
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.translations.frequency.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.
InputReader.InputReaderException - Exception in owl.run.modules
 
InputReaderException(Throwable) - Constructor for exception owl.run.modules.InputReader.InputReaderException
 
InputReaders - Class 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.transformations.RabinDegeneralization
 
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.LTL2LDBACliParser
 
INSTANCE - Static variable in class owl.translations.rabinizer.RabinizerCliParser
 
instanceFromFunction(Class<K>, Function<K, V>) - Static method in class owl.run.modules.Transformers
 
IntAutomaton - Class in owl.jni
 
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(Stream<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
 
intersection(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
intersection(ValuationSet...) - Method in interface owl.factories.ValuationSetFactory
 
intersection(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
intersects(TranSet<? super S>) - Method in class owl.translations.frequency.TranSet
Deprecated.
 
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.StreamingAutomaton
 
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.Fragments
 
isBottom() - Method in interface owl.translations.ldba2dpa.Language
 
isConstant() - Method in class owl.game.output.Aig
 
isCoSafety(Formula) - Static method in class owl.ltl.Fragments
 
isCosafetyLanguage(S, Automaton<S, BuchiAcceptance>) - Static method in class owl.automaton.algorithms.LanguageAnalysis
 
isDetBuchiRecognisable(Formula) - Static method in class owl.ltl.Fragments
 
isDetCoBuchiRecognisable(Formula) - Static method in class owl.ltl.Fragments
 
isDeterministic() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
 
isDistinct(Collection<E>) - Static method in class owl.collections.Collections3
 
isEmpty() - Method in interface owl.collections.ValuationSet
 
isEmpty() - Method in class owl.translations.frequency.TranSet
Deprecated.
 
isEmpty(Automaton<S, ?>) - Static method in class owl.automaton.algorithms.EmptinessCheck
 
isFalse() - Method in interface owl.ltl.EquivalenceClass
 
isFgx(Formula) - Static method in class owl.ltl.Fragments
 
isFinite(Formula) - Static method in class owl.ltl.Fragments
 
isInfinite(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
isInfinitelyOften(Formula) - Static method in class owl.ltl.Fragments
 
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 - Variable in class owl.game.output.LabelledAig
 
isNegated() - Method in class owl.ltl.Literal
 
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.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
 
isRejectingScc(Automaton<S, ?>, Set<S>) - Static method in class owl.automaton.algorithms.EmptinessCheck
 
isSafety(Formula) - Static method in class owl.ltl.Fragments
 
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
 
isSafetyLanguage(S, Automaton<S, BuchiAcceptance>) - Static method in class owl.automaton.algorithms.LanguageAnalysis
 
isSet(long, int) - Static method in class owl.util.BitUtil
 
isShutdown() - Method in interface owl.run.Environment
 
isSingleStep(Formula) - Static method in class owl.ltl.Fragments
 
isStrict() - Method in enum owl.ltl.tlsf.Tlsf.Semantics
 
isSubsetConsuming(BitSet, BitSet) - Static method in class owl.collections.Collections3
 
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(Function<S, ? extends Iterable<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 interface owl.ltl.EquivalenceClass
 
isUniverse() - Method in interface owl.collections.ValuationSet
 
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.GeneralizedBuchiAcceptance
 
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.GenericAcceptance
 
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
 
isWellFormedEdge(Edge<?>) - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
iterator() - Method in class owl.translations.frequency.TranSet
Deprecated.
 

J

JBddSupplier - Class in owl.factories.jbdd
 
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

LabelledAig - Class in owl.game.output
 
LabelledEdge<S> - Class in owl.automaton.edge
 
LabelledFormula - Class in owl.ltl
 
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
 
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
 
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(L2) - Constructor for class owl.collections.LabelledTree.Leaf
 
left - Variable in class owl.game.output.Aig
 
left - Variable in class owl.grammar.LTLParser.BinaryOperationContext
 
left - Variable in class owl.ltl.BinaryModalOperator
 
left - Variable in class owl.translations.frequency.RabinPair2
Deprecated.
 
leftIsNegated - Variable in class owl.game.output.Aig
 
lenient() - Method in interface owl.run.Environment
Whether the constructions should try to recover from errors or fail-fast.
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<KeyS,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<V>, Function<T, V>) - 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
 
LOGGER - Static variable in class owl.translations.frequency.HoaConsumerExtended
 
LPAREN - Static variable in class owl.grammar.LTLLexer
 
LPAREN - Static variable in class owl.grammar.LTLParser
 
LPAREN() - Method in class owl.grammar.LTLParser.NestedContext
 
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
 
LTL2DA - 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
 
LTL2LDBACliParser - Class in owl.translations.ltl2ldba
 
LTL2LDBAFunction<S,B extends GeneralizedBuchiAcceptance,C extends RecurringObligation> - Class in owl.translations.ltl2ldba
 
LTL2LDBAFunction.Configuration - Enum 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.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.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.frequency.RabinizerFrequencyMain
 
main(String...) - Static method in class owl.translations.LTL2DA
 
main(String...) - Static method in class owl.translations.LTL2DPA
 
main(String...) - Static method in class owl.translations.ltl2ldba.LTL2LDBACliParser
 
main(String...) - Static method in class owl.translations.nba2dpa.NBA2DPAFunction
 
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(Function<Formula, T>) - Method in class owl.ltl.PropositionalFormula
 
mapping - Variable in class owl.ltl.rewriter.ShiftRewriter.ShiftedFormula
 
MapRankingAutomaton - Class in owl.translations.ldba2dra
 
MapRankingState<S,K,V> - Class in owl.translations.ldba2dra
 
MasterAutomaton - Class in owl.translations.frequency
 
MasterAutomaton(Formula, Factories, Collection<Optimisation>) - Constructor for class owl.translations.frequency.MasterAutomaton
 
MasterAutomaton.MasterState - Class in owl.translations.frequency
 
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
 
metaInformation() - Method in interface owl.run.Environment
Returns whether meta information gathering is enabled.
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.
miscellaneousAnnotations() - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
 
miscellaneousAnnotations() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
mkFin(int) - Static method in class owl.automaton.acceptance.BooleanExpressions
 
mkFin(int) - Static method in class owl.translations.frequency.HoaConsumerExtended
 
mkInf(int) - Static method in class owl.automaton.acceptance.BooleanExpressions
 
mkInf(int) - Static method in class owl.translations.frequency.HoaConsumerExtended
 
MODAL - owl.ltl.rewriter.RewriterFactory.RewriterEnum
 
MODAL_ITERATIVE - owl.ltl.rewriter.RewriterFactory.RewriterEnum
 
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
 
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
 
MutableAutomatonBuilder<S,T,U extends OmegaAcceptance> - Interface in owl.automaton.ldba
 
MutableAutomatonFactory - Class in owl.automaton
 

N

name - Variable in exception owl.run.modules.OwlModuleRegistry.OwlModuleNotFoundException
 
name - Variable in enum owl.run.modules.OwlModuleRegistry.Type
 
NBA2DPAFunction<S> - Class in owl.translations.nba2dpa
 
NBA2DPAFunction() - Constructor for class owl.translations.nba2dpa.NBA2DPAFunction
 
NBA2LDBA<S> - Class in owl.translations.nba2ldba
 
NBA2LDBA(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
 
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
 
nextSetBit(long, int) - Static method in class owl.util.BitUtil
 
Node(L1, List<LabelledTree<L1, L2>>) - Constructor for class owl.collections.LabelledTree.Node
 
NON_DETERMINISTIC - owl.automaton.Automaton.Property
 
NON_DETERMINISTIC_INITIAL_COMPONENT - owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
 
NoneAcceptance - Class in owl.automaton.acceptance
 
NormalForms - Class in owl.ltl.rewriter
 
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
 
notifyEnd() - Method in class owl.automaton.output.HoaConsumerExtended
 
notifyEnd() - Method in class owl.translations.frequency.HoaConsumerExtended
 
notifyEndOfState() - Method in class owl.automaton.output.HoaConsumerExtended
 
notifyEndOfState() - Method in class owl.translations.frequency.HoaConsumerExtended
 
NULL - Static variable in class owl.run.modules.OutputWriters
 
NULL_CLI - Static variable in class owl.run.modules.OutputWriters
 
NullExecutionContext - Class in owl.run
 
NullExecutionContext() - Constructor for class owl.run.NullExecutionContext
 
numberOfInputs() - Method in class owl.ltl.tlsf.Tlsf
 
numerator - Variable in class owl.grammar.LTLParser.FractionContext
 

O

of() - Method in interface owl.factories.ValuationSetFactory
 
of() - Static method in class owl.translations.ldba2dpa.FlatRankingState
 
of(boolean) - Static method in class owl.ltl.BooleanConstant
 
of(boolean, boolean) - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
of(int, boolean) - Static method in class owl.ltl.Literal
 
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(Map.Entry<Edge<S>, ValuationSet>) - Static method in class owl.automaton.edge.LabelledEdge
 
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(Edge<S>, ValuationSet) - Static method in class owl.automaton.edge.LabelledEdge
 
of(LimitDeterministicAutomaton<S, T, BuchiAcceptance, A>, LanguageLattice<T, A, L>, Predicate<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(Formula) - Method in interface owl.factories.EquivalenceClassFactory
 
of(Formula) - Static method in class owl.ltl.FOperator
 
of(Formula) - Static method in class owl.ltl.GOperator
 
of(Formula) - Static method in class owl.ltl.XOperator
 
of(Formula...) - Static method in class owl.ltl.Conjunction
 
of(Formula...) - Static method in class owl.ltl.Disjunction
 
of(Formula, boolean) - Static method in class owl.jni.IntAutomaton
 
of(Formula, int) - Static method in class owl.ltl.XOperator
 
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, 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
 
of(Formula, Formula) - Static method in class owl.ltl.ROperator
 
of(Formula, Formula) - Static method in class owl.ltl.UOperator
 
of(Formula, Formula) - Static method in class owl.ltl.WOperator
 
of(S) - Static method in interface owl.automaton.edge.Edge
Creates an edge which belongs to no delegate set.
of(S, int) - Static method in interface owl.automaton.edge.Edge
Creates an edge which belongs to a single delegate set.
of(S, BitSet) - Static method in interface owl.automaton.edge.Edge
Creates an edge which belongs to the specified delegate sets.
of(S, ValuationSet) - Static method in class owl.automaton.edge.LabelledEdge
 
OmegaAcceptance - Class in owl.automaton.acceptance
 
OmegaAcceptance() - Constructor for class owl.automaton.acceptance.OmegaAcceptance
 
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
 
Optimisation - Enum in owl.translations.frequency
 
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<S2, A>) - Static method in class owl.translations.ldba2dpa.AbstractBuilder
 
or - Variable in class owl.grammar.LTLParser.ExpressionContext
 
or(EquivalenceClass) - Method in interface owl.ltl.EquivalenceClass
 
OR - Static variable in class owl.grammar.LTLLexer
 
OR - Static variable in class owl.grammar.LTLParser
 
OR() - Method in class owl.grammar.LTLParser.OrExpressionContext
 
OR(int) - Method in class owl.grammar.LTLParser.OrExpressionContext
 
orExpression() - Method in class owl.grammar.LTLParser.ExpressionContext
 
orExpression() - Method in class owl.grammar.LTLParser
 
OrExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.OrExpressionContext
 
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
 
OutputWriter.OutputWriterException - Exception in owl.run.modules
 
OutputWriterException(Throwable) - Constructor for exception owl.run.modules.OutputWriter.OutputWriterException
 
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
 
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.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.parser - package owl.ltl.parser
 
owl.ltl.rewriter - package owl.ltl.rewriter
 
owl.ltl.tlsf - package owl.ltl.tlsf
 
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.frequency - package owl.translations.frequency
 
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.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

parallel() - Method in interface owl.run.Environment
Whether computations should be parallel.
parallelUnion(Collection<? extends Collection<E>>) - Static method in class owl.collections.Collections3
 
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, 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[], 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 interface owl.run.modules.OwlModuleParser
 
parse(CommandLine) - Method in class owl.translations.frequency.RabinizerFrequencyMain
 
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.LTL2LDBACliParser
 
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
 
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.
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
 
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
 
printMeta(String) - Method in class owl.run.NullExecutionContext
 
printMeta(String) - Method in interface owl.run.PipelineExecutionContext
 
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
 
ProductControllerSynthesis - Class in owl.translations.frequency
 
ProductControllerSynthesis(MasterAutomaton, Map<UnaryModalOperator, FrequencySelfProductSlave>, Factories) - Constructor for class owl.translations.frequency.ProductControllerSynthesis
 
ProductControllerSynthesis.State - Class in owl.translations.frequency
 
PropositionalFormula - Class in owl.ltl
 
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.
PULLUP_X - owl.ltl.rewriter.RewriterFactory.RewriterEnum
 
PUSHDOWN_X - owl.ltl.rewriter.RewriterFactory.RewriterEnum
 

R

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() - Constructor for class owl.automaton.acceptance.RabinAcceptance
 
RabinAcceptance(int) - Constructor for class owl.automaton.acceptance.RabinAcceptance
 
RabinAcceptance2<S extends AutomatonState<?>> - Class in owl.translations.frequency
Deprecated.
RabinAcceptance2(List<RabinPair2<TranSet<S>, List<TranSet<S>>>>) - Constructor for class owl.translations.frequency.RabinAcceptance2
Deprecated.
 
RabinDegeneralization - Class in owl.automaton.transformations
 
RabinDegeneralization() - Constructor for class owl.automaton.transformations.RabinDegeneralization
 
RabinDegeneralization.DegeneralizedRabinState<S> - Class in owl.automaton.transformations
 
rabinize(Formula, Factories, RabinizerConfiguration, Environment) - Static method in class owl.translations.rabinizer.RabinizerBuilder
 
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
 
RabinizerFrequencyMain - Class in owl.translations.frequency
 
RabinizerMain - Class in owl.translations.rabinizer
 
RabinizerState - Class in owl.translations.rabinizer
 
RabinPair2<L,R> - Class in owl.translations.frequency
Deprecated.
RabinPair2(L, R) - Constructor for class owl.translations.frequency.RabinPair2
Deprecated.
 
ranking - Variable in class owl.translations.ldba2dpa.FlatRankingState
 
RankingComparator - Class in owl.translations.ltl2ldba
 
RankingComparator() - Constructor for class owl.translations.ltl2ldba.RankingComparator
 
RCPAREN - Static variable in class owl.grammar.LTLLexer
 
RCPAREN - Static variable in class owl.grammar.LTLParser
 
RCPAREN() - Method in class owl.grammar.LTLParser.FrequencyOpContext
 
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
 
RealizabilityRewriter - Class in owl.ltl.rewriter
 
RECOMMENDED_ASYMMETRIC_CONFIG - Static variable in class owl.translations.ltl2dpa.LTL2DPAFunction
 
RECOMMENDED_SYMMETRIC_CONFIG - Static variable in class owl.translations.ltl2dpa.LTL2DPAFunction
 
RecurringObligation - Interface in owl.translations.ltl2ldba
 
register(OwlModuleParser<?>) - Method in class owl.run.modules.OwlModuleRegistry
 
register(OwlModuleParser<?>...) - Method in class owl.run.modules.OwlModuleRegistry
 
RELEASE - Static variable in class owl.grammar.LTLLexer
 
RELEASE - Static variable in class owl.grammar.LTLParser
 
RELEASE() - Method in class owl.grammar.LTLParser.BinaryOpContext
 
relevantEntries() - Method in class owl.translations.frequency.BoundAndReward
 
relevantEntries() - Method in interface owl.translations.frequency.BoundAndRewardForPrism
 
remap(Automaton<S, A>, IntUnaryOperator) - Static method in class owl.automaton.Views
 
remapEdges(BiFunction<? super S, Edge<S>, Edge<S>>) - Method in interface owl.automaton.MutableAutomaton
Remaps each edge of the automaton according to updater.
remapEdges(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.
remapEdges(Set<? extends S>, BiFunction<? super S, Edge<S>, Edge<S>>) - Method in class owl.automaton.Views.ForwardingMutableAutomaton
 
remove(String) - Method in class owl.run.modules.OwlModuleRegistry
 
remove(Map<Edge<S>, ValuationSet>, Predicate<? super S>) - Static method in class owl.collections.ValuationSetMapUtil
 
remove(Map<Edge<S>, ValuationSet>, Edge<S>, ValuationSet) - Static method in class owl.collections.ValuationSetMapUtil
 
remove(Map<Edge<S>, ValuationSet>, ValuationSet) - Static method in class owl.collections.ValuationSetMapUtil
 
remove(Map<Edge<S>, ValuationSet>, S, ValuationSet) - Static method in class owl.collections.ValuationSetMapUtil
 
REMOVE_EPSILON_TRANSITIONS - owl.automaton.ldba.LimitDeterministicAutomatonBuilder.Configuration
 
removeAll(TranSet<S>) - Method in class owl.translations.frequency.TranSet
Deprecated.
 
removeAll(S, ValuationSet) - Method in class owl.translations.frequency.TranSet
Deprecated.
 
removeAndRemapIndices(MutableAutomaton<S, ?>, IntSet) - Static method in class owl.automaton.minimizations.MinimizationUtil
 
removeDeadStates(MutableAutomaton<S, ?>) - Static method in class owl.automaton.minimizations.MinimizationUtil
 
removeDeadStates(MutableAutomaton<S, ?>, Predicate<? super S>, Consumer<? super S>) - Static method in class owl.automaton.minimizations.MinimizationUtil
 
removeDeadStates(MutableAutomaton<S, ?>, Set<S>, Predicate<? super S>, Consumer<? super S>) - Static method in class owl.automaton.minimizations.MinimizationUtil
Remove states from the automaton which are unreachable from the set of initial states or 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, BitSet, S) - Method in class owl.automaton.Views.ForwardingMutableAutomaton
 
removeEdge(S, ValuationSet, S) - Method in interface owl.automaton.MutableAutomaton
Removes all transition from source under valuations to destination.
removeEdge(S, ValuationSet, S) - Method in class owl.automaton.Views.ForwardingMutableAutomaton
 
removeEdges(S, S) - Method in interface owl.automaton.MutableAutomaton
Removes all transitions between source and destination.
removeEdges(S, S) - Method in class owl.automaton.Views.ForwardingMutableAutomaton
 
removeFormulaRepresentative() - Method in class owl.translations.rabinizer.RabinizerConfiguration
 
removeIndices(IntPredicate) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
removeIndices(Set<Integer>) - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
 
removeIndices(Set<Integer>) - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
removeState(S) - Method in interface owl.automaton.MutableAutomaton
Removes a state and all transitions involving it from the automaton.
removeStates(Collection<? extends S>) - Method in interface owl.automaton.MutableAutomaton
Removes the specified states and all transitions involving them from the automaton.
removeStates(Predicate<? super S>) - Method in interface owl.automaton.MutableAutomaton
Removes the specified states and all transitions involving them from the automaton.
removeStates(Predicate<? super S>) - Method in class owl.automaton.Views.ForwardingMutableAutomaton
 
removeTransientAcceptance(MutableAutomaton<S, ?>) - Static method in class owl.automaton.minimizations.GenericMinimizations
 
removeUnreachableStates() - Method in interface owl.automaton.MutableAutomaton
Removes all states which are not reachable from the initial states and returns all removed states.
removeUnreachableStates(Collection<? extends S>) - Method in interface owl.automaton.MutableAutomaton
Removes all states which are not reachable from the specified start set and returns all removed states.
removeUnreachableStates(Collection<? extends S>, Consumer<? super S>) - Method in interface owl.automaton.MutableAutomaton
Removes all states which are not reachable from the specified start set, passing each removed state to removedStatesConsumer, used for e.g.
removeUnreachableStates(Collection<? extends S>, Consumer<? super S>) - Method in class owl.automaton.Views.ForwardingMutableAutomaton
 
replaceInitialState(Automaton<S, A>, Set<S>) - Static method in class owl.automaton.Views
 
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
 
RewriterFactory - Class in owl.ltl.rewriter
 
RewriterFactory.RewriterEnum - Enum in owl.ltl.rewriter
 
RewriterTransformer - Class in owl.ltl.rewriter
 
RewriterTransformer(List<RewriterFactory.RewriterEnum>) - Constructor for class owl.ltl.rewriter.RewriterTransformer
 
RewriterTransformer(RewriterFactory.RewriterEnum...) - Constructor for class owl.ltl.rewriter.RewriterTransformer
 
right - Variable in class owl.game.output.Aig
 
right - Variable in class owl.grammar.LTLParser.BinaryOperationContext
 
right - Variable in class owl.ltl.BinaryModalOperator
 
right - Variable in class owl.translations.frequency.RabinPair2
Deprecated.
 
rightIsNegated - Variable in class owl.game.output.Aig
 
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
 
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, Reader, Writer, int) - Static method in class owl.run.PipelineRunner
 
run(Pipeline, Environment, Callable<Reader>, Callable<Writer>, int) - Static method in class owl.run.PipelineRunner
 
RunUtil - Class in owl.run
 

S

safetyComponents - Variable in class owl.translations.ldba2dpa.AbstractBuilder
 
safetyProgress - Variable in class owl.translations.ldba2dpa.FlatRankingState
 
SccAnalyser<S> - Class in owl.translations.frequency
 
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
 
secondaryAutomata - Variable in class owl.translations.frequency.ProductControllerSynthesis
 
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
 
ServerCli - Class in owl.run
 
ServerRunner - Class in owl.run
 
ServerRunner(Pipeline, Supplier<Environment>, InetAddress, int) - Constructor for class owl.run.ServerRunner
 
setAcceptance(GeneralizedRabinAcceptance2<ProductControllerSynthesis.State>) - Method in class owl.translations.frequency.ProductControllerSynthesis
This method is important, because currently the acceptance is computed after the product is constructed.
setAcceptanceSets(int) - Method in class owl.automaton.acceptance.ParityAcceptance
 
setEven(boolean) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
setInitialState(S) - Method in interface owl.automaton.MutableAutomaton
Set the initial state of the automaton.
setInitialState(S) - Method in class owl.translations.frequency.Automaton
Sets the unique initial state set.
setInitialStates(Collection<? extends S>) - Method in interface owl.automaton.MutableAutomaton
Sets the set of initial states of the automaton.
setInitialStates(Collection<? extends S>) - Method in class owl.automaton.Views.ForwardingMutableAutomaton
 
setMax(boolean) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
setName(String) - Method in interface owl.automaton.MutableAutomaton
Sets the name of the automaton (optional operation).
setParity(ParityAcceptance.Parity) - Method in class owl.automaton.acceptance.ParityAcceptance
 
settings - Variable in exception owl.run.parser.PipelineParser.ModuleParseException
 
shiftLiterals(Formula) - Static method in class owl.ltl.rewriter.ShiftRewriter
 
ShiftRewriter - Class in owl.ltl.rewriter
 
ShiftRewriter.ShiftedFormula - Class in owl.ltl.rewriter
 
shutdown() - Method in interface owl.run.Environment
 
simple() - Static method in class owl.translations.ltl2ldba.LTL2LDBACliParser
 
SIMPLE_TRANSITION_LABELS - owl.automaton.output.HoaPrintable.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
 
SimpleTranslations - Class in owl.translations
 
SIMPLIFY_MODAL_ITER - Static variable in class owl.run.modules.Transformers
 
singleton(S, ValuationSetFactory, A) - Static method in class owl.automaton.AutomatonFactory
 
singleton(S, ValuationSetFactory, A) - Static method in class owl.automaton.MutableAutomatonFactory
 
singleton(S, ValuationSetFactory, A, IntSet) - Static method in class owl.automaton.MutableAutomatonFactory
 
singleton(S, ValuationSetFactory, A, Set<Integer>) - Static method in class owl.automaton.AutomatonFactory
 
size - Variable in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
size() - Method in interface owl.automaton.Automaton
Returns the number of states of this automaton (its cardinality).
size() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
 
size() - Method in interface owl.collections.ValuationSet
 
size() - Method in class owl.translations.frequency.Automaton
 
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(BitSet, Formula, Map<Integer, Boolean>) - Static method in class owl.ltl.rewriter.RealizabilityRewriter
 
split(Automaton<S, A>, List<String>) - Static method in class owl.game.GameViews
 
split(Formula, boolean, int) - Static method in class owl.jni.Splitter
 
split(Formula, boolean, Splitter.SafetySplitting) - Static method in class owl.jni.Splitter
 
split(Formula, int, Map<Integer, Boolean>) - Static method in class owl.ltl.rewriter.RealizabilityRewriter
 
split(Formula, BitSet) - Static method in class owl.ltl.rewriter.RealizabilityRewriter
 
splitAccordingToAcceptanceSet(AutomatonState<?>, Set<ValuationSet>, TranSet<S>) - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
splitEquivalenceClass(EquivalenceClass) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
 
Splitter - Class in owl.jni
 
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 - Variable in class owl.game.GameViews.Node
 
state - Variable in class owl.translations.ldba2dpa.AnnotatedState
 
State<T> - Class in owl.translations.delag
 
State() - Constructor for class owl.translations.frequency.FrequencySelfProductSlave.State
 
StreamingAutomaton<S,A extends OmegaAcceptance> - Class in owl.automaton
 
STRING_CLI - Static variable in class owl.run.modules.OutputWriters
 
StringUtil - Class in owl.util
 
substitute(Function<? super Formula, ? extends Formula>) - Method in interface owl.ltl.EquivalenceClass
 
SubstitutionVisitor - Class in owl.ltl.visitors
 
SubstitutionVisitor(Function<? super Formula, ? extends Formula>) - Constructor for class owl.ltl.visitors.SubstitutionVisitor
 
successors(int) - Method in class owl.jni.IntAutomaton
 
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
 
sync() - Static method in class owl.factories.jbdd.JBddSupplier
 
syntax(String) - Static method in class owl.ltl.parser.LtlParser
 
syntax(String, List<String>) - Static method in class owl.ltl.parser.LtlParser
 
Synthesis - Class in owl.translations
 
syserr - Static variable in class owl.util.UncloseableWriter
 
sysout - Static variable in class owl.util.UncloseableWriter
 

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.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 interface 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
 
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 interface 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
 
TERMINAL - owl.automaton.Automaton.Property
 
testSupport(Predicate<Formula>) - Method in interface owl.ltl.EquivalenceClass
 
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
 
toAssertGuaranteeConjuncts() - Method in class owl.ltl.tlsf.Tlsf
 
toBitSet(PrimitiveIterator.OfInt) - Static method in class owl.collections.Collections3
 
toCnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
 
toDnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
 
toExpression() - Method in interface owl.collections.ValuationSet
 
toFormula() - Method in class owl.ltl.tlsf.Tlsf
 
toHoa(HOAConsumer) - Method in interface owl.automaton.output.HoaPrintable
 
toHoa(HOAConsumer, EnumSet<HoaPrintable.HoaOption>) - Method in interface owl.automaton.Automaton
 
toHoa(HOAConsumer, EnumSet<HoaPrintable.HoaOption>) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
 
toHoa(HOAConsumer, EnumSet<HoaPrintable.HoaOption>) - Method in interface owl.automaton.output.HoaPrintable
 
toHoa(HOAConsumer, EnumSet<HoaPrintable.HoaOption>) - Method in class owl.automaton.StreamingAutomaton
 
toHoa(HOAConsumer, EnumSet<HoaPrintable.HoaOption>) - Method in class owl.translations.frequency.Automaton
 
toHoa(HOAConsumer, EnumSet<HoaPrintable.HoaOption>) - Method in class owl.translations.frequency.ProductControllerSynthesis
 
toHoa(HoaPrintable) - Static method in class owl.automaton.AutomatonUtil
 
ToHoa(EnumSet<OutputWriters.ToHoa.Setting>, List<StoredAutomatonManipulator>) - Constructor for class owl.run.modules.OutputWriters.ToHoa
 
toHoaBody(HoaConsumerExtended) - Method in class owl.translations.frequency.Automaton
 
toHoaBodyEdge(FrequencySelfProductSlave.State, HoaConsumerExtended) - Method in class owl.translations.frequency.FrequencySelfProductSlave
 
toHoaBodyEdge(MasterAutomaton.MasterState, HoaConsumerExtended) - Method in class owl.translations.frequency.MasterAutomaton
 
toHoaBodyEdge(ProductControllerSynthesis.State, HoaConsumerExtended) - Method in class owl.translations.frequency.ProductControllerSynthesis
 
toHoaBodyEdge(S, HoaConsumerExtended) - Method in class owl.translations.frequency.Automaton
Override this method, if you want output additional edges for state not present in Automaton.transitions.
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.
toPgSolver(Game<S, ParityAcceptance>, PrintWriter, boolean) - Static method in class owl.game.GameUtil
 
TopMostOperatorVisitor - Class in owl.translations.frequency
 
TopMostOperatorVisitor() - Constructor for class owl.translations.frequency.TopMostOperatorVisitor
 
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.ldba.CutDeterministicAutomaton
 
toString() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
 
toString() - Method in class owl.automaton.transformations.RabinDegeneralization.DegeneralizedRabinState
 
toString() - Method in class owl.game.GameViews.Node
 
toString() - Method in class owl.ltl.BinaryModalOperator
 
toString() - Method in class owl.ltl.BooleanConstant
 
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.UnaryModalOperator
 
toString() - Method in class owl.translations.delag.State
 
toString() - Method in class owl.translations.dra2dpa.IARState
 
toString() - Method in class owl.translations.frequency.Automaton
 
toString() - Method in class owl.translations.frequency.EquivalenceClassState
 
toString() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
toString() - Method in class owl.translations.frequency.ProductControllerSynthesis.State
 
toString() - Method in class owl.translations.frequency.RabinPair2
Deprecated.
 
toString() - Method in class owl.translations.frequency.TranSet
Deprecated.
 
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(EnumSet<HoaPrintable.HoaOption>) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
 
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
 
TranSet<S> - Class in owl.translations.frequency
Deprecated.
TranSet(ValuationSetFactory) - Constructor for class owl.translations.frequency.TranSet
Deprecated.
 
transform(Object, PipelineExecutionContext) - Method in class owl.automaton.minimizations.ExplicitMinimizeTransformer
 
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.RewriterTransformer
 
transform(Object, PipelineExecutionContext) - Method in interface owl.run.modules.Transformer.Instance
Applies the transformation represented by this transformer to the given object.
transform(Collection<F>, Function<F, T>) - Static method in class owl.collections.Collections3
 
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
 
transformToFOperator(Formula) - Static method in class owl.ltl.visitors.Collector
 
transformToGOperator(Formula) - Static method in class owl.ltl.visitors.Collector
 
transitions - Variable in class owl.translations.frequency.Automaton
 
TriConsumer<T,U,V> - Interface in owl.util
 
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() - Method in class owl.grammar.LTLParser.BoolContext
 
type - Variable in exception owl.run.modules.OwlModuleRegistry.OwlModuleNotFoundException
 
typeClass - Variable in enum owl.run.modules.OwlModuleRegistry.Type
 

U

UNABBREVIATE_RW - Static variable in class owl.run.modules.Transformers
 
UnabbreviateVisitor - Class in owl.ltl.visitors
 
UnabbreviateVisitor(Class<? extends Formula>...) - Constructor for class owl.ltl.visitors.UnabbreviateVisitor
 
UnabbreviateVisitor(List<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
 
UncloseableWriter - Class in owl.util
A wrapper for writers which only forwards a Writer.flush() upon UncloseableWriter.close().
unfold() - Method in class owl.ltl.BooleanConstant
 
unfold() - Method in class owl.ltl.Conjunction
 
unfold() - Method in class owl.ltl.Disjunction
 
unfold() - Method in interface 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
 
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 interface 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
 
union(Iterable<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
 
union(Collection<? extends Collection<E>>) - Static method in class owl.collections.Collections3
 
union(Iterator<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
 
union(List<Automaton<S, BuchiAcceptance>>) - Static method in class owl.automaton.AutomatonOperations
 
union(Stream<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
 
union(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
union(ValuationSet...) - Method in interface owl.factories.ValuationSetFactory
 
union(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
union(TranSet<S>) - Method in class owl.translations.frequency.TranSet
Deprecated.
 
universe() - Method in interface owl.factories.ValuationSetFactory
 
unmodifiableCopyOfAcceptanceCondition() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
Deprecated.
 
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
 
update(Map<K, ValuationSet>, Function<K, K>) - Static method in class owl.collections.ValuationSetMapUtil
 

V

valuations - Variable in class owl.automaton.edge.LabelledEdge
 
ValuationSet - Interface in owl.collections
 
ValuationSetFactory - Interface in owl.factories
 
ValuationSetMapUtil - Class in owl.collections
 
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.HoaPrintable.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.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.RewriterFactory.RewriterEnum
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.frequency.Optimisation
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.HoaPrintable.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.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.RewriterFactory.RewriterEnum
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.frequency.Optimisation
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.game.output.Aig
 
variable - Variable in class owl.grammar.LTLParser.VariableContext
 
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 - Variable in class owl.ltl.LabelledFormula
 
variables - Variable in class owl.translations.frequency.Automaton
 
variables() - Method in class owl.ltl.tlsf.Tlsf
 
viewAs(Automaton<S, ?>, Class<A>) - Static method in class owl.automaton.Views
 
Views - Class in owl.automaton
 
Views.ForwardingAutomaton<S,A extends OmegaAcceptance,B extends OmegaAcceptance,T extends Automaton<S,B>> - Class in owl.automaton
 
Views.ForwardingMutableAutomaton<S,A extends OmegaAcceptance,B extends OmegaAcceptance> - Class in owl.automaton
 
viewSuccessors(Map<Edge<S>, ValuationSet>) - Static method in class owl.collections.ValuationSetMapUtil
 
visit(BooleanConstant) - Method in class owl.factories.PropositionVisitor
 
visit(BooleanConstant) - Method in class owl.ltl.visitors.DefaultConverter
 
visit(BooleanConstant) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
visit(BooleanConstant) - Method in class owl.ltl.visitors.DefaultVisitor
 
visit(BooleanConstant) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(BooleanConstant) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(BooleanConstant) - Method in interface owl.ltl.visitors.Visitor
 
visit(BooleanConstant) - Method in class owl.ltl.visitors.XDepthVisitor
 
visit(BooleanConstant) - Method in class owl.translations.frequency.TopMostOperatorVisitor
 
visit(BooleanConstant, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(BooleanConstant, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
 
visit(Conjunction) - Method in class owl.factories.PropositionVisitor
 
visit(Conjunction) - Method in class owl.ltl.visitors.DefaultConverter
 
visit(Conjunction) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
visit(Conjunction) - Method in class owl.ltl.visitors.DefaultVisitor
 
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) - Method in class owl.translations.frequency.TopMostOperatorVisitor
 
visit(Conjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(Conjunction, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
 
visit(Disjunction) - Method in class owl.factories.PropositionVisitor
 
visit(Disjunction) - Method in class owl.ltl.visitors.DefaultConverter
 
visit(Disjunction) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
visit(Disjunction) - Method in class owl.ltl.visitors.DefaultVisitor
 
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) - Method in class owl.translations.frequency.TopMostOperatorVisitor
 
visit(Disjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(Disjunction, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
 
visit(FOperator) - Method in class owl.factories.PropositionVisitor
 
visit(FOperator) - Method in class owl.ltl.visitors.DefaultConverter
 
visit(FOperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
visit(FOperator) - Method in class owl.ltl.visitors.DefaultVisitor
 
visit(FOperator) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(FOperator) - Method in class owl.ltl.visitors.PrintVisitor
 
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.frequency.TopMostOperatorVisitor
 
visit(FOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(FOperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
 
visit(FrequencyG) - Method in class owl.factories.PropositionVisitor
 
visit(FrequencyG) - Method in class owl.ltl.visitors.DefaultConverter
 
visit(FrequencyG) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
visit(FrequencyG) - Method in class owl.ltl.visitors.DefaultVisitor
 
visit(FrequencyG) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(FrequencyG) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(FrequencyG) - Method in interface owl.ltl.visitors.Visitor
 
visit(FrequencyG) - Method in class owl.translations.frequency.TopMostOperatorVisitor
 
visit(GOperator) - Method in class owl.factories.PropositionVisitor
 
visit(GOperator) - Method in class owl.ltl.visitors.DefaultConverter
 
visit(GOperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
visit(GOperator) - Method in class owl.ltl.visitors.DefaultVisitor
 
visit(GOperator) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(GOperator) - Method in class owl.ltl.visitors.PrintVisitor
 
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.frequency.TopMostOperatorVisitor
 
visit(GOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(GOperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
 
visit(Literal) - Method in class owl.factories.PropositionVisitor
 
visit(Literal) - Method in class owl.ltl.visitors.DefaultConverter
 
visit(Literal) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
visit(Literal) - Method in class owl.ltl.visitors.DefaultVisitor
 
visit(Literal) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(Literal) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(Literal) - Method in interface owl.ltl.visitors.Visitor
 
visit(Literal) - Method in class owl.ltl.visitors.XDepthVisitor
 
visit(Literal) - Method in class owl.translations.frequency.TopMostOperatorVisitor
 
visit(Literal, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(Literal, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
 
visit(MOperator) - Method in class owl.factories.PropositionVisitor
 
visit(MOperator) - Method in class owl.ltl.visitors.DefaultConverter
 
visit(MOperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
visit(MOperator) - Method in class owl.ltl.visitors.DefaultVisitor
 
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.UnabbreviateVisitor
 
visit(MOperator) - Method in interface owl.ltl.visitors.Visitor
 
visit(MOperator) - Method in class owl.translations.frequency.TopMostOperatorVisitor
 
visit(MOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(MOperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
 
visit(ROperator) - Method in class owl.factories.PropositionVisitor
 
visit(ROperator) - Method in class owl.ltl.visitors.DefaultConverter
 
visit(ROperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
visit(ROperator) - Method in class owl.ltl.visitors.DefaultVisitor
 
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.UnabbreviateVisitor
 
visit(ROperator) - Method in interface owl.ltl.visitors.Visitor
 
visit(ROperator) - Method in class owl.translations.frequency.TopMostOperatorVisitor
 
visit(ROperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(ROperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
 
visit(UOperator) - Method in class owl.factories.PropositionVisitor
 
visit(UOperator) - Method in class owl.ltl.visitors.DefaultConverter
 
visit(UOperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
visit(UOperator) - Method in class owl.ltl.visitors.DefaultVisitor
 
visit(UOperator) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(UOperator) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(UOperator) - Method in interface owl.ltl.visitors.Visitor
 
visit(UOperator) - Method in class owl.translations.frequency.TopMostOperatorVisitor
 
visit(UOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(UOperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
 
visit(WOperator) - Method in class owl.factories.PropositionVisitor
 
visit(WOperator) - Method in class owl.ltl.visitors.DefaultConverter
 
visit(WOperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
visit(WOperator) - Method in class owl.ltl.visitors.DefaultVisitor
 
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.UnabbreviateVisitor
 
visit(WOperator) - Method in interface owl.ltl.visitors.Visitor
 
visit(WOperator) - Method in class owl.translations.frequency.TopMostOperatorVisitor
 
visit(WOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(WOperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
 
visit(XOperator) - Method in class owl.factories.PropositionVisitor
 
visit(XOperator) - Method in class owl.ltl.visitors.DefaultConverter
 
visit(XOperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
 
visit(XOperator) - Method in class owl.ltl.visitors.DefaultVisitor
 
visit(XOperator) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(XOperator) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(XOperator) - Method in interface owl.ltl.visitors.Visitor
 
visit(XOperator) - Method in class owl.ltl.visitors.XDepthVisitor
 
visit(XOperator) - Method in class owl.translations.frequency.TopMostOperatorVisitor
 
visit(XOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(XOperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
 
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().
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().
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().
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
 
vsFactory - Variable in class owl.translations.frequency.Automaton
 

W

WEAK - owl.automaton.Automaton.Property
 
withAcceptance(BitSet) - Method in interface owl.automaton.edge.Edge
 
withAcceptance(IntUnaryOperator) - Method in interface owl.automaton.edge.Edge
 
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(BitSet) - Method in class owl.ltl.LabelledFormula
 
wrap(Formula) - Method in class owl.ltl.LabelledFormula
 
write(char[], int, int) - Method in class owl.util.UncloseableWriter
 
write(int) - Method in class owl.util.UncloseableWriter
 
write(Object) - Method in interface owl.run.modules.OutputWriter.Binding
 
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(List<E1>, List<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 _ 
Skip navigation links