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 MutableDeterministic<S,I,T,SP,TP> & SupportsGrowingAlphabet<I>> - Class in de.learnlib.algorithm.lstar

Abstract base class for algorithms that produce (subclasses of) MutableDeterministic automata.

AbstractAutomatonLStar(Alphabet<I>, MembershipOracle<I, D>, AI) - Constructor for class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

Constructor.

AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP> & SupportsGrowingAlphabet<I>> - Class in de.learnlib.algorithm.lstar

AbstractExtensibleAutomatonLStar(Alphabet<I>, MembershipOracle<I, D>, AI, List<Word<I>>, List<Word<I>>, 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<I>, 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<I>>) - Method in class de.learnlib.algorithm.lstar.AbstractLStar

alphabet - Variable in class de.learnlib.algorithm.lstar.AbstractLStar

analyzeInconsistency(Inconsistency<I>) - 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<I> - Class in de.learnlib.algorithm.lstar.dfa

Implementation of the L* algorithm by Dana Angluin.

ClassicLStarDFA(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFA

ClassicLStarDFABuilder<I> - Class in de.learnlib.algorithm.lstar.dfa

ClassicLStarDFABuilder() - Constructor for class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder

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<I>, MembershipOracle<I, O>) - Constructor for class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy

Constructor.

ClassicLStarMealy(Alphabet<I>, 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<I>, MembershipOracle<I, O>, List<Word<I>>, List<Word<I>>, 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

ClassicLStarMealyBuilder() - Constructor for class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

ClassicLStarMoore<I,O> - Class in de.learnlib.algorithm.lstar.moore

A MooreMachine-based specialization of the classic L* learner.

ClassicLStarMoore(Alphabet<I>, MembershipOracle<I, O>, List<Word<I>>, List<Word<I>>, 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

ClassicLStarMooreBuilder() - Constructor for class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

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<I>>>, boolean) - Method in class de.learnlib.algorithm.lstar.AbstractLStar

Iteratedly checks for unclosedness and inconsistencies in the table, and fixes any occurrences thereof.

create() - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder

create() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

create() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

create() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

create() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

create() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

create() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

create() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

create() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

create() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

create() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

create() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

createState(boolean, Row<I>) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

D

de.learnlib.algorithm.lstar - package de.learnlib.algorithm.lstar

This package (and sub-packages) provides the implementation of the L* learning algorithm described in the paper Learning Regular Sets from Queries and Counterexamples by Dana Angluin as well as multiple variations thereof.

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

This package (and sub-packages) provides the implementation of the L* variation based on the paper On the Learnability of Infinitary Regular Sets by Oded Maler and Amir Pnueli.

de.learnlib.algorithm.rivestschapire - package de.learnlib.algorithm.rivestschapire

This package (and sub-packages) provides the implementation of the L* variation based on the paper Inference of finite automata using homing sequences by Ronald L. Rivest and Robert E. Schapire.

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<I>>) - Static method in class de.learnlib.algorithm.lstar.dfa.LStarDFAUtil

ensureSuffixCompliancy(List<Word<I>>) - Static method in class de.learnlib.algorithm.lstar.moore.LStarMooreUtil

ensureSuffixCompliancy(List<Word<I>>, Alphabet<I>, boolean) - Static method in class de.learnlib.algorithm.lstar.mealy.LStarMealyUtil

ExtensibleLStarDFA<I> - 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<I>, MembershipOracle<I, Boolean>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super Boolean>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA

Constructor.

ExtensibleLStarDFA(Alphabet<I>, MembershipOracle<I, Boolean>, List<Word<I>>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super Boolean>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA

ExtensibleLStarDFABuilder<I> - Class in de.learnlib.algorithm.lstar.dfa

ExtensibleLStarDFABuilder() - Constructor for class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

ExtensibleLStarMealy<I,O> - Class in de.learnlib.algorithm.lstar.mealy

ExtensibleLStarMealy(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super Word<O>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy

ExtensibleLStarMealy(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, List<Word<I>>, 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

ExtensibleLStarMealyBuilder() - Constructor for class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

ExtensibleLStarMoore<I,O> - Class in de.learnlib.algorithm.lstar.moore

A MooreMachine-based specialization of the extensible L* learner.

ExtensibleLStarMoore(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super Word<O>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore

ExtensibleLStarMoore(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, List<Word<I>>, 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

ExtensibleLStarMooreBuilder() - Constructor for class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

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

getAlphabet() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

getAlphabet() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

getAlphabet() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

getAlphabet() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

getAlphabet() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

getAlphabet() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

getAlphabet() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

getAlphabet() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

getAlphabet() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

getAlphabet() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

getAlphabet() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

getCexHandler() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

getCexHandler() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

getCexHandler() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

getCexHandler() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

getCexHandler() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

getClosingStrategy() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

getClosingStrategy() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

getClosingStrategy() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

getClosingStrategy() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

getClosingStrategy() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

getClosingStrategy() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

getClosingStrategy() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

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

getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

getInitialPrefixes() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

getInitialSuffixes() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

getInitialSuffixes() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

getInitialSuffixes() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

getInitialSuffixes() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

getInitialSuffixes() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

getInitialSuffixes() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

getInitialSuffixes() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

getObservationTable() - Method in class de.learnlib.algorithm.lstar.AbstractLStar

getOracle() - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder

getOracle() - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

getOracle() - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

getOracle() - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

getOracle() - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

getOracle() - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

getOracle() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

getOracle() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

getOracle() - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

getOracle() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

getOracle() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

getOracle() - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

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<I>>, 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<I> - Class in de.learnlib.algorithm.malerpnueli

MalerPnueliDFA(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliDFA

MalerPnueliDFA(Alphabet<I>, MembershipOracle<I, Boolean>, List<Word<I>>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliDFA

MalerPnueliDFABuilder<I> - Class in de.learnlib.algorithm.malerpnueli

MalerPnueliDFABuilder() - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

MalerPnueliMealy<I,O> - Class in de.learnlib.algorithm.malerpnueli

MalerPnueliMealy(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliMealy

MalerPnueliMealy(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliMealy

MalerPnueliMealyBuilder<I,O> - Class in de.learnlib.algorithm.malerpnueli

MalerPnueliMealyBuilder() - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

MalerPnueliMoore<I,O> - Class in de.learnlib.algorithm.malerpnueli

MalerPnueliMoore(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliMoore

MalerPnueliMoore(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliMoore

MalerPnueliMooreBuilder<I,O> - Class in de.learnlib.algorithm.malerpnueli

MalerPnueliMooreBuilder() - Constructor for class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

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<I> - Class in de.learnlib.algorithm.rivestschapire

RivestSchapireDFA(Alphabet<I>, MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireDFA

RivestSchapireDFA(Alphabet<I>, MembershipOracle<I, Boolean>, List<Word<I>>, ClosingStrategy<? super I, ? super Boolean>) - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireDFA

RivestSchapireDFABuilder<I> - Class in de.learnlib.algorithm.rivestschapire

RivestSchapireDFABuilder() - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

RivestSchapireMealy<I,O> - Class in de.learnlib.algorithm.rivestschapire

RivestSchapireMealy(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireMealy

RivestSchapireMealy(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireMealy

RivestSchapireMealyBuilder<I,O> - Class in de.learnlib.algorithm.rivestschapire

RivestSchapireMealyBuilder() - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

RivestSchapireMoore<I,O> - Class in de.learnlib.algorithm.rivestschapire

RivestSchapireMoore(Alphabet<I>, MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireMoore

RivestSchapireMoore(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, ClosingStrategy<? super I, ? super Word<O>>) - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireMoore

RivestSchapireMooreBuilder<I,O> - Class in de.learnlib.algorithm.rivestschapire

RivestSchapireMooreBuilder() - Constructor for class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

S

selectClosingRows(List<List<Row<I>>>) - Method in class de.learnlib.algorithm.lstar.AbstractExtensibleAutomatonLStar

selectClosingRows(List<List<Row<I>>>) - 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<I>) - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

setCexHandler(ObservationTableCEXHandler<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

setCexHandler(ObservationTableCEXHandler<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

setCexHandler(ObservationTableCEXHandler<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

setCexHandler(ObservationTableCEXHandler<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

setCexHandler(ObservationTableCEXHandler<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

setClosingStrategy(ClosingStrategy<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

setClosingStrategy(ClosingStrategy<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

setClosingStrategy(ClosingStrategy<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

setClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

setClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

setClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

setClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

setClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

setClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

setClosingStrategy(ClosingStrategy<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

setClosingStrategy(ClosingStrategy<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

setInitialPrefixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

setInitialPrefixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

setInitialPrefixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

setInitialPrefixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

setInitialPrefixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

setInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

setInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

setInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

setInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

setInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

setInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

setInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

setInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

setInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

setInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

setInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

setOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder

setOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

setOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

setOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

setOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

setOracle(MembershipOracle<I, O>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

setOracle(MembershipOracle<I, O>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

setTransition(S, I, S, Row<I>, 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<I>) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

Derives a state property from the corresponding row.

stateProperty(ObservationTable<I, Boolean>, Row<I>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA

stateProperty(ObservationTable<I, Word<O>>, Row<I>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy

stateProperty(ObservationTable<I, Word<O>>, Row<I>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore

stateProperty(ObservationTable<I, O>, Row<I>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy

stateProperty(ObservationTable<I, O>, Row<I>) - 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<I>, int) - Method in class de.learnlib.algorithm.lstar.AbstractAutomatonLStar

Derives a transition property from the corresponding transition.

transitionProperty(ObservationTable<I, Boolean>, Row<I>, int) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFA

transitionProperty(ObservationTable<I, Word<O>>, Row<I>, int) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealy

transitionProperty(ObservationTable<I, Word<O>>, Row<I>, int) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMoore

transitionProperty(ObservationTable<I, O>, Row<I>, int) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealy

transitionProperty(ObservationTable<I, O>, Row<I>, 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<I>) - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

withCexHandler(ObservationTableCEXHandler<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

withCexHandler(ObservationTableCEXHandler<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

withCexHandler(ObservationTableCEXHandler<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

withCexHandler(ObservationTableCEXHandler<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

withCexHandler(ObservationTableCEXHandler<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

withClosingStrategy(ClosingStrategy<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

withClosingStrategy(ClosingStrategy<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

withClosingStrategy(ClosingStrategy<? super I, ? super Boolean>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

withClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

withClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

withClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

withClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

withClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

withClosingStrategy(ClosingStrategy<? super I, ? super Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

withClosingStrategy(ClosingStrategy<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

withClosingStrategy(ClosingStrategy<? super I, ? super O>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

withInitialPrefixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

withInitialPrefixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

withInitialPrefixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

withInitialPrefixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

withInitialPrefixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

withInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

withInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

withInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

withInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

withInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

withInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

withInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

withInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

withInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

withInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

withInitialSuffixes(List<Word<I>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

withOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ClassicLStarDFABuilder

withOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.lstar.dfa.ExtensibleLStarDFABuilder

withOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliDFABuilder

withOracle(MembershipOracle<I, Boolean>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireDFABuilder

withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.lstar.mealy.ExtensibleLStarMealyBuilder

withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.lstar.moore.ExtensibleLStarMooreBuilder

withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMealyBuilder

withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.malerpnueli.MalerPnueliMooreBuilder

withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder

withOracle(MembershipOracle<I, Word<O>>) - Method in class de.learnlib.algorithm.rivestschapire.RivestSchapireMooreBuilder

withOracle(MembershipOracle<I, O>) - Method in class de.learnlib.algorithm.lstar.mealy.ClassicLStarMealyBuilder

withOracle(MembershipOracle<I, O>) - Method in class de.learnlib.algorithm.lstar.moore.ClassicLStarMooreBuilder

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