A B C D F G I M N O P R S T W

A

AbstractObservationTable<I,D> - Class in de.learnlib.datastructure.observationtable

Observation table class.

AbstractObservationTable(Alphabet<I>) - Constructor for class de.learnlib.datastructure.observationtable.AbstractObservationTable

Constructor.

AbstractObservationTableWriter<I,D> - Class in de.learnlib.datastructure.observationtable.writer

AbstractObservationTableWriter() - Constructor for class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

AbstractObservationTableWriter(Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>) - Constructor for class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

addAlphabetSymbol(I, MembershipOracle<I, D>) - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable

addAlphabetSymbol(I, MembershipOracle<I, D>) - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable

addAlphabetSymbol(I, MembershipOracle<I, Word<OutputAndLocalInputs<I, O>>>) - Method in class de.learnlib.datastructure.observationtable.PartialObservationTable

addShortPrefixes(List<? extends Word<I>>, MembershipOracle<I, D>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

addShortPrefixes(List<? extends Word<I>>, MembershipOracle<I, D>) - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable

addSuffix(Word<I>, MembershipOracle<I, D>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

addSuffix(Word<I>, MembershipOracle<I, D>) - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable

Adds a suffix to the list of distinguishing suffixes.

addSuffixes(Collection<? extends Word<I>>, MembershipOracle<I, D>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

addSuffixes(Collection<? extends Word<I>>, MembershipOracle<I, D>) - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable

Adds suffixes to the list of distinguishing suffixes.

B

buildQueries(List<DefaultQuery<I, D>>, Word<I>, List<? extends Word<I>>) - Static method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

buildRowQueries(List<DefaultQuery<I, D>>, List<? extends Row<I>>, List<? extends Word<I>>) - Static method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

C

cellContents(Row<I>, int) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

cellContents(Row<I>, int) - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable

checkInitialShortPrefixes(List<Word<I>>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

createLpRow(Word<I>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

createSpRow(Word<I>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

D

de.learnlib.datastructure.observationtable - package de.learnlib.datastructure.observationtable

de.learnlib.datastructure.observationtable.reader - package de.learnlib.datastructure.observationtable.reader

de.learnlib.datastructure.observationtable.writer - package de.learnlib.datastructure.observationtable.writer

displayHTMLInBrowser(ObservationTable<I, D>) - Static method in class de.learnlib.datastructure.observationtable.OTUtils

displayHTMLInBrowser(ObservationTable<I, D>, Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>) - Static method in class de.learnlib.datastructure.observationtable.OTUtils

Displays the observation table as a HTML document in the default browser.

F

fetchResults(Iterator<DefaultQuery<I, D>>, List<D>, int) - Static method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

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

findDistinguishingSuffix(Inconsistency<I>) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

findDistinguishingSuffix(Row<I>, Row<I>) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

findDistinguishingSuffixIndex(Inconsistency<I>) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

findDistinguishingSuffixIndex(Row<I>, Row<I>) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

findInconsistency() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

findUnclosedRow() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

fromString(String, Alphabet<I>, ObservationTableReader<I, D>) - Static method in class de.learnlib.datastructure.observationtable.OTUtils

G

GenericObservationTable<I,D> - Class in de.learnlib.datastructure.observationtable

A generic observation table, that implements the classical OT semantics for fully specified systems.

GenericObservationTable(Alphabet<I>) - Constructor for class de.learnlib.datastructure.observationtable.GenericObservationTable

Constructor.

getAllPrefixes() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

Retrieves all prefixes (short and long) in the table.

getAllRows() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

getFirstRow() - Method in class de.learnlib.datastructure.observationtable.Inconsistency

Retrieves the first (short prefix) row constituting the inconsistency.

getInputAlphabet() - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

getInputAlphabet() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

Retrieves the input alphabet used in this observation table.

getInputAlphabet() - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable

getLabel() - Method in interface de.learnlib.datastructure.observationtable.Row

Retrieves the label of this row.

getLongPrefixes() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

Retrieves the long prefixes in the table.

getLongPrefixRows() - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

getLongPrefixRows() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

getLongPrefixRows() - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable

getObservationTable() - Method in interface de.learnlib.datastructure.observationtable.ObservationTableFeature

getRow(int) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

getRow(Word<I>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

getRow(int) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

getRow(Word<I>) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

getRow(int) - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable

getRow(Word<I>) - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable

getRowContentId() - Method in interface de.learnlib.datastructure.observationtable.Row

Retrieves the unique identifier associated with the content of this row (may be -1 if this row has not yet been initialized).

getRowId() - Method in interface de.learnlib.datastructure.observationtable.Row

Retrieves the unique row identifier associated with this row.

getRowSuccessor(Row<I>, I) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

getSecondRow() - Method in class de.learnlib.datastructure.observationtable.Inconsistency

Retrieves the second (short prefix) row constituting the inconsistency.

getShortPrefixes() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

Retrieves the short prefixes in the table.

getShortPrefixRows() - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

getShortPrefixRows() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

getShortPrefixRows() - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable

getSuccessor(int) - Method in interface de.learnlib.datastructure.observationtable.Row

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

getSuffix(int) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

Retrieves a suffix by its (column) index.

getSuffixes() - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

getSuffixes() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

Retrieves all suffixes in the table.

getSuffixes() - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable

getSymbol() - Method in class de.learnlib.datastructure.observationtable.Inconsistency

Retrieves the symbol for which's one-letter extensions the corresponding rows have different contents.

I

Inconsistency<I> - Class in de.learnlib.datastructure.observationtable

A description of an inconsistency in an AbstractObservationTable.

Inconsistency(Row<I>, Row<I>, I) - Constructor for class de.learnlib.datastructure.observationtable.Inconsistency

initialConsistencyCheckRequired - Variable in class de.learnlib.datastructure.observationtable.AbstractObservationTable

initialize(List<Word<I>>, List<Word<I>>, MembershipOracle<I, D>) - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable

initialize(List<Word<I>>, List<Word<I>>, MembershipOracle<I, D>) - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable

Initializes an observation table using a specified set of suffixes.

initialize(List<Word<I>>, List<Word<I>>, MembershipOracle<I, Word<OutputAndLocalInputs<I, O>>>) - Method in class de.learnlib.datastructure.observationtable.PartialObservationTable

initializeSuffixes(List<Word<I>>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

InvalidRowException - Exception in de.learnlib.datastructure.observationtable

InvalidRowException() - Constructor for exception de.learnlib.datastructure.observationtable.InvalidRowException

InvalidRowException(String) - Constructor for exception de.learnlib.datastructure.observationtable.InvalidRowException

isAccessSequence(Word<I>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

isAccessSequence(Word<I>) - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable

isClosed() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

isConsistent() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

isInitialConsistencyCheckRequired() - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

isInitialConsistencyCheckRequired() - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable

isInitialized() - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

isInitialized() - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable

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

isShortPrefixRow() - Method in interface de.learnlib.datastructure.observationtable.Row

Retrieves whether this row is a short or a long prefix row.

M

makeShort(RowImpl<I>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

MutableObservationTable<I,D> - Interface in de.learnlib.datastructure.observationtable

N

NO_DISTINGUISHING_SUFFIX - Static variable in interface de.learnlib.datastructure.observationtable.ObservationTable

Used to indicate that no distinguishing suffix exists in ObservationTable.findDistinguishingSuffixIndex(Inconsistency) and ObservationTable.findDistinguishingSuffixIndex(Row, Row).

numberOfDistinctRows() - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

numberOfDistinctRows() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

Returns the number of distinct (regarding row values) rows in this observation table.

numberOfDistinctRows() - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable

numberOfLongPrefixRows() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

numberOfRows() - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

numberOfRows() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

Returns the total number of rows in this observation table.

numberOfShortPrefixRows() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

numberOfSuffixes() - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

O

ObservationTable<I,D> - Interface in de.learnlib.datastructure.observationtable

An observation table is a common method for learning algorithms to store organize their observations.

ObservationTableASCIIWriter<I,D> - Class in de.learnlib.datastructure.observationtable.writer

ObservationTableASCIIWriter(Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>, boolean) - Constructor for class de.learnlib.datastructure.observationtable.writer.ObservationTableASCIIWriter

ObservationTableASCIIWriter() - Constructor for class de.learnlib.datastructure.observationtable.writer.ObservationTableASCIIWriter

ObservationTableASCIIWriter(boolean) - Constructor for class de.learnlib.datastructure.observationtable.writer.ObservationTableASCIIWriter

ObservationTableFeature<I,D> - Interface in de.learnlib.datastructure.observationtable

ObservationTableHTMLWriter<I,D> - Class in de.learnlib.datastructure.observationtable.writer

Writes an observation table as a HTML table.

ObservationTableHTMLWriter(Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>) - Constructor for class de.learnlib.datastructure.observationtable.writer.ObservationTableHTMLWriter

ObservationTableReader<I,D> - Interface in de.learnlib.datastructure.observationtable.reader

Reads an ObservationTable from a string source.

ObservationTableWriter<I,D> - Interface in de.learnlib.datastructure.observationtable.writer

OTLearner<M,I,D> - Interface in de.learnlib.datastructure.observationtable

OTLearner.OTLearnerDFA<I> - Interface in de.learnlib.datastructure.observationtable

OTLearner.OTLearnerMealy<I,O> - Interface in de.learnlib.datastructure.observationtable

OTUtils - Class in de.learnlib.datastructure.observationtable

outputToString - Variable in class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

outputToString(D) - Method in class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

P

PartialObservationTable<I,O> - Class in de.learnlib.datastructure.observationtable

A specialized observation table that creates new long-prefix rows depending on the available input symbols of the corresponding short-prefix row.

PartialObservationTable(Consumer<I>, Function<Word<I>, Collection<I>>) - Constructor for class de.learnlib.datastructure.observationtable.PartialObservationTable

processContents(RowImpl<I>, List<D>, boolean) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

R

read(String, Alphabet<I>) - Method in interface de.learnlib.datastructure.observationtable.reader.ObservationTableReader

Reads the string representation of an observation table and returns an implementation of ObservationTable which allows access to short and long prefixes as well as suffixes.

read(String, Alphabet<I>) - Method in class de.learnlib.datastructure.observationtable.reader.SuffixASCIIReader

Row<I> - Interface in de.learnlib.datastructure.observationtable

A row in an observation table.

rowContents(Row<I>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

rowContents(Row<I>) - Method in interface de.learnlib.datastructure.observationtable.ObservationTable

rowContents(Row<I>) - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable

S

safeToStringFunction(Function<? super T, ? extends String>) - Static method in class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

setInputAlphabet(Alphabet<I>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

This is an internal method used for de-serializing.

setNewAlphabetNotifier(Consumer<I>) - Method in class de.learnlib.datastructure.observationtable.PartialObservationTable

setOutputToString(Function<? super D, ? extends String>) - Method in class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

setRowSeparators(boolean) - Method in class de.learnlib.datastructure.observationtable.writer.ObservationTableASCIIWriter

setWordToString(Function<? super Word<? extends I>, ? extends String>) - Method in class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

shortPrefixRows - Variable in class de.learnlib.datastructure.observationtable.AbstractObservationTable

SimpleObservationTable<I,D> - Class in de.learnlib.datastructure.observationtable.reader

This class represents the data structure of an ObservationTable without providing any meaningful functionality.

SimpleObservationTable(List<? extends Word<I>>) - Constructor for class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable

SuffixASCIIReader<I,D> - Class in de.learnlib.datastructure.observationtable.reader

SuffixASCIIReader() - Constructor for class de.learnlib.datastructure.observationtable.reader.SuffixASCIIReader

SuffixASCIIWriter<I,D> - Class in de.learnlib.datastructure.observationtable.writer

A de.learnlib.datastructures.writer which stores the suffixes of an ObservationTable in plaintext.

SuffixASCIIWriter() - Constructor for class de.learnlib.datastructure.observationtable.writer.SuffixASCIIWriter

T

toShortPrefixes(List<Row<I>>, MembershipOracle<I, D>) - Method in class de.learnlib.datastructure.observationtable.GenericObservationTable

toShortPrefixes(List<Row<I>>, MembershipOracle<I, D>) - Method in interface de.learnlib.datastructure.observationtable.MutableObservationTable

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

toShortPrefixes(List<Row<I>>, MembershipOracle<I, Word<OutputAndLocalInputs<I, O>>>) - Method in class de.learnlib.datastructure.observationtable.PartialObservationTable

toString(ObservationTable<I, D>, ObservationTableWriter<I, D>) - Static method in class de.learnlib.datastructure.observationtable.OTUtils

transformAccessSequence(Word<I>) - Method in class de.learnlib.datastructure.observationtable.AbstractObservationTable

transformAccessSequence(Word<I>) - Method in class de.learnlib.datastructure.observationtable.reader.SimpleObservationTable

W

wordToString - Variable in class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

wordToString(Word<? extends I>) - Method in class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

write(ObservationTable<? extends I, ? extends D>, Appendable) - Method in class de.learnlib.datastructure.observationtable.writer.ObservationTableASCIIWriter

write(ObservationTable<? extends I, ? extends D>, Appendable) - Method in class de.learnlib.datastructure.observationtable.writer.ObservationTableHTMLWriter

write(ObservationTable<? extends I, ? extends D>, Appendable) - Method in interface de.learnlib.datastructure.observationtable.writer.ObservationTableWriter

write(ObservationTable<? extends I, ? extends D>, PrintStream) - Method in interface de.learnlib.datastructure.observationtable.writer.ObservationTableWriter

write(ObservationTable<? extends I, ? extends D>, StringBuilder) - Method in interface de.learnlib.datastructure.observationtable.writer.ObservationTableWriter

write(ObservationTable<? extends I, ? extends D>, File) - Method in interface de.learnlib.datastructure.observationtable.writer.ObservationTableWriter

write(ObservationTable<? extends I, ? extends D>, Appendable) - Method in class de.learnlib.datastructure.observationtable.writer.SuffixASCIIWriter

writeHTMLToFile(ObservationTable<I, D>, File) - Static method in class de.learnlib.datastructure.observationtable.OTUtils

writeHTMLToFile(ObservationTable<I, D>, File, Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>) - Static method in class de.learnlib.datastructure.observationtable.OTUtils

A B C D F G I M N O P R S T W