Index (LearnLib :: Algorithms

A C D E F G H I L M N O R S T U V W
All Classes All Packages

A

AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.alphabet.SupportsGrowingAlphabet> - Class in de.learnlib.algorithm.lstar: Abstract base class for algorithms that produce (subclasses of) MutableDeterministic automata.
AbstractAutomatonLStar(Alphabet, MembershipOracle<I, D>, AI) - Constructor for class de.learnlib.algorithm.lstar.AbstractAutomatonLStar: Constructor.
AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automaton.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.alphabet.SupportsGrowingAlphabet> - Class in de.learnlib.algorithm.lstar
AbstractExtensibleAutomatonLStar(Alphabet, MembershipOracle<I, D>, AI, List<Word>, List<Word>, ObservationTableCEXHandler<? super I, ? super D>, ClosingStrategy<? super I, ? super D>) - Constructor for class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
AbstractExtensibleAutomatonLStar.BuilderDefaults - Class in de.learnlib.algorithm.lstar
AbstractLStar<A,I,D> - Class in de.learnlib.algorithm.lstar: An abstract base class for L*-style algorithms.
AbstractLStar(Alphabet, MembershipOracle<I, D>) - Constructor for class de.learnlib.algorithm.lstar.AbstractLStar: Constructor.
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.lstar.AbstractLStar
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy
addAlphabetSymbol(I) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
addGlobalSuffixes(Collection<? extends Word>) - Method in class de.learnlib.algorithm.lstar.AbstractLStar
alphabet - Variable in class de.learnlib.algorithm.lstar.AbstractLStar
analyzeInconsistency(Inconsistency) - Method in class de.learnlib.algorithm.lstar.AbstractLStar: Analyzes an inconsistency.
AutomatonLStarState<I,D,AI,S> - Class in de.learnlib.algorithm.lstar: Class that contains all data that represent the internal state of the AbstractAutomatonLStar learner and its DFA and Mealy implementations.

C

cexHandler - Variable in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
cexHandler() - Static method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults
CLASSIC_LSTAR - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
ClassicLStarDFA - Class in de.learnlib.algorithm.lstar.dfa: Implementation of the L* algorithm by Dana Angluin.
ClassicLStarDFA(Alphabet, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFA
ClassicLStarDFABuilder - Class in de.learnlib.algorithm.lstar.dfa: A builder for constructing ClassicLStarDFA instances.
ClassicLStarDFABuilder() - Constructor for class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder: Creates a new builder (and may set default values for some parameters).
ClassicLStarMealy<I,O> - Class in de.learnlib.algorithm.lstar.mealy: An implementation of the L*Mealy algorithm for inferring Mealy machines, as described by Oliver Niese in his Ph.D.
ClassicLStarMealy(Alphabet, MembershipOracle<I, O>) - Constructor for class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy: Constructor.
ClassicLStarMealy(Alphabet, MembershipOracle<I, O>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Constructor for class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy: Constructor.
ClassicLStarMealy(Alphabet, MembershipOracle<I, O>, List<Word>, List<Word>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Constructor for class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy
ClassicLStarMealyBuilder<I,O> - Class in de.learnlib.algorithm.lstar.mealy: A builder for constructing ClassicLStarMealy instances.
ClassicLStarMealyBuilder() - Constructor for class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Creates a new builder (and may set default values for some parameters).
ClassicLStarMoore<I,O> - Class in de.learnlib.algorithm.lstar.moore: A MooreMachine-based specialization of the classic L* learner.
ClassicLStarMoore(Alphabet, MembershipOracle<I, O>, List<Word>, List<Word>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Constructor for class de.learnlib.algorithm.lstar.moore.ClassicLStarMoore
ClassicLStarMooreBuilder<I,O> - Class in de.learnlib.algorithm.lstar.moore: A builder for constructing ClassicLStarMoore instances.
ClassicLStarMooreBuilder() - Constructor for class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Creates a new builder (and may set default values for some parameters).
CLOSE_FIRST - Static variable in class de.learnlib.algorithm.lstar.closing.ClosingStrategies: Closing strategy that selects the first row from each equivalence class as representative.
CLOSE_LEX_MIN - Static variable in class de.learnlib.algorithm.lstar.closing.ClosingStrategies: Closing strategy that selects the lexicographically minimal row (wrt. its prefix) of each equivalence class as representative.
CLOSE_RANDOM - Static variable in class de.learnlib.algorithm.lstar.closing.ClosingStrategies: Closing strategy that randomly selects one representative row to close from each equivalence class.
CLOSE_SHORTEST - Static variable in class de.learnlib.algorithm.lstar.closing.ClosingStrategies: Closing strategy that selects the shortest row of each equivalence class (more precisely: a row which's prefix has minimal length in the respective class) as representative.
CloseRandomStrategy - Class in de.learnlib.algorithm.lstar.closing
CloseRandomStrategy() - Constructor for class de.learnlib.algorithm.lstar.closing.CloseRandomStrategy
CloseRandomStrategy(Random) - Constructor for class de.learnlib.algorithm.lstar.closing.CloseRandomStrategy
ClosingStrategies - Class in de.learnlib.algorithm.lstar.closing: Collection of predefined observation table closing strategies.
closingStrategy - Variable in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
closingStrategy() - Static method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults
ClosingStrategy<I,D> - Interface in de.learnlib.algorithm.lstar.closing: A closing strategy, determining how to proceed when an observation table needs to be closed.
completeConsistentTable(List<List<Row>>, boolean) - Method in class de.learnlib.algorithm.lstar.AbstractLStar: Iteratively checks for unclosedness and inconsistencies in the table, and fixes any occurrences thereof.
create() - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder: Creates a new ClassicLStarDFA instance with the configured parameters.
create() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Creates a new ExtensibleLStarDFA instance with the configured parameters.
create() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Creates a new ClassicLStarMealy instance with the configured parameters.
create() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Creates a new ExtensibleLStarMealy instance with the configured parameters.
create() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Creates a new ClassicLStarMoore instance with the configured parameters.
create() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Creates a new ExtensibleLStarMoore instance with the configured parameters.
create() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Creates a new MalerPnueliDFA instance with the configured parameters.
create() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Creates a new MalerPnueliMealy instance with the configured parameters.
create() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Creates a new MalerPnueliMoore instance with the configured parameters.
create() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Creates a new RivestSchapireDFA instance with the configured parameters.
create() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Creates a new RivestSchapireMealy instance with the configured parameters.
create() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Creates a new RivestSchapireMoore instance with the configured parameters.
createState(boolean, Row) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

D

de.learnlib.algorithm.lstar - package de.learnlib.algorithm.lstar
de.learnlib.algorithm.lstar.ce - package de.learnlib.algorithm.lstar.ce
de.learnlib.algorithm.lstar.closing - package de.learnlib.algorithm.lstar.closing
de.learnlib.algorithm.lstar.dfa - package de.learnlib.algorithm.lstar.dfa
de.learnlib.algorithm.lstar.mealy - package de.learnlib.algorithm.lstar.mealy
de.learnlib.algorithm.lstar.moore - package de.learnlib.algorithm.lstar.moore
de.learnlib.algorithm.malerpnueli - package de.learnlib.algorithm.malerpnueli
de.learnlib.algorithm.rivestschapire - package de.learnlib.algorithm.rivestschapire
doRefineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
doRefineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithm.lstar.AbstractLStar

E

ensureSuffixCompliancy(List<Word>) - Static method in class de.learnlib.algorithm.lstar.dfa.LStarDFAUtil
ensureSuffixCompliancy(List<Word>) - Static method in class de.learnlib.algorithm.lstar.moore.LStarMooreUtil
ensureSuffixCompliancy(List<Word>, Alphabet, boolean) - Static method in class de.learnlib.algorithm.lstar.mealy.LStarMealyUtil
ExtensibleLStarDFA - Class in de.learnlib.algorithm.lstar.dfa: An implementation of Angluin's L* algorithm for learning DFAs, as described in the paper "Learning Regular Sets from Queries and Counterexamples".
ExtensibleLStarDFA(Alphabet, MembershipOracle<I, Boolean>, List<Word>, ObservationTableCEXHandler<? super I, ? super Boolean>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA: Constructor.
ExtensibleLStarDFA(Alphabet, MembershipOracle<I, Boolean>, List<Word>, List<Word>, ObservationTableCEXHandler<? super I, ? super Boolean>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA
ExtensibleLStarDFABuilder - Class in de.learnlib.algorithm.lstar.dfa: A builder for constructing ExtensibleLStarDFA instances.
ExtensibleLStarDFABuilder() - Constructor for class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Creates a new builder (and may set default values for some parameters).
ExtensibleLStarMealy<I,O> - Class in de.learnlib.algorithm.lstar.mealy: A MealyMachine-based specialization of the extensible L* learner.
ExtensibleLStarMealy(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, ObservationTableCEXHandler<? super I, ? super Word<O>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
ExtensibleLStarMealy(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, List<Word>, ObservationTableCEXHandler<? super I, ? super Word<O>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
ExtensibleLStarMealyBuilder<I,O> - Class in de.learnlib.algorithm.lstar.mealy: A builder for constructing ExtensibleLStarMealy instances.
ExtensibleLStarMealyBuilder() - Constructor for class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Creates a new builder (and may set default values for some parameters).
ExtensibleLStarMoore<I,O> - Class in de.learnlib.algorithm.lstar.moore: A MooreMachine-based specialization of the extensible L* learner.
ExtensibleLStarMoore(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, ObservationTableCEXHandler<? super I, ? super Word<O>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore
ExtensibleLStarMoore(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, List<Word>, ObservationTableCEXHandler<? super I, ? super Word<O>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore
ExtensibleLStarMooreBuilder<I,O> - Class in de.learnlib.algorithm.lstar.moore: A builder for constructing ExtensibleLStarMoore instances.
ExtensibleLStarMooreBuilder() - Constructor for class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Creates a new builder (and may set default values for some parameters).

F

FIND_LINEAR - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
FIND_LINEAR_ALLSUFFIXES - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
FIND_LINEAR_REVERSE - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
FIND_LINEAR_REVERSE_ALLSUFFIXES - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
fromGlobalSuffixFinder(GlobalSuffixFinder<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
fromLocalSuffixFinder(LocalSuffixFinder<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
fromLocalSuffixFinder(LocalSuffixFinder<I, D>, boolean) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers

G

getAlphabet() - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder: Returns the current value for the parameter alphabet.
getAlphabet() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Returns the current value for the parameter alphabet.
getAlphabet() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Returns the current value for the parameter alphabet.
getAlphabet() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Returns the current value for the parameter alphabet.
getAlphabet() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Returns the current value for the parameter alphabet.
getAlphabet() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Returns the current value for the parameter alphabet.
getAlphabet() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Returns the current value for the parameter alphabet.
getAlphabet() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Returns the current value for the parameter alphabet.
getAlphabet() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Returns the current value for the parameter alphabet.
getAlphabet() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Returns the current value for the parameter alphabet.
getAlphabet() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Returns the current value for the parameter alphabet.
getAlphabet() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Returns the current value for the parameter alphabet.
getCexHandler() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Returns the current value for the parameter cexHandler.
getCexHandler() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Returns the current value for the parameter cexHandler.
getCexHandler() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Returns the current value for the parameter cexHandler.
getCexHandler() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Returns the current value for the parameter cexHandler.
getCexHandler() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Returns the current value for the parameter cexHandler.
getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Returns the current value for the parameter closingStrategy.
getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Returns the current value for the parameter closingStrategy.
getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Returns the current value for the parameter closingStrategy.
getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Returns the current value for the parameter closingStrategy.
getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Returns the current value for the parameter closingStrategy.
getClosingStrategy() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Returns the current value for the parameter closingStrategy.
getClosingStrategy() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Returns the current value for the parameter closingStrategy.
getClosingStrategy() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Returns the current value for the parameter closingStrategy.
getClosingStrategy() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Returns the current value for the parameter closingStrategy.
getClosingStrategy() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Returns the current value for the parameter closingStrategy.
getClosingStrategy() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Returns the current value for the parameter closingStrategy.
getGlobalSuffixes() - Method in class de.learnlib.algorithm.lstar.AbstractLStar
getHypothesisModel() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA
getHypothesisModel() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy
getHypothesisModel() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
getHypothesisModel() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMoore
getHypothesisModel() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore
getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Returns the current value for the parameter initialPrefixes.
getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Returns the current value for the parameter initialPrefixes.
getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Returns the current value for the parameter initialPrefixes.
getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Returns the current value for the parameter initialPrefixes.
getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Returns the current value for the parameter initialPrefixes.
getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Returns the current value for the parameter initialSuffixes.
getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Returns the current value for the parameter initialSuffixes.
getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Returns the current value for the parameter initialSuffixes.
getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Returns the current value for the parameter initialSuffixes.
getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Returns the current value for the parameter initialSuffixes.
getInitialSuffixes() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Returns the current value for the parameter initialSuffixes.
getInitialSuffixes() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Returns the current value for the parameter initialSuffixes.
getInitialSuffixes() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Returns the current value for the parameter initialSuffixes.
getInitialSuffixes() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Returns the current value for the parameter initialSuffixes.
getInitialSuffixes() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Returns the current value for the parameter initialSuffixes.
getInitialSuffixes() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Returns the current value for the parameter initialSuffixes.
getObservationTable() - Method in class de.learnlib.algorithm.lstar.AbstractLStar
getOracle() - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder: Returns the current value for the parameter oracle.
getOracle() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Returns the current value for the parameter oracle.
getOracle() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Returns the current value for the parameter oracle.
getOracle() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Returns the current value for the parameter oracle.
getOracle() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Returns the current value for the parameter oracle.
getOracle() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Returns the current value for the parameter oracle.
getOracle() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Returns the current value for the parameter oracle.
getOracle() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Returns the current value for the parameter oracle.
getOracle() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Returns the current value for the parameter oracle.
getOracle() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Returns the current value for the parameter oracle.
getOracle() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Returns the current value for the parameter oracle.
getOracle() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Returns the current value for the parameter oracle.

H

handleClassicLStar(DefaultQuery<I, D>, MutableObservationTable<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
handleCounterexample(DefaultQuery<RI, RD>, MutableObservationTable<RI, RD>, SuffixOutput<RI, RD>, MembershipOracle<RI, RD>) - Method in interface de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandler
handleGlobalSuffixes(MutableObservationTable<I, D>, List<? extends Word>, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
handleLocalSuffix(Query<I, D>, MutableObservationTable<I, D>, int, boolean, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
handleLocalSuffix(Query<I, D>, MutableObservationTable<I, D>, int, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
handleSuffix1by1(DefaultQuery<I, D>, MutableObservationTable<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
hypothesisOutput() - Method in class de.learnlib.algorithm.lstar.AbstractLStar
hypothesisOutput() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA
hypothesisOutput() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy
hypothesisOutput() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
hypothesisOutput() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMoore
hypothesisOutput() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore

I

incorporateCounterExample(DefaultQuery<I, D>) - Method in class de.learnlib.algorithm.lstar.AbstractLStar: Incorporates the information provided by a counterexample into the observation data structure.
initialPrefixes - Variable in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
initialPrefixes() - Static method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults
initialPrefixes() - Method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
initialPrefixes() - Method in class de.learnlib.algorithm.lstar.AbstractLStar
initialSuffixes - Variable in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
initialSuffixes() - Static method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults
initialSuffixes() - Method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
initialSuffixes() - Method in class de.learnlib.algorithm.lstar.AbstractLStar: Returns the list of initial suffixes which are used to initialize the table.
internalHyp - Variable in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

L

LStarDFAUtil - Class in de.learnlib.algorithm.lstar.dfa
LStarMealyUtil - Class in de.learnlib.algorithm.lstar.mealy
LStarMooreUtil - Class in de.learnlib.algorithm.lstar.moore

M

MALER_PNUELI - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
MalerPnueliDFA - Class in de.learnlib.algorithm.malerpnueli: A DFA-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.
MalerPnueliDFA(Alphabet, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliDFA
MalerPnueliDFA(Alphabet, MembershipOracle<I, Boolean>, List<Word>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliDFA
MalerPnueliDFABuilder - Class in de.learnlib.algorithm.malerpnueli: A builder for constructing MalerPnueliDFA instances.
MalerPnueliDFABuilder() - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Creates a new builder (and may set default values for some parameters).
MalerPnueliMealy<I,O> - Class in de.learnlib.algorithm.malerpnueli: A MealyMachine-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.
MalerPnueliMealy(Alphabet, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliMealy
MalerPnueliMealy(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliMealy
MalerPnueliMealyBuilder<I,O> - Class in de.learnlib.algorithm.malerpnueli: A builder for constructing MalerPnueliMealy instances.
MalerPnueliMealyBuilder() - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Creates a new builder (and may set default values for some parameters).
MalerPnueliMoore<I,O> - Class in de.learnlib.algorithm.malerpnueli: A MooreMachine-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.
MalerPnueliMoore(Alphabet, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliMoore
MalerPnueliMoore(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliMoore
MalerPnueliMooreBuilder<I,O> - Class in de.learnlib.algorithm.malerpnueli: A builder for constructing MalerPnueliMoore instances.
MalerPnueliMooreBuilder() - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Creates a new builder (and may set default values for some parameters).

N

needsConsistencyCheck() - Method in interface de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandler

O

ObservationTableCEXHandler<I,D> - Interface in de.learnlib.algorithm.lstar.ce
ObservationTableCEXHandlers - Class in de.learnlib.algorithm.lstar.ce
oracle - Variable in class de.learnlib.algorithm.lstar.AbstractLStar

R

refineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithm.lstar.AbstractLStar
refineHypothesisInternal(DefaultQuery<I, D>) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
refineHypothesisInternal(DefaultQuery<I, D>) - Method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
resume(AutomatonLStarState<I, D, AI, S>) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
RIVEST_SCHAPIRE - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
RIVEST_SCHAPIRE_ALLSUFFIXES - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
RivestSchapireDFA - Class in de.learnlib.algorithm.rivestschapire: A DFA-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.
RivestSchapireDFA(Alphabet, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireDFA
RivestSchapireDFA(Alphabet, MembershipOracle<I, Boolean>, List<Word>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireDFA
RivestSchapireDFABuilder - Class in de.learnlib.algorithm.rivestschapire: A builder for constructing RivestSchapireDFA instances.
RivestSchapireDFABuilder() - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Creates a new builder (and may set default values for some parameters).
RivestSchapireMealy<I,O> - Class in de.learnlib.algorithm.rivestschapire: A MealyMachine-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.
RivestSchapireMealy(Alphabet, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireMealy
RivestSchapireMealy(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireMealy
RivestSchapireMealyBuilder<I,O> - Class in de.learnlib.algorithm.rivestschapire: A builder for constructing RivestSchapireMealy instances.
RivestSchapireMealyBuilder() - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Creates a new builder (and may set default values for some parameters).
RivestSchapireMoore<I,O> - Class in de.learnlib.algorithm.rivestschapire: A MooreMachine-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.
RivestSchapireMoore(Alphabet, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireMoore
RivestSchapireMoore(Alphabet, MembershipOracle<I, Word<O>>, List<Word>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireMoore
RivestSchapireMooreBuilder<I,O> - Class in de.learnlib.algorithm.rivestschapire: A builder for constructing RivestSchapireMoore instances.
RivestSchapireMooreBuilder() - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Creates a new builder (and may set default values for some parameters).

S

selectClosingRows(List<List<Row>>) - Method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar
selectClosingRows(List<List<Row>>) - Method in class de.learnlib.algorithm.lstar.AbstractLStar: This method selects a set of rows to use for closing the table.
selectClosingRows(List<List<Row<RI>>>, ObservationTable<RI, RD>, MembershipOracle<RI, RD>) - Method in class de.learnlib.algorithm.lstar.closing.CloseRandomStrategy
selectClosingRows(List<List<Row<RI>>>, ObservationTable<RI, RO>, MembershipOracle<RI, RO>) - Method in interface de.learnlib.algorithm.lstar.closing.ClosingStrategy: Given a list of row equivalence classes, this method selects for each of the classes one (representative) row which is being closed.
setAlphabet(Alphabet) - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder: Sets the new value for the parameter alphabet.
setAlphabet(Alphabet) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Sets the new value for the parameter alphabet.
setAlphabet(Alphabet) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Sets the new value for the parameter alphabet.
setAlphabet(Alphabet) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Sets the new value for the parameter alphabet.
setAlphabet(Alphabet) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Sets the new value for the parameter alphabet.
setAlphabet(Alphabet) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Sets the new value for the parameter alphabet.
setAlphabet(Alphabet) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Sets the new value for the parameter alphabet.
setAlphabet(Alphabet) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Sets the new value for the parameter alphabet.
setAlphabet(Alphabet) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Sets the new value for the parameter alphabet.
setAlphabet(Alphabet) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Sets the new value for the parameter alphabet.
setAlphabet(Alphabet) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Sets the new value for the parameter alphabet.
setAlphabet(Alphabet) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Sets the new value for the parameter alphabet.
setCexHandler(ObservationTableCEXHandler<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Sets the new value for the parameter cexHandler.
setCexHandler(ObservationTableCEXHandler<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Sets the new value for the parameter cexHandler.
setCexHandler(ObservationTableCEXHandler<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Sets the new value for the parameter cexHandler.
setCexHandler(ObservationTableCEXHandler<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Sets the new value for the parameter cexHandler.
setCexHandler(ObservationTableCEXHandler<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Sets the new value for the parameter cexHandler.
setClosingStrategy(ClosingStrategy<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Sets the new value for the parameter closingStrategy.
setClosingStrategy(ClosingStrategy<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Sets the new value for the parameter closingStrategy.
setClosingStrategy(ClosingStrategy<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Sets the new value for the parameter closingStrategy.
setClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Sets the new value for the parameter closingStrategy.
setClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Sets the new value for the parameter closingStrategy.
setClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Sets the new value for the parameter closingStrategy.
setClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Sets the new value for the parameter closingStrategy.
setClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Sets the new value for the parameter closingStrategy.
setClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Sets the new value for the parameter closingStrategy.
setClosingStrategy(ClosingStrategy<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Sets the new value for the parameter closingStrategy.
setClosingStrategy(ClosingStrategy<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Sets the new value for the parameter closingStrategy.
setInitialPrefixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Sets the new value for the parameter initialPrefixes.
setInitialPrefixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Sets the new value for the parameter initialPrefixes.
setInitialPrefixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Sets the new value for the parameter initialPrefixes.
setInitialPrefixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Sets the new value for the parameter initialPrefixes.
setInitialPrefixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Sets the new value for the parameter initialPrefixes.
setInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Sets the new value for the parameter initialSuffixes.
setInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Sets the new value for the parameter initialSuffixes.
setInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Sets the new value for the parameter initialSuffixes.
setInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Sets the new value for the parameter initialSuffixes.
setInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Sets the new value for the parameter initialSuffixes.
setInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Sets the new value for the parameter initialSuffixes.
setInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Sets the new value for the parameter initialSuffixes.
setInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Sets the new value for the parameter initialSuffixes.
setInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Sets the new value for the parameter initialSuffixes.
setInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Sets the new value for the parameter initialSuffixes.
setInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Sets the new value for the parameter initialSuffixes.
setOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder: Sets the new value for the parameter oracle.
setOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Sets the new value for the parameter oracle.
setOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Sets the new value for the parameter oracle.
setOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Sets the new value for the parameter oracle.
setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Sets the new value for the parameter oracle.
setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Sets the new value for the parameter oracle.
setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Sets the new value for the parameter oracle.
setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Sets the new value for the parameter oracle.
setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Sets the new value for the parameter oracle.
setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Sets the new value for the parameter oracle.
setOracle(MembershipOracle<I, O>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Sets the new value for the parameter oracle.
setOracle(MembershipOracle<I, O>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Sets the new value for the parameter oracle.
setTransition(S, I, S, Row, int) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
SHAHBAZ - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
startLearning() - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
startLearning() - Method in class de.learnlib.algorithm.lstar.AbstractLStar
stateInfos - Variable in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar
stateProperty(ObservationTable<I, D>, Row) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar: Derives a state property from the corresponding row.
stateProperty(ObservationTable<I, Boolean>, Row) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA
stateProperty(ObservationTable<I, Word<O>>, Row) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
stateProperty(ObservationTable<I, Word<O>>, Row) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore
stateProperty(ObservationTable<I, O>, Row) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy
stateProperty(ObservationTable<I, O>, Row) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMoore
SUFFIX1BY1 - Static variable in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
suspend() - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

T

table - Variable in class de.learnlib.algorithm.lstar.AbstractLStar
toString() - Method in class de.learnlib.algorithm.lstar.closing.CloseRandomStrategy
transitionProperty(ObservationTable<I, D>, Row, int) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar: Derives a transition property from the corresponding transition.
transitionProperty(ObservationTable<I, Boolean>, Row, int) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA
transitionProperty(ObservationTable<I, Word<O>>, Row, int) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
transitionProperty(ObservationTable<I, Word<O>>, Row, int) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore
transitionProperty(ObservationTable<I, O>, Row, int) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy
transitionProperty(ObservationTable<I, O>, Row, int) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMoore

U

updateInternalHypothesis() - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar: Performs the L*-style hypothesis construction.
updateInternalHypothesis() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy
updateOutputs() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy

V

values() - Static method in class de.learnlib.algorithm.lstar.ce.ObservationTableCEXHandlers
values() - Static method in class de.learnlib.algorithm.lstar.closing.ClosingStrategies

W

withAlphabet(Alphabet) - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder: Sets the new value for the parameter alphabet and returns this builder instance.
withAlphabet(Alphabet) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Sets the new value for the parameter alphabet and returns this builder instance.
withAlphabet(Alphabet) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Sets the new value for the parameter alphabet and returns this builder instance.
withAlphabet(Alphabet) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Sets the new value for the parameter alphabet and returns this builder instance.
withAlphabet(Alphabet) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Sets the new value for the parameter alphabet and returns this builder instance.
withAlphabet(Alphabet) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Sets the new value for the parameter alphabet and returns this builder instance.
withAlphabet(Alphabet) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Sets the new value for the parameter alphabet and returns this builder instance.
withAlphabet(Alphabet) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Sets the new value for the parameter alphabet and returns this builder instance.
withAlphabet(Alphabet) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Sets the new value for the parameter alphabet and returns this builder instance.
withAlphabet(Alphabet) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Sets the new value for the parameter alphabet and returns this builder instance.
withAlphabet(Alphabet) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Sets the new value for the parameter alphabet and returns this builder instance.
withAlphabet(Alphabet) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Sets the new value for the parameter alphabet and returns this builder instance.
withCexHandler(ObservationTableCEXHandler<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Sets the new value for the parameter cexHandler and returns this builder instance.
withCexHandler(ObservationTableCEXHandler<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Sets the new value for the parameter cexHandler and returns this builder instance.
withCexHandler(ObservationTableCEXHandler<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Sets the new value for the parameter cexHandler and returns this builder instance.
withCexHandler(ObservationTableCEXHandler<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Sets the new value for the parameter cexHandler and returns this builder instance.
withCexHandler(ObservationTableCEXHandler<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Sets the new value for the parameter cexHandler and returns this builder instance.
withClosingStrategy(ClosingStrategy<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Sets the new value for the parameter closingStrategy and returns this builder instance.
withClosingStrategy(ClosingStrategy<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Sets the new value for the parameter closingStrategy and returns this builder instance.
withClosingStrategy(ClosingStrategy<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Sets the new value for the parameter closingStrategy and returns this builder instance.
withClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Sets the new value for the parameter closingStrategy and returns this builder instance.
withClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Sets the new value for the parameter closingStrategy and returns this builder instance.
withClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Sets the new value for the parameter closingStrategy and returns this builder instance.
withClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Sets the new value for the parameter closingStrategy and returns this builder instance.
withClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Sets the new value for the parameter closingStrategy and returns this builder instance.
withClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Sets the new value for the parameter closingStrategy and returns this builder instance.
withClosingStrategy(ClosingStrategy<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Sets the new value for the parameter closingStrategy and returns this builder instance.
withClosingStrategy(ClosingStrategy<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Sets the new value for the parameter closingStrategy and returns this builder instance.
withInitialPrefixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Sets the new value for the parameter initialPrefixes and returns this builder instance.
withInitialPrefixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Sets the new value for the parameter initialPrefixes and returns this builder instance.
withInitialPrefixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Sets the new value for the parameter initialPrefixes and returns this builder instance.
withInitialPrefixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Sets the new value for the parameter initialPrefixes and returns this builder instance.
withInitialPrefixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Sets the new value for the parameter initialPrefixes and returns this builder instance.
withInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Sets the new value for the parameter initialSuffixes and returns this builder instance.
withInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Sets the new value for the parameter initialSuffixes and returns this builder instance.
withInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Sets the new value for the parameter initialSuffixes and returns this builder instance.
withInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Sets the new value for the parameter initialSuffixes and returns this builder instance.
withInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Sets the new value for the parameter initialSuffixes and returns this builder instance.
withInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Sets the new value for the parameter initialSuffixes and returns this builder instance.
withInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Sets the new value for the parameter initialSuffixes and returns this builder instance.
withInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Sets the new value for the parameter initialSuffixes and returns this builder instance.
withInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Sets the new value for the parameter initialSuffixes and returns this builder instance.
withInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Sets the new value for the parameter initialSuffixes and returns this builder instance.
withInitialSuffixes(List<Word>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Sets the new value for the parameter initialSuffixes and returns this builder instance.
withOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder: Sets the new value for the parameter oracle and returns this builder instance.
withOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder: Sets the new value for the parameter oracle and returns this builder instance.
withOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder: Sets the new value for the parameter oracle and returns this builder instance.
withOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder: Sets the new value for the parameter oracle and returns this builder instance.
withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder: Sets the new value for the parameter oracle and returns this builder instance.
withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder: Sets the new value for the parameter oracle and returns this builder instance.
withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder: Sets the new value for the parameter oracle and returns this builder instance.
withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder: Sets the new value for the parameter oracle and returns this builder instance.
withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder: Sets the new value for the parameter oracle and returns this builder instance.
withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder: Sets the new value for the parameter oracle and returns this builder instance.
withOracle(MembershipOracle<I, O>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder: Sets the new value for the parameter oracle and returns this builder instance.
withOracle(MembershipOracle<I, O>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder: Sets the new value for the parameter oracle and returns this builder instance.

A C D E F G H I L M N O R S T U V W
All Classes All Packages