- Game<S,A extends OmegaAcceptance> - Interface in owl.game
-
- Game.Owner - Enum in owl.game
-
- GameFactory - Class in owl.game
-
- GameUtil - Class in owl.game
-
- GameViews - Class in owl.game
-
- GameViews.Node<S> - Class in owl.game
-
A state of the split game.
- GE - Static variable in class owl.grammar.LTLLexer
-
- GE - Static variable in class owl.grammar.LTLParser
-
- GE() - Method in class owl.grammar.LTLParser.ComparisonContext
-
- GeneralisedRabinWithMeanPayoffAcceptance - Class in owl.translations.frequency
-
- GeneralisedRabinWithMeanPayoffAcceptance(List<RabinPair2<TranSet<ProductControllerSynthesis.State>, List<TranSet<ProductControllerSynthesis.State>>>>, List<Collection<BoundAndReward>>) - Constructor for class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
-
- GeneralizedAcceptingComponentBuilder - Class in owl.translations.ltl2ldba.breakpoint
-
- GeneralizedAcceptingComponentBuilder - Class in owl.translations.ltl2ldba.breakpointfree
-
- GeneralizedAcceptingComponentBuilder(Factories, ImmutableSet<LTL2LDBAFunction.Configuration>) - Constructor for class owl.translations.ltl2ldba.breakpoint.GeneralizedAcceptingComponentBuilder
-
- GeneralizedAcceptingComponentBuilder(Factories, ImmutableSet<LTL2LDBAFunction.Configuration>) - Constructor for class owl.translations.ltl2ldba.breakpointfree.GeneralizedAcceptingComponentBuilder
-
- GeneralizedBreakpointFreeState - Class in owl.translations.ltl2ldba.breakpointfree
-
- GeneralizedBreakpointState - Class in owl.translations.ltl2ldba.breakpoint
-
- GeneralizedBuchiAcceptance - Class in owl.automaton.acceptance
-
- GeneralizedBuchiAcceptance(int) - Constructor for class owl.automaton.acceptance.GeneralizedBuchiAcceptance
-
- GeneralizedBuchiView<S> - Class in owl.translations.nba2ldba
-
- GeneralizedBuchiView(Automaton<S, AllAcceptance>) - Constructor for class owl.translations.nba2ldba.GeneralizedBuchiView
-
- GeneralizedRabinAcceptance - Class in owl.automaton.acceptance
-
Generalized Rabin Acceptance - OR (Fin(i) and AND Inf(j)).
- GeneralizedRabinAcceptance() - Constructor for class owl.automaton.acceptance.GeneralizedRabinAcceptance
-
- GeneralizedRabinAcceptance.RabinPair - Class in owl.automaton.acceptance
-
- GeneralizedRabinAcceptance2<S extends AutomatonState<?>> - Class in owl.translations.frequency
-
Deprecated.
- GeneralizedRabinAcceptance2(List<RabinPair2<TranSet<S>, List<TranSet<S>>>>) - Constructor for class owl.translations.frequency.GeneralizedRabinAcceptance2
-
Deprecated.
- GeneralizedRabinMinimizations - Class in owl.automaton.minimizations
-
- generate() - Method in class owl.translations.frequency.Automaton
-
- GenericAcceptance - Class in owl.automaton.acceptance
-
- GenericAcceptance(int, BooleanExpression<AtomAcceptance>) - Constructor for class owl.automaton.acceptance.GenericAcceptance
-
- GenericMinimizations - Class in owl.automaton.minimizations
-
- GEQ - owl.ltl.FrequencyG.Comparison
-
- getAcceptance() - Method in interface owl.automaton.Automaton
-
Returns the acceptance condition of this automaton.
- getAcceptance() - Method in class owl.automaton.StreamingAutomaton
-
- getAcceptance() - Method in class owl.translations.frequency.Automaton
-
- getAcceptanceCondition() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
-
Deprecated.
- getAcceptanceSets() - Method in class owl.automaton.acceptance.AllAcceptance
-
- getAcceptanceSets() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
-
- getAcceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
-
- getAcceptanceSets() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
-
- getAcceptanceSets() - Method in class owl.automaton.acceptance.GenericAcceptance
-
- getAcceptanceSets() - Method in class owl.automaton.acceptance.NoneAcceptance
-
- getAcceptanceSets() - Method in class owl.automaton.acceptance.OmegaAcceptance
-
- getAcceptanceSets() - Method in class owl.automaton.acceptance.ParityAcceptance
-
- getAcceptanceSets() - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
-
- getAcceptanceSets() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
-
Deprecated.
- getAcceptingComponent() - Method in class owl.automaton.ldba.CutDeterministicAutomaton
-
- getAcceptingComponent() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
-
- getAcceptingComponent() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
-
- getAnnotation(T) - Method in class owl.automaton.ldba.CutDeterministicAutomaton
-
- getAnnotation(T) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
-
- getAnnotation(T) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
-
- getATN() - Method in class owl.grammar.LTLLexer
-
- getATN() - Method in class owl.grammar.LTLParser
-
- getATN() - Method in class owl.grammar.TLSFLexer
-
- getATN() - Method in class owl.grammar.TLSFParser
-
- getAtom() - Method in class owl.ltl.Literal
-
- getAtoms() - Method in interface owl.ltl.EquivalenceClass
-
Collects all literals used in the bdd and stores the corresponding atoms in the BitSet.
- getAttractor(Collection<S>, Game.Owner) - Method in interface owl.game.Game
-
- getAttractorFixpoint(Collection<S>, Game.Owner) - Method in interface owl.game.Game
-
- getBooleanExpression() - Method in class owl.automaton.acceptance.AllAcceptance
-
- getBooleanExpression() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
-
- getBooleanExpression() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
-
- getBooleanExpression() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
-
- getBooleanExpression() - Method in class owl.automaton.acceptance.GenericAcceptance
-
- getBooleanExpression() - Method in class owl.automaton.acceptance.NoneAcceptance
-
- getBooleanExpression() - Method in class owl.automaton.acceptance.OmegaAcceptance
-
Canonical representation as BooleanExpression
.
- getBooleanExpression() - Method in class owl.automaton.acceptance.ParityAcceptance
-
- getBooleanExpression() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
-
Deprecated.
- getBottom() - Method in interface owl.translations.ldba2dpa.LanguageLattice
-
- getBottom() - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
-
- getBottom() - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
-
- getCause() - Method in exception owl.run.parser.PipelineParser.ModuleParseException
-
- getChannelNames() - Method in class owl.grammar.LTLLexer
-
- getChannelNames() - Method in class owl.grammar.TLSFLexer
-
- getChildren() - Method in class owl.collections.LabelledTree.Node
-
- getChoice(S, Game.Owner) - Method in interface owl.game.Game
-
- getComponents() - Method in class owl.automaton.ldba.CutDeterministicAutomaton
-
- getComponents() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
-
- getComponents() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
-
- getConsumer(Consumer<? super Automaton<AutomatonReader.HoaState, ?>>, FactorySupplier) - Static method in class owl.automaton.AutomatonReader
-
- getConsumer(Consumer<? super Automaton<AutomatonReader.HoaState, ?>>, ValuationSetFactory) - Static method in class owl.automaton.AutomatonReader
-
- getControllerAcceptanceF(FOperator, Set<UnaryModalOperator>) - Method in class owl.translations.frequency.ProductControllerSynthesis
-
- getControllerAcceptanceFrequencyG(FrequencyG, Set<UnaryModalOperator>) - Method in class owl.translations.frequency.ProductControllerSynthesis
-
- getControllerAcceptanceG(GOperator, Set<UnaryModalOperator>) - Method in class owl.translations.frequency.ProductControllerSynthesis
-
- getDefaultAnnotationOption() - Static method in class owl.run.RunUtil
-
- getDefaultParallelOption() - Static method in class owl.run.RunUtil
-
- getDepth(Formula) - Static method in class owl.ltl.visitors.XDepthVisitor
-
- getDescription() - Method in interface owl.run.modules.OwlModuleParser
-
- getEdge() - Method in class owl.automaton.edge.LabelledEdge
-
- getEdge(S, BitSet) - Method in interface owl.automaton.Automaton
-
Returns the successor edge of the specified state
under the given valuation
.
- getEdge(S, BitSet) - Method in class owl.automaton.StreamingAutomaton
-
- getEdges(S) - Method in interface owl.automaton.Automaton
-
Returns all successor edges of the specified state
under any valuation.
- getEdges(S) - Method in class owl.automaton.StreamingAutomaton
-
- getEdges(S, BitSet) - Method in interface owl.automaton.Automaton
-
Returns the successor edges of the specified state
under the given valuation
.
- getEdges(S, BitSet) - Method in class owl.automaton.StreamingAutomaton
-
- getEpsilonJumps(Set<S>) - Method in class owl.automaton.ldba.CutDeterministicAutomaton
-
- getEpsilonJumps(S) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
-
- getEpsilonJumps(S) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
-
- getEquivalenceClass() - Method in class owl.translations.frequency.EquivalenceClassState
-
- getEquivalenceClassFactory(List<String>) - Method in interface owl.factories.FactorySupplier
-
- getEquivalenceClassFactory(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
-
- getEquivalenceClassFactory(LabelledFormula) - Method in interface owl.factories.FactorySupplier
-
- getFactories(List<String>) - Method in interface owl.factories.FactorySupplier
-
- getFactories(LabelledFormula) - Method in interface owl.factories.FactorySupplier
-
- getFactory() - Method in interface owl.automaton.Automaton
-
- getFactory() - Method in class owl.automaton.StreamingAutomaton
-
- getFactory() - Method in class owl.automaton.Views.ForwardingAutomaton
-
- getFactory() - Method in interface owl.collections.ValuationSet
-
- getFactory() - Method in interface owl.ltl.EquivalenceClass
-
- getFalse() - Method in interface owl.factories.EquivalenceClassFactory
-
- getFalse() - Method in class owl.game.output.AigFactory
-
- getFormula() - Method in class owl.ltl.LabelledFormula
-
- getFreqG() - Method in class owl.translations.frequency.BoundAndReward
-
- getFreqG() - Method in interface owl.translations.frequency.BoundAndRewardForPrism
-
- getGrammarFileName() - Method in class owl.grammar.LTLLexer
-
- getGrammarFileName() - Method in class owl.grammar.LTLParser
-
- getGrammarFileName() - Method in class owl.grammar.TLSFLexer
-
- getGrammarFileName() - Method in class owl.grammar.TLSFParser
-
- getIncompleteStates(Automaton<S, A>) - Static method in class owl.automaton.AutomatonUtil
-
Determines all states which are incomplete, i.e.
- getInitial(EquivalenceClass, EquivalenceClass...) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
-
- getInitial(Formula...) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
-
- getInitialComponent() - Method in class owl.automaton.ldba.CutDeterministicAutomaton
-
- getInitialComponent() - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
-
- getInitialComponent() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
-
- getInitialState() - Method in interface owl.automaton.Automaton
-
Returns the initial state.
- getInitialState() - Method in class owl.translations.frequency.Automaton
-
Returns the initial state if there is a unique one.
- getInitialStates() - Method in interface owl.automaton.Automaton
-
Returns the set of initial states, which can potentially be empty.
- getInitialStates() - Method in class owl.automaton.StreamingAutomaton
-
- getInitialStates() - Method in class owl.automaton.Views.ForwardingAutomaton
-
- getInitialStates() - Method in class owl.translations.frequency.Automaton
-
Returns an immutable copy of the current initial state set.
- getInvolvedAcceptanceNumbers(AutomatonState<?>, ValuationSet) - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
-
Deprecated.
- getKey() - Method in interface owl.run.modules.OwlModuleParser
-
- getKey() - Method in class owl.translations.frequency.RabinizerFrequencyMain
-
- getKey() - Method in class owl.translations.ltl2dpa.LTL2DPACliParser
-
- getKey() - Method in class owl.translations.ltl2dra.LTL2DRACliParser
-
- getKey() - Method in class owl.translations.ltl2ldba.LTL2LDBACliParser
-
- getKey() - Method in class owl.translations.rabinizer.RabinizerCliParser
-
- getLabel() - Method in class owl.collections.LabelledTree.Node
-
- getLabelledEdges(S) - Method in interface owl.automaton.Automaton
-
Returns all successors of the specified state
.
- getLabelledEdges(S) - Method in class owl.automaton.StreamingAutomaton
-
- getLabelledEdges(S) - Method in class owl.automaton.Views.ForwardingAutomaton
-
- getLanguage() - Method in class owl.translations.ltl2ldba.breakpoint.GObligations
-
- getLanguage() - Method in class owl.translations.ltl2ldba.breakpointfree.FGObligations
-
- getLanguage() - Method in interface owl.translations.ltl2ldba.RecurringObligation
-
- getLanguage(DegeneralizedBreakpointState) - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
-
- getLanguage(DegeneralizedBreakpointFreeState) - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
-
- getLanguage(S) - Method in interface owl.translations.ldba2dpa.LanguageLattice
-
- getMaximallyMergedEdgesOfEdge(AutomatonState<?>, ValuationSet) - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
-
- getMaximallyMergedEdgesOfEdge(AutomatonState<?>, ValuationSet) - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
-
Deprecated.
- getMetaWriter() - Method in class owl.run.NullExecutionContext
-
- getMetaWriter() - Method in interface owl.run.PipelineExecutionContext
-
The destination for any meta information obtained during execution.
- getModeNames() - Method in class owl.grammar.LTLLexer
-
- getModeNames() - Method in class owl.grammar.TLSFLexer
-
- getName() - Method in class owl.automaton.acceptance.AllAcceptance
-
- getName() - Method in class owl.automaton.acceptance.BuchiAcceptance
-
- getName() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
-
- getName() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
-
- getName() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
-
- getName() - Method in class owl.automaton.acceptance.GenericAcceptance
-
- getName() - Method in class owl.automaton.acceptance.NoneAcceptance
-
- getName() - Method in class owl.automaton.acceptance.OmegaAcceptance
-
- getName() - Method in class owl.automaton.acceptance.ParityAcceptance
-
- getName() - Method in class owl.automaton.acceptance.RabinAcceptance
-
- getName() - Method in interface owl.automaton.output.HoaPrintable
-
- getName() - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
-
- getName() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
-
Deprecated.
- getName() - Method in class owl.translations.frequency.RabinAcceptance2
-
Deprecated.
- getNameExtra() - Method in class owl.automaton.acceptance.BuchiAcceptance
-
- getNameExtra() - Method in class owl.automaton.acceptance.CoBuchiAcceptance
-
- getNameExtra() - Method in class owl.automaton.acceptance.GeneralizedBuchiAcceptance
-
- getNameExtra() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
-
- getNameExtra() - Method in class owl.automaton.acceptance.OmegaAcceptance
-
- getNameExtra() - Method in class owl.automaton.acceptance.ParityAcceptance
-
- getNameExtra() - Method in class owl.automaton.acceptance.RabinAcceptance
-
- getNameExtra() - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
-
- getNameExtra() - Method in class owl.translations.frequency.GeneralizedRabinAcceptance2
-
Deprecated.
- getNameExtra() - Method in class owl.translations.frequency.RabinAcceptance2
-
Deprecated.
- getNode(int) - Method in class owl.game.output.AigFactory
-
- getNondetSuccessor(EquivalenceClass, BitSet) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
-
- getNumberOfRewardSets() - Method in class owl.translations.frequency.BoundAndReward
-
- getObligations() - Method in class owl.translations.ltl2ldba.breakpoint.DegeneralizedBreakpointState
-
- getObligations() - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedBreakpointState
-
- getObligations() - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedBreakpointFreeState
-
- getObligations() - Method in class owl.translations.ltl2ldba.breakpointfree.GeneralizedBreakpointFreeState
-
- getOperand() - Method in class owl.ltl.UnaryModalOperator
-
- getOperator() - Method in class owl.ltl.BinaryModalOperator
-
- getOperator() - Method in class owl.ltl.Conjunction
-
- getOperator() - Method in class owl.ltl.Disjunction
-
- getOperator() - Method in class owl.ltl.FOperator
-
- getOperator() - Method in class owl.ltl.FrequencyG
-
- getOperator() - Method in class owl.ltl.GOperator
-
- getOperator() - Method in class owl.ltl.MOperator
-
- getOperator() - Method in class owl.ltl.PropositionalFormula
-
- getOperator() - Method in class owl.ltl.ROperator
-
- getOperator() - Method in class owl.ltl.UnaryModalOperator
-
- getOperator() - Method in class owl.ltl.UOperator
-
- getOperator() - Method in class owl.ltl.WOperator
-
- getOperator() - Method in class owl.ltl.XOperator
-
- getOptions() - Static method in class owl.run.DefaultCli
-
- getOptions() - Method in interface owl.run.modules.OwlModuleParser
-
- getOptions() - Static method in class owl.run.ServerCli
-
- getOptions() - Method in class owl.translations.ltl2dpa.LTL2DPACliParser
-
- getOptions() - Method in class owl.translations.ltl2dra.LTL2DRACliParser
-
- getOptions() - Method in class owl.translations.ltl2ldba.LTL2LDBACliParser
-
- getOptions() - Method in class owl.translations.rabinizer.RabinizerCliParser
-
- getOriginalState() - Method in class owl.translations.dra2dpa.IARState
-
- getOwner(S) - Method in interface owl.game.Game
-
- getPairs() - Method in class owl.automaton.acceptance.GeneralizedRabinAcceptance
-
Returns an unmodifiable view of the pair collection.
- getParity() - Method in class owl.automaton.acceptance.ParityAcceptance
-
- getPlayer1Variables() - Method in class owl.ltl.LabelledFormula
-
- getPlayer2Variables() - Method in class owl.ltl.LabelledFormula
-
- getPredecessors(Iterable<S>) - Method in interface owl.game.Game
-
- getPredecessors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
-
- getPredecessors(S) - Method in interface owl.automaton.Automaton
-
- getPredecessors(S, Game.Owner) - Method in interface owl.game.Game
-
- getReachableStates(Automaton<S, A>) - Static method in class owl.automaton.AutomatonUtil
-
Returns all states reachable from the initial states.
- getReachableStates(Automaton<S, A>, Collection<? extends S>) - Static method in class owl.automaton.AutomatonUtil
-
Returns all states reachable from the given set of states.
- getReaderParser(String) - Method in class owl.run.modules.OwlModuleRegistry
-
- getRecord() - Method in class owl.translations.dra2dpa.IARState
-
- getRepresentative() - Method in interface owl.ltl.EquivalenceClass
-
- getRewriter() - Method in enum owl.ltl.rewriter.RewriterFactory.RewriterEnum
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.AndExpressionContext
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.AtomExpressionContext
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.BinaryExpressionContext
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.BinaryOpContext
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.BoolContext
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.ComparisonContext
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.ExpressionContext
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.FormulaContext
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.FrequencyOpContext
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.FrequencySpecContext
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.OrExpressionContext
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.UnaryExpressionContext
-
- getRuleIndex() - Method in class owl.grammar.LTLParser.UnaryOpContext
-
- getRuleIndex() - Method in class owl.grammar.TLSFParser.InputContext
-
- getRuleIndex() - Method in class owl.grammar.TLSFParser.OutputContext
-
- getRuleIndex() - Method in class owl.grammar.TLSFParser.SemanticsContext
-
- getRuleIndex() - Method in class owl.grammar.TLSFParser.SpecificationContext
-
- getRuleIndex() - Method in class owl.grammar.TLSFParser.TargetContext
-
- getRuleIndex() - Method in class owl.grammar.TLSFParser.TlsfContext
-
- getRuleNames() - Method in class owl.grammar.LTLLexer
-
- getRuleNames() - Method in class owl.grammar.LTLParser
-
- getRuleNames() - Method in class owl.grammar.TLSFLexer
-
- getRuleNames() - Method in class owl.grammar.TLSFParser
-
- getSensitiveAlphabet() - Method in interface owl.translations.frequency.AutomatonState
-
- getSensitiveAlphabet() - Method in class owl.translations.frequency.EquivalenceClassState
-
- getSensitiveAlphabet() - Method in class owl.translations.frequency.FrequencySelfProductSlave.State
-
- getSensitiveAlphabet() - Method in class owl.translations.frequency.ProductControllerSynthesis.State
-
- getSensitiveAlphabet(EquivalenceClass) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
-
- getSensitiveAlphabet(DegeneralizedBreakpointFreeState) - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
-
- getSerializedATN() - Method in class owl.grammar.LTLLexer
-
- getSerializedATN() - Method in class owl.grammar.LTLParser
-
- getSerializedATN() - Method in class owl.grammar.TLSFLexer
-
- getSerializedATN() - Method in class owl.grammar.TLSFParser
-
- getSettings(OwlModuleRegistry.Type) - Method in class owl.run.modules.OwlModuleRegistry
-
- getSink() - Static method in class owl.translations.nba2ldba.BreakpointState
-
- getStates() - Method in interface owl.automaton.Automaton
-
Returns all states in this automaton.
- getStates() - Method in class owl.automaton.StreamingAutomaton
-
- getStates() - Method in class owl.automaton.Views.ForwardingAutomaton
-
- getStates() - Method in class owl.translations.frequency.Automaton
-
- getStates(Game.Owner) - Method in interface owl.game.Game
-
- getSucceedTransitions(FrequencyMojmirSlaveAutomaton, int, Set<UnaryModalOperator>) - Method in class owl.translations.frequency.ProductControllerSynthesis.State
-
- getSuccessor() - Method in interface owl.automaton.edge.Edge
-
Get the target state of the edge.
- getSuccessor(BitSet) - Method in interface owl.translations.frequency.AutomatonState
-
Compute the successor of a state and return the corresponding edge.
- getSuccessor(BitSet) - Method in class owl.translations.frequency.FrequencySelfProductSlave.State
-
- getSuccessor(BitSet) - Method in class owl.translations.frequency.MasterAutomaton.MasterState
-
- getSuccessor(BitSet) - Method in class owl.translations.frequency.ProductControllerSynthesis.State
-
- getSuccessor(EquivalenceClass, BitSet, EquivalenceClass...) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
-
- getSuccessor(GeneralizedBreakpointState, BitSet) - Method in class owl.translations.ltl2ldba.breakpoint.GeneralizedAcceptingComponentBuilder
-
- getSuccessor(DegeneralizedBreakpointFreeState, BitSet) - Method in class owl.translations.ltl2ldba.breakpointfree.DegeneralizedAcceptingComponentBuilder
-
- getSuccessor(S, BitSet) - Method in interface owl.automaton.Automaton
-
- getSuccessor(S, BitSet) - Method in class owl.automaton.StreamingAutomaton
-
- getSuccessorMap(S) - Method in interface owl.automaton.Automaton
-
- getSuccessors(Iterable<S>) - Method in interface owl.game.Game
-
- getSuccessors(Iterable<S>, Game.Owner) - Method in interface owl.game.Game
-
- getSuccessors(EquivalenceClass[], BitSet, EquivalenceClass) - Method in class owl.translations.ltl2ldba.EquivalenceClassStateFactory
-
- getSuccessors(S) - Method in interface owl.automaton.Automaton
-
- getSuccessors(S) - Method in class owl.automaton.StreamingAutomaton
-
- getSuccessors(S) - Method in class owl.translations.frequency.Automaton
-
- getSuccessors(S, BitSet) - Method in interface owl.automaton.Automaton
-
- getSuccessors(S, BitSet) - Method in class owl.automaton.StreamingAutomaton
-
- getSuccessors(S, Game.Owner) - Method in interface owl.game.Game
-
- getSupport() - Method in interface owl.ltl.EquivalenceClass
-
Compute the support of the EquivalenceClass.
- getSupport(Predicate<Formula>) - Method in interface owl.ltl.EquivalenceClass
-
- getT() - Method in interface owl.translations.ldba2dpa.Language
-
- getTokenNames() - Method in class owl.grammar.LTLLexer
-
Deprecated.
- getTokenNames() - Method in class owl.grammar.LTLParser
-
Deprecated.
- getTokenNames() - Method in class owl.grammar.TLSFLexer
-
Deprecated.
- getTokenNames() - Method in class owl.grammar.TLSFParser
-
Deprecated.
- getTop() - Method in interface owl.translations.ldba2dpa.LanguageLattice
-
- getTop() - Method in class owl.translations.ltl2ldba.breakpoint.EquivalenceClassLanguageLattice
-
- getTop() - Method in class owl.translations.ltl2ldba.breakpointfree.BooleanLattice
-
- getTransformerParser(String) - Method in class owl.run.modules.OwlModuleRegistry
-
- getTrue() - Method in interface owl.factories.EquivalenceClassFactory
-
- getTrue() - Method in class owl.game.output.AigFactory
-
- getTypes(OwlModuleParser<?>) - Static method in enum owl.run.modules.OwlModuleRegistry.Type
-
- getUnmodifiableAcceptanceMdp() - Method in class owl.translations.frequency.GeneralisedRabinWithMeanPayoffAcceptance
-
- getValuations() - Method in class owl.automaton.edge.LabelledEdge
-
- getValuationSetFactory(List<String>) - Method in interface owl.factories.FactorySupplier
-
- getValuationSetFactory(List<String>) - Method in class owl.factories.jbdd.JBddSupplier
-
- getValuationSetJumps(Set<S>) - Method in class owl.automaton.ldba.CutDeterministicAutomaton
-
- getValuationSetJumps(S) - Method in interface owl.automaton.ldba.LimitDeterministicAutomaton
-
- getValuationSetJumps(S) - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
-
- getVariables() - Method in interface owl.automaton.Automaton
-
- getVariables() - Method in class owl.automaton.ldba.CutDeterministicAutomaton
-
- getVariables() - Method in class owl.automaton.ldba.LimitDeterministicAutomatonImpl
-
- getVariables() - Method in interface owl.automaton.output.HoaPrintable
-
- getVariables() - Method in interface owl.factories.EquivalenceClassFactory
-
- getVariables() - Method in class owl.translations.frequency.Automaton
-
- getVariables(Game.Owner) - Method in interface owl.game.Game
-
- getVocabulary() - Method in class owl.grammar.LTLLexer
-
- getVocabulary() - Method in class owl.grammar.LTLParser
-
- getVocabulary() - Method in class owl.grammar.TLSFLexer
-
- getVocabulary() - Method in class owl.grammar.TLSFParser
-
- getWriterParser(String) - Method in class owl.run.modules.OwlModuleRegistry
-
- GLOBALLY - Static variable in class owl.grammar.LTLLexer
-
- GLOBALLY - Static variable in class owl.grammar.LTLParser
-
- GLOBALLY() - Method in class owl.grammar.LTLParser.FrequencyOpContext
-
- GLOBALLY() - Method in class owl.grammar.LTLParser.UnaryOpContext
-
- globalSettings - Variable in class owl.run.parser.OwlParser
-
- GObligations - Class in owl.translations.ltl2ldba.breakpoint
-
- GObligationsJumpManager - Class in owl.translations.ltl2ldba.breakpoint
-
- GOperator - Class in owl.ltl
-
Globally.
- GOperator(Formula) - Constructor for class owl.ltl.GOperator
-
- greaterOrEqual(Language<L>) - Method in interface owl.translations.ldba2dpa.Language
-
- GREEDY - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
-
- GT - owl.ltl.FrequencyG.Comparison
-
- GT - Static variable in class owl.grammar.LTLLexer
-
- GT - Static variable in class owl.grammar.LTLParser
-
- GT() - Method in class owl.grammar.LTLParser.ComparisonContext
-
- guarantee() - Method in class owl.ltl.tlsf.Tlsf
-
- GUARANTEE - Static variable in class owl.grammar.TLSFLexer
-
- GUARANTEE - Static variable in class owl.grammar.TLSFParser
-
- GUARANTEE() - Method in class owl.grammar.TLSFParser.SpecificationContext
-
- GUESS_F - owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
-
- guessF() - Static method in class owl.translations.ltl2ldba.LTL2LDBACliParser
-
- valuations - Variable in class owl.automaton.edge.LabelledEdge
-
- ValuationSet - Interface in owl.collections
-
- ValuationSetFactory - Interface in owl.factories
-
- ValuationSetMapUtil - Class in owl.collections
-
- ValuationSetUtil - Class in owl.collections
-
- value - Variable in class owl.grammar.LTLParser.ProbabilityContext
-
- value - Variable in class owl.ltl.BooleanConstant
-
- valueOf(String) - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.automaton.Automaton.Property
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.automaton.ldba.LimitDeterministicAutomatonBuilder.Configuration
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.automaton.output.HoaPrintable.HoaOption
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.game.Game.Owner
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.ltl.FrequencyG.Comparison
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.ltl.FrequencyG.Limes
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.ltl.rewriter.RewriterFactory.RewriterEnum
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.ltl.tlsf.Tlsf.Semantics
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.run.modules.OutputWriters.ToHoa.Setting
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.run.modules.OwlModuleRegistry.Type
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.translations.frequency.Optimisation
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.translations.ltl2dra.LTL2DRAFunction.Configuration
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum owl.automaton.acceptance.ParityAcceptance.Parity
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.automaton.Automaton.Property
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.automaton.ldba.LimitDeterministicAutomatonBuilder.Configuration
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.automaton.minimizations.MinimizationUtil.MinimizationLevel
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.automaton.output.HoaPrintable.HoaOption
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.game.Game.Owner
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.ltl.FrequencyG.Comparison
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.ltl.FrequencyG.Limes
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.ltl.rewriter.RewriterFactory.RewriterEnum
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.ltl.tlsf.Tlsf.Semantics
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.run.modules.OutputWriters.ToHoa.Setting
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.run.modules.OwlModuleRegistry.Type
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.translations.frequency.Optimisation
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.translations.ltl2dpa.LTL2DPAFunction.Configuration
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.translations.ltl2dra.LTL2DRAFunction.Configuration
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum owl.translations.ltl2ldba.LTL2LDBAFunction.Configuration
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- VAR_ID - Static variable in class owl.grammar.TLSFLexer
-
- VAR_ID - Static variable in class owl.grammar.TLSFParser
-
- VAR_ID() - Method in class owl.grammar.TLSFParser.InputContext
-
- VAR_ID() - Method in class owl.grammar.TLSFParser.OutputContext
-
- VAR_ID(int) - Method in class owl.grammar.TLSFParser.InputContext
-
- VAR_ID(int) - Method in class owl.grammar.TLSFParser.OutputContext
-
- variable - Variable in class owl.game.output.Aig
-
- variable - Variable in class owl.grammar.LTLParser.VariableContext
-
- VARIABLE - Static variable in class owl.grammar.LTLLexer
-
- VARIABLE - Static variable in class owl.grammar.LTLParser
-
- VARIABLE() - Method in class owl.grammar.LTLParser.VariableContext
-
- VariableContext(LTLParser.AtomExpressionContext) - Constructor for class owl.grammar.LTLParser.VariableContext
-
- variables - Variable in class owl.ltl.LabelledFormula
-
- variables - Variable in class owl.translations.frequency.Automaton
-
- variables() - Method in class owl.ltl.tlsf.Tlsf
-
- viewAs(Automaton<S, ?>, Class<A>) - Static method in class owl.automaton.Views
-
- Views - Class in owl.automaton
-
- Views.ForwardingAutomaton<S,A extends OmegaAcceptance,B extends OmegaAcceptance,T extends Automaton<S,B>> - Class in owl.automaton
-
- Views.ForwardingMutableAutomaton<S,A extends OmegaAcceptance,B extends OmegaAcceptance> - Class in owl.automaton
-
- viewSuccessors(Map<Edge<S>, ValuationSet>) - Static method in class owl.collections.ValuationSetMapUtil
-
- visit(BooleanConstant) - Method in class owl.factories.PropositionVisitor
-
- visit(BooleanConstant) - Method in class owl.ltl.visitors.DefaultConverter
-
- visit(BooleanConstant) - Method in class owl.ltl.visitors.DefaultIntVisitor
-
- visit(BooleanConstant) - Method in class owl.ltl.visitors.DefaultVisitor
-
- visit(BooleanConstant) - Method in interface owl.ltl.visitors.IntVisitor
-
- visit(BooleanConstant) - Method in class owl.ltl.visitors.PrintVisitor
-
- visit(BooleanConstant) - Method in interface owl.ltl.visitors.Visitor
-
- visit(BooleanConstant) - Method in class owl.ltl.visitors.XDepthVisitor
-
- visit(BooleanConstant) - Method in class owl.translations.frequency.TopMostOperatorVisitor
-
- visit(BooleanConstant, P) - Method in interface owl.ltl.visitors.BinaryVisitor
-
- visit(BooleanConstant, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
-
- visit(Conjunction) - Method in class owl.factories.PropositionVisitor
-
- visit(Conjunction) - Method in class owl.ltl.visitors.DefaultConverter
-
- visit(Conjunction) - Method in class owl.ltl.visitors.DefaultIntVisitor
-
- visit(Conjunction) - Method in class owl.ltl.visitors.DefaultVisitor
-
- visit(Conjunction) - Method in interface owl.ltl.visitors.IntVisitor
-
- visit(Conjunction) - Method in class owl.ltl.visitors.PrintVisitor
-
- visit(Conjunction) - Method in class owl.ltl.visitors.SubstitutionVisitor
-
- visit(Conjunction) - Method in interface owl.ltl.visitors.Visitor
-
- visit(Conjunction) - Method in class owl.ltl.visitors.XDepthVisitor
-
- visit(Conjunction) - Method in class owl.translations.frequency.TopMostOperatorVisitor
-
- visit(Conjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
-
- visit(Conjunction, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
-
- visit(Disjunction) - Method in class owl.factories.PropositionVisitor
-
- visit(Disjunction) - Method in class owl.ltl.visitors.DefaultConverter
-
- visit(Disjunction) - Method in class owl.ltl.visitors.DefaultIntVisitor
-
- visit(Disjunction) - Method in class owl.ltl.visitors.DefaultVisitor
-
- visit(Disjunction) - Method in interface owl.ltl.visitors.IntVisitor
-
- visit(Disjunction) - Method in class owl.ltl.visitors.PrintVisitor
-
- visit(Disjunction) - Method in class owl.ltl.visitors.SubstitutionVisitor
-
- visit(Disjunction) - Method in interface owl.ltl.visitors.Visitor
-
- visit(Disjunction) - Method in class owl.ltl.visitors.XDepthVisitor
-
- visit(Disjunction) - Method in class owl.translations.frequency.TopMostOperatorVisitor
-
- visit(Disjunction, P) - Method in interface owl.ltl.visitors.BinaryVisitor
-
- visit(Disjunction, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
-
- visit(FOperator) - Method in class owl.factories.PropositionVisitor
-
- visit(FOperator) - Method in class owl.ltl.visitors.DefaultConverter
-
- visit(FOperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
-
- visit(FOperator) - Method in class owl.ltl.visitors.DefaultVisitor
-
- visit(FOperator) - Method in interface owl.ltl.visitors.IntVisitor
-
- visit(FOperator) - Method in class owl.ltl.visitors.PrintVisitor
-
- visit(FOperator) - Method in interface owl.ltl.visitors.Visitor
-
- visit(FOperator) - Method in class owl.ltl.visitors.XDepthVisitor
-
- visit(FOperator) - Method in class owl.translations.frequency.TopMostOperatorVisitor
-
- visit(FOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
-
- visit(FOperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
-
- visit(FrequencyG) - Method in class owl.factories.PropositionVisitor
-
- visit(FrequencyG) - Method in class owl.ltl.visitors.DefaultConverter
-
- visit(FrequencyG) - Method in class owl.ltl.visitors.DefaultIntVisitor
-
- visit(FrequencyG) - Method in class owl.ltl.visitors.DefaultVisitor
-
- visit(FrequencyG) - Method in interface owl.ltl.visitors.IntVisitor
-
- visit(FrequencyG) - Method in class owl.ltl.visitors.PrintVisitor
-
- visit(FrequencyG) - Method in interface owl.ltl.visitors.Visitor
-
- visit(FrequencyG) - Method in class owl.translations.frequency.TopMostOperatorVisitor
-
- visit(GOperator) - Method in class owl.factories.PropositionVisitor
-
- visit(GOperator) - Method in class owl.ltl.visitors.DefaultConverter
-
- visit(GOperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
-
- visit(GOperator) - Method in class owl.ltl.visitors.DefaultVisitor
-
- visit(GOperator) - Method in interface owl.ltl.visitors.IntVisitor
-
- visit(GOperator) - Method in class owl.ltl.visitors.PrintVisitor
-
- visit(GOperator) - Method in interface owl.ltl.visitors.Visitor
-
- visit(GOperator) - Method in class owl.ltl.visitors.XDepthVisitor
-
- visit(GOperator) - Method in class owl.translations.frequency.TopMostOperatorVisitor
-
- visit(GOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
-
- visit(GOperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
-
- visit(Literal) - Method in class owl.factories.PropositionVisitor
-
- visit(Literal) - Method in class owl.ltl.visitors.DefaultConverter
-
- visit(Literal) - Method in class owl.ltl.visitors.DefaultIntVisitor
-
- visit(Literal) - Method in class owl.ltl.visitors.DefaultVisitor
-
- visit(Literal) - Method in interface owl.ltl.visitors.IntVisitor
-
- visit(Literal) - Method in class owl.ltl.visitors.PrintVisitor
-
- visit(Literal) - Method in interface owl.ltl.visitors.Visitor
-
- visit(Literal) - Method in class owl.ltl.visitors.XDepthVisitor
-
- visit(Literal) - Method in class owl.translations.frequency.TopMostOperatorVisitor
-
- visit(Literal, P) - Method in interface owl.ltl.visitors.BinaryVisitor
-
- visit(Literal, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
-
- visit(MOperator) - Method in class owl.factories.PropositionVisitor
-
- visit(MOperator) - Method in class owl.ltl.visitors.DefaultConverter
-
- visit(MOperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
-
- visit(MOperator) - Method in class owl.ltl.visitors.DefaultVisitor
-
- visit(MOperator) - Method in interface owl.ltl.visitors.IntVisitor
-
- visit(MOperator) - Method in class owl.ltl.visitors.PrintVisitor
-
- visit(MOperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
-
- visit(MOperator) - Method in interface owl.ltl.visitors.Visitor
-
- visit(MOperator) - Method in class owl.translations.frequency.TopMostOperatorVisitor
-
- visit(MOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
-
- visit(MOperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
-
- visit(ROperator) - Method in class owl.factories.PropositionVisitor
-
- visit(ROperator) - Method in class owl.ltl.visitors.DefaultConverter
-
- visit(ROperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
-
- visit(ROperator) - Method in class owl.ltl.visitors.DefaultVisitor
-
- visit(ROperator) - Method in interface owl.ltl.visitors.IntVisitor
-
- visit(ROperator) - Method in class owl.ltl.visitors.PrintVisitor
-
- visit(ROperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
-
- visit(ROperator) - Method in interface owl.ltl.visitors.Visitor
-
- visit(ROperator) - Method in class owl.translations.frequency.TopMostOperatorVisitor
-
- visit(ROperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
-
- visit(ROperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
-
- visit(UOperator) - Method in class owl.factories.PropositionVisitor
-
- visit(UOperator) - Method in class owl.ltl.visitors.DefaultConverter
-
- visit(UOperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
-
- visit(UOperator) - Method in class owl.ltl.visitors.DefaultVisitor
-
- visit(UOperator) - Method in interface owl.ltl.visitors.IntVisitor
-
- visit(UOperator) - Method in class owl.ltl.visitors.PrintVisitor
-
- visit(UOperator) - Method in interface owl.ltl.visitors.Visitor
-
- visit(UOperator) - Method in class owl.translations.frequency.TopMostOperatorVisitor
-
- visit(UOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
-
- visit(UOperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
-
- visit(WOperator) - Method in class owl.factories.PropositionVisitor
-
- visit(WOperator) - Method in class owl.ltl.visitors.DefaultConverter
-
- visit(WOperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
-
- visit(WOperator) - Method in class owl.ltl.visitors.DefaultVisitor
-
- visit(WOperator) - Method in interface owl.ltl.visitors.IntVisitor
-
- visit(WOperator) - Method in class owl.ltl.visitors.PrintVisitor
-
- visit(WOperator) - Method in class owl.ltl.visitors.UnabbreviateVisitor
-
- visit(WOperator) - Method in interface owl.ltl.visitors.Visitor
-
- visit(WOperator) - Method in class owl.translations.frequency.TopMostOperatorVisitor
-
- visit(WOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
-
- visit(WOperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
-
- visit(XOperator) - Method in class owl.factories.PropositionVisitor
-
- visit(XOperator) - Method in class owl.ltl.visitors.DefaultConverter
-
- visit(XOperator) - Method in class owl.ltl.visitors.DefaultIntVisitor
-
- visit(XOperator) - Method in class owl.ltl.visitors.DefaultVisitor
-
- visit(XOperator) - Method in interface owl.ltl.visitors.IntVisitor
-
- visit(XOperator) - Method in class owl.ltl.visitors.PrintVisitor
-
- visit(XOperator) - Method in interface owl.ltl.visitors.Visitor
-
- visit(XOperator) - Method in class owl.ltl.visitors.XDepthVisitor
-
- visit(XOperator) - Method in class owl.translations.frequency.TopMostOperatorVisitor
-
- visit(XOperator, P) - Method in interface owl.ltl.visitors.BinaryVisitor
-
- visit(XOperator, P) - Method in class owl.ltl.visitors.DefaultBinaryVisitor
-
- visitAndExpression(LTLParser.AndExpressionContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitAndExpression(LTLParser.AndExpressionContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitBinaryOp(LTLParser.BinaryOpContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitBinaryOp(LTLParser.BinaryOpContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitBinaryOperation(LTLParser.BinaryOperationContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitBinaryOperation(LTLParser.BinaryOperationContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitBinaryUnary(LTLParser.BinaryUnaryContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitBool(LTLParser.BoolContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitBool(LTLParser.BoolContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitBoolean(LTLParser.BooleanContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitBoolean(LTLParser.BooleanContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitComparison(LTLParser.ComparisonContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitComparison(LTLParser.ComparisonContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitErrorNode(ErrorNode) - Method in class owl.grammar.LTLParserBaseListener
- visitErrorNode(ErrorNode) - Method in class owl.grammar.TLSFParserBaseListener
- visitExpression(LTLParser.ExpressionContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitExpression(LTLParser.ExpressionContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitFormula(LTLParser.FormulaContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitFormula(LTLParser.FormulaContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitFraction(LTLParser.FractionContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitFraction(LTLParser.FractionContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitFrequencyOp(LTLParser.FrequencyOpContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitFrequencyOp(LTLParser.FrequencyOpContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitInput(TLSFParser.InputContext) - Method in class owl.grammar.TLSFParserBaseVisitor
-
- visitInput(TLSFParser.InputContext) - Method in interface owl.grammar.TLSFParserVisitor
-
- visitNested(LTLParser.NestedContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitNested(LTLParser.NestedContext) - Method in interface owl.grammar.LTLParserVisitor
-
- Visitor<R> - Interface in owl.ltl.visitors
-
- visitOrExpression(LTLParser.OrExpressionContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitOrExpression(LTLParser.OrExpressionContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitOutput(TLSFParser.OutputContext) - Method in class owl.grammar.TLSFParserBaseVisitor
-
- visitOutput(TLSFParser.OutputContext) - Method in interface owl.grammar.TLSFParserVisitor
-
- visitProbability(LTLParser.ProbabilityContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitProbability(LTLParser.ProbabilityContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitSemantics(TLSFParser.SemanticsContext) - Method in class owl.grammar.TLSFParserBaseVisitor
-
- visitSemantics(TLSFParser.SemanticsContext) - Method in interface owl.grammar.TLSFParserVisitor
-
- visitSpecification(TLSFParser.SpecificationContext) - Method in class owl.grammar.TLSFParserBaseVisitor
-
- visitSpecification(TLSFParser.SpecificationContext) - Method in interface owl.grammar.TLSFParserVisitor
-
- visitTarget(TLSFParser.TargetContext) - Method in class owl.grammar.TLSFParserBaseVisitor
-
- visitTarget(TLSFParser.TargetContext) - Method in interface owl.grammar.TLSFParserVisitor
-
- visitTerminal(TerminalNode) - Method in class owl.grammar.LTLParserBaseListener
- visitTerminal(TerminalNode) - Method in class owl.grammar.TLSFParserBaseListener
- visitTlsf(TLSFParser.TlsfContext) - Method in class owl.grammar.TLSFParserBaseVisitor
-
- visitTlsf(TLSFParser.TlsfContext) - Method in interface owl.grammar.TLSFParserVisitor
-
- visitUnaryAtom(LTLParser.UnaryAtomContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitUnaryAtom(LTLParser.UnaryAtomContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitUnaryOp(LTLParser.UnaryOpContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitUnaryOp(LTLParser.UnaryOpContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitUnaryOperation(LTLParser.UnaryOperationContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitUnaryOperation(LTLParser.UnaryOperationContext) - Method in interface owl.grammar.LTLParserVisitor
-
- visitVariable(LTLParser.VariableContext) - Method in class owl.grammar.LTLParserBaseVisitor
-
- visitVariable(LTLParser.VariableContext) - Method in interface owl.grammar.LTLParserVisitor
-
- VOCABULARY - Static variable in class owl.grammar.LTLLexer
-
- VOCABULARY - Static variable in class owl.grammar.LTLParser
-
- VOCABULARY - Static variable in class owl.grammar.TLSFLexer
-
- VOCABULARY - Static variable in class owl.grammar.TLSFParser
-
- vsFactory - Variable in class owl.factories.Factories
-
- vsFactory - Variable in class owl.translations.frequency.Automaton
-