A C D F G I M N O R S W
All Classes All Packages

A

addSuffix(Word<I>) - Method in class de.learnlib.algorithm.nlstar.ObservationTable

addSuffixes(List<? extends Word<I>>) - Method in class de.learnlib.algorithm.nlstar.ObservationTable

asDFALearner() - Method in class de.learnlib.algorithm.nlstar.NLStarLearner

Retrieves a view of this learner as a DFA learner.

C

create() - Method in class de.learnlib.algorithm.nlstar.NLStarLearnerBuilder

D

de.learnlib.algorithm.nlstar - package de.learnlib.algorithm.nlstar

This package (and sub-packages) provides the implementation of the NL* learning algorithm as described in the paper Angluin-Style Learning of NFA by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker.

F

findInconsistency() - Method in class de.learnlib.algorithm.nlstar.ObservationTable

G

getAlphabet() - Method in class de.learnlib.algorithm.nlstar.NLStarLearnerBuilder

getContent(int) - Method in class de.learnlib.algorithm.nlstar.Row

getContents() - Method in class de.learnlib.algorithm.nlstar.Row

getCoveredRows() - Method in class de.learnlib.algorithm.nlstar.Row

getCoveredRows(Row<I>) - Method in class de.learnlib.algorithm.nlstar.ObservationTable

getDeterminizedHypothesis() - Method in class de.learnlib.algorithm.nlstar.NLStarLearner

Retrieves a deterministic version of the hypothesis.

getHypothesisModel() - Method in class de.learnlib.algorithm.nlstar.NLStarLearner

getNumUpperRows() - Method in class de.learnlib.algorithm.nlstar.ObservationTable

getObservationTable() - Method in class de.learnlib.algorithm.nlstar.NLStarLearner

getOracle() - Method in class de.learnlib.algorithm.nlstar.NLStarLearnerBuilder

getPrefix() - Method in class de.learnlib.algorithm.nlstar.Row

getRow1() - Method in class de.learnlib.algorithm.nlstar.Inconsistency

getRow2() - Method in class de.learnlib.algorithm.nlstar.Inconsistency

getSuffix(int) - Method in class de.learnlib.algorithm.nlstar.ObservationTable

getSuffixIdx() - Method in class de.learnlib.algorithm.nlstar.Inconsistency

getSymbolIdx() - Method in class de.learnlib.algorithm.nlstar.Inconsistency

getUpperId() - Method in class de.learnlib.algorithm.nlstar.Row

getUpperPrimes() - Method in class de.learnlib.algorithm.nlstar.ObservationTable

getUpperRow(int) - Method in class de.learnlib.algorithm.nlstar.ObservationTable

getUpperRows() - Method in class de.learnlib.algorithm.nlstar.ObservationTable

I

Inconsistency<I> - Class in de.learnlib.algorithm.nlstar

An (RFSA) inconsistency in an ObservationTable.

Inconsistency(Row<I>, Row<I>, int, int) - Constructor for class de.learnlib.algorithm.nlstar.Inconsistency

Constructor.

initialize() - Method in class de.learnlib.algorithm.nlstar.ObservationTable

isNew() - Method in class de.learnlib.algorithm.nlstar.Row

isPrime() - Method in class de.learnlib.algorithm.nlstar.Row

isShortPrefixRow() - Method in class de.learnlib.algorithm.nlstar.Row

M

makeUpper(List<Row<I>>) - Method in class de.learnlib.algorithm.nlstar.ObservationTable

N

NLStarLearner<I> - Class in de.learnlib.algorithm.nlstar

The NL* learner.

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

Constructor.

NLStarLearnerBuilder<I> - Class in de.learnlib.algorithm.nlstar

NLStarLearnerBuilder() - Constructor for class de.learnlib.algorithm.nlstar.NLStarLearnerBuilder

O

ObservationTable<I> - Class in de.learnlib.algorithm.nlstar

The observation table implementation for the NL* algorithm.

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

R

refineHypothesis(DefaultQuery<I, Boolean>) - Method in class de.learnlib.algorithm.nlstar.NLStarLearner

Row<I> - Class in de.learnlib.algorithm.nlstar

A single row in the ObservationTable for NL*.

Row(Word<I>) - Constructor for class de.learnlib.algorithm.nlstar.Row

S

setAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.nlstar.NLStarLearnerBuilder

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

startLearning() - Method in class de.learnlib.algorithm.nlstar.NLStarLearner

W

withAlphabet(Alphabet<I>) - Method in class de.learnlib.algorithm.nlstar.NLStarLearnerBuilder

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

A C D F G I M N O R S W
All Classes All Packages