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

A

AbstractCachedStatesAutomaton<S,​A extends OmegaAcceptance> - Class in owl.automaton
 
AbstractCachedStatesAutomaton() - Constructor for class owl.automaton.AbstractCachedStatesAutomaton
 
AbstractImplicitAutomaton<S,​A extends OmegaAcceptance> - Class in owl.automaton
 
AbstractImplicitAutomaton(ValuationSetFactory, Collection<S>, A) - Constructor for class owl.automaton.AbstractImplicitAutomaton
 
accept(int, int) - Method in interface owl.util.IntBiConsumer
 
accept(Object) - Method in interface owl.run.modules.InputReaders.CheckedCallback
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.AndExpressionContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BinaryOpContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BinaryOperationContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BoolContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.BooleanContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.ComparisonContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.ExpressionContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.FormulaContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.FractionContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.FrequencyOpContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.NestedContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.OrExpressionContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.ProbabilityContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.UnaryAtomContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.UnaryOpContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.UnaryOperationContext
 
accept(ParseTreeVisitor<? extends T>) - Method in class owl.grammar.LTLParser.VariableContext
 
accept(Automaton.EdgeMapVisitor<S>) - Method in class owl.automaton.AbstractCachedStatesAutomaton
 
accept(Automaton.EdgeMapVisitor<S>) - Method in interface owl.automaton.Automaton
 
accept(Automaton.EdgeTreeVisitor<S>) - Method in class owl.automaton.AbstractCachedStatesAutomaton
 
accept(Automaton.EdgeTreeVisitor<S>) - Method in interface owl.automaton.Automaton
 
accept(Automaton.EdgeVisitor<S>) - Method in class owl.automaton.AbstractCachedStatesAutomaton
 
accept(Automaton.EdgeVisitor<S>) - Method in interface owl.automaton.Automaton
 
accept(Automaton.Visitor<S>) - Method in interface owl.automaton.Automaton
Traverse all edges of the automaton using the preferred visitor style.
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.BooleanConstant
 
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.Conjunction
 
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.Disjunction
 
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.FOperator
 
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.FrequencyG
 
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.GOperator
 
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.Literal
 
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.MOperator
 
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.ROperator
 
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.UOperator
 
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.WOperator
 
accept(BinaryVisitor<B, A>, B) - Method in class owl.ltl.XOperator
 
accept(BinaryVisitor<P, R>, P) - Method in class owl.ltl.Biconditional
 
accept(BinaryVisitor<P, R>, P) - Method in class owl.ltl.Formula
 
accept(IntVisitor) - Method in class owl.ltl.Biconditional
 
accept(IntVisitor) - Method in class owl.ltl.BooleanConstant
 
accept(IntVisitor) - Method in class owl.ltl.Conjunction
 
accept(IntVisitor) - Method in class owl.ltl.Disjunction
 
accept(IntVisitor) - Method in class owl.ltl.FOperator
 
accept(IntVisitor) - Method in class owl.ltl.Formula
 
accept(IntVisitor) - Method in class owl.ltl.GOperator
 
accept(IntVisitor) - Method in class owl.ltl.Literal
 
accept(IntVisitor) - Method in class owl.ltl.MOperator
 
accept(IntVisitor) - Method in class owl.ltl.ROperator
 
accept(IntVisitor) - Method in class owl.ltl.UOperator
 
accept(IntVisitor) - Method in class owl.ltl.WOperator
 
accept(IntVisitor) - Method in class owl.ltl.XOperator
 
accept(Visitor<R>) - Method in class owl.ltl.Biconditional
 
accept(Visitor<R>) - Method in class owl.ltl.BooleanConstant
 
accept(Visitor<R>) - Method in class owl.ltl.Conjunction
 
accept(Visitor<R>) - Method in class owl.ltl.Disjunction
 
accept(Visitor<R>) - Method in class owl.ltl.FOperator
 
accept(Visitor<R>) - Method in class 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.Literal
 
accept(Visitor<R>) - Method in class owl.ltl.MOperator
 
accept(Visitor<R>) - Method in class owl.ltl.ROperator
 
accept(Visitor<R>) - Method in class owl.ltl.UOperator
 
accept(Visitor<R>) - Method in class owl.ltl.WOperator
 
accept(Visitor<R>) - Method in class owl.ltl.XOperator
 
acceptance - Variable in class owl.automaton.AbstractImplicitAutomaton
 
acceptance() - Method in class owl.automaton.AbstractImplicitAutomaton
 
acceptance() - Method in interface owl.automaton.Automaton
Returns the acceptance condition of this automaton.
acceptance() - Method in class owl.cinterface.DeterministicAutomaton
 
acceptance() - Method in class owl.translations.canonical.DeterministicConstructions.CoSafety
 
acceptance() - Method in class owl.translations.canonical.DeterministicConstructions.FgSafety
 
acceptance() - Method in class owl.translations.canonical.DeterministicConstructions.GCoSafety
 
acceptance() - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
 
acceptance() - Method in class owl.translations.canonical.DeterministicConstructions.Safety
 
acceptance() - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
 
acceptance() - Method in class owl.translations.canonical.LegacyFactory
Deprecated.
 
acceptance() - Method in class owl.translations.canonical.NonDeterministicConstructions.CoSafety
 
acceptance() - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
 
acceptance() - Method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
 
acceptance() - Method in class owl.translations.canonical.NonDeterministicConstructions.Safety
 
acceptance() - Method in class owl.translations.canonical.NonDeterministicConstructions.Tracking
 
acceptance() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
 
acceptance(A) - Method in interface owl.automaton.MutableAutomaton
 
AcceptanceOptimizations - Class in owl.automaton.acceptance.optimizations
 
AcceptanceOptimizations.AcceptanceOptimizationTransformer - Class in owl.automaton.acceptance.optimizations
 
AcceptanceOptimizationTransformer() - Constructor for class owl.automaton.acceptance.optimizations.AcceptanceOptimizations.AcceptanceOptimizationTransformer
 
acceptanceSetCount() - Method in class owl.cinterface.DeterministicAutomaton
 
acceptanceSetIterator() - Method in class owl.automaton.edge.Edge
An iterator containing all acceptance sets this edge is a member of in ascending order.
acceptanceSets() - Method in class owl.automaton.acceptance.AllAcceptance
 
acceptanceSets() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
 
acceptanceSets() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
 
acceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
acceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
acceptanceSets() - Method in class owl.automaton.acceptance.NoneAcceptance
 
acceptanceSets() - Method in class owl.automaton.acceptance.OmegaAcceptance
 
acceptanceSets() - Method in class owl.automaton.acceptance.ParityAcceptance
 
ACCEPTING - Static variable in class owl.cinterface.DeterministicAutomaton
 
acceptingComponent() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
 
acceptingSet() - Method in class owl.automaton.acceptance.AllAcceptance
 
acceptingSet() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
 
acceptingSet() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
 
acceptingSet() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
acceptingSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
acceptingSet() - Method in class owl.automaton.acceptance.NoneAcceptance
 
acceptingSet() - Method in class owl.automaton.acceptance.OmegaAcceptance
 
acceptingSet() - Method in class owl.automaton.acceptance.ParityAcceptance
 
ACCESS_MODES - Static variable in interface owl.automaton.EdgeMapAutomatonMixin
 
ACCESS_MODES - Static variable in interface owl.automaton.EdgesAutomatonMixin
 
ACCESS_MODES - Static variable in interface owl.automaton.EdgeTreeAutomatonMixin
 
active(R, IntPreOrder) - Static method in class owl.translations.dra2dpa.IARState
 
add() - Method in class owl.automaton.acceptance.RabinAcceptance.Builder
 
add(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
 
add(List<E>, E) - Static method in class owl.collections.Collections3
 
add(Map<K, V>, K, V) - Static method in class owl.collections.Collections3
 
add(Set<E>, E) - Static method in class owl.collections.Collections3
 
addComment(String) - Method in interface owl.game.output.AigConsumer
 
addComment(String) - Method in class owl.game.output.AigerPrinter
 
addEdge(S, BitSet, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton
Adds a transition from the source state under valuation.
addEdge(S, ValuationSet, Edge<? extends S>) - Method in interface owl.automaton.MutableAutomaton
Adds transitions from the source state under valuations.
addInitialState(S) - Method in interface owl.automaton.MutableAutomaton
Add an initial state to the automaton.
addInput(String) - Method in interface owl.game.output.AigConsumer
 
addInput(String) - Method in class owl.game.output.AigerPrinter
 
addLatch(String, LabelledAig) - Method in interface owl.game.output.AigConsumer
 
addLatch(String, LabelledAig) - Method in class owl.game.output.AigerPrinter
 
addOutput(String, LabelledAig) - Method in interface owl.game.output.AigConsumer
 
addOutput(String, LabelledAig) - Method in class owl.game.output.AigerPrinter
 
addState(S) - Method in interface owl.automaton.MutableAutomaton
Adds a state without outgoing edges to the set of states.
addTransformer(OwlModuleParser.TransformerParser...) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
 
addTransformer(Transformer...) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
 
aig() - Method in class owl.game.output.LabelledAig
 
Aig - Class in owl.game.output
 
Aig() - Constructor for class owl.game.output.Aig
 
AigConsumer - Interface in owl.game.output
 
AigerPrinter - Class in owl.game.output
 
AigerPrinter(boolean) - Constructor for class owl.game.output.AigerPrinter
 
AigFactory - Class in owl.game.output
 
AigFactory() - Constructor for class owl.game.output.AigFactory
 
AigPrintable - Interface in owl.game.output
 
all() - Method in class owl.ltl.robust.Split
 
ALL - owl.ltl.SyntacticFragment
 
AllAcceptance - Class in owl.automaton.acceptance
 
allFixpointsPresent(Collection<? extends Formula.ModalOperator>) - Method in class owl.translations.mastertheorem.Fixpoints
 
allMatch(Predicate<Formula>) - Method in class owl.ltl.Formula
 
almostAlways - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
Corresponds to safetyAutomaton.
alphabet() - Method in interface owl.factories.ValuationSetFactory
 
alphabetMapping - Variable in class owl.cinterface.DecomposedDPA.Reference
 
alphabetMapping() - Method in class owl.cinterface.DecomposedDPA.Reference
 
alphabetSize() - Method in interface owl.factories.ValuationSetFactory
 
always() - Method in class owl.ltl.robust.LabelledSplit
 
always() - Method in class owl.ltl.robust.Split
 
ALWAYS - owl.ltl.robust.Robustness
 
and(EquivalenceClass) - Method in class owl.ltl.EquivalenceClass
AND - Static variable in class owl.grammar.LTLLexer
 
AND - Static variable in class owl.grammar.LTLParser
 
AND() - Method in class owl.grammar.LTLParser.AndExpressionContext
 
AND(int) - Method in class owl.grammar.LTLParser.AndExpressionContext
 
andExpression() - Method in class owl.grammar.LTLParser
 
andExpression() - Method in class owl.grammar.LTLParser.OrExpressionContext
 
andExpression(int) - Method in class owl.grammar.LTLParser.OrExpressionContext
 
AndExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.AndExpressionContext
 
AnnotatedLDBA<S,​T extends LtlLanguageExpressible,​B extends GeneralizedBuchiAcceptance,​X,​Y> - Class in owl.translations.ltl2ldba
 
AnnotatedState<S> - Interface in owl.automaton.util
 
AnnotatedStateOptimisation - Class in owl.automaton.util
 
annotation() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
 
annotations() - Method in interface owl.run.Environment
Whether additional information (like semantic state labels) should be included.
ANNOTATIONS - owl.automaton.output.HoaPrinter.HoaOption
Print annotations, e.g.
any() - Method in class owl.collections.ValuationSet
 
any(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
anyMatch(Predicate<Formula>) - Method in class owl.ltl.Formula
 
apply(Automaton<?, ?>) - Method in class owl.translations.nba2dpa.NBA2DPA
 
apply(Automaton<?, ?>) - Method in class owl.translations.nba2ldba.NBA2LDBA
 
apply(Automaton<S, ParityAcceptance>, Integer) - Method in class owl.translations.dpa2safety.DPA2Safety
 
apply(Formula) - Method in class owl.ltl.visitors.Converter
 
apply(Formula) - Method in interface owl.ltl.visitors.Visitor
 
apply(Formula) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
 
apply(Formula) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
 
apply(Formula, SimplifierFactory.Mode) - Static method in class owl.ltl.rewriter.SimplifierFactory
 
apply(Formula, SimplifierFactory.Mode...) - Static method in class owl.ltl.rewriter.SimplifierFactory
 
apply(Formula, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
apply(LabelledFormula) - Method in class owl.translations.delag.DelagBuilder
 
apply(LabelledFormula) - Method in class owl.translations.ExternalTranslator
 
apply(LabelledFormula) - Method in class owl.translations.LTL2DAFunction
 
apply(LabelledFormula) - Method in class owl.translations.ltl2dpa.LTL2DPAFunction
 
apply(LabelledFormula) - Method in class owl.translations.ltl2dra.SymmetricDRAConstruction
 
apply(LabelledFormula) - Method in class owl.translations.ltl2ldba.AsymmetricLDBAConstruction
 
apply(LabelledFormula) - Method in class owl.translations.ltl2ldba.SymmetricLDBAConstruction
 
apply(LabelledFormula) - Method in class owl.translations.LTL2NAFunction
 
apply(LabelledFormula) - Method in class owl.translations.ltl2nba.SymmetricNBAConstruction
 
apply(LabelledFormula, SimplifierFactory.Mode) - Static method in class owl.ltl.rewriter.SimplifierFactory
 
apply(LabelledFormula, SimplifierFactory.Mode...) - Static method in class owl.ltl.rewriter.SimplifierFactory
 
apply(S) - Method in interface owl.automaton.SuccessorFunction
 
applyAsInt(Formula) - Method in interface owl.ltl.visitors.IntVisitor
 
applyLDBA(Automaton<?, ?>) - Static method in class owl.translations.nba2ldba.NBA2LDBA
 
asInitialState(Formula) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
 
asMutable(Automaton<S, A>) - Static method in class owl.automaton.MutableAutomatonUtil
 
AsymmetricEvaluatedFixpoints - Class in owl.translations.mastertheorem
 
AsymmetricEvaluatedFixpoints.DeterministicAutomata - Class in owl.translations.mastertheorem
 
AsymmetricLDBAConstruction<B extends GeneralizedBuchiAcceptance> - Class in owl.translations.ltl2ldba
 
AsymmetricProductState - Class in owl.translations.ltl2ldba
 
async(boolean) - Static method in class owl.factories.jbdd.JBddSupplier
 
atomExpression() - Method in class owl.grammar.LTLParser
 
atomExpression() - Method in class owl.grammar.LTLParser.UnaryAtomContext
 
AtomExpressionContext() - Constructor for class owl.grammar.LTLParser.AtomExpressionContext
 
AtomExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.AtomExpressionContext
 
atomicPropositions() - Method in class owl.ltl.EquivalenceClass
atomicPropositions(boolean) - Method in class owl.ltl.EquivalenceClass
atomicPropositions(boolean) - Method in class owl.ltl.Formula
 
atomicPropositions(EquivalenceClass, boolean) - Method in interface owl.factories.EquivalenceClassFactory
Collects all literals used in the bdd and stores the corresponding atomic propositions in the BitSet.
automata - Variable in class owl.cinterface.DecomposedDPA
 
automata - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
 
automata - Variable in class owl.translations.ltl2ldba.SymmetricProductState
 
automata - Variable in class owl.translations.ltl2nba.ProductState
 
automaton() - Method in class owl.translations.nba2ldba.NBA2LDBA.LDBA
 
Automaton<S,​A extends OmegaAcceptance> - Interface in owl.automaton
The base interface providing read access to an automaton.
AUTOMATON_STATS_CLI - Static variable in class owl.run.modules.OutputWriters
 
AUTOMATON_TO_GAME_CLI - Static variable in class owl.game.GameViews
 
Automaton.EdgeMapVisitor<S> - Interface in owl.automaton
 
Automaton.EdgeTreeVisitor<S> - Interface in owl.automaton
 
Automaton.EdgeVisitor<S> - Interface in owl.automaton
 
Automaton.PreferredEdgeAccess - Enum in owl.automaton
 
Automaton.Property - Enum in owl.automaton
 
Automaton.Visitor<S> - Interface in owl.automaton
 
AutomatonFactory - Class in owl.automaton
 
AutomatonOperations - Class in owl.automaton
 
AutomatonReader - Class in owl.automaton
 
AutomatonReader.HoaState - Class in owl.automaton
 
automatonStats(String) - Static method in class owl.run.modules.OutputWriters
 
AutomatonStats(String, Writer) - Constructor for class owl.run.modules.OutputWriters.AutomatonStats
 
AutomatonUtil - Class in owl.automaton
 

B

Biconditional - Class in owl.ltl
Biconditional.
Biconditional(Formula, Formula) - Constructor for class owl.ltl.Biconditional
 
BIIMP - Static variable in class owl.grammar.LTLLexer
 
BIIMP - Static variable in class owl.grammar.LTLParser
 
BIIMP() - Method in class owl.grammar.LTLParser.BinaryOpContext
 
binaryExpression() - Method in class owl.grammar.LTLParser.AndExpressionContext
 
binaryExpression() - Method in class owl.grammar.LTLParser
 
binaryExpression() - Method in class owl.grammar.LTLParser.BinaryOperationContext
 
binaryExpression() - Method in class owl.grammar.LTLParser.UnaryOperationContext
 
binaryExpression(int) - Method in class owl.grammar.LTLParser.AndExpressionContext
 
BinaryExpressionContext() - Constructor for class owl.grammar.LTLParser.BinaryExpressionContext
 
BinaryExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BinaryExpressionContext
 
BinaryModalOperator - Class in owl.ltl
 
binaryOp() - Method in class owl.grammar.LTLParser
 
binaryOp() - Method in class owl.grammar.LTLParser.BinaryOperationContext
 
BinaryOpContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BinaryOpContext
 
BinaryOperationContext(LTLParser.BinaryExpressionContext) - Constructor for class owl.grammar.LTLParser.BinaryOperationContext
 
BinaryUnaryContext(LTLParser.BinaryExpressionContext) - Constructor for class owl.grammar.LTLParser.BinaryUnaryContext
 
BinaryVisitor<P,​R> - Interface in owl.ltl.visitors
 
bind(Writer, Environment) - Method in interface owl.run.modules.OutputWriter
 
bind(Writer, Environment) - Method in class owl.run.modules.OutputWriters.ToHoa
 
BlockingModalOperatorsVisitor - Class in owl.translations.ltl2ldba
 
bool() - Method in class owl.grammar.LTLParser
 
bool() - Method in class owl.grammar.LTLParser.BooleanContext
 
BoolContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.BoolContext
 
BooleanConstant - Class in owl.ltl
 
BooleanContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.BooleanContext
 
booleanExpression() - Method in class owl.automaton.acceptance.AllAcceptance
 
booleanExpression() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
 
booleanExpression() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
 
booleanExpression() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
booleanExpression() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
booleanExpression() - Method in class owl.automaton.acceptance.NoneAcceptance
 
booleanExpression() - Method in class owl.automaton.acceptance.OmegaAcceptance
Builds the canonical representation as BooleanExpression.
booleanExpression() - Method in class owl.automaton.acceptance.ParityAcceptance
 
BooleanExpressions - Class in owl.automaton.acceptance
 
bound - Variable in class owl.ltl.FrequencyG
 
BreakpointState<E> - Class in owl.translations.canonical
 
BreakpointState<S> - Class in owl.translations.nba2ldba
 
BreakpointState() - Constructor for class owl.translations.canonical.BreakpointState
 
BreakpointState() - Constructor for class owl.translations.nba2ldba.BreakpointState
 
BUCHI - owl.translations.LTL2DAFunction.Constructions
 
BUCHI - owl.translations.LTL2NAFunction.Constructions
 
BuchiAcceptance - Class in owl.automaton.acceptance
 
BuchiAcceptance() - Constructor for class owl.automaton.acceptance.BuchiAcceptance
 
BuchiDegeneralization - Class in owl.automaton.transformations
 
build() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
 
build() - Method in class owl.automaton.acceptance.RabinAcceptance.Builder
 
build() - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
 
build() - Method in class owl.translations.dra2dpa.IARBuilder
 
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(LabelledFormula, Environment, RabinizerConfiguration) - Static method in class owl.translations.rabinizer.RabinizerBuilder
 
build(Environment, LabelledFormula) - Static method in class owl.translations.fgx2dpa.SafetyAutomaton
 
build(Fixpoints, Factories) - Static method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
Construct the recurring gCosafety for a G-set.
build(Fixpoints, Factories) - Static method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
 
buildEdge(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.CoSafety
 
buildEdge(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Safety
 
buildEdge(EquivalenceClass, EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.FgSafety
 
buildEdge(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.CoSafety
 
buildEdge(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
 
buildEdge(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.Safety
 
builder(String) - Static method in class owl.run.parser.PartialModuleConfiguration
 
Builder() - Constructor for class owl.automaton.acceptance.GeneralizedRabinAcceptance.Builder
 
Builder() - Constructor for class owl.automaton.acceptance.RabinAcceptance.Builder
 
buildFormula(Split, EnumSet<Robustness>) - Static method in enum owl.ltl.robust.Robustness
 

C

cache() - Method in class owl.automaton.AbstractCachedStatesAutomaton
 
call() - Method in class owl.run.ServerRunner
 
cartesianProduct(List<ValuationTree<E>>) - Static method in class owl.collections.ValuationTrees
 
cartesianProduct(Map<K, ValuationTree<V>>) - Static method in class owl.collections.ValuationTrees
 
cartesianProduct(Set<ValuationTree<E>>) - Static method in class owl.collections.ValuationTrees
 
cartesianProduct(ValuationTree<L>, ValuationTree<R>, BiFunction<L, R, E>) - Static method in class owl.collections.ValuationTrees
 
cast(Object) - Static method in class owl.automaton.AutomatonUtil
 
cast(Object, Class<A>) - Static method in class owl.automaton.AutomatonUtil
 
cast(Object, Class<S>, Class<A>) - Static method in class owl.automaton.AutomatonUtil
 
cast(Map<? extends Edge<? extends S>, ValuationSet>) - Static method in class owl.util.TypeUtil
 
cast(Automaton<S, ?>, Class<A>) - Static method in class owl.automaton.AutomatonUtil
 
cast(Edge<? extends S>) - Static method in class owl.util.TypeUtil
 
cast(ValuationTree<? extends Edge<? extends S>>) - Static method in class owl.util.TypeUtil
 
castMutable(Object, Class<S>, Class<A>) - Static method in class owl.automaton.MutableAutomatonUtil
 
CEntryPoint - Annotation Type in owl.util.annotation
 
channelNames - Static variable in class owl.grammar.LTLLexer
 
check() - Method in class owl.translations.mastertheorem.Fixpoints
 
checkDefaultAnnotationOption(CommandLine) - Static method in class owl.run.RunUtil
 
checkedCallback(InputReaders.CheckedCallback) - Static method in class owl.run.modules.InputReaders
 
checkForVersion(String[]) - Static method in class owl.run.RunUtil
 
children - Variable in class owl.ltl.PropositionalFormula
 
children() - Method in class owl.ltl.Biconditional
 
children() - Method in class owl.ltl.BinaryModalOperator
 
children() - Method in class owl.ltl.BooleanConstant
 
children() - Method in class owl.ltl.Formula
 
children() - Method in class owl.ltl.Literal
 
children() - Method in class owl.ltl.PropositionalFormula
 
children() - Method in class owl.ltl.UnaryModalOperator
 
classes() - Method in enum owl.ltl.SyntacticFragment
 
CLI - Static variable in class owl.automaton.acceptance.optimizations.AcceptanceOptimizations
 
CLI - Static variable in class owl.automaton.transformations.RabinDegeneralization
 
CLI - Static variable in class owl.ltl.rewriter.SimplifierTransformer
 
CLI - Static variable in class owl.translations.delag.DelagBuilder
 
CLI - Static variable in class owl.translations.dra2dpa.IARBuilder
 
CLI - Static variable in class owl.translations.ExternalTranslator
 
CLI - Static variable in class owl.translations.fgx2dpa.FGX2DPA
 
CLI - Static variable in class owl.translations.modules.LTL2DAModule
 
CLI - Static variable in class owl.translations.modules.LTL2NAModule
 
CLI - Static variable in class owl.translations.nba2dpa.NBA2DPA
 
CLI - Static variable in class owl.translations.nba2ldba.NBA2LDBA
 
cmp - Variable in class owl.ltl.FrequencyG
 
CO_BUCHI - owl.translations.LTL2DAFunction.Constructions
 
CO_SAFETY - owl.ltl.SyntacticFragment
 
CO_SAFETY - owl.translations.LTL2DAFunction.Constructions
 
CO_SAFETY - owl.translations.LTL2NAFunction.Constructions
 
CoBuchiAcceptance - Class in owl.automaton.acceptance
 
CoBuchiAcceptance() - Constructor for class owl.automaton.acceptance.CoBuchiAcceptance
 
Collections3 - Class in owl.collections
 
combiner(BinaryOperator<Formula>) - Static method in class owl.ltl.robust.Split
 
comp - Variable in class owl.grammar.LTLParser.FrequencyOpContext
 
compare(Set<? extends E>, Set<? extends E>) - Static method in class owl.collections.Collections3
 
compare(Set<? extends Formula>, Set<? extends Formula>) - Static method in class owl.ltl.Formulas
 
compareTo(GeneralizedRabinAcceptance.RabinPair) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
compareTo(Formula) - Method in class owl.ltl.Formula
 
compareTo(AsymmetricEvaluatedFixpoints) - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
 
compareTo(Fixpoints) - Method in class owl.translations.mastertheorem.Fixpoints
 
compareTo(SymmetricEvaluatedFixpoints) - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
 
compareToImpl(Formula) - Method in class owl.ltl.Biconditional
 
compareToImpl(Formula) - Method in class owl.ltl.BinaryModalOperator
 
compareToImpl(Formula) - Method in class owl.ltl.BooleanConstant
 
compareToImpl(Formula) - Method in class owl.ltl.Formula
 
compareToImpl(Formula) - Method in class owl.ltl.Literal
 
compareToImpl(Formula) - Method in class owl.ltl.PropositionalFormula
 
compareToImpl(Formula) - Method in class owl.ltl.UnaryModalOperator
 
comparison() - Method in class owl.grammar.LTLParser
 
comparison() - Method in class owl.grammar.LTLParser.FrequencyOpContext
 
ComparisonContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.ComparisonContext
 
complement() - Method in class owl.automaton.acceptance.ParityAcceptance
 
complement() - Method in class owl.collections.ValuationSet
 
complement(Automaton<S, ?>) - Static method in class owl.automaton.Views
 
complement(Automaton<S, ?>, S) - Static method in class owl.automaton.Views
 
complement(MutableAutomaton<S, ParityAcceptance>, S) - Static method in class owl.automaton.transformations.ParityUtil
 
complement(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
COMPLEMENT_CLI - Static variable in class owl.automaton.transformations.ParityUtil
 
COMPLEMENT_CONSTRUCTION_EXACT - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
 
COMPLEMENT_CONSTRUCTION_HEURISTIC - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
 
complete(Automaton<S, ?>, S) - Static method in class owl.automaton.Views
 
complete(MutableAutomaton<Object, ?>) - Static method in class owl.automaton.MutableAutomatonUtil
 
complete(MutableAutomaton<S, ?>, S) - Static method in class owl.automaton.MutableAutomatonUtil
Completes the automaton by adding a sink state obtained from the sinkSupplier if necessary.
COMPLETE - owl.automaton.Automaton.Property
 
COMPLETE - Static variable in class owl.automaton.Views
 
COMPLETE_CLI - Static variable in class owl.automaton.Views
 
COMPRESS_COLOURS - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
 
compute(Formula, Formula) - Static method in class owl.ltl.util.FormulaIsomorphism
 
computeSccs(Automaton<S, ?>) - Static method in class owl.automaton.algorithms.SccDecomposition
This method computes the SCCs of the state-/transition-graph of the automaton.
computeSccs(Automaton<S, ?>, boolean) - Static method in class owl.automaton.algorithms.SccDecomposition
 
computeSccs(SuccessorFunction<S>, Set<S>) - Static method in class owl.automaton.algorithms.SccDecomposition
 
computeSccs(SuccessorFunction<S>, Set<S>, boolean) - Static method in class owl.automaton.algorithms.SccDecomposition
 
computeSccs(SuccessorFunction<S>, S) - Static method in class owl.automaton.algorithms.SccDecomposition
 
computeSccs(SuccessorFunction<S>, S, boolean) - Static method in class owl.automaton.algorithms.SccDecomposition
 
conjunction(Collection<EquivalenceClass>) - Method in interface owl.factories.EquivalenceClassFactory
 
conjunction(Iterator<EquivalenceClass>) - Method in interface owl.factories.EquivalenceClassFactory
 
conjunction(LabelledAig, LabelledAig) - Method in class owl.game.output.AigFactory
 
Conjunction - Class in owl.ltl
 
constant - Variable in class owl.grammar.LTLParser.BooleanContext
 
contains(BitSet) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
contains(BitSet) - Method in class owl.collections.UpwardClosedSet
 
contains(BitSet) - Method in class owl.collections.ValuationSet
 
contains(Automaton<?, BuchiAcceptance>, Automaton<?, BuchiAcceptance>) - Static method in class owl.automaton.algorithms.LanguageContainment
Checks if the first the language of the first automaton is included in the language of the second automaton.
contains(Automaton<S, A>, UltimatelyPeriodicWord) - Static method in class owl.automaton.algorithms.LanguageMembership
 
contains(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
contains(ValuationSet) - Method in class owl.collections.ValuationSet
 
contains(ValuationSet, BitSet) - Method in interface owl.factories.ValuationSetFactory
 
contains(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
contains(Formula) - Method in enum owl.ltl.SyntacticFragment
 
contains(LabelledFormula) - Method in enum owl.ltl.SyntacticFragment
 
containsInfinite(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
Checks whether the given edge is contained in any Inf set of this pair.
CONVERSION_CLI - Static variable in class owl.automaton.transformations.ParityUtil
 
convert(Automaton<S, ParityAcceptance>, ParityAcceptance.Parity, S) - Static method in class owl.automaton.transformations.ParityUtil
 
Converter - Class in owl.ltl.visitors
 
Converter(Set<Class<? extends Formula>>) - Constructor for class owl.ltl.visitors.Converter
 
Converter(SyntacticFragment) - Constructor for class owl.ltl.visitors.Converter
 
copy(Automaton<S, ?>, MutableAutomaton<S, ?>) - Static method in class owl.automaton.MutableAutomatonFactory
 
copy(Automaton<S, A>) - Static method in class owl.automaton.MutableAutomatonFactory
 
copyAsMutable() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
 
copyFrom(LTLParser.AtomExpressionContext) - Method in class owl.grammar.LTLParser.AtomExpressionContext
 
copyFrom(LTLParser.BinaryExpressionContext) - Method in class owl.grammar.LTLParser.BinaryExpressionContext
 
copyFrom(LTLParser.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
 
coSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
 
coSafety(Environment, LabelledFormula) - Static method in class owl.translations.LTL2DAFunction
 
CoSafety(Factories, boolean, Formula) - Constructor for class owl.translations.canonical.DeterministicConstructions.CoSafety
 
CoSafety(Factories, Formula) - Constructor for class owl.translations.canonical.NonDeterministicConstructions.CoSafety
 
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(ValuationSetFactory, Collection<S>, A, BiFunction<S, BitSet, Set<Edge<S>>>, Function<S, ? extends Map<Edge<S>, ValuationSet>>) - Static method in class owl.automaton.AutomatonFactory
Creates a non-deterministic on-the-fly constructed automaton with support for bulk creation of edges.
create(ValuationSetFactory, Collection<S>, A, BiFunction<S, BitSet, Edge<S>>) - Static method in class owl.automaton.AutomatonFactory
Creates a semi-deterministic on-the-fly constructed automaton.
create(ValuationSetFactory, Collection<S>, A, Function<S, Map<Edge<S>, ValuationSet>>) - Static method in class owl.automaton.AutomatonFactory
Creates a non-deterministic on-the-fly constructed automaton with supporting only bulk creation of edges.
create(ValuationSetFactory, S, A, BiFunction<S, BitSet, Set<Edge<S>>>, Function<S, Map<Edge<S>, ValuationSet>>) - Static method in class owl.automaton.AutomatonFactory
Creates a non-deterministic on-the-fly constructed automaton with support for bulk creation of edges.
create(ValuationSetFactory, S, A, BiFunction<S, BitSet, Edge<S>>) - Static method in class owl.automaton.AutomatonFactory
Creates a deterministic on-the-fly constructed automaton.
create(ValuationSetFactory, S, A, Function<S, Map<Edge<S>, ValuationSet>>) - Static method in class owl.automaton.AutomatonFactory
Creates a non-deterministic on-the-fly constructed automaton with supporting only bulk creation of edges.
create(Environment) - Method in interface owl.run.modules.Transformer
 
create(Environment) - Method in class owl.run.modules.Transformers.SimpleTransformer
 
createConjunction(Iterable<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
 
createConjunction(Iterator<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
 
createConjunction(Stream<BooleanExpression<T>>) - Static method in class owl.automaton.acceptance.BooleanExpressions
 
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
 
createPowerSetAutomaton(Automaton<S, ?>, A, boolean) - Static method in class owl.automaton.Views
 
cube(BitSet) - Method in class owl.game.output.AigFactory
 
current() - Method in class owl.translations.canonical.BreakpointState
 

D

DaemonThreadFactory - Class in owl.util
 
DaemonThreadFactory(ThreadGroup) - Constructor for class owl.util.DaemonThreadFactory
 
declare(int, int...) - Method in class owl.cinterface.DecomposedDPA
 
DecomposedDPA - Class in owl.cinterface
 
DecomposedDPA.Reference - Class in owl.cinterface
 
deduplicate(Set<Edge<Either<A, B>>>) - Method in class owl.automaton.TwoPartAutomaton
 
deduplicate(Formula) - Static method in class owl.ltl.rewriter.DeduplicationRewriter
 
DeduplicationRewriter - Class in owl.ltl.rewriter
 
DEFAULT - Static variable in class owl.run.modules.OutputWriters.ToHoa
 
DEFAULT_REGISTRY - Static variable in class owl.run.modules.OwlModuleRegistry
A preconfigured registry, holding commonly used utility modules.
DefaultCli - Class in owl.run
 
degeneralize(Automaton<S, ? extends GeneralizedBuchiAcceptance>) - Static method in class owl.automaton.transformations.BuchiDegeneralization
 
degeneralize(Automaton<S, ? extends GeneralizedRabinAcceptance>) - Static method in class owl.automaton.transformations.RabinDegeneralization
 
DelagBuilder - Class in owl.translations.delag
 
DelagBuilder(Environment) - Constructor for class owl.translations.delag.DelagBuilder
 
delay(Automaton<S, A>, int) - Static method in class owl.translations.canonical.GenericConstructions
 
denominator - Variable in class owl.grammar.LTLParser.FractionContext
 
depth() - Method in class owl.ltl.rewriter.PullUpXVisitor.XFormula
 
DETERMINISTIC - owl.automaton.Automaton.Property
 
deterministicAutomata(Factories, boolean) - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
 
deterministicAutomata(Factories, boolean, boolean) - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
 
DeterministicAutomaton<S,​T> - Class in owl.cinterface
 
DeterministicConstructions - Class in owl.translations.canonical
 
DeterministicConstructions.CoSafety - Class in owl.translations.canonical
 
DeterministicConstructions.FgSafety - Class in owl.translations.canonical
 
DeterministicConstructions.GCoSafety - Class in owl.translations.canonical
 
DeterministicConstructions.GfCoSafety - Class in owl.translations.canonical
 
DeterministicConstructions.Safety - Class in owl.translations.canonical
 
DeterministicConstructions.Tracking - Class in owl.translations.canonical
 
disjunction(Collection<EquivalenceClass>) - Method in interface owl.factories.EquivalenceClassFactory
 
disjunction(Iterator<EquivalenceClass>) - Method in interface owl.factories.EquivalenceClassFactory
 
disjunction(LabelledAig, LabelledAig) - Method in class owl.game.output.AigFactory
 
Disjunction - Class in owl.ltl
 
DIVISION - Static variable in class owl.grammar.LTLLexer
 
DIVISION - Static variable in class owl.grammar.LTLParser
 
DIVISION() - Method in class owl.grammar.LTLParser.FractionContext
 
DOUBLE_QUOTED - Static variable in class owl.grammar.LTLLexer
 
DOUBLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLLexer
 
DOUBLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLParser
 
DOUBLE_QUOTED_VARIABLE() - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
 
DoubleQuotedVariableContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.DoubleQuotedVariableContext
 
DPA2Safety<S> - Class in owl.translations.dpa2safety
 
DPA2Safety() - Constructor for class owl.translations.dpa2safety.DPA2Safety
 

E

eager() - Method in class owl.translations.rabinizer.RabinizerConfiguration
 
edge(EquivalenceClass, BitSet) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
 
edge(EquivalenceClass, BitSet) - Method in class owl.translations.canonical.LegacyFactory
Deprecated.
 
edge(BreakpointState<EquivalenceClass>, BitSet) - Method in class owl.translations.canonical.DeterministicConstructions.GCoSafety
 
edge(RoundRobinState<EquivalenceClass>, BitSet) - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
 
edge(S, BitSet) - Method in interface owl.automaton.Automaton
Returns the successor edge of the specified state under the given valuation.
Edge<S> - Class in owl.automaton.edge
This class (with specialised subclasses) represents edges of automata including their acceptance membership.
EDGE_MAP - owl.automaton.Automaton.PreferredEdgeAccess
 
EDGE_TREE - owl.automaton.Automaton.PreferredEdgeAccess
 
edgeMap(S) - Method in interface owl.automaton.Automaton
Returns a mapping from all outgoing edges to their valuations of the specified state.
edgeMap(S) - Method in interface owl.automaton.EdgesAutomatonMixin
 
edgeMap(S) - Method in interface owl.automaton.EdgeTreeAutomatonMixin
 
edgeMap(S) - Method in class owl.automaton.Views.AutomatonView
 
EdgeMapAutomatonMixin<S,​A extends OmegaAcceptance> - Interface in owl.automaton
Mixin interface for implementing an automaton by Automaton.edgeMap(Object).
edges(int) - Method in class owl.cinterface.DeterministicAutomaton
 
edges(Either<A, B>, BitSet) - Method in class owl.automaton.TwoPartAutomaton
 
edges(Formula, BitSet) - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
 
edges(RoundRobinState<Formula>, BitSet) - Method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
 
edges(S) - Method in interface owl.automaton.Automaton
Returns all successor edges of the specified state under any valuation.
edges(S) - Method in interface owl.automaton.EdgeMapAutomatonMixin
 
edges(S) - Method in interface owl.automaton.EdgesAutomatonMixin
 
edges(S) - Method in interface owl.automaton.EdgeTreeAutomatonMixin
 
edges(S) - Method in class owl.automaton.Views.AutomatonView
 
edges(S, BitSet) - Method in interface owl.automaton.Automaton
Returns the successor edges of the specified state under the given valuation.
edges(S, BitSet) - Method in interface owl.automaton.EdgeMapAutomatonMixin
 
edges(S, BitSet) - Method in interface owl.automaton.EdgeTreeAutomatonMixin
 
edges(S, BitSet) - Method in class owl.automaton.ImplicitNonDeterministicEdgeTreeAutomaton
 
edges(S, BitSet) - Method in class owl.automaton.Views.AutomatonView
 
Edges - Class in owl.automaton.edge
 
EDGES - owl.automaton.Automaton.PreferredEdgeAccess
 
edgesA(A, BitSet) - Method in class owl.automaton.TwoPartAutomaton
 
EdgesAutomatonMixin<S,​A extends OmegaAcceptance> - Interface in owl.automaton
Mixin interface for implementing an automaton by Automaton.edges(Object, BitSet).
edgesB(B, BitSet) - Method in class owl.automaton.TwoPartAutomaton
 
edgeTree(Either<A, B>) - Method in class owl.automaton.TwoPartAutomaton
 
edgeTree(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
 
edgeTree(EquivalenceClass) - Method in class owl.translations.canonical.LegacyFactory
Deprecated.
 
edgeTree(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
 
edgeTree(BreakpointState<EquivalenceClass>) - Method in class owl.translations.canonical.DeterministicConstructions.GCoSafety
 
edgeTree(RoundRobinState<EquivalenceClass>) - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
 
edgeTree(RoundRobinState<Formula>) - Method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
 
edgeTree(S) - Method in interface owl.automaton.Automaton
Returns a decision-tree with nodes labelled by literals and sets of edges as leaves.
edgeTree(S) - Method in interface owl.automaton.EdgeMapAutomatonMixin
 
edgeTree(S) - Method in interface owl.automaton.EdgesAutomatonMixin
 
edgeTree(S) - Method in class owl.automaton.ImplicitNonDeterministicEdgeTreeAutomaton
 
edgeTree(S) - Method in class owl.automaton.Views.AutomatonView
 
edgeTreeA(A) - Method in class owl.automaton.TwoPartAutomaton
 
EdgeTreeAutomatonMixin<S,​A extends OmegaAcceptance> - Interface in owl.automaton
Mixin interface for implementing an automaton by Automaton.edgeTree(Object).
edgeTreeB(B) - Method in class owl.automaton.TwoPartAutomaton
 
either(Function<? super A, ? extends C>, Function<? super B, ? extends C>) - Method in class owl.collections.Either
 
Either<A,​B> - Class in owl.collections
 
EMERSON_LEI - owl.translations.LTL2DAFunction.Constructions
 
EmersonLeiAcceptance - Class in owl.automaton.acceptance
 
EmersonLeiAcceptance(int, BooleanExpression<AtomAcceptance>) - Constructor for class owl.automaton.acceptance.EmersonLeiAcceptance
 
empty() - Method in interface owl.factories.ValuationSetFactory
 
empty(ValuationSetFactory) - Static method in class owl.automaton.AutomatonFactory
 
empty(ValuationSetFactory, A) - Static method in class owl.automaton.AutomatonFactory
 
emptyIsAccepting() - Method in class owl.automaton.acceptance.ParityAcceptance
 
enter(S) - Method in interface owl.automaton.Automaton.Visitor
Called when entering a state.
enterAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by LTLParser.andExpression().
enterAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by LTLParser.andExpression().
enterBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by LTLParser.binaryOp().
enterBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by LTLParser.binaryOp().
enterBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
enterBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
enterBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
enterBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
enterBool(LTLParser.BoolContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by LTLParser.bool().
enterBool(LTLParser.BoolContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by LTLParser.bool().
enterBoolean(LTLParser.BooleanContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
enterBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
enterComparison(LTLParser.ComparisonContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by LTLParser.comparison().
enterComparison(LTLParser.ComparisonContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by LTLParser.comparison().
enterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
enterDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
enterEveryRule(ParserRuleContext) - Method in class owl.grammar.LTLParserBaseListener
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().
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().
enterProbability(LTLParser.ProbabilityContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the probability labeled alternative in LTLParser.frequencySpec().
enterProbability(LTLParser.ProbabilityContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the probability labeled alternative in LTLParser.frequencySpec().
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.AndExpressionContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOpContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOperationContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BoolContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BooleanContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ComparisonContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ExpressionContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FormulaContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FractionContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FrequencyOpContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.NestedContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.OrExpressionContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ProbabilityContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryAtomContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOpContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOperationContext
 
enterRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.VariableContext
 
enterSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
enterSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
enterUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
enterUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
enterUnaryOp(LTLParser.UnaryOpContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by LTLParser.unaryOp().
enterUnaryOp(LTLParser.UnaryOpContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by LTLParser.unaryOp().
enterUnaryOperation(LTLParser.UnaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
enterUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
enterVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseListener
Enter a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
enterVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserListener
Enter a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
Environment - Interface in owl.run
The environment makes global configuration available to all parts of the pipeline.
EOF() - Method in class owl.grammar.LTLParser.FormulaContext
 
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.GeneralizedRabinAcceptance.RabinPair
 
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.UltimatelyPeriodicWord
 
equals(Object) - Method in class owl.collections.ValuationTree.Leaf
 
equals(Object) - Method in class owl.collections.ValuationTree.Node
 
equals(Object) - Method in class owl.ltl.Formula
 
equals(Object) - Method in class owl.translations.delag.State
 
equals(Object) - Method in class owl.translations.ltl2ldba.AsymmetricProductState
 
equals(Object) - Method in class owl.translations.ltl2ldba.SymmetricProductState
 
equals(Object) - Method in class owl.translations.ltl2nba.ProductState
 
equals(Object) - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
 
equals(Object) - Method in class owl.translations.mastertheorem.Fixpoints
 
equals(Object) - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
 
equalsImpl(Formula) - Method in class owl.ltl.Biconditional
 
equalsImpl(Formula) - Method in class owl.ltl.BinaryModalOperator
 
equalsImpl(Formula) - Method in class owl.ltl.BooleanConstant
 
equalsImpl(Formula) - Method in class owl.ltl.Formula
 
equalsImpl(Formula) - Method in class owl.ltl.FrequencyG
 
equalsImpl(Formula) - Method in class owl.ltl.Literal
 
equalsImpl(Formula) - Method in class owl.ltl.PropositionalFormula
 
equalsImpl(Formula) - Method in class owl.ltl.UnaryModalOperator
 
EquivalenceClass - Class in owl.ltl
EquivalenceClass interface.
EquivalenceClass(EquivalenceClassFactory, Formula) - Constructor for class owl.ltl.EquivalenceClass
 
EquivalenceClassFactory - Interface in owl.factories
 
ERROR - Static variable in class owl.grammar.LTLLexer
 
ERROR - Static variable in class owl.grammar.LTLParser
 
evaluatedFixpoints - Variable in class owl.translations.ltl2ldba.AsymmetricProductState
 
evaluatedFixpoints - Variable in class owl.translations.ltl2ldba.SymmetricProductState
 
evaluatedFixpoints - Variable in class owl.translations.ltl2nba.ProductState
 
even() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
evenString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
eventually() - Method in class owl.ltl.robust.LabelledSplit
 
eventually() - Method in class owl.ltl.robust.Split
 
EVENTUALLY - owl.ltl.robust.Robustness
 
EVENTUALLY_ALWAYS - owl.ltl.robust.Robustness
 
eventuallyAlways() - Method in class owl.ltl.robust.LabelledSplit
 
eventuallyAlways() - Method in class owl.ltl.robust.Split
 
EverythingIsNonnullByDefault - Annotation Type in owl.util.annotation
 
execute(Callable<Void>) - Static method in class owl.run.RunUtil
Executes the given given runner and logs any occurring error to the console.
exit(S) - Method in interface owl.automaton.Automaton.Visitor
Called when leaving a state.
exitAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by LTLParser.andExpression().
exitAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by LTLParser.andExpression().
exitBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by LTLParser.binaryOp().
exitBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by LTLParser.binaryOp().
exitBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
exitBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
exitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
exitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
exitBool(LTLParser.BoolContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by LTLParser.bool().
exitBool(LTLParser.BoolContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by LTLParser.bool().
exitBoolean(LTLParser.BooleanContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
exitBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
exitComparison(LTLParser.ComparisonContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by LTLParser.comparison().
exitComparison(LTLParser.ComparisonContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by LTLParser.comparison().
exitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
exitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
exitEveryRule(ParserRuleContext) - Method in class owl.grammar.LTLParserBaseListener
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().
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().
exitProbability(LTLParser.ProbabilityContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the probability labeled alternative in LTLParser.frequencySpec().
exitProbability(LTLParser.ProbabilityContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the probability labeled alternative in LTLParser.frequencySpec().
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.AndExpressionContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOpContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryOperationContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BinaryUnaryContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BoolContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.BooleanContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ComparisonContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ExpressionContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FormulaContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FractionContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.FrequencyOpContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.NestedContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.OrExpressionContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.ProbabilityContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryAtomContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOpContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.UnaryOperationContext
 
exitRule(ParseTreeListener) - Method in class owl.grammar.LTLParser.VariableContext
 
exitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
exitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
exitUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
exitUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
exitUnaryOp(LTLParser.UnaryOpContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by LTLParser.unaryOp().
exitUnaryOp(LTLParser.UnaryOpContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by LTLParser.unaryOp().
exitUnaryOperation(LTLParser.UnaryOperationContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
exitUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
exitVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseListener
Exit a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
exitVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserListener
Exit a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
expression() - Method in class owl.grammar.LTLParser
 
expression() - Method in class owl.grammar.LTLParser.FormulaContext
 
expression() - Method in class owl.grammar.LTLParser.NestedContext
 
ExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.ExpressionContext
 
ExternalTranslator - Class in owl.translations
 
ExternalTranslator(Environment, String) - Constructor for class owl.translations.ExternalTranslator
 

F

Factories - Class in owl.factories
 
Factories(EquivalenceClassFactory, ValuationSetFactory) - Constructor for class owl.factories.Factories
 
factory - Variable in class owl.automaton.AbstractImplicitAutomaton
 
factory() - Method in class owl.automaton.AbstractImplicitAutomaton
 
factory() - Method in interface owl.automaton.Automaton
 
factory() - Method in class owl.ltl.EquivalenceClass
 
factory() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
 
factorySupplier() - Method in interface owl.run.Environment
Returns the configured FactorySupplier.
FactorySupplier - Interface in owl.factories
 
failWithMessage(String) - Static method in class owl.run.RunUtil
Prints given message on standard error and calls System.exit(int) with 1.
failWithMessage(String, Throwable) - Static method in class owl.run.RunUtil
Prints given message on standard error and calls System.exit(int) with 1 and logs the given cause.
FALSE - Static variable in class owl.game.output.Aig
 
FALSE - Static variable in class owl.grammar.LTLLexer
 
FALSE - Static variable in class owl.grammar.LTLParser
 
FALSE - Static variable in class owl.ltl.BooleanConstant
 
FALSE - Static variable in class owl.ltl.robust.Split
 
FALSE() - Method in class owl.grammar.LTLParser.BoolContext
 
falseChild - Variable in class owl.collections.ValuationTree.Node
 
fCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
 
feedTo(Automaton<S, ?>, HOAConsumer) - Static method in class owl.automaton.output.HoaPrinter
 
feedTo(Automaton<S, ?>, HOAConsumer, EnumSet<HoaPrinter.HoaOption>) - Static method in class owl.automaton.output.HoaPrinter
 
feedTo(AigConsumer) - Method in interface owl.game.Game
 
feedTo(AigConsumer) - Method in interface owl.game.output.AigPrintable
 
FGMU - owl.ltl.SyntacticFragment
 
fgSafety(Environment, LabelledFormula) - Static method in class owl.translations.LTL2DAFunction
 
FgSafety(Factories, boolean, Formula) - Constructor for class owl.translations.canonical.DeterministicConstructions.FgSafety
 
FgSafety(Factories, Formula) - Constructor for class owl.translations.canonical.NonDeterministicConstructions.FgSafety
 
fgSafetyInterleaved(Environment, LabelledFormula) - Static method in class owl.translations.LTL2DAFunction
 
FGX - owl.ltl.SyntacticFragment
 
FGX2DPA - Class in owl.translations.fgx2dpa
 
filter(IntPredicate) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
filter(Automaton<S, ?>, Set<S>) - Static method in interface owl.automaton.SuccessorFunction
 
filter(Automaton<S, ?>, Set<S>, Predicate<Edge<S>>) - Static method in interface owl.automaton.SuccessorFunction
 
filter(Automaton<S, A>, Set<S>) - Static method in class owl.automaton.Views
 
filter(Automaton<S, A>, Set<S>, Predicate<Edge<S>>) - Static method in class owl.automaton.Views
 
filter(Game<S, A>, Set<S>) - Static method in class owl.game.GameViews
 
filter(Game<S, A>, Set<S>, Predicate<Edge<S>>) - Static method in class owl.game.GameViews
 
FINALLY - Static variable in class owl.grammar.LTLLexer
 
FINALLY - Static variable in class owl.grammar.LTLParser
 
FINALLY() - Method in class owl.grammar.LTLParser.FrequencyOpContext
 
FINALLY() - Method in class owl.grammar.LTLParser.UnaryOpContext
 
FINITE - owl.ltl.SyntacticFragment
 
finSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
fixpoints - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
 
fixpoints - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
 
fixpoints() - Method in class owl.translations.mastertheorem.Fixpoints
 
Fixpoints - Class in owl.translations.mastertheorem
 
Fixpoints() - Constructor for class owl.translations.mastertheorem.Fixpoints
 
flip() - Method in class owl.game.output.LabelledAig
 
flipEven() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
flipMax() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
FOperator - Class in owl.ltl
Finally.
FOperator(Formula) - Constructor for class owl.ltl.FOperator
 
forEach(BitSet, Consumer<? super BitSet>) - Method in class owl.collections.ValuationSet
 
forEach(Consumer<? super BitSet>) - Method in class owl.collections.ValuationSet
 
forEach(Consumer<BitSet>) - Method in interface owl.factories.ValuationSetFactory
 
forEach(ValuationSet, BitSet, Consumer<? super BitSet>) - Method in interface owl.factories.ValuationSetFactory
 
forEach(ValuationSet, Consumer<? super BitSet>) - Method in interface owl.factories.ValuationSetFactory
 
forEachIndex(IntConsumer) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
forEachInfSet(IntConsumer) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
forEachNonTransientEdge(Automaton<S, ?>, BiConsumer<S, Edge<S>>) - Static method in class owl.automaton.AutomatonUtil
 
forEachPair(Iterable<E1>, Iterable<E2>, BiConsumer<E1, E2>) - Static method in class owl.collections.Collections3
 
formula - Variable in class owl.cinterface.DecomposedDPA.Reference
 
formula - Variable in class owl.ltl.rewriter.LiteralMapper.ShiftedFormula
 
formula() - Method in class owl.grammar.LTLParser
 
formula() - Method in class owl.ltl.LabelledFormula
 
Formula - Class in owl.ltl
 
Formula.LogicalOperator - Class in owl.ltl
 
Formula.ModalOperator - Class in owl.ltl
 
Formula.TemporalOperator - Class in owl.ltl
 
FormulaContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FormulaContext
 
FormulaIsomorphism - Class in owl.ltl.util
 
Formulas - Class in owl.ltl
 
FractionContext(LTLParser.FrequencySpecContext) - Constructor for class owl.grammar.LTLParser.FractionContext
 
FREQUENCY_SPEC - Static variable in class owl.grammar.LTLLexer
 
FrequencyG - Class in owl.ltl
 
FrequencyG(Formula, double, FrequencyG.Comparison, FrequencyG.Limes) - Constructor for class owl.ltl.FrequencyG
 
FrequencyG.Comparison - Enum in owl.ltl
 
FrequencyG.Limes - Enum in owl.ltl
 
frequencyOp() - Method in class owl.grammar.LTLParser
 
frequencyOp() - Method in class owl.grammar.LTLParser.UnaryOpContext
 
FrequencyOpContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FrequencyOpContext
 
frequencySpec() - Method in class owl.grammar.LTLParser.FrequencyOpContext
 
frequencySpec() - Method in class owl.grammar.LTLParser
 
FrequencySpecContext() - Constructor for class owl.grammar.LTLParser.FrequencySpecContext
 
FrequencySpecContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.FrequencySpecContext
 
fromFunction(Class<K>, Function<K, V>) - Static method in class owl.run.modules.Transformers
 
fromLeft() - Method in class owl.collections.Either
 
fromRight() - Method in class owl.collections.Either
 
fromWriter(OutputWriter) - Static method in class owl.run.modules.Transformers
Creates a transformer from a writer by redirecting the output to the meta writer.
fSafety(Environment, LabelledFormula) - Static method in class owl.translations.LTL2DAFunction
 

G

Game<S,​A extends OmegaAcceptance> - Interface in owl.game
 
Game.Owner - Enum in owl.game
 
GameFactory - Class in owl.game
 
GameUtil - Class in owl.game
 
GameViews - Class in owl.game
 
GameViews.Node<S> - Class in owl.game
A state of the split game.
gCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
 
gCoSafety(Environment, LabelledFormula) - Static method in class owl.translations.LTL2DAFunction
 
GCoSafety(Factories, boolean, Formula) - Constructor for class owl.translations.canonical.DeterministicConstructions.GCoSafety
 
GE - Static variable in class owl.grammar.LTLLexer
 
GE - Static variable in class owl.grammar.LTLParser
 
GE() - Method in class owl.grammar.LTLParser.ComparisonContext
 
GENERALIZED_BUCHI - owl.translations.LTL2DAFunction.Constructions
 
GENERALIZED_BUCHI - owl.translations.LTL2NAFunction.Constructions
 
GENERALIZED_RABIN - owl.translations.LTL2DAFunction.Constructions
 
GeneralizedBuchiAcceptance - Class in owl.automaton.acceptance
 
GeneralizedRabinAcceptance - Class in owl.automaton.acceptance
Generalized Rabin Acceptance - OR (Fin(i) and AND Inf(j)).
GeneralizedRabinAcceptance.Builder - Class in owl.automaton.acceptance
 
GeneralizedRabinAcceptance.RabinPair - Class in owl.automaton.acceptance
 
GeneralizedRabinAcceptanceOptimizations - Class in owl.automaton.acceptance.optimizations
 
GenericConstructions - Class in owl.translations.canonical
 
GEQ - owl.ltl.FrequencyG.Comparison
 
get(BitSet) - Method in class owl.collections.ValuationTree
 
get(BitSet) - Method in class owl.collections.ValuationTree.Leaf
 
get(BitSet) - Method in class owl.collections.ValuationTree.Node
 
get(Robustness) - Method in class owl.ltl.robust.Split
 
getAcceptanceSets(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
Collect all acceptance sets occurring on transitions within the given state set.
getAcceptanceSets(Automaton<S, ?>, Set<S>) - Static method in class owl.automaton.AutomatonUtil
Collect all acceptance sets occurring on transitions within the given state set.
getAllOfType(OwlModuleRegistry.Type) - Method in class owl.run.modules.OwlModuleRegistry
 
getAllWithName(String) - Method in class owl.run.modules.OwlModuleRegistry
 
getATN() - Method in class owl.grammar.LTLLexer
 
getATN() - Method in class owl.grammar.LTLParser
 
getAtom() - Method in class owl.ltl.Literal
 
getAttractor(Collection<S>, Game.Owner) - Method in interface owl.game.Game
 
getAttractorFixpoint(Collection<S>, Game.Owner) - Method in interface owl.game.Game
 
getCause() - Method in exception owl.run.parser.PipelineParser.ModuleParseException
 
getChannelNames() - Method in class owl.grammar.LTLLexer
 
getChildren() - Method in class owl.collections.LabelledTree.Node
 
getChoice(S, Game.Owner) - Method in interface owl.game.Game
 
getDefaultAnnotationOption() - Static method in class owl.run.RunUtil
 
getDepth(Formula) - Static method in class owl.ltl.visitors.XDepthVisitor
 
getDescription() - Method in class owl.ltl.robust.RobustLtlInputReader
 
getDescription() - Method in interface owl.run.modules.OwlModuleParser
 
getDescription() - Method in class owl.translations.modules.LTL2DGRAModule
 
getDescription() - Method in class owl.translations.modules.LTL2DPAModule
 
getDescription() - Method in class owl.translations.modules.LTL2DRAModule
 
getDescription() - Method in class owl.translations.modules.LTL2LDBAModule
 
getDescription() - Method in class owl.translations.modules.LTL2LDGBAModule
 
getDescription() - Method in class owl.translations.modules.LTL2NBAModule
 
getDescription() - Method in class owl.translations.modules.LTL2NGBAModule
 
getEquivalenceClassFactory(List<String>) - Method in interface owl.factories.FactorySupplier
 
getEquivalenceClassFactory(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
 
getEquivalenceClassFactory(List<String>, boolean) - Method in interface owl.factories.FactorySupplier
 
getEquivalenceClassFactory(List<String>, boolean) - Method in class owl.factories.jbdd.JBddSupplier
 
getFactories(List<String>) - Method in interface owl.factories.FactorySupplier
 
getFactories(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
 
getFactories(List<String>, boolean) - Method in interface owl.factories.FactorySupplier
 
getFactory() - Method in class owl.collections.ValuationSet
 
getFalse() - Method in interface owl.factories.EquivalenceClassFactory
 
getFalse() - Method in class owl.game.output.AigFactory
 
getGrammarFileName() - Method in class owl.grammar.LTLLexer
 
getGrammarFileName() - Method in class owl.grammar.LTLParser
 
getIncompleteStates(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
Determines all states which are incomplete, i.e.
getKey() - Method in class owl.ltl.robust.RobustLtlInputReader
 
getKey() - Method in interface owl.run.modules.OwlModuleParser
 
getKey() - Method in class owl.translations.modules.LTL2DGRAModule
 
getKey() - Method in class owl.translations.modules.LTL2DPAModule
 
getKey() - Method in class owl.translations.modules.LTL2DRAModule
 
getKey() - Method in class owl.translations.modules.LTL2LDBAModule
 
getKey() - Method in class owl.translations.modules.LTL2LDGBAModule
 
getKey() - Method in class owl.translations.modules.LTL2NBAModule
 
getKey() - Method in class owl.translations.modules.LTL2NGBAModule
 
getLabel() - Method in class owl.collections.LabelledTree.Leaf
 
getLabel() - Method in class owl.collections.LabelledTree.Node
 
getModeNames() - Method in class owl.grammar.LTLLexer
 
getNode(int) - Method in class owl.game.output.AigFactory
 
getNondeterministicStates(Automaton<S, ?>) - Static method in class owl.automaton.AutomatonUtil
 
getOptions() - Method in class owl.ltl.robust.RobustLtlInputReader
 
getOptions() - Static method in class owl.run.DefaultCli
 
getOptions() - Method in interface owl.run.modules.OwlModuleParser
 
getOptions() - Static method in class owl.run.ServerCli
 
getOptions() - Method in class owl.translations.modules.LTL2DPAModule
 
getOwner(S) - Method in interface owl.game.Game
 
getPredecessors(Iterable<S>) - Method in interface owl.game.Game
 
getPredecessors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
 
getPredecessors(S, Game.Owner) - Method in interface owl.game.Game
 
getRuleIndex() - Method in class owl.grammar.LTLParser.AndExpressionContext
 
getRuleIndex() - Method in class owl.grammar.LTLParser.AtomExpressionContext
 
getRuleIndex() - Method in class owl.grammar.LTLParser.BinaryExpressionContext
 
getRuleIndex() - Method in class owl.grammar.LTLParser.BinaryOpContext
 
getRuleIndex() - Method in class owl.grammar.LTLParser.BoolContext
 
getRuleIndex() - Method in class owl.grammar.LTLParser.ComparisonContext
 
getRuleIndex() - Method in class owl.grammar.LTLParser.ExpressionContext
 
getRuleIndex() - Method in class owl.grammar.LTLParser.FormulaContext
 
getRuleIndex() - Method in class owl.grammar.LTLParser.FrequencyOpContext
 
getRuleIndex() - Method in class owl.grammar.LTLParser.FrequencySpecContext
 
getRuleIndex() - Method in class owl.grammar.LTLParser.OrExpressionContext
 
getRuleIndex() - Method in class owl.grammar.LTLParser.UnaryExpressionContext
 
getRuleIndex() - Method in class owl.grammar.LTLParser.UnaryOpContext
 
getRuleNames() - Method in class owl.grammar.LTLLexer
 
getRuleNames() - Method in class owl.grammar.LTLParser
 
getSerializedATN() - Method in class owl.grammar.LTLLexer
 
getSerializedATN() - Method in class owl.grammar.LTLParser
 
getStates(Game.Owner) - Method in interface owl.game.Game
 
getSuccessors(Iterable<S>) - Method in interface owl.game.Game
 
getSuccessors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
 
getSuccessors(S, Game.Owner) - Method in interface owl.game.Game
 
getTokenNames() - Method in class owl.grammar.LTLLexer
Deprecated.
getTokenNames() - Method in class owl.grammar.LTLParser
Deprecated.
getTrue() - Method in interface owl.factories.EquivalenceClassFactory
 
getTrue() - Method in class owl.game.output.AigFactory
 
getValuationSetFactory(List<String>) - Method in interface owl.factories.FactorySupplier
 
getValuationSetFactory(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
 
getVariables(Game.Owner) - Method in interface owl.game.Game
 
getVocabulary() - Method in class owl.grammar.LTLLexer
 
getVocabulary() - Method in class owl.grammar.LTLParser
 
gfCoSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
 
gfCoSafety(Environment, LabelledFormula, boolean) - Static method in class owl.translations.LTL2DAFunction
 
GfCoSafety(Factories, boolean, Set<? extends Formula>, boolean) - Constructor for class owl.translations.canonical.DeterministicConstructions.GfCoSafety
 
GfCoSafety(Factories, Set<? extends Formula>, boolean) - Constructor for class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
 
gfCoSafetyAutomaton - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
 
gfCoSafetyAutomaton - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.DeterministicAutomata
 
gfCoSafetyAutomaton - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.NonDeterministicAutomata
 
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
 
GOperator - Class in owl.ltl
Globally.
GOperator(Formula) - Constructor for class owl.ltl.GOperator
 
greatestFixpoints() - Method in class owl.translations.mastertheorem.Fixpoints
 
gSafety - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
 
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
 
guard(OutputStream) - Static method in class owl.util.GuardedStream
 
guard(Writer) - Static method in class owl.util.GuardedStream
 
GuardedStream - Class in owl.util
Wrappers for streams which only forward a OutputStream.flush() upon OutputStream.close().

H

hasAcceptanceSets() - Method in class owl.automaton.edge.Edge
Returns whether this edge has any acceptance set.
hashCode() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
hashCode() - Method in class owl.automaton.acceptance.ParityAcceptance
 
hashCode() - Method in class owl.automaton.AutomatonReader.HoaState
 
hashCode() - Method in class owl.automaton.UltimatelyPeriodicWord
 
hashCode() - Method in class owl.collections.ValuationTree.Leaf
 
hashCode() - Method in class owl.collections.ValuationTree.Node
 
hashCode() - Method in class owl.ltl.Formula
 
hashCode() - Method in class owl.translations.delag.State
 
hashCode() - Method in class owl.translations.ltl2ldba.AsymmetricProductState
 
hashCode() - Method in class owl.translations.ltl2ldba.SymmetricProductState
 
hashCode() - Method in class owl.translations.ltl2nba.ProductState
 
hashCode() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
 
hashCode() - Method in class owl.translations.mastertheorem.Fixpoints
 
hashCode() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
 
HashedTuple - Annotation Type in owl.util.annotation
 
hasInfSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
height() - Method in class owl.ltl.Formula
 
height(Collection<? extends Formula>) - Static method in class owl.ltl.Formulas
 
HOA - Static variable in class owl.run.modules.InputReaders
 
HOA - Static variable in class owl.run.modules.OutputWriters
 
HOA_CLI - Static variable in class owl.run.modules.InputReaders
 
HOA_CLI - Static variable in class owl.run.modules.OutputWriters
 
HoaPrinter - Class in owl.automaton.output
 
HoaPrinter.HoaOption - Enum in owl.automaton.output
 

I

IARBuilder<R> - Class in owl.translations.dra2dpa
 
IARBuilder(Automaton<R, RabinAcceptance>) - Constructor for class owl.translations.dra2dpa.IARBuilder
 
IARState<R> - Class in owl.translations.dra2dpa
 
IARState() - Constructor for class owl.translations.dra2dpa.IARState
 
IMP - Static variable in class owl.grammar.LTLLexer
 
IMP - Static variable in class owl.grammar.LTLParser
 
IMP() - Method in class owl.grammar.LTLParser.BinaryOpContext
 
ImplicitNonDeterministicEdgeTreeAutomaton<S,​A extends OmegaAcceptance> - Class in owl.automaton
 
ImplicitNonDeterministicEdgeTreeAutomaton(ValuationSetFactory, Collection<S>, A, BiFunction<S, BitSet, Set<Edge<S>>>, Function<S, ValuationTree<Edge<S>>>) - Constructor for class owl.automaton.ImplicitNonDeterministicEdgeTreeAutomaton
 
implies(EquivalenceClass) - Method in class owl.ltl.EquivalenceClass
implies(EquivalenceClass, EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
 
index - Variable in class owl.cinterface.DecomposedDPA.Reference
 
index() - Method in class owl.translations.canonical.RoundRobinState
 
INF - owl.ltl.FrequencyG.Limes
 
INF - Static variable in class owl.grammar.LTLLexer
 
INF - Static variable in class owl.grammar.LTLParser
 
INF() - Method in class owl.grammar.LTLParser.FrequencyOpContext
 
INFINITELY_OFTEN - owl.ltl.robust.Robustness
 
infinitelyOften - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
Corresponds to gfCoSafetyAutomaton.
infinitelyOften() - Method in class owl.ltl.robust.LabelledSplit
 
infinitelyOften() - Method in class owl.ltl.robust.Split
 
infSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
infSet(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
infSetCount() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
infSetIterator() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
initialComponent() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
 
initialComponent() - Method in class owl.translations.nba2ldba.NBA2LDBA.LDBA
 
initialStateInternal(EquivalenceClass) - Method in class owl.translations.canonical.LegacyFactory
Deprecated.
 
initialStateInternal(EquivalenceClass, EquivalenceClass) - Method in class owl.translations.canonical.LegacyFactory
Deprecated.
 
initialStates - Variable in class owl.automaton.AbstractImplicitAutomaton
 
initialStates() - Method in class owl.automaton.AbstractImplicitAutomaton
 
initialStates() - Method in interface owl.automaton.Automaton
Returns the set of initial states, which can potentially be empty.
initialStates() - Method in class owl.automaton.TwoPartAutomaton
 
initialStates() - Method in class owl.translations.canonical.NonDeterministicConstructions.FgSafety
 
initialStates() - Method in class owl.translations.canonical.NonDeterministicConstructions.GfCoSafety
 
initialStates(Collection<? extends S>) - Method in interface owl.automaton.MutableAutomaton
Sets the set of initial states of the automaton.
initialStatesA() - Method in class owl.automaton.TwoPartAutomaton
 
initialStatesB() - Method in class owl.automaton.TwoPartAutomaton
 
initialStatesWithRemainder(Formula) - Method in class owl.translations.canonical.NonDeterministicConstructions.Safety
 
inner - Variable in class owl.grammar.LTLParser.UnaryOperationContext
 
input() - Method in class owl.run.Pipeline
 
InputReader - Interface in owl.run.modules
Input readers are tasked with providing input to the processing pipeline.
InputReaders - Class in owl.run.modules
 
InputReaders.CheckedCallback - Interface in owl.run.modules
 
inSet(int) - Method in class owl.automaton.edge.Edge
Test membership of this edge for a specific acceptance set.
INSTANCE - Static variable in class owl.automaton.acceptance.AllAcceptance
 
INSTANCE - Static variable in class owl.automaton.acceptance.BuchiAcceptance
 
INSTANCE - Static variable in class owl.automaton.acceptance.CoBuchiAcceptance
 
INSTANCE - Static variable in class owl.automaton.acceptance.NoneAcceptance
 
INSTANCE - Static variable in class owl.automaton.transformations.RabinDegeneralization
 
INSTANCE - Static variable in class owl.ltl.rewriter.PullUpXVisitor
 
INSTANCE - Static variable in class owl.ltl.robust.RobustLtlInputReader
 
INSTANCE - Static variable in class owl.translations.ltl2ldba.BlockingModalOperatorsVisitor
 
INSTANCE - Static variable in class owl.translations.modules.LTL2DGRAModule
 
INSTANCE - Static variable in class owl.translations.modules.LTL2DPAModule
 
INSTANCE - Static variable in class owl.translations.modules.LTL2DRAModule
 
INSTANCE - Static variable in class owl.translations.modules.LTL2LDBAModule
 
INSTANCE - Static variable in class owl.translations.modules.LTL2LDGBAModule
 
INSTANCE - Static variable in class owl.translations.modules.LTL2NBAModule
 
INSTANCE - Static variable in class owl.translations.modules.LTL2NGBAModule
 
instanceFromFunction(Class<K>, Function<K, V>) - Static method in class owl.run.modules.Transformers
 
IntBiConsumer - Interface in owl.util
 
intersection(Iterable<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
 
intersection(Iterator<ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
 
intersection(List<Automaton<S, ? extends OmegaAcceptance>>) - Static method in class owl.automaton.AutomatonOperations
Constructs an automaton recognizing the intersection of languages of the given automata.
intersection(UpwardClosedSet) - Method in class owl.collections.UpwardClosedSet
 
intersection(ValuationSet) - Method in class owl.collections.ValuationSet
 
intersection(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
intersects(ValuationSet) - Method in class owl.collections.ValuationSet
 
intersects(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
IntVisitor - Interface in owl.ltl.visitors
 
inverse(Map<S, ValuationSet>) - Method in interface owl.factories.ValuationSetFactory
 
inverse(ValuationSetFactory) - Method in class owl.collections.ValuationTree
 
is(Automaton.Property) - Method in interface owl.automaton.Automaton
 
is(Automaton.Property) - Method in class owl.automaton.Views.AutomatonView
 
is(Automaton.Property) - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
 
IS_FIXPOINT - Static variable in class owl.translations.mastertheorem.Predicates
 
IS_GREATEST_FIXPOINT - Static variable in class owl.translations.mastertheorem.Predicates
 
IS_LEAST_FIXPOINT - Static variable in class owl.translations.mastertheorem.Predicates
 
isAccepting(int) - Method in class owl.automaton.acceptance.ParityAcceptance
 
isAlmostAll(Formula) - Static method in class owl.ltl.SyntacticFragments
 
isConstant() - Method in class owl.game.output.Aig
 
isCoSafety(Iterable<? extends Formula>) - Static method in class owl.ltl.SyntacticFragments
 
isDetBuchiRecognisable(Formula) - Static method in class owl.ltl.SyntacticFragments
 
isDetCoBuchiRecognisable(Formula) - Static method in class owl.ltl.SyntacticFragments
 
isDistinct(List<E>) - Static method in class owl.collections.Collections3
 
isEmpty() - Method in class owl.collections.ValuationSet
 
isEmpty() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
 
isEmpty(Automaton<S, ?>) - Static method in class owl.automaton.algorithms.LanguageEmptiness
 
isEmpty(Automaton<S, ?>, S) - Static method in class owl.automaton.algorithms.LanguageEmptiness
 
isFalse() - Method in class owl.ltl.EquivalenceClass
 
isFgSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
 
isFSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
 
isGCoSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
 
isGfCoSafety(Formula) - Static method in class owl.ltl.SyntacticFragments
 
isInfinite(int) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
isInfinitelyOften(Formula) - Static method in class owl.ltl.SyntacticFragments
 
isLeaf() - Method in class owl.game.output.Aig
 
isLeft() - Method in class owl.collections.Either
 
isLiveness() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
 
isLiveness() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
 
isNegated() - Method in class owl.game.output.LabelledAig
 
isNegated() - Method in class owl.ltl.Literal
 
isPureEventual() - Method in class owl.ltl.Biconditional
 
isPureEventual() - Method in class owl.ltl.BinaryModalOperator
 
isPureEventual() - Method in class owl.ltl.BooleanConstant
 
isPureEventual() - Method in class owl.ltl.FOperator
 
isPureEventual() - Method in class 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.PropositionalFormula
 
isPureEventual() - Method in class owl.ltl.XOperator
 
isPureUniversal() - Method in class owl.ltl.Biconditional
 
isPureUniversal() - Method in class owl.ltl.BinaryModalOperator
 
isPureUniversal() - Method in class owl.ltl.BooleanConstant
 
isPureUniversal() - Method in class owl.ltl.FOperator
 
isPureUniversal() - Method in class 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.PropositionalFormula
 
isPureUniversal() - Method in class owl.ltl.XOperator
 
isRight() - Method in class owl.collections.Either
 
isSafety() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
 
isSafety() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
 
isSafety(Iterable<? extends Formula>) - Static method in class owl.ltl.SyntacticFragments
 
isSatisfiable(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
 
isShutdown() - Method in interface owl.run.Environment
Whether the computation has finished.
isSuspendable() - Method in class owl.ltl.Formula
 
isTransient(SuccessorFunction<S>, Set<S>) - Static method in class owl.automaton.algorithms.SccDecomposition
 
isTrap(Automaton<S, ?>, Set<S>) - Static method in class owl.automaton.algorithms.SccDecomposition
Determines whether the given set of states is a BSCC in the given automaton.
isTrue() - Method in class owl.ltl.EquivalenceClass
 
isUniversal(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
 
isUniverse() - Method in class owl.collections.ValuationSet
 
isUnsatisfiable(Formula) - Static method in class owl.ltl.algorithms.LanguageAnalysis
 
isVariable() - Method in class owl.game.output.Aig
 
isWellFormedAutomaton(Automaton<S, ?>) - Method in class owl.automaton.acceptance.OmegaAcceptance
 
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.AllAcceptance
 
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.CoBuchiAcceptance
 
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
 
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.NoneAcceptance
 
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.OmegaAcceptance
This method determines if the given edge is a well defined edge for this acceptance condition.
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.ParityAcceptance
 
isWellFormedEdge(Edge<?>) - Method in class owl.automaton.acceptance.RabinAcceptance
 

J

JBddSupplier - Class in owl.factories.jbdd
 
join(String...) - Static method in class owl.util.StringUtil
 

L

LabelledAig - Class in owl.game.output
 
LabelledAig() - Constructor for class owl.game.output.LabelledAig
 
LabelledFormula - Class in owl.ltl
 
LabelledFormula() - Constructor for class owl.ltl.LabelledFormula
 
LabelledSplit - Class in owl.ltl.robust
 
LabelledSplit() - Constructor for class owl.ltl.robust.LabelledSplit
 
LabelledTree<L1,​L2> - Class in owl.collections
 
LabelledTree.Leaf<L1,​L2> - Class in owl.collections
 
LabelledTree.Node<L1,​L2> - Class in owl.collections
 
language() - Method in class owl.ltl.EquivalenceClass
 
language() - Method in interface owl.ltl.LtlLanguageExpressible
 
language() - Method in class owl.translations.ltl2ldba.AsymmetricProductState
 
language() - Method in class owl.translations.ltl2ldba.SymmetricProductState
 
language() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
 
language() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
 
LanguageAnalysis - Class in owl.ltl.algorithms
 
LanguageContainment - Class in owl.automaton.algorithms
 
LanguageEmptiness - Class in owl.automaton.algorithms
 
LanguageMembership - Class in owl.automaton.algorithms
 
largestAcceptanceSet() - Method in class owl.automaton.edge.Edge
Returns the largest acceptance set this edge is a member of, or -1 if none.
LatexPrintVisitor - Class in owl.ltl.visitors
 
LatexPrintVisitor(List<String>) - Constructor for class owl.ltl.visitors.LatexPrintVisitor
 
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() - Constructor for class owl.translations.nba2ldba.NBA2LDBA.LDBA
 
ldbaSplit(Automaton<S, B>) - Static method in class owl.automaton.AutomatonUtil
 
LDQUOTE - Static variable in class owl.grammar.LTLLexer
 
LDQUOTE - Static variable in class owl.grammar.LTLParser
 
LDQUOTE() - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
 
LE - Static variable in class owl.grammar.LTLLexer
 
LE - Static variable in class owl.grammar.LTLParser
 
LE() - Method in class owl.grammar.LTLParser.ComparisonContext
 
leaf(int) - Static method in class owl.game.output.Aig
 
Leaf(L2) - Constructor for class owl.collections.LabelledTree.Leaf
 
leastFixpoints() - Method in class owl.translations.mastertheorem.Fixpoints
 
leavesStream() - Method in class owl.collections.LabelledTree.Leaf
 
leavesStream() - Method in class owl.collections.LabelledTree
 
leavesStream() - Method in class owl.collections.LabelledTree.Node
 
left - Variable in class owl.grammar.LTLParser.BinaryOperationContext
 
left - Variable in class owl.ltl.Biconditional
 
left - Variable in class owl.ltl.BinaryModalOperator
 
left() - Method in class owl.game.output.Aig
 
left(A) - Static method in class owl.collections.Either
 
leftIsNegated() - Method in class owl.game.output.Aig
 
LegacyFactory - Class in owl.translations.canonical
Deprecated.
LegacyFactory(Factories) - Constructor for class owl.translations.canonical.LegacyFactory
Deprecated.
 
limes - Variable in class owl.grammar.LTLParser.FrequencyOpContext
 
limes - Variable in class owl.ltl.FrequencyG
 
LIMIT_DETERMINISTIC - owl.automaton.Automaton.Property
 
Literal - Class in owl.ltl
 
LiteralMapper - Class in owl.ltl.rewriter
 
LiteralMapper.ShiftedFormula - Class in owl.ltl.rewriter
 
liveness - Variable in class owl.translations.ltl2ldba.SymmetricProductState
 
liveness - Variable in class owl.translations.ltl2nba.ProductState
 
LPAREN - Static variable in class owl.grammar.LTLLexer
 
LPAREN - Static variable in class owl.grammar.LTLParser
 
LPAREN() - Method in class owl.grammar.LTLParser.NestedContext
 
LSQUOTE - Static variable in class owl.grammar.LTLLexer
 
LSQUOTE - Static variable in class owl.grammar.LTLParser
 
LSQUOTE() - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
 
LT - Static variable in class owl.grammar.LTLLexer
 
LT - Static variable in class owl.grammar.LTLParser
 
LT() - Method in class owl.grammar.LTLParser.ComparisonContext
 
LTL - Static variable in class owl.run.modules.InputReaders
 
LTL_CLI - Static variable in class owl.run.modules.InputReaders
 
LTL_SIMPLIFIER - Static variable in class owl.run.modules.Transformers
 
LTL2DAFunction - Class in owl.translations
 
LTL2DAFunction(Environment) - Constructor for class owl.translations.LTL2DAFunction
 
LTL2DAFunction(Environment, boolean, EnumSet<LTL2DAFunction.Constructions>) - Constructor for class owl.translations.LTL2DAFunction
 
LTL2DAFunction.Constructions - Enum in owl.translations
 
LTL2DAModule - Class in owl.translations.modules
 
LTL2DGRAModule - Class in owl.translations.modules
 
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
 
LTL2DPAModule - Class in owl.translations.modules
 
LTL2DRAModule - Class in owl.translations.modules
 
LTL2LDBAModule - Class in owl.translations.modules
 
LTL2LDGBAModule - Class in owl.translations.modules
 
LTL2NAFunction - Class in owl.translations
 
LTL2NAFunction(Environment) - Constructor for class owl.translations.LTL2NAFunction
 
LTL2NAFunction(Environment, EnumSet<LTL2NAFunction.Constructions>) - Constructor for class owl.translations.LTL2NAFunction
 
LTL2NAFunction.Constructions - Enum in owl.translations
 
LTL2NAModule - Class in owl.translations.modules
 
LTL2NBAModule - Class in owl.translations.modules
 
LTL2NGBAModule - Class in owl.translations.modules
 
LtlLanguageExpressible - Interface in owl.ltl
 
LTLLexer - Class in owl.grammar
 
LTLLexer(CharStream) - Constructor for class owl.grammar.LTLLexer
 
LtlParser - Class in owl.ltl.parser
 
LTLParser - Class in owl.grammar
 
LTLParser(TokenStream) - Constructor for class owl.grammar.LTLParser
 
LTLParser.AndExpressionContext - Class in owl.grammar
 
LTLParser.AtomExpressionContext - Class in owl.grammar
 
LTLParser.BinaryExpressionContext - Class in owl.grammar
 
LTLParser.BinaryOpContext - Class in owl.grammar
 
LTLParser.BinaryOperationContext - Class in owl.grammar
 
LTLParser.BinaryUnaryContext - Class in owl.grammar
 
LTLParser.BoolContext - Class in owl.grammar
 
LTLParser.BooleanContext - Class in owl.grammar
 
LTLParser.ComparisonContext - Class in owl.grammar
 
LTLParser.DoubleQuotedVariableContext - Class in owl.grammar
 
LTLParser.ExpressionContext - Class in owl.grammar
 
LTLParser.FormulaContext - Class in owl.grammar
 
LTLParser.FractionContext - Class in owl.grammar
 
LTLParser.FrequencyOpContext - Class in owl.grammar
 
LTLParser.FrequencySpecContext - Class in owl.grammar
 
LTLParser.NestedContext - Class in owl.grammar
 
LTLParser.OrExpressionContext - Class in owl.grammar
 
LTLParser.ProbabilityContext - Class in owl.grammar
 
LTLParser.SingleQuotedVariableContext - Class in owl.grammar
 
LTLParser.UnaryAtomContext - Class in owl.grammar
 
LTLParser.UnaryExpressionContext - Class in owl.grammar
 
LTLParser.UnaryOpContext - Class in owl.grammar
 
LTLParser.UnaryOperationContext - Class in owl.grammar
 
LTLParser.VariableContext - Class in owl.grammar
 
LTLParserBaseListener - Class in owl.grammar
This class provides an empty implementation of LTLParserListener, which can be extended to create a listener which only needs to handle a subset of the available methods.
LTLParserBaseListener() - Constructor for class owl.grammar.LTLParserBaseListener
 
LTLParserBaseVisitor<T> - Class in owl.grammar
This class provides an empty implementation of LTLParserVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.
LTLParserBaseVisitor() - Constructor for class owl.grammar.LTLParserBaseVisitor
 
LTLParserListener - Interface in owl.grammar
This interface defines a complete listener for a parse tree produced by LTLParser.
LTLParserVisitor<T> - Interface in owl.grammar
This interface defines a complete generic visitor for a parse tree produced by LTLParser.

M

main(String...) - Static method in class owl.run.DefaultCli
 
main(String...) - Static method in class owl.run.ServerCli
 
main(String...) - Static method in class owl.translations.delag.DelagBuilder
 
main(String...) - Static method in class owl.translations.dra2dpa.IARBuilder
 
main(String...) - Static method in class owl.translations.fgx2dpa.FGX2DPA
 
main(String...) - Static method in class owl.translations.modules.LTL2DAModule
 
main(String...) - Static method in class owl.translations.modules.LTL2DGRAModule
 
main(String...) - Static method in class owl.translations.modules.LTL2DPAModule
 
main(String...) - Static method in class owl.translations.modules.LTL2DRAModule
 
main(String...) - Static method in class owl.translations.modules.LTL2LDBAModule
 
main(String...) - Static method in class owl.translations.modules.LTL2LDGBAModule
 
main(String...) - Static method in class owl.translations.modules.LTL2NAModule
 
main(String...) - Static method in class owl.translations.modules.LTL2NBAModule
 
main(String...) - Static method in class owl.translations.modules.LTL2NGBAModule
 
main(String...) - Static method in class owl.translations.nba2dpa.NBA2DPA
 
main(String...) - Static method in class owl.translations.nba2ldba.NBA2LDBA
 
main(String...) - Static method in class owl.translations.Synthesis
 
map(Function<? super Set<E>, ? extends Collection<? extends T>>) - Method in class owl.collections.ValuationTree
 
map(Function<? super Formula, ? extends T>) - Method in class owl.ltl.PropositionalFormula
 
map(UnaryOperator<Formula>) - Method in class owl.ltl.robust.LabelledSplit
 
map(UnaryOperator<Formula>) - Method in class owl.ltl.robust.Split
 
map(UnaryOperator<Formula>, boolean) - Method in class owl.ltl.robust.Split
 
mapping - Variable in class owl.ltl.rewriter.LiteralMapper.ShiftedFormula
 
masterState() - Method in class owl.translations.rabinizer.RabinizerState
 
max() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
MAX_EVEN - owl.automaton.acceptance.ParityAcceptance.Parity
 
MAX_ODD - owl.automaton.acceptance.ParityAcceptance.Parity
 
maximalElements(List<E>, BiPredicate<E, E>) - Static method in class owl.collections.Collections3
Computes a sub-list of elements which are maximal.
maxString() - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
memoizedInverse(ValuationSetFactory, Map<ValuationTree<E>, Map<E, ValuationSet>>) - Method in class owl.collections.ValuationTree.Leaf
 
memoizedInverse(ValuationSetFactory, Map<ValuationTree<E>, Map<E, ValuationSet>>) - Method in class owl.collections.ValuationTree
 
memoizedInverse(ValuationSetFactory, Map<ValuationTree<E>, Map<E, ValuationSet>>) - Method in class owl.collections.ValuationTree.Node
 
memoizedMap(Function<? super Set<E>, ? extends Collection<? extends T>>, Map<ValuationTree<E>, ValuationTree<T>>) - Method in class owl.collections.ValuationTree.Leaf
 
memoizedMap(Function<? super Set<E>, ? extends Collection<? extends T>>, Map<ValuationTree<E>, ValuationTree<T>>) - Method in class owl.collections.ValuationTree
 
memoizedMap(Function<? super Set<E>, ? extends Collection<? extends T>>, Map<ValuationTree<E>, ValuationTree<T>>) - Method in class owl.collections.ValuationTree.Node
 
mergeBuchiTypePairs(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
 
metaWriter() - Method in interface owl.run.PipelineExecutionContext
The destination for any meta information obtained during execution.
MIN_EVEN - owl.automaton.acceptance.ParityAcceptance.Parity
 
MIN_ODD - owl.automaton.acceptance.ParityAcceptance.Parity
 
minimizeEdgeImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
Remove all Inf edges which are implied by another Inf index of the same pair.
minimizeMergePairs(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
Merge independent pairs.
minimizeOverlap(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
Remove edges in a Fin set from all corresponding Inf sets.
minimizePairImplications(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
Delete all pairs which only accept if another pair accepts.
minimizePriorities(MutableAutomaton<S, ParityAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.ParityAcceptanceOptimizations
 
MINIMIZER - Static variable in class owl.run.modules.Transformers
 
minimizeSccIrrelevant(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
- Remove all indices from edges of an SCC which can't accept (e.g.
minus(ValuationSet, ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
mkFin(int) - Static method in class owl.automaton.acceptance.BooleanExpressions
 
mkInf(int) - Static method in class owl.automaton.acceptance.BooleanExpressions
 
modalOperators() - Method in class owl.ltl.EquivalenceClass
modalOperators(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
Compute the support of the EquivalenceClass.
modeNames - Static variable in class owl.grammar.LTLLexer
 
ModuleParseException(ParseException, OwlModuleParser<?>) - Constructor for exception owl.run.parser.PipelineParser.ModuleParseException
 
Monitor<F extends UnaryModalOperator> - Class in owl.translations.fgx2dpa
 
Monitor() - Constructor for class owl.translations.fgx2dpa.Monitor
 
monitorStates() - Method in class owl.translations.rabinizer.RabinizerState
 
MOperator - Class in owl.ltl
Strong Release.
MOperator(Formula, Formula) - Constructor for class owl.ltl.MOperator
 
moveAtoB(A) - Method in class owl.automaton.TwoPartAutomaton
 
MutableAutomaton<S,​A extends OmegaAcceptance> - Interface in owl.automaton
A mutation interface extending Automaton.
MutableAutomatonFactory - Class in owl.automaton
 
MutableAutomatonUtil - Class in owl.automaton
 
MutableAutomatonUtil.Sink - Class in owl.automaton
 

N

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

O

of() - Static method in class owl.collections.UpwardClosedSet
 
of() - Static method in class owl.collections.ValuationTree
 
of(boolean) - Static method in class owl.ltl.BooleanConstant
 
of(boolean, boolean) - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
of(int) - Static method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
of(int) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
of(int) - Static method in class owl.automaton.acceptance.RabinAcceptance
 
of(int) - Method in interface owl.factories.ValuationSetFactory
 
of(int) - Static method in class owl.ltl.Literal
 
of(int, boolean) - Static method in class owl.ltl.Literal
 
of(int, E) - Static method in class owl.translations.canonical.RoundRobinState
 
of(int, ValuationTree<E>, ValuationTree<E>) - Static method in class owl.collections.ValuationTree
 
of(E, E) - Static method in class owl.translations.canonical.BreakpointState
 
of(F) - Static method in class owl.translations.fgx2dpa.Monitor
 
of(F, Set<Formula>) - Static method in class owl.translations.fgx2dpa.Monitor
 
of(Iterable<? extends Formula>) - Static method in class owl.ltl.Conjunction
 
of(Iterable<? extends Formula>) - Static method in class owl.ltl.Disjunction
 
of(BitSet) - Static method in class owl.collections.UpwardClosedSet
 
of(BitSet) - Method in interface owl.factories.ValuationSetFactory
 
of(BitSet, BitSet) - Method in interface owl.factories.ValuationSetFactory
 
of(Collection<? extends E>) - Static method in class owl.collections.ValuationTree
 
of(Collection<? extends Formula.ModalOperator>) - Static method in class owl.translations.mastertheorem.Fixpoints
 
of(Collection<? extends Formula.ModalOperator>, Collection<? extends Formula.ModalOperator>) - Static method in class owl.translations.mastertheorem.Fixpoints
 
of(Iterator<? extends Formula>) - Static method in class owl.ltl.Conjunction
 
of(Iterator<? extends Formula>) - Static method in class owl.ltl.Disjunction
 
of(List<GeneralizedRabinAcceptance.RabinPair>) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
of(List<GeneralizedRabinAcceptance.RabinPair>) - Static method in class owl.automaton.acceptance.RabinAcceptance
 
of(Set<GOperator>, List<FOperator>) - Static method in class owl.translations.fgx2dpa.PromisedSet
 
of(Set<GOperator>, List<FOperator>, Formula) - Static method in class owl.translations.fgx2dpa.PromisedSet
 
of(Stream<? extends Formula>) - Static method in class owl.ltl.Conjunction
 
of(Stream<? extends Formula>) - Static method in class owl.ltl.Disjunction
 
of(BooleanExpression<AtomAcceptance>) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
of(BooleanExpression<AtomAcceptance>) - Static method in class owl.automaton.acceptance.RabinAcceptance
 
of(BooleanExpression<AtomLabel>, IntUnaryOperator) - Method in interface owl.factories.ValuationSetFactory
 
of(GeneralizedRabinAcceptance.RabinPair...) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
of(GeneralizedRabinAcceptance.RabinPair...) - Static method in class owl.automaton.acceptance.RabinAcceptance
 
of(Aig) - Static method in class owl.game.output.LabelledAig
 
of(Aig, boolean) - Static method in class owl.game.output.LabelledAig
 
of(Formula) - Method in interface owl.factories.EquivalenceClassFactory
 
of(Formula) - Static method in class owl.ltl.FOperator
Construct a LTL-equivalent formula for F(operand).
of(Formula) - Static method in class owl.ltl.GOperator
Construct a LTL-equivalent formula for G(operand).
of(Formula) - Static method in class owl.ltl.XOperator
Construct a LTL-equivalent formula for X(operand).
of(Formula...) - Static method in class owl.ltl.Conjunction
 
of(Formula...) - Static method in class owl.ltl.Disjunction
 
of(Formula, boolean, boolean, int) - Static method in class owl.cinterface.DecomposedDPA
 
of(Formula, int) - Static method in class owl.ltl.XOperator
Construct a LTL-equivalent formula for X^n(operand).
of(Formula, List<String>) - Static method in class owl.ltl.LabelledFormula
 
of(Formula, List<String>, BitSet) - Static method in class owl.ltl.LabelledFormula
 
of(Formula, List<String>, Set<String>) - Static method in class owl.ltl.LabelledFormula
 
of(Formula, Formula) - Static method in class owl.ltl.Biconditional
Construct a LTL-equivalent formula for (leftOperand)<->(rightOperand).
of(Formula, Formula) - Static method in class owl.ltl.Conjunction
 
of(Formula, Formula) - Static method in class owl.ltl.Disjunction
 
of(Formula, Formula) - Static method in class owl.ltl.MOperator
Construct a LTL-equivalent formula for (leftOperand)M(rightOperand).
of(Formula, Formula) - Static method in class owl.ltl.ROperator
Construct a LTL-equivalent formula for (leftOperand)R(rightOperand).
of(Formula, Formula) - Static method in class owl.ltl.UOperator
Construct a LTL-equivalent formula for (leftOperand)U(rightOperand).
of(Formula, Formula) - Static method in class owl.ltl.WOperator
Construct a LTL-equivalent formula for (leftOperand)W(rightOperand).
of(LabelledFormula) - Static method in class owl.cinterface.DeterministicAutomaton
 
of(Split, List<String>) - Static method in class owl.ltl.robust.LabelledSplit
 
of(Environment, Class<? extends B>) - Static method in class owl.translations.ltl2ldba.AsymmetricLDBAConstruction
 
of(Environment, Class<? extends B>) - Static method in class owl.translations.ltl2ldba.SymmetricLDBAConstruction
 
of(Environment, Class<? extends R>, boolean) - Static method in class owl.translations.ltl2dra.SymmetricDRAConstruction
 
of(Environment, Class<B>) - Static method in class owl.translations.ltl2nba.SymmetricNBAConstruction
 
of(OwlModuleParser<?>) - Static method in enum owl.run.modules.OwlModuleRegistry.Type
 
of(S) - Static method in class owl.automaton.edge.Edge
Creates an edge which belongs to no acceptance set.
of(S, int) - Static method in class owl.automaton.edge.Edge
Creates an edge which belongs to a single acceptance set.
of(S, BitSet) - Static method in class owl.automaton.edge.Edge
Creates an edge which belongs to the specified acceptance sets.
ofGeneralized(int, int) - Static method in class owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair
 
ofNullable(E) - Static method in class owl.collections.Collections3
 
OmegaAcceptance - Class in owl.automaton.acceptance
 
OmegaAcceptance() - Constructor for class owl.automaton.acceptance.OmegaAcceptance
 
OmegaAcceptanceOptimizations - Class in owl.automaton.acceptance.optimizations
 
onlyInitialState() - Method in class owl.automaton.AbstractImplicitAutomaton
 
onlyInitialState() - Method in interface owl.automaton.Automaton
Returns the initial state.
onlyInitialState() - Method in class owl.translations.canonical.DeterministicConstructions.GCoSafety
 
onlyInitialState() - Method in class owl.translations.canonical.DeterministicConstructions.GfCoSafety
 
onlyInitialState() - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
 
onlyInitialState() - Method in class owl.translations.canonical.LegacyFactory
Deprecated.
 
onlyInitialStateWithRemainder(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Safety
 
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
 
OPERATOR - Static variable in class owl.ltl.rewriter.PullUpXVisitor
 
operatorSymbol() - Method in class owl.ltl.BinaryModalOperator
 
operatorSymbol() - Method in class owl.ltl.Conjunction
 
operatorSymbol() - Method in class owl.ltl.Disjunction
 
operatorSymbol() - Method in class owl.ltl.FOperator
 
operatorSymbol() - Method in class owl.ltl.FrequencyG
 
operatorSymbol() - Method in class owl.ltl.GOperator
 
operatorSymbol() - Method in class owl.ltl.MOperator
 
operatorSymbol() - Method in class owl.ltl.PropositionalFormula
 
operatorSymbol() - Method in class owl.ltl.ROperator
 
operatorSymbol() - Method in class owl.ltl.UnaryModalOperator
 
operatorSymbol() - Method in class owl.ltl.UOperator
 
operatorSymbol() - Method in class owl.ltl.WOperator
 
operatorSymbol() - Method in class owl.ltl.XOperator
 
opponent() - Method in enum owl.game.Game.Owner
 
OPTIMISE_INITIAL_STATE - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
 
optimize(Automaton<S, A>) - Static method in class owl.automaton.acceptance.optimizations.AcceptanceOptimizations
 
optimizeInitialState(Automaton<S, A>) - Static method in class owl.automaton.util.AnnotatedStateOptimisation
Selects a state within the automaton as a new initial state such that the resulting automaton is smaller in size and the new initial state share the same value for AnnotatedState.state().
or - Variable in class owl.grammar.LTLParser.ExpressionContext
 
or(EquivalenceClass) - Method in class owl.ltl.EquivalenceClass
OR - Static variable in class owl.grammar.LTLLexer
 
OR - Static variable in class owl.grammar.LTLParser
 
OR() - Method in class owl.grammar.LTLParser.OrExpressionContext
 
OR(int) - Method in class owl.grammar.LTLParser.OrExpressionContext
 
orExpression() - Method in class owl.grammar.LTLParser.ExpressionContext
 
orExpression() - Method in class owl.grammar.LTLParser
 
OrExpressionContext(ParserRuleContext, int) - Constructor for class owl.grammar.LTLParser.OrExpressionContext
 
output() - Method in class owl.run.Pipeline
 
OutputWriter - Interface in owl.run.modules
The final piece of every pipeline, formatting the produced results and writing them on some output.
OutputWriter.Binding - Interface in owl.run.modules
 
OutputWriters - Class in owl.run.modules
 
OutputWriters.AutomatonStats - Class in owl.run.modules
 
OutputWriters.ToHoa - Class in owl.run.modules
Converts any HOA printable object to its corresponding HOA representation.
owl.automaton - package owl.automaton
This package and its subpackages contain the infrastructure for omega automata.
owl.automaton.acceptance - package owl.automaton.acceptance
 
owl.automaton.acceptance.optimizations - package owl.automaton.acceptance.optimizations
 
owl.automaton.algorithms - package owl.automaton.algorithms
 
owl.automaton.edge - package owl.automaton.edge
 
owl.automaton.output - package owl.automaton.output
 
owl.automaton.transformations - package owl.automaton.transformations
 
owl.automaton.util - package owl.automaton.util
 
owl.cinterface - package owl.cinterface
 
owl.collections - package owl.collections
 
owl.factories - package owl.factories
 
owl.factories.jbdd - package owl.factories.jbdd
 
owl.game - package owl.game
 
owl.game.algorithms - package owl.game.algorithms
 
owl.game.output - package owl.game.output
 
owl.grammar - package owl.grammar
 
owl.ltl - package owl.ltl
 
owl.ltl.algorithms - package owl.ltl.algorithms
 
owl.ltl.parser - package owl.ltl.parser
 
owl.ltl.rewriter - package owl.ltl.rewriter
 
owl.ltl.robust - package owl.ltl.robust
Implements parsing of rLTL and conversion to LTL.
owl.ltl.util - package owl.ltl.util
 
owl.ltl.visitors - package owl.ltl.visitors
 
owl.run - package owl.run
This package (and it's sub-packages) contains a flexible infrastructure for executing various translation chains and obtaining these translation chains from the command line.
owl.run.modules - package owl.run.modules
 
owl.run.parser - package owl.run.parser
 
owl.translations - package owl.translations
 
owl.translations.canonical - package owl.translations.canonical
 
owl.translations.delag - package owl.translations.delag
 
owl.translations.dpa2safety - package owl.translations.dpa2safety
 
owl.translations.dra2dpa - package owl.translations.dra2dpa
 
owl.translations.fgx2dpa - package owl.translations.fgx2dpa
 
owl.translations.ltl2dpa - package owl.translations.ltl2dpa
 
owl.translations.ltl2dra - package owl.translations.ltl2dra
 
owl.translations.ltl2ldba - package owl.translations.ltl2ldba
 
owl.translations.ltl2nba - package owl.translations.ltl2nba
 
owl.translations.mastertheorem - package owl.translations.mastertheorem
 
owl.translations.modules - package owl.translations.modules
 
owl.translations.nba2dpa - package owl.translations.nba2dpa
 
owl.translations.nba2ldba - package owl.translations.nba2ldba
 
owl.translations.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

pairs() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
Returns an unmodifiable view of the pair collection.
parity() - Method in class owl.automaton.acceptance.ParityAcceptance
 
PARITY - owl.translations.LTL2DAFunction.Constructions
 
ParityAcceptance - Class in owl.automaton.acceptance
 
ParityAcceptance(int, ParityAcceptance.Parity) - Constructor for class owl.automaton.acceptance.ParityAcceptance
 
ParityAcceptance.Parity - Enum in owl.automaton.acceptance
 
ParityAcceptanceOptimizations - Class in owl.automaton.acceptance.optimizations
 
ParityGameSolver - Class in owl.game.algorithms
 
ParityUtil - Class in owl.automaton.transformations
 
parse(InputStream) - Static method in class owl.ltl.parser.LtlParser
 
parse(InputStream) - Static method in class owl.ltl.robust.RobustLtlParser
 
parse(String) - Static method in class owl.ltl.parser.LtlParser
 
parse(String) - Static method in class owl.ltl.robust.RobustLtlParser
 
parse(String[], CommandLineParser, Options, OwlModuleRegistry) - Static method in class owl.run.parser.OwlParser
 
parse(String, List<String>) - Static method in class owl.ltl.parser.LtlParser
 
parse(List<PipelineParser.ModuleDescription>, CommandLineParser, OwlModuleRegistry) - Static method in class owl.run.parser.PipelineParser
Parses the given command line with the given registry.
parse(CommandLine) - Method in class owl.ltl.robust.RobustLtlInputReader
 
parse(CommandLine) - Method in interface owl.run.modules.OwlModuleParser
 
parse(CommandLine) - Method in class owl.translations.modules.LTL2DGRAModule
 
parse(CommandLine) - Method in class owl.translations.modules.LTL2DPAModule
 
parse(CommandLine) - Method in class owl.translations.modules.LTL2DRAModule
 
parse(CommandLine) - Method in class owl.translations.modules.LTL2LDBAModule
 
parse(CommandLine) - Method in class owl.translations.modules.LTL2LDGBAModule
 
parse(CommandLine) - Method in class owl.translations.modules.LTL2NBAModule
 
parse(CommandLine) - Method in class owl.translations.modules.LTL2NGBAModule
 
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
 
partition(Collection<E>, BiPredicate<E, E>) - Static method in class owl.collections.Collections3
Partition the elements using the given relation.
period - Variable in class owl.automaton.UltimatelyPeriodicWord
 
PG_SOLVER_CLI - Static variable in class owl.game.GameUtil
 
pipeline - Variable in class owl.run.parser.OwlParser
 
Pipeline - Class in owl.run
 
Pipeline() - Constructor for class owl.run.Pipeline
 
PipelineException - Exception in owl.run
 
PipelineException(String, Throwable) - Constructor for exception owl.run.PipelineException
 
PipelineExecutionContext - Interface in owl.run
Holds information about an execution originating from a particular input.
PipelineParser - Class in owl.run.parser
Utility class used to parse a pipeline description based on a registry.
PipelineParser.ModuleParseException - Exception in owl.run.parser
 
PipelineRunner - Class in owl.run
Helper class to execute a specific pipeline with created input and output streams.
PLAYER_1 - owl.game.Game.Owner
This player wants to dissatisfy the acceptance condition.
PLAYER_2 - owl.game.Game.Owner
This player wants to satisfy the acceptance condition.
player1Variables() - Method in class owl.ltl.LabelledFormula
 
POS_NUMBER - Static variable in class owl.grammar.LTLLexer
 
POS_NUMBER - Static variable in class owl.grammar.LTLParser
 
POS_NUMBER() - Method in class owl.grammar.LTLParser.FractionContext
 
POS_NUMBER(int) - Method in class owl.grammar.LTLParser.FractionContext
 
predecessors(S) - Method in interface owl.automaton.Automaton
Returns the predecessors of the specified successor.
Predicates - Class in owl.translations.mastertheorem
 
preferredEdgeAccess() - Method in interface owl.automaton.Automaton
Indicate if the automaton implements a fast (e.g.
preferredEdgeAccess() - Method in interface owl.automaton.EdgeMapAutomatonMixin
 
preferredEdgeAccess() - Method in interface owl.automaton.EdgesAutomatonMixin
 
preferredEdgeAccess() - Method in interface owl.automaton.EdgeTreeAutomatonMixin
 
preferredEdgeAccess() - Method in class owl.automaton.Views.AutomatonView
 
prefix - Variable in class owl.automaton.UltimatelyPeriodicWord
 
print(OutputStream) - Method in class owl.game.output.AigerPrinter
 
print(PrintWriter) - Method in class owl.game.output.AigerPrinter
 
PrintVisitor - Class in owl.ltl.visitors
 
prob - Variable in class owl.grammar.LTLParser.FrequencyOpContext
 
PROBABILITY - Static variable in class owl.grammar.LTLLexer
 
PROBABILITY - Static variable in class owl.grammar.LTLParser
 
PROBABILITY() - Method in class owl.grammar.LTLParser.ProbabilityContext
 
ProbabilityContext(LTLParser.FrequencySpecContext) - Constructor for class owl.grammar.LTLParser.ProbabilityContext
 
ProductState - Class in owl.translations.ltl2nba
 
PromisedSet - Class in owl.translations.fgx2dpa
 
PromisedSet() - Constructor for class owl.translations.fgx2dpa.PromisedSet
 
propagate(ExecutionException) - Static method in exception owl.run.PipelineException
 
PropositionalFormula - Class in owl.ltl
 
PropositionalIntVisitor - Class in owl.ltl.visitors
Visitor skeleton implementation that views the formula as propositional formula.
PropositionalIntVisitor() - Constructor for class owl.ltl.visitors.PropositionalIntVisitor
 
PropositionalVisitor<T> - Class in owl.ltl.visitors
Visitor skeleton implementation that views the formula as propositional formula.
PropositionalVisitor() - Constructor for class owl.ltl.visitors.PropositionalVisitor
 
PULL_UP_X - owl.ltl.rewriter.SimplifierFactory.Mode
 
PullUpXVisitor - Class in owl.ltl.rewriter
 
PullUpXVisitor() - Constructor for class owl.ltl.rewriter.PullUpXVisitor
 
PullUpXVisitor.XFormula - Class in owl.ltl.rewriter
 
PUSH_DOWN_X - owl.ltl.rewriter.SimplifierFactory.Mode
 

Q

qualityScore(int, int) - Method in class owl.cinterface.DeterministicAutomaton
 
query(int...) - Method in class owl.cinterface.DecomposedDPA
 

R

RABIN - owl.translations.LTL2DAFunction.Constructions
 
RABIN_DEGENERALIZATION - Static variable in class owl.run.modules.Transformers
 
RABIN_TO_PARITY - Static variable in class owl.run.modules.Transformers
 
RabinAcceptance - Class in owl.automaton.acceptance
This class represents a Rabin acceptance.
RabinAcceptance.Builder - Class in owl.automaton.acceptance
 
RabinDegeneralization - Class in owl.automaton.transformations
 
RabinDegeneralization() - Constructor for class owl.automaton.transformations.RabinDegeneralization
 
RabinizerBuilder - Class in owl.translations.rabinizer
Central class handling the Rabinizer construction.
RabinizerConfiguration - Class in owl.translations.rabinizer
 
RabinizerConfiguration() - Constructor for class owl.translations.rabinizer.RabinizerConfiguration
 
RabinizerState - Class in owl.translations.rabinizer
 
RabinizerState() - Constructor for class owl.translations.rabinizer.RabinizerState
 
RankingState<S> - Class in owl.translations.nba2dpa
 
RankingState() - Constructor for class owl.translations.nba2dpa.RankingState
 
rawFormula() - Method in class owl.ltl.rewriter.PullUpXVisitor.XFormula
 
RCPAREN - Static variable in class owl.grammar.LTLLexer
 
RCPAREN - Static variable in class owl.grammar.LTLParser
 
RCPAREN() - Method in class owl.grammar.LTLParser.FrequencyOpContext
 
RDQUOTE - Static variable in class owl.grammar.LTLLexer
 
RDQUOTE - Static variable in class owl.grammar.LTLParser
 
RDQUOTE() - Method in class owl.grammar.LTLParser.DoubleQuotedVariableContext
 
reader(String) - Method in class owl.run.modules.OwlModuleRegistry
 
reader(InputReader) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
 
reader(OwlModuleParser.ReaderParser) - Method in class owl.run.parser.PartialModuleConfiguration.Constructor
 
READER - owl.run.modules.OwlModuleRegistry.Type
 
readHoa(Reader, Function<List<String>, ValuationSetFactory>) - Static method in class owl.automaton.AutomatonReader
 
readHoa(Reader, Function<List<String>, ValuationSetFactory>, Class<A>) - Static method in class owl.automaton.AutomatonReader
 
readHoa(String, Function<List<String>, ValuationSetFactory>) - Static method in class owl.automaton.AutomatonReader
 
readHoa(String, Function<List<String>, ValuationSetFactory>, Class<A>) - Static method in class owl.automaton.AutomatonReader
 
readHoaStream(Reader, Function<List<String>, ValuationSetFactory>, Consumer<Automaton<AutomatonReader.HoaState, ?>>) - Static method in class owl.automaton.AutomatonReader
 
readHoaStream(String, Function<List<String>, ValuationSetFactory>, Consumer<Automaton<AutomatonReader.HoaState, ?>>) - Static method in class owl.automaton.AutomatonReader
 
RECOMMENDED_ASYMMETRIC_CONFIG - Static variable in class owl.translations.ltl2dpa.LTL2DPAFunction
 
RECOMMENDED_SYMMETRIC_CONFIG - Static variable in class owl.translations.ltl2dpa.LTL2DPAFunction
 
record() - Method in class owl.translations.dra2dpa.IARState
 
register(OwlModuleParser<?>) - Method in class owl.run.modules.OwlModuleRegistry
 
register(OwlModuleParser<?>...) - Method in class owl.run.modules.OwlModuleRegistry
 
REJECTING - Static variable in class owl.cinterface.DeterministicAutomaton
 
rejectingSet() - Method in class owl.automaton.acceptance.AllAcceptance
 
rejectingSet() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
 
rejectingSet() - Method in class owl.automaton.acceptance.EmersonLeiAcceptance
 
rejectingSet() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
rejectingSet() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
 
rejectingSet() - Method in class owl.automaton.acceptance.NoneAcceptance
 
rejectingSet() - Method in class owl.automaton.acceptance.OmegaAcceptance
 
rejectingSet() - Method in class owl.automaton.acceptance.ParityAcceptance
 
RELEASE - Static variable in class owl.grammar.LTLLexer
 
RELEASE - Static variable in class owl.grammar.LTLParser
 
RELEASE() - Method in class owl.grammar.LTLParser.BinaryOpContext
 
remap(Automaton<S, A>, IntUnaryOperator) - Static method in class owl.automaton.Views
 
remove(String) - Method in class owl.run.modules.OwlModuleRegistry
 
removeComplementaryInfSets(MutableAutomaton<S, GeneralizedRabinAcceptance>) - Static method in class owl.automaton.acceptance.optimizations.GeneralizedRabinAcceptanceOptimizations
Delete all Inf sets which are the complement of their corresponding Fin set.
removeDeadStates(MutableAutomaton<S, ?>) - Static method in class owl.automaton.acceptance.optimizations.AcceptanceOptimizations
Remove states from the automaton that cannot belong to an infinite accepting path.
removeEdge(S, BitSet, S) - Method in interface owl.automaton.MutableAutomaton
Removes all transition from source under valuation to destination.
removeEdge(S, ValuationSet, S) - Method in interface owl.automaton.MutableAutomaton
Removes all transition from source under valuations to destination.
removeInitialState(S) - Method in interface owl.automaton.MutableAutomaton
 
removeState(S) - Method in interface owl.automaton.MutableAutomaton
Removes a state and all transitions involving it from the automaton.
removeStateIf(Predicate<? super S>) - Method in interface owl.automaton.MutableAutomaton
Removes the specified states and all transitions involving them from the automaton.
removeTransientAcceptance(MutableAutomaton<S, ?>) - Static method in class owl.automaton.acceptance.optimizations.OmegaAcceptanceOptimizations
 
replaceInitialState(Automaton<S, A>, Set<S>) - Static method in class owl.automaton.Views
 
replaceInitialStates(Game<S, A>, Set<S>) - Static method in class owl.game.GameViews
 
representative() - Method in class owl.ltl.EquivalenceClass
 
representatives() - Method in class owl.collections.UpwardClosedSet
 
Rewriter - Class in owl.translations.mastertheorem
 
Rewriter() - Constructor for class owl.translations.mastertheorem.Rewriter
 
Rewriter.ToCoSafety - Class in owl.translations.mastertheorem
 
Rewriter.ToSafety - Class in owl.translations.mastertheorem
 
right - Variable in class owl.grammar.LTLParser.BinaryOperationContext
 
right - Variable in class owl.ltl.Biconditional
 
right - Variable in class owl.ltl.BinaryModalOperator
 
right() - Method in class owl.game.output.Aig
 
right(B) - Static method in class owl.collections.Either
 
rightIsNegated() - Method in class owl.game.output.Aig
 
RobustLtlInputReader - Class in owl.ltl.robust
 
RobustLtlParser - Class in owl.ltl.robust
 
Robustness - Enum in owl.ltl.robust
 
root - Variable in class owl.grammar.LTLParser.FormulaContext
 
ROperator - Class in owl.ltl
Weak Release.
ROperator(Formula, Formula) - Constructor for class owl.ltl.ROperator
 
RoundRobinState<E> - Class in owl.translations.canonical
 
RoundRobinState() - Constructor for class owl.translations.canonical.RoundRobinState
 
RPAREN - Static variable in class owl.grammar.LTLLexer
 
RPAREN - Static variable in class owl.grammar.LTLParser
 
RPAREN() - Method in class owl.grammar.LTLParser.NestedContext
 
RSQUOTE - Static variable in class owl.grammar.LTLLexer
 
RSQUOTE - Static variable in class owl.grammar.LTLParser
 
RSQUOTE() - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
 
RULE_andExpression - Static variable in class owl.grammar.LTLParser
 
RULE_atomExpression - Static variable in class owl.grammar.LTLParser
 
RULE_binaryExpression - Static variable in class owl.grammar.LTLParser
 
RULE_binaryOp - Static variable in class owl.grammar.LTLParser
 
RULE_bool - Static variable in class owl.grammar.LTLParser
 
RULE_comparison - Static variable in class owl.grammar.LTLParser
 
RULE_expression - Static variable in class owl.grammar.LTLParser
 
RULE_formula - Static variable in class owl.grammar.LTLParser
 
RULE_frequencyOp - Static variable in class owl.grammar.LTLParser
 
RULE_frequencySpec - Static variable in class owl.grammar.LTLParser
 
RULE_orExpression - Static variable in class owl.grammar.LTLParser
 
RULE_unaryExpression - Static variable in class owl.grammar.LTLParser
 
RULE_unaryOp - Static variable in class owl.grammar.LTLParser
 
ruleNames - Static variable in class owl.grammar.LTLLexer
 
ruleNames - Static variable in class owl.grammar.LTLParser
 
run(Reader, Environment, Consumer<Object>) - Method in interface owl.run.modules.InputReader
 
run(String[], Map<String, PartialModuleConfiguration>, PartialModuleConfiguration) - Static method in class owl.run.parser.PartialConfigurationParser
 
run(String[], PartialModuleConfiguration) - Static method in class owl.run.parser.PartialConfigurationParser
 
run(Pipeline, Environment, ByteChannel, int) - Static method in class owl.run.PipelineRunner
 
run(Pipeline, Environment, ReadableByteChannel, WritableByteChannel, int) - Static method in class owl.run.PipelineRunner
 
RunUtil - Class in owl.run
 

S

safety - Variable in class owl.translations.ltl2ldba.SymmetricProductState
 
safety - Variable in class owl.translations.ltl2nba.ProductState
 
safety(Environment, LabelledFormula) - Static method in class owl.translations.LTL2DAFunction
 
Safety(Factories, boolean, Formula) - Constructor for class owl.translations.canonical.DeterministicConstructions.Safety
 
Safety(Factories, Formula) - Constructor for class owl.translations.canonical.NonDeterministicConstructions.Safety
 
SAFETY - owl.ltl.SyntacticFragment
 
SAFETY - owl.translations.LTL2DAFunction.Constructions
 
SAFETY - owl.translations.LTL2NAFunction.Constructions
 
safetyAutomaton - Variable in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints.DeterministicAutomata
 
safetyAutomaton - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.DeterministicAutomata
 
safetyAutomaton - Variable in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints.NonDeterministicAutomata
 
SafetyAutomaton - Class in owl.translations.fgx2dpa
 
SafetyCoreDetector - Class in owl.translations
 
safetyCoreExists(EquivalenceClass) - Static method in class owl.translations.SafetyCoreDetector
 
SccDecomposition<S> - Class in owl.automaton.algorithms
Finds the SCCs of a given graph / transition system using Tarjan's algorithm.
selectAsymmetric(Formula, boolean) - Static method in class owl.translations.mastertheorem.Selector
 
Selector - Class in owl.translations.mastertheorem
 
selectSymmetric(Formula, boolean) - Static method in class owl.translations.mastertheorem.Selector
 
SEMI_DETERMINISTIC - owl.automaton.Automaton.Property
 
ServerCli - Class in owl.run
 
ServerRunner - Class in owl.run
 
ServerRunner(Pipeline, Supplier<Environment>, int) - Constructor for class owl.run.ServerRunner
 
setEven(boolean) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
setMax(boolean) - Method in enum owl.automaton.acceptance.ParityAcceptance.Parity
 
settings - Variable in exception owl.run.parser.PipelineParser.ModuleParseException
 
shiftLiterals(Formula) - Static method in class owl.ltl.rewriter.LiteralMapper
 
shortCircuit(Formula) - Static method in class owl.ltl.PropositionalFormula
 
shutdown() - Method in interface owl.run.Environment
Called exactly one by the runner, indicating that the computation has ended due to, e.g., input exhaustion or an error.
SimpleTransformer() - Constructor for class owl.run.modules.Transformers.SimpleTransformer
 
simplified() - Method in class owl.translations.mastertheorem.Fixpoints
 
SimplifierFactory - Class in owl.ltl.rewriter
 
SimplifierFactory.Mode - Enum in owl.ltl.rewriter
 
SimplifierTransformer - Class in owl.ltl.rewriter
 
SINGLE_QUOTED - Static variable in class owl.grammar.LTLLexer
 
SINGLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLLexer
 
SINGLE_QUOTED_VARIABLE - Static variable in class owl.grammar.LTLParser
 
SINGLE_QUOTED_VARIABLE() - Method in class owl.grammar.LTLParser.SingleQuotedVariableContext
 
SINGLE_STEP - owl.ltl.SyntacticFragment
 
SingleQuotedVariableContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.SingleQuotedVariableContext
 
singleton(ValuationSetFactory, S, A) - Static method in class owl.automaton.AutomatonFactory
 
singleton(ValuationSetFactory, S, A, BitSet) - Static method in class owl.automaton.AutomatonFactory
 
singleton(ValuationSetFactory, S, A, Set<Integer>) - Static method in class owl.automaton.AutomatonFactory
 
Sink() - Constructor for class owl.automaton.MutableAutomatonUtil.Sink
 
size - Variable in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
 
size() - Method in interface owl.automaton.Automaton
Returns the number of reachable states of this automaton (its cardinality).
SKIP_DEF - Static variable in class owl.grammar.LTLLexer
 
SKIP_DEF - Static variable in class owl.grammar.LTLParser
 
SKIP_FREQ - Static variable in class owl.grammar.LTLLexer
 
SKIP_FREQ - Static variable in class owl.grammar.LTLParser
 
smallestAcceptanceSet() - Method in class owl.automaton.edge.Edge
Returns the largest acceptance set this edge is a member of, or Integer.MAX_VALUE if none.
split(Set<String>) - Method in class owl.ltl.LabelledFormula
 
split(Automaton<S, A>, List<String>) - Static method in class owl.game.GameViews
 
Split - Class in owl.ltl.robust
 
Split() - Constructor for class owl.ltl.robust.Split
 
SRELEASE - Static variable in class owl.grammar.LTLLexer
 
SRELEASE - Static variable in class owl.grammar.LTLParser
 
SRELEASE() - Method in class owl.grammar.LTLParser.BinaryOpContext
 
state() - Method in interface owl.automaton.util.AnnotatedState
 
state() - Method in class owl.game.GameViews.Node
 
state() - Method in class owl.translations.canonical.RoundRobinState
 
state() - Method in class owl.translations.dra2dpa.IARState
 
State<T> - Class in owl.translations.delag
 
stateAnnotation() - Method in class owl.translations.ltl2ldba.AnnotatedLDBA
 
states() - Method in class owl.automaton.AbstractCachedStatesAutomaton
 
states() - Method in interface owl.automaton.Automaton
The set of all from the initial states reachable states in this automaton.
StringUtil - Class in owl.util
 
structure - Variable in class owl.cinterface.DecomposedDPA
 
subformulas(Class<E>) - Method in class owl.ltl.Formula
 
subformulas(Predicate<? super Formula.TemporalOperator>) - Method in class owl.ltl.Formula
 
subformulas(Predicate<? super Formula.TemporalOperator>, Function<? super Formula.TemporalOperator, E>) - Method in class owl.ltl.Formula
 
substitute(Function<? super Formula.ModalOperator, ? extends Formula>) - Method in class owl.ltl.EquivalenceClass
substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Biconditional
 
substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.BooleanConstant
 
substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Conjunction
 
substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Disjunction
 
substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Formula
 
substitute(Function<? super Formula.TemporalOperator, ? extends Formula>) - Method in class owl.ltl.Formula.TemporalOperator
 
substitute(EquivalenceClass, Function<? super Formula.ModalOperator, ? extends Formula>) - Method in interface owl.factories.EquivalenceClassFactory
 
successor() - Method in class owl.automaton.edge.Edge
Get the target state of the edge.
successor(EquivalenceClass, BitSet, EquivalenceClass) - Method in class owl.translations.canonical.LegacyFactory
Deprecated.
 
successor(S, BitSet) - Method in interface owl.automaton.Automaton
Returns the successor of the specified state under the given valuation.
SuccessorFunction<S> - Interface in owl.automaton
 
successors(Set<Edge<S>>) - Static method in class owl.automaton.edge.Edges
 
successors(S) - Method in interface owl.automaton.Automaton
Returns all successors of the specified state.
successors(S) - Method in interface owl.automaton.SuccessorFunction
Returns all successors of the specified state.
successors(S, BitSet) - Method in interface owl.automaton.Automaton
Returns the successors of the specified state under the given valuation.
successorTree(EquivalenceClass) - Method in class owl.translations.canonical.DeterministicConstructions.Tracking
 
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
 
suspendableFormulaDetection() - Method in class owl.translations.rabinizer.RabinizerConfiguration
 
SYMMETRIC - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
 
SymmetricDRAConstruction<R extends GeneralizedRabinAcceptance> - Class in owl.translations.ltl2dra
 
SymmetricEvaluatedFixpoints - Class in owl.translations.mastertheorem
 
SymmetricEvaluatedFixpoints.DeterministicAutomata - Class in owl.translations.mastertheorem
 
SymmetricEvaluatedFixpoints.NonDeterministicAutomata - Class in owl.translations.mastertheorem
 
SymmetricLDBAConstruction<B extends GeneralizedBuchiAcceptance> - Class in owl.translations.ltl2ldba
 
SymmetricNBAConstruction<B extends GeneralizedBuchiAcceptance> - Class in owl.translations.ltl2nba
 
SymmetricProductState - Class in owl.translations.ltl2ldba
 
SYNTACTIC - owl.ltl.rewriter.SimplifierFactory.Mode
 
SYNTACTIC_FAIRNESS - owl.ltl.rewriter.SimplifierFactory.Mode
 
SYNTACTIC_FIXPOINT - owl.ltl.rewriter.SimplifierFactory.Mode
 
SyntacticFragment - Enum in owl.ltl
 
SyntacticFragments - Class in owl.ltl
 
syntax(String) - Static method in class owl.ltl.parser.LtlParser
 
syntax(String, List<String>) - Static method in class owl.ltl.parser.LtlParser
 
syntaxError(Recognizer<?, ?>, Object, int, int, String, RecognitionException) - Method in class owl.ltl.parser.TokenErrorListener
 
Synthesis - Class in owl.translations
 
SYNTHETIC_CO_SAFETY_LITERAL - Static variable in class owl.ltl.rewriter.NormalForms
 
SYNTHETIC_SAFETY_LITERAL - Static variable in class owl.ltl.rewriter.NormalForms
 
syserr - Static variable in class owl.util.GuardedStream
 
sysout - Static variable in class owl.util.GuardedStream
 

T

temporalStep() - Method in class owl.ltl.Formula.LogicalOperator
 
temporalStep() - Method in class owl.ltl.Formula.TemporalOperator
 
temporalStep() - Method in class owl.ltl.Formula
 
temporalStep(int, boolean) - Method in class owl.ltl.Formula.LogicalOperator
 
temporalStep(int, boolean) - Method in class owl.ltl.Formula.TemporalOperator
 
temporalStep(int, boolean) - Method in class owl.ltl.Formula
 
temporalStep(BitSet) - Method in class owl.ltl.EquivalenceClass
temporalStep(BitSet) - Method in class owl.ltl.Formula.LogicalOperator
 
temporalStep(BitSet) - Method in class owl.ltl.Formula.TemporalOperator
 
temporalStep(BitSet) - Method in class owl.ltl.Formula
Do a single temporal step.
temporalStep(BitSet) - Method in class owl.translations.fgx2dpa.Monitor
 
temporalStep(EquivalenceClass, BitSet) - Method in interface owl.factories.EquivalenceClassFactory
 
temporalStepTree() - Method in class owl.ltl.EquivalenceClass
 
temporalStepTree(Function<EquivalenceClass, Set<T>>) - Method in class owl.ltl.EquivalenceClass
 
temporalStepTree(EquivalenceClass, Function<EquivalenceClass, Set<T>>) - Method in interface owl.factories.EquivalenceClassFactory
 
temporalStepUnfold(BitSet) - Method in class owl.ltl.EquivalenceClass
temporalStepUnfold(BitSet) - Method in class owl.ltl.Formula.LogicalOperator
 
temporalStepUnfold(BitSet) - Method in class owl.ltl.Formula.TemporalOperator
 
temporalStepUnfold(BitSet) - Method in class owl.ltl.Formula
Short-cut operation to avoid intermediate construction of formula ASTs.
temporalStepUnfold(EquivalenceClass, BitSet) - Method in interface owl.factories.EquivalenceClassFactory
 
theOther() - Method in enum owl.ltl.FrequencyG.Comparison
 
theOther() - Method in enum owl.ltl.FrequencyG.Limes
 
TO_STRING - Static variable in class owl.run.modules.OutputWriters
 
TO_STRING_CLI - Static variable in class owl.run.modules.OutputWriters
 
toCnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
 
toCnf(Formula, Function<? super Formula, ? extends Collection<Formula>>) - Static method in class owl.ltl.rewriter.NormalForms
 
toCnfFormula(Formula) - Static method in class owl.ltl.rewriter.NormalForms
 
ToCoSafety(Iterable<? extends Formula.ModalOperator>) - Constructor for class owl.translations.mastertheorem.Rewriter.ToCoSafety
 
ToCoSafety(Fixpoints) - Constructor for class owl.translations.mastertheorem.Rewriter.ToCoSafety
 
toDnf(Formula) - Static method in class owl.ltl.rewriter.NormalForms
 
toDnf(Formula, Function<? super PropositionalFormula, ? extends Collection<Formula>>) - Static method in class owl.ltl.rewriter.NormalForms
 
toDnfFormula(Formula) - Static method in class owl.ltl.rewriter.NormalForms
 
toExpression() - Method in class owl.collections.ValuationSet
 
toExpression(ValuationSet) - Method in interface owl.factories.ValuationSetFactory
 
ToHoa(boolean) - Constructor for class owl.run.modules.OutputWriters.ToHoa
 
TokenErrorListener - Class in owl.ltl.parser
 
TokenErrorListener() - Constructor for class owl.ltl.parser.TokenErrorListener
 
tokenNames - Static variable in class owl.grammar.LTLLexer
Deprecated.
Use LTLLexer.VOCABULARY instead.
tokenNames - Static variable in class owl.grammar.LTLParser
Deprecated.
toLtl(EnumSet<Robustness>) - Method in class owl.ltl.robust.LabelledSplit
 
toPgSolver(Game<S, ParityAcceptance>, PrintWriter, boolean) - Static method in class owl.game.GameUtil
 
ToSafety(Iterable<? extends Formula.ModalOperator>) - Constructor for class owl.translations.mastertheorem.Rewriter.ToSafety
 
ToSafety(Fixpoints) - Constructor for class owl.translations.mastertheorem.Rewriter.ToSafety
 
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.Edge
 
toString() - Method in class owl.automaton.MutableAutomatonUtil.Sink
 
toString() - Method in class owl.collections.ValuationSet
 
toString() - Method in class owl.collections.ValuationTree.Leaf
 
toString() - Method in class owl.collections.ValuationTree.Node
 
toString() - Method in class owl.game.GameViews.Node
 
toString() - Method in class owl.ltl.Biconditional
 
toString() - Method in class owl.ltl.BinaryModalOperator
 
toString() - Method in class owl.ltl.BooleanConstant
 
toString() - Method in class owl.ltl.EquivalenceClass
 
toString() - Method in enum owl.ltl.FrequencyG.Comparison
 
toString() - Method in enum owl.ltl.FrequencyG.Limes
 
toString() - Method in class owl.ltl.FrequencyG
 
toString() - Method in class owl.ltl.LabelledFormula
 
toString() - Method in class owl.ltl.Literal
 
toString() - Method in class owl.ltl.PropositionalFormula
 
toString() - Method in class owl.ltl.robust.LabelledSplit
 
toString() - Method in class owl.ltl.robust.Split
 
toString() - Method in class owl.ltl.UnaryModalOperator
 
toString() - Method in class owl.translations.delag.State
 
toString() - Method in class owl.translations.dra2dpa.IARState
 
toString() - Method in class owl.translations.ltl2ldba.AsymmetricProductState
 
toString() - Method in class owl.translations.ltl2ldba.SymmetricProductState
 
toString() - Method in class owl.translations.ltl2nba.ProductState
 
toString() - Method in class owl.translations.mastertheorem.AsymmetricEvaluatedFixpoints
 
toString() - Method in class owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
 
toString() - Method in class owl.translations.nba2dpa.RankingState
 
toString() - Method in class owl.translations.nba2ldba.BreakpointState
 
toString() - Method in class owl.translations.rabinizer.RabinizerState
 
toString(Automaton<S, ?>) - Static method in class owl.automaton.output.HoaPrinter
 
toString(Automaton<S, ?>, EnumSet<HoaPrinter.HoaOption>) - Static method in class owl.automaton.output.HoaPrinter
 
toString(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
 
toString(Formula, List<String>) - Static method in class owl.ltl.visitors.PrintVisitor
 
toString(Formula, List<String>, boolean) - Static method in class owl.ltl.visitors.PrintVisitor
 
toString(LabelledFormula, boolean) - Static method in class owl.ltl.visitors.PrintVisitor
 
Tracking(Factories, boolean) - Constructor for class owl.translations.canonical.DeterministicConstructions.Tracking
 
Tracking(Factories, Formula) - Constructor for class owl.translations.canonical.NonDeterministicConstructions.Tracking
 
transform(Object, PipelineExecutionContext) - Method in class owl.automaton.acceptance.optimizations.AcceptanceOptimizations.AcceptanceOptimizationTransformer
 
transform(Object, PipelineExecutionContext) - Method in class owl.automaton.transformations.RabinDegeneralization
 
transform(Object, PipelineExecutionContext) - Method in class owl.ltl.rewriter.SimplifierTransformer
 
transform(Object, PipelineExecutionContext) - Method in interface owl.run.modules.Transformer.Instance
Applies the transformation represented by this transformer to the given object.
transformer(String) - Method in class owl.run.modules.OwlModuleRegistry
 
Transformer - Interface in owl.run.modules
Transformers are the central pieces of the pipeline concept.
TRANSFORMER - owl.run.modules.OwlModuleRegistry.Type
 
Transformer.Instance - Interface in owl.run.modules
 
transformers() - Method in class owl.run.Pipeline
 
Transformers - Class in owl.run.modules
 
Transformers.SimpleTransformer - Class in owl.run.modules
 
transformMap(Map<K1, ValuationSet>, Function<K1, K2>) - Static method in class owl.collections.Collections3
 
transformMap(Map<K1, V>, Function<K1, K2>, BiFunction<? super V, ? super V, ? extends V>) - Static method in class owl.collections.Collections3
 
transformSet(Set<E1>, Function<E1, E2>) - Static method in class owl.collections.Collections3
Creates a new Set by applying the transformer on each element of set.
trim() - Method in interface owl.automaton.MutableAutomaton
Removes unreachable states and adjust internal data structures after mutation.
trivial(R) - Static method in class owl.translations.dra2dpa.IARState
 
TRUE - Static variable in class owl.grammar.LTLLexer
 
TRUE - Static variable in class owl.grammar.LTLParser
 
TRUE - Static variable in class owl.ltl.BooleanConstant
 
TRUE - Static variable in class owl.ltl.robust.Split
 
TRUE() - Method in class owl.grammar.LTLParser.BoolContext
 
trueChild - Variable in class owl.collections.ValuationTree.Node
 
trueness() - Method in class owl.ltl.EquivalenceClass
 
trueness(EquivalenceClass) - Method in interface owl.factories.EquivalenceClassFactory
 
Tuple - Annotation Type in owl.util.annotation
 
TwoPartAutomaton<A,​B,​C extends OmegaAcceptance> - Class in owl.automaton
 
TwoPartAutomaton() - Constructor for class owl.automaton.TwoPartAutomaton
 
type - Variable in exception owl.run.modules.OwlModuleRegistry.OwlModuleNotFoundException
 
typeClass - Variable in enum owl.run.modules.OwlModuleRegistry.Type
 
TypeUtil - Class in owl.util
 

U

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

V

ValuationSet - Class in owl.collections
 
ValuationSet(ValuationSetFactory) - Constructor for class owl.collections.ValuationSet
 
ValuationSetFactory - Interface in owl.factories
 
ValuationTree<E> - Class in owl.collections
 
ValuationTree.Leaf<E> - Class in owl.collections
 
ValuationTree.Node<E> - Class in owl.collections
 
ValuationTrees - Class in owl.collections
 
value - Variable in class owl.collections.ValuationTree.Leaf
 
value - Variable in class owl.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.PreferredEdgeAccess
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.automaton.Automaton.Property
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.automaton.output.HoaPrinter.HoaOption
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.game.Game.Owner
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.ltl.FrequencyG.Comparison
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.ltl.FrequencyG.Limes
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.ltl.rewriter.SimplifierFactory.Mode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.ltl.robust.Robustness
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.ltl.SyntacticFragment
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.run.modules.OwlModuleRegistry.Type
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.translations.LTL2DAFunction.Constructions
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum owl.translations.LTL2NAFunction.Constructions
Returns the enum constant of this type with the specified name.
values() - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.automaton.Automaton.PreferredEdgeAccess
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.automaton.Automaton.Property
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.automaton.output.HoaPrinter.HoaOption
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Method in class owl.collections.ValuationTree.Leaf
 
values() - Method in class owl.collections.ValuationTree.Node
 
values() - Method in class owl.collections.ValuationTree
 
values() - Static method in enum owl.game.Game.Owner
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.ltl.FrequencyG.Comparison
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.ltl.FrequencyG.Limes
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.ltl.rewriter.SimplifierFactory.Mode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.ltl.robust.Robustness
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.ltl.SyntacticFragment
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.run.modules.OwlModuleRegistry.Type
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.translations.LTL2DAFunction.Constructions
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum owl.translations.LTL2NAFunction.Constructions
Returns an array containing the constants of this enum type, in the order they are declared.
variable - Variable in class owl.collections.ValuationTree.Node
 
variable - Variable in class owl.grammar.LTLParser.DoubleQuotedVariableContext
 
variable - Variable in class owl.grammar.LTLParser.SingleQuotedVariableContext
 
variable - Variable in class owl.grammar.LTLParser.VariableContext
 
variable() - Method in class owl.game.output.Aig
 
VARIABLE - Static variable in class owl.grammar.LTLLexer
 
VARIABLE - Static variable in class owl.grammar.LTLParser
 
VARIABLE() - Method in class owl.grammar.LTLParser.VariableContext
 
VariableContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.VariableContext
 
variables() - Method in interface owl.factories.EquivalenceClassFactory
 
variables() - Method in class owl.ltl.LabelledFormula
 
variables() - Method in class owl.ltl.robust.LabelledSplit
 
viewAs(Automaton<S, ?>, Class<A>) - Static method in class owl.automaton.Views
 
viewAsLts(Automaton<S, ?>) - Static method in class owl.automaton.Views
 
Views - Class in owl.automaton
 
Views.AutomatonView<S,​A extends OmegaAcceptance> - Class in owl.automaton
 
visit(Biconditional) - Method in class owl.ltl.rewriter.DeduplicationRewriter
 
visit(Biconditional) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
visit(Biconditional) - Method in class owl.ltl.visitors.Converter
 
visit(Biconditional) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(Biconditional) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(Biconditional) - Method in interface owl.ltl.visitors.Visitor
 
visit(Biconditional, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(BooleanConstant) - Method in class owl.ltl.rewriter.DeduplicationRewriter
 
visit(BooleanConstant) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
visit(BooleanConstant) - Method in class owl.ltl.visitors.Converter
 
visit(BooleanConstant) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(BooleanConstant) - Method in class owl.ltl.visitors.LatexPrintVisitor
 
visit(BooleanConstant) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(BooleanConstant) - Method in interface owl.ltl.visitors.Visitor
 
visit(BooleanConstant) - Method in class owl.ltl.visitors.XDepthVisitor
 
visit(BooleanConstant) - Method in class owl.translations.ltl2ldba.BlockingModalOperatorsVisitor
 
visit(BooleanConstant, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(Conjunction) - Method in class owl.ltl.rewriter.DeduplicationRewriter
 
visit(Conjunction) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
visit(Conjunction) - Method in class owl.ltl.visitors.Converter
 
visit(Conjunction) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(Conjunction) - Method in class owl.ltl.visitors.LatexPrintVisitor
 
visit(Conjunction) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(Conjunction) - Method in interface owl.ltl.visitors.Visitor
 
visit(Conjunction) - Method in class owl.ltl.visitors.XDepthVisitor
 
visit(Conjunction) - Method in class owl.translations.ltl2ldba.BlockingModalOperatorsVisitor
 
visit(Conjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(Disjunction) - Method in class owl.ltl.rewriter.DeduplicationRewriter
 
visit(Disjunction) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
visit(Disjunction) - Method in class owl.ltl.visitors.Converter
 
visit(Disjunction) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(Disjunction) - Method in class owl.ltl.visitors.LatexPrintVisitor
 
visit(Disjunction) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(Disjunction) - Method in interface owl.ltl.visitors.Visitor
 
visit(Disjunction) - Method in class owl.ltl.visitors.XDepthVisitor
 
visit(Disjunction) - Method in class owl.translations.ltl2ldba.BlockingModalOperatorsVisitor
 
visit(Disjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(FOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
 
visit(FOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
visit(FOperator) - Method in class owl.ltl.visitors.Converter
 
visit(FOperator) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(FOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
 
visit(FOperator) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(FOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
 
visit(FOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
 
visit(FOperator) - Method in interface owl.ltl.visitors.Visitor
 
visit(FOperator) - Method in class owl.ltl.visitors.XDepthVisitor
 
visit(FOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
 
visit(FOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
 
visit(FOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(Formula.TemporalOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
 
visit(Formula.TemporalOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
 
visit(Formula.TemporalOperator) - Method in class owl.translations.ltl2ldba.BlockingModalOperatorsVisitor
 
visit(FrequencyG) - Method in class owl.ltl.visitors.Converter
 
visit(FrequencyG) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(FrequencyG) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(FrequencyG) - Method in class owl.ltl.visitors.PropositionalIntVisitor
 
visit(FrequencyG) - Method in class owl.ltl.visitors.PropositionalVisitor
 
visit(FrequencyG) - Method in interface owl.ltl.visitors.Visitor
 
visit(GOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
 
visit(GOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
visit(GOperator) - Method in class owl.ltl.visitors.Converter
 
visit(GOperator) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(GOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
 
visit(GOperator) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(GOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
 
visit(GOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
 
visit(GOperator) - Method in interface owl.ltl.visitors.Visitor
 
visit(GOperator) - Method in class owl.ltl.visitors.XDepthVisitor
 
visit(GOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
 
visit(GOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
 
visit(GOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(Literal) - Method in class owl.ltl.rewriter.DeduplicationRewriter
 
visit(Literal) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
visit(Literal) - Method in class owl.ltl.visitors.Converter
 
visit(Literal) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(Literal) - Method in class owl.ltl.visitors.LatexPrintVisitor
 
visit(Literal) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(Literal) - Method in class owl.ltl.visitors.PropositionalIntVisitor
 
visit(Literal) - Method in class owl.ltl.visitors.PropositionalVisitor
 
visit(Literal) - Method in interface owl.ltl.visitors.Visitor
 
visit(Literal) - Method in class owl.ltl.visitors.XDepthVisitor
 
visit(Literal, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(MOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
 
visit(MOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
visit(MOperator) - Method in class owl.ltl.visitors.Converter
 
visit(MOperator) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(MOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
 
visit(MOperator) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(MOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
 
visit(MOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
 
visit(MOperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
 
visit(MOperator) - Method in interface owl.ltl.visitors.Visitor
 
visit(MOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
 
visit(MOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
 
visit(MOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(ROperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
 
visit(ROperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
visit(ROperator) - Method in class owl.ltl.visitors.Converter
 
visit(ROperator) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(ROperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
 
visit(ROperator) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(ROperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
 
visit(ROperator) - Method in class owl.ltl.visitors.PropositionalVisitor
 
visit(ROperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
 
visit(ROperator) - Method in interface owl.ltl.visitors.Visitor
 
visit(ROperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
 
visit(ROperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
 
visit(ROperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(UOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
 
visit(UOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
visit(UOperator) - Method in class owl.ltl.visitors.Converter
 
visit(UOperator) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(UOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
 
visit(UOperator) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(UOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
 
visit(UOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
 
visit(UOperator) - Method in interface owl.ltl.visitors.Visitor
 
visit(UOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
 
visit(UOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
 
visit(UOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(WOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
 
visit(WOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
visit(WOperator) - Method in class owl.ltl.visitors.Converter
 
visit(WOperator) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(WOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
 
visit(WOperator) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(WOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
 
visit(WOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
 
visit(WOperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
 
visit(WOperator) - Method in interface owl.ltl.visitors.Visitor
 
visit(WOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToCoSafety
 
visit(WOperator) - Method in class owl.translations.mastertheorem.Rewriter.ToSafety
 
visit(WOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(XOperator) - Method in class owl.ltl.rewriter.DeduplicationRewriter
 
visit(XOperator) - Method in class owl.ltl.rewriter.PullUpXVisitor
 
visit(XOperator) - Method in class owl.ltl.visitors.Converter
 
visit(XOperator) - Method in interface owl.ltl.visitors.IntVisitor
 
visit(XOperator) - Method in class owl.ltl.visitors.LatexPrintVisitor
 
visit(XOperator) - Method in class owl.ltl.visitors.PrintVisitor
 
visit(XOperator) - Method in class owl.ltl.visitors.PropositionalIntVisitor
 
visit(XOperator) - Method in class owl.ltl.visitors.PropositionalVisitor
 
visit(XOperator) - Method in interface owl.ltl.visitors.Visitor
 
visit(XOperator) - Method in class owl.ltl.visitors.XDepthVisitor
 
visit(XOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
 
visit(S, BitSet, Edge<S>) - Method in interface owl.automaton.Automaton.EdgeVisitor
An outgoing edge of the state, might be called several times.
visit(S, Map<Edge<S>, ValuationSet>) - Method in interface owl.automaton.Automaton.EdgeMapVisitor
The edge map associated with the state.
visit(S, ValuationTree<Edge<S>>) - Method in interface owl.automaton.Automaton.EdgeTreeVisitor
The edge map associated with the state.
visitAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by LTLParser.andExpression().
visitAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by LTLParser.andExpression().
visitBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by LTLParser.binaryOp().
visitBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by LTLParser.binaryOp().
visitBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
visitBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the binaryOperation labeled alternative in LTLParser.binaryExpression().
visitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
visitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the binaryUnary labeled alternative in LTLParser.binaryExpression().
visitBool(LTLParser.BoolContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by LTLParser.bool().
visitBool(LTLParser.BoolContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by LTLParser.bool().
visitBoolean(LTLParser.BooleanContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
visitBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the boolean labeled alternative in LTLParser.atomExpression().
visitComparison(LTLParser.ComparisonContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by LTLParser.comparison().
visitComparison(LTLParser.ComparisonContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by LTLParser.comparison().
visitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
visitDoubleQuotedVariable(LTLParser.DoubleQuotedVariableContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the doubleQuotedVariable labeled alternative in LTLParser.atomExpression().
visitErrorNode(ErrorNode) - Method in class owl.grammar.LTLParserBaseListener
visitExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by LTLParser.expression().
visitExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by LTLParser.expression().
visitFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by LTLParser.formula().
visitFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by LTLParser.formula().
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().
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().
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().
visitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
visitSingleQuotedVariable(LTLParser.SingleQuotedVariableContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the singleQuotedVariable labeled alternative in LTLParser.atomExpression().
visitTerminal(TerminalNode) - Method in class owl.grammar.LTLParserBaseListener
visitUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
visitUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the unaryAtom labeled alternative in LTLParser.unaryExpression().
visitUnaryOp(LTLParser.UnaryOpContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by LTLParser.unaryOp().
visitUnaryOp(LTLParser.UnaryOpContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by LTLParser.unaryOp().
visitUnaryOperation(LTLParser.UnaryOperationContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
visitUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the unaryOperation labeled alternative in LTLParser.unaryExpression().
visitVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
Visit a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
visitVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserVisitor
Visit a parse tree produced by the variable labeled alternative in LTLParser.atomExpression().
VOCABULARY - Static variable in class owl.grammar.LTLLexer
 
VOCABULARY - Static variable in class owl.grammar.LTLParser
 
vsFactory - Variable in class owl.factories.Factories
 

W

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

X

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

Z

ZIELONKA_SOLVER - Static variable in class owl.game.algorithms.ParityGameSolver
 
zielonkaRealizability(Game<S, ParityAcceptance>) - Static method in class owl.game.algorithms.ParityGameSolver
 

_

_ATN - Static variable in class owl.grammar.LTLLexer
 
_ATN - Static variable in class owl.grammar.LTLParser
 
_decisionToDFA - Static variable in class owl.grammar.LTLLexer
 
_decisionToDFA - Static variable in class owl.grammar.LTLParser
 
_serializedATN - Static variable in class owl.grammar.LTLLexer
 
_serializedATN - Static variable in class owl.grammar.LTLParser
 
_sharedContextCache - Static variable in class owl.grammar.LTLLexer
 
_sharedContextCache - Static variable in class owl.grammar.LTLParser
 
A B C D E F G H I J L M N O P Q R S T U V W X Z _ 
All Classes All Packages