A B C D E F G H I L M N O R S T U V

A

AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automata.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.automata.GrowableAlphabetAutomaton<I>> - Class in de.learnlib.algorithms.lstar

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

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

Constructor.

AbstractExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends net.automatalib.automata.MutableDeterministic<S,I,T,SP,TP> & net.automatalib.automata.GrowableAlphabetAutomaton<I>> - Class in de.learnlib.algorithms.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.algorithms.lstar.AbstractExtensibleAutomatonLStar

AbstractExtensibleAutomatonLStar.BuilderDefaults - Class in de.learnlib.algorithms.lstar

AbstractLStar<A,I,D> - Class in de.learnlib.algorithms.lstar

An abstract base class for L*-style algorithms.

AbstractLStar(Alphabet<I>, MembershipOracle<I, D>) - Constructor for class de.learnlib.algorithms.lstar.AbstractLStar

Constructor.

AbstractLStarState<I,D> - Class in de.learnlib.algorithms.lstar

Class that contains all data that represent the internal state of the AbstractLStar learner.

addAlphabetSymbol(I) - Method in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

addAlphabetSymbol(I) - Method in class de.learnlib.algorithms.lstar.AbstractLStar

addGlobalSuffixes(Collection<? extends Word<I>>) - Method in class de.learnlib.algorithms.lstar.AbstractLStar

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

analyzeInconsistency(Inconsistency<I>) - Method in class de.learnlib.algorithms.lstar.AbstractLStar

Analyzes an inconsistency.

AutomatonLStarState<I,D,AI,S> - Class in de.learnlib.algorithms.lstar

Class that contains all data that represent the internal state of the AbstractAutomatonLStar learner and its DFA and Mealy implementations.

B

BuilderDefaults() - Constructor for class de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults

C

cexHandler() - Static method in class de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults

cexHandler - Variable in class de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar

CLASSIC_LSTAR - Static variable in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

ClassicLStarDFA<I> - Class in de.learnlib.algorithms.lstar.dfa

Implementation of the L* algorithm by Dana Angluin.

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

ClassicLStarMealy<I,O> - Class in de.learnlib.algorithms.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>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Constructor for class de.learnlib.algorithms.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.algorithms.lstar.mealy.ClassicLStarMealy

CLOSE_FIRST - Static variable in class de.learnlib.algorithms.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.algorithms.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.algorithms.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.algorithms.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.algorithms.lstar.closing

CloseRandomStrategy() - Constructor for class de.learnlib.algorithms.lstar.closing.CloseRandomStrategy

CloseRandomStrategy(Random) - Constructor for class de.learnlib.algorithms.lstar.closing.CloseRandomStrategy

ClosingStrategies - Class in de.learnlib.algorithms.lstar.closing

Collection of predefined observation table closing strategies.

closingStrategy() - Static method in class de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults

closingStrategy - Variable in class de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar

ClosingStrategy<I,D> - Interface in de.learnlib.algorithms.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.algorithms.lstar.AbstractLStar

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

createForSymbolOracle(Alphabet<I>, MembershipOracle<I, O>, ObservationTableCEXHandler<I, O>, ClosingStrategy<? super I, ? super O>) - Static method in class de.learnlib.algorithms.lstar.mealy.ClassicLStarMealy

createForWordOracle(Alphabet<I>, MembershipOracle<I, Word<O>>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Static method in class de.learnlib.algorithms.lstar.mealy.ClassicLStarMealy

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

D

de.learnlib.algorithms.lstar - package de.learnlib.algorithms.lstar

de.learnlib.algorithms.lstar.ce - package de.learnlib.algorithms.lstar.ce

de.learnlib.algorithms.lstar.closing - package de.learnlib.algorithms.lstar.closing

de.learnlib.algorithms.lstar.dfa - package de.learnlib.algorithms.lstar.dfa

de.learnlib.algorithms.lstar.mealy - package de.learnlib.algorithms.lstar.mealy

de.learnlib.algorithms.malerpnueli - package de.learnlib.algorithms.malerpnueli

de.learnlib.algorithms.rivestschapire - package de.learnlib.algorithms.rivestschapire

doRefineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

doRefineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.lstar.AbstractLStar

E

ensureSuffixCompliancy(List<Word<I>>) - Static method in class de.learnlib.algorithms.lstar.dfa.LStarDFAUtil

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

exposeInternalHypothesis() - Method in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

exposeInternalHypothesis() - Method in class de.learnlib.algorithms.lstar.dfa.ExtensibleLStarDFA

exposeInternalHypothesis() - Method in class de.learnlib.algorithms.lstar.mealy.ClassicLStarMealy

exposeInternalHypothesis() - Method in class de.learnlib.algorithms.lstar.mealy.ExtensibleLStarMealy

ExtensibleLStarDFA<I> - Class in de.learnlib.algorithms.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.algorithms.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.algorithms.lstar.dfa.ExtensibleLStarDFA

ExtensibleLStarMealy<I,O> - Class in de.learnlib.algorithms.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.algorithms.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.algorithms.lstar.mealy.ExtensibleLStarMealy

F

FIND_LINEAR - Static variable in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

FIND_LINEAR_ALLSUFFIXES - Static variable in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

FIND_LINEAR_REVERSE - Static variable in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

FIND_LINEAR_REVERSE_ALLSUFFIXES - Static variable in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

fromGlobalSuffixFinder(GlobalSuffixFinder<I, D>) - Static method in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

fromLocalSuffixFinder(LocalSuffixFinder<I, D>) - Static method in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

fromLocalSuffixFinder(LocalSuffixFinder<I, D>, boolean) - Static method in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

G

getGlobalSuffixes() - Method in class de.learnlib.algorithms.lstar.AbstractLStar

getHypothesisModel() - Method in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

getHypothesisModel() - Method in class de.learnlib.algorithms.lstar.mealy.ExtensibleLStarMealy

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

H

handleClassicLStar(DefaultQuery<I, D>, MutableObservationTable<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

handleCounterexample(DefaultQuery<RI, RD>, MutableObservationTable<RI, RD>, SuffixOutput<RI, RD>, MembershipOracle<RI, RD>) - Method in interface de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandler

handleGlobalSuffixes(MutableObservationTable<I, D>, List<? extends Word<I>>, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

handleLocalSuffix(Query<I, D>, MutableObservationTable<I, D>, int, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

handleLocalSuffix(Query<I, D>, MutableObservationTable<I, D>, int, boolean, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

handleSuffix1by1(DefaultQuery<I, D>, MutableObservationTable<I, D>, MembershipOracle<I, D>) - Static method in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

hypothesisOutput() - Method in class de.learnlib.algorithms.lstar.AbstractLStar

hypothesisOutput() - Method in class de.learnlib.algorithms.lstar.dfa.ExtensibleLStarDFA

hypothesisOutput() - Method in class de.learnlib.algorithms.lstar.mealy.ClassicLStarMealy

hypothesisOutput() - Method in class de.learnlib.algorithms.lstar.mealy.ExtensibleLStarMealy

I

incorporateCounterExample(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.lstar.AbstractLStar

Incorporates the information provided by a counterexample into the observation data structure.

initialPrefixes() - Static method in class de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults

initialPrefixes - Variable in class de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar

initialPrefixes() - Method in class de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar

initialPrefixes() - Method in class de.learnlib.algorithms.lstar.AbstractLStar

initialSuffixes() - Static method in class de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar.BuilderDefaults

initialSuffixes - Variable in class de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar

initialSuffixes() - Method in class de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar

initialSuffixes() - Method in class de.learnlib.algorithms.lstar.AbstractLStar

Returns the list of initial suffixes which are used to initialize the table.

initialSuffixes() - Method in class de.learnlib.algorithms.lstar.dfa.ExtensibleLStarDFA

initialSuffixes() - Method in class de.learnlib.algorithms.lstar.mealy.ClassicLStarMealy

initialSuffixes() - Method in class de.learnlib.algorithms.lstar.mealy.ExtensibleLStarMealy

internalHyp - Variable in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

L

LStarDFAUtil - Class in de.learnlib.algorithms.lstar.dfa

LStarMealyUtil - Class in de.learnlib.algorithms.lstar.mealy

M

MALER_PNUELI - Static variable in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

MalerPnueliDFA<I> - Class in de.learnlib.algorithms.malerpnueli

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

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

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

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

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

N

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

O

ObservationTableCEXHandler<I,D> - Interface in de.learnlib.algorithms.lstar.ce

ObservationTableCEXHandlers - Class in de.learnlib.algorithms.lstar.ce

oracle - Variable in class de.learnlib.algorithms.lstar.AbstractLStar

R

refineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.lstar.AbstractLStar

refineHypothesisInternal(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

refineHypothesisInternal(DefaultQuery<I, D>) - Method in class de.learnlib.algorithms.lstar.AbstractExtensibleAutomatonLStar

resume(AutomatonLStarState<I, D, AI, S>) - Method in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

RIVEST_SCHAPIRE - Static variable in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

RIVEST_SCHAPIRE_ALLSUFFIXES - Static variable in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

RivestSchapireDFA<I> - Class in de.learnlib.algorithms.rivestschapire

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

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

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

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

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

S

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

selectClosingRows(List<List<Row<I>>>) - Method in class de.learnlib.algorithms.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.algorithms.lstar.closing.CloseRandomStrategy

selectClosingRows(List<List<Row<RI>>>, ObservationTable<RI, RO>, MembershipOracle<RI, RO>) - Method in interface de.learnlib.algorithms.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.

setTransition(S, I, S, Row<I>, int) - Method in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

SHAHBAZ - Static variable in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

startLearning() - Method in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

startLearning() - Method in class de.learnlib.algorithms.lstar.AbstractLStar

stateInfos - Variable in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

stateProperty(ObservationTable<I, D>, Row<I>) - Method in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

Derives a state property from the corresponding row.

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

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

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

SUFFIX1BY1 - Static variable in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

suspend() - Method in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

T

table - Variable in class de.learnlib.algorithms.lstar.AbstractLStar

toString() - Method in class de.learnlib.algorithms.lstar.closing.CloseRandomStrategy

transitionProperty(ObservationTable<I, D>, Row<I>, int) - Method in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

Derives a transition property from the corresponding transition.

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

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

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

U

updateInternalHypothesis() - Method in class de.learnlib.algorithms.lstar.AbstractAutomatonLStar

Performs the L*-style hypothesis construction.

updateInternalHypothesis() - Method in class de.learnlib.algorithms.lstar.mealy.ExtensibleLStarMealy

updateOutputs() - Method in class de.learnlib.algorithms.lstar.mealy.ExtensibleLStarMealy

V

values() - Static method in class de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandlers

values() - Static method in class de.learnlib.algorithms.lstar.closing.ClosingStrategies

A B C D E F G H I L M N O R S T U V