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

A

AbstractAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP>> - Class in de.learnlib.algorithms.lstargeneric

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

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

Constructor.

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

An abstract base class for L*-style algorithms.

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

Constructor.

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

addShortPrefixes(List<? extends Word<I>>, MembershipOracle<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

addSuffix(Word<I>, MembershipOracle<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

Adds a suffix to the list of distinguishing suffixes.

addSuffixes(Collection<? extends Word<I>>, MembershipOracle<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

Adds suffixes to the list of distinguishing suffixes.

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

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

Analyzes an inconsistency.

asStandardTable() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

B

BuilderDefaults() - Constructor for class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar.BuilderDefaults

buildQueries(List<DefaultQuery<I, D>>, List<Word<I>>, List<? extends Word<I>>) - Static method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

buildQueries(List<DefaultQuery<I, D>>, Word<I>, List<? extends Word<I>>) - Static method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

buildRowQueries(List<DefaultQuery<I, D>>, List<Row<I>>, List<? extends Word<I>>) - Static method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

C

cellContents(Row<I>, int) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

cexHandler() - Static method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar.BuilderDefaults

cexHandler - Variable in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar

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

ClassicLStarMealy<I,O> - Class in de.learnlib.algorithms.lstargeneric.mealy

An implementation of the L*Mealy algorithm for inferring Mealy machines, as described by Oliver Niese in his Ph.D. thesis.

ClassicLStarMealy(Alphabet<I>, MembershipOracle<I, O>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Constructor for class de.learnlib.algorithms.lstargeneric.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.lstargeneric.mealy.ClassicLStarMealy

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

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

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

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

Collection of predefined observation table closing strategies.

ClosingStrategies() - Constructor for class de.learnlib.algorithms.lstargeneric.closing.ClosingStrategies

ClosingStrategy<I,D> - Interface in de.learnlib.algorithms.lstargeneric.closing

A closing strategy, determining how to proceed when an observation table needs to be closed.

closingStrategy() - Static method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar.BuilderDefaults

closingStrategy - Variable in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar

completeConsistentTable(List<List<Row<I>>>, boolean) - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar

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

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

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

createLpRow(Word<I>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

createSpRow(Word<I>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

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

D

de.learnlib.algorithms.lstargeneric - package de.learnlib.algorithms.lstargeneric

de.learnlib.algorithms.lstargeneric.ce - package de.learnlib.algorithms.lstargeneric.ce

de.learnlib.algorithms.lstargeneric.closing - package de.learnlib.algorithms.lstargeneric.closing

de.learnlib.algorithms.lstargeneric.dfa - package de.learnlib.algorithms.lstargeneric.dfa

de.learnlib.algorithms.lstargeneric.mealy - package de.learnlib.algorithms.lstargeneric.mealy

de.learnlib.algorithms.lstargeneric.table - package de.learnlib.algorithms.lstargeneric.table

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.lstargeneric.AbstractAutomatonLStar

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

E

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

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

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

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

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

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

ExtensibleAutomatonLStar<A,I,D,S,T,SP,TP,AI extends MutableDeterministic<S,I,T,SP,TP>> - Class in de.learnlib.algorithms.lstargeneric

ExtensibleAutomatonLStar(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.lstargeneric.ExtensibleAutomatonLStar

ExtensibleAutomatonLStar.BuilderDefaults - Class in de.learnlib.algorithms.lstargeneric

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

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

F

fetchResults(Iterator<DefaultQuery<I, D>>, List<D>, int) - Static method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

Fetches the given number of query responses and adds them to the specified output list.

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

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

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

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

findInconsistency() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

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

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

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

G

getFirstRow() - Method in class de.learnlib.algorithms.lstargeneric.table.Inconsistency

Retrieves the first row.

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

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

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

getInputAlphabet() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

Retrieves the input alphabet used in this observation table.

getInputIndex() - Method in class de.learnlib.algorithms.lstargeneric.table.Inconsistency

Retrieves the index of the input symbol for which the successor rows differ.

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

getPrefix() - Method in class de.learnlib.algorithms.lstargeneric.table.Row

Retrieves the prefix (row label) associated with this row.

getRow(int) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

getRowContentId() - Method in class de.learnlib.algorithms.lstargeneric.table.Row

Retrieves the ID of the row contents (may be -1 if this row has not yet been initialized).

getRowId() - Method in class de.learnlib.algorithms.lstargeneric.table.Row

Retrieves the unique row identifier associated with this row.

getRowSuccessor(Row<I>, I) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

getSecondRow() - Method in class de.learnlib.algorithms.lstargeneric.table.Inconsistency

Retrieves the second row.

getShortPrefixRows() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

getSuccessor(int) - Method in class de.learnlib.algorithms.lstargeneric.table.Row

Retrieves the successor row for this short prefix row and the given alphabet symbol (by index).

getSuffixes() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

H

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

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

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

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

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

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

hasContents() - Method in class de.learnlib.algorithms.lstargeneric.table.Row

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

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

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

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

I

Inconsistency<I,D> - Class in de.learnlib.algorithms.lstargeneric.table

A description of an inconsistency in an ObservationTable.

Inconsistency(Row<I>, Row<I>, int) - Constructor for class de.learnlib.algorithms.lstargeneric.table.Inconsistency

Constructor.

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

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

initialize(List<Word<I>>, List<Word<I>>, MembershipOracle<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

Initializes an observation table using a specified set of suffixes.

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

initialPrefixes() - Static method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar.BuilderDefaults

initialPrefixes - Variable in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar

initialPrefixes() - Method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar

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

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

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

initialSuffixes() - Static method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar.BuilderDefaults

initialSuffixes - Variable in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar

initialSuffixes() - Method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar

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

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

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

isAccessSequence(Word<I>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

isInitialConsistencyCheckRequired() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

isInitialized() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

Checks whether this observation table has been initialized yet (i.e., contains any rows).

isShortPrefix() - Method in class de.learnlib.algorithms.lstargeneric.table.Row

Retrieves whether this is a short prefix row.

L

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

LStarDFAUtil() - Constructor for class de.learnlib.algorithms.lstargeneric.dfa.LStarDFAUtil

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

LStarMealyUtil() - Constructor for class de.learnlib.algorithms.lstargeneric.mealy.LStarMealyUtil

M

makeShort(Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

makeShort(int) - Method in class de.learnlib.algorithms.lstargeneric.table.Row

Makes this row a short prefix row.

MALER_PNUELI - Static variable in class de.learnlib.algorithms.lstargeneric.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.lstargeneric.ce.ObservationTableCEXHandler

numDistinctRows() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

numLongPrefixRows() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

numShortPrefixRows() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

numSuffixes() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

numTotalRows() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

O

ObservationTable<I,D> - Class in de.learnlib.algorithms.lstargeneric.table

Observation table class.

ObservationTable(Alphabet<I>) - Constructor for class de.learnlib.algorithms.lstargeneric.table.ObservationTable

Constructor.

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

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

ObservationTableCEXHandlers() - Constructor for class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers

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

P

processContents(Row<I>, List<D>, boolean) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

R

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

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

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

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

RIVEST_SCHAPIRE_ALLSUFFIXES - Static variable in class de.learnlib.algorithms.lstargeneric.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

Row<I> - Class in de.learnlib.algorithms.lstargeneric.table

A row in an observation table.

Row(Word<I>, int) - Constructor for class de.learnlib.algorithms.lstargeneric.table.Row

Constructor.

Row(Word<I>, int, int) - Constructor for class de.learnlib.algorithms.lstargeneric.table.Row

Constructor for short prefix rows.

rowContents(Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

S

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

selectClosingRows(List<List<Row<RI>>>, ObservationTable<RI, RO>, MembershipOracle<RI, RO>) - Method in interface de.learnlib.algorithms.lstargeneric.closing.ClosingStrategy

Given a list of row equivalence classes, this method selects for each of the classes one (representative) row which is being closed.

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

setRowContentId(int) - Method in class de.learnlib.algorithms.lstargeneric.table.Row

Sets the ID of the row contents.

setSuccessor(int, Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.table.Row

Sets the successor row for this short prefix row and the given alphabet symbol (by index).

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

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

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

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

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

stateProperty(Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar

Derives a state property from the corresponding row.

stateProperty(Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.dfa.ExtensibleLStarDFA

stateProperty(Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy

stateProperty(Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy

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

T

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

toShortPrefixes(List<Row<I>>, MembershipOracle<I, D>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

Moves the specified rows to the set of short prefix rows.

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

transformAccessSequence(Word<I>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable

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

Derives a transition property from the corresponding transition.

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

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

transitionProperty(Row<I>, int) - Method in class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy

U

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

Performs the L*-style hypothesis construction.

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

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

V

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

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

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