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

A

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

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

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.GenericObservationTable

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.GenericObservationTable

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

Adds suffixes to the list of distinguishing suffixes.

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

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

Convenience method for OTUtils.displayHTMLInBrowser(ObservationTable, Function, Function) that uses Object.toString() to render words and outputs of the observation table.

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 an HTML document in the default browser.

F

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

Observation table class.

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.GenericObservationTable

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.GenericObservationTable

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.GenericObservationTable

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

Returns the specified row of the observation table.

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

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

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.GenericObservationTable

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.GenericObservationTable

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 GenericObservationTable.

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

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.

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

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.GenericObservationTable

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

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

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

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.GenericObservationTable

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.GenericObservationTable

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() - Constructor for class de.learnlib.datastructure.observationtable.writer.ObservationTableASCIIWriter

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

ObservationTableASCIIWriter(Function<? super Word<? extends I>, ? extends String>, Function<? super D, ? extends String>, 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 an 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

OTLearner.OTLearnerMoore<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

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.GenericObservationTable

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

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

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

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.

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.GenericObservationTable

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>, File) - 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>, 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>, Appendable) - Method in class de.learnlib.datastructure.observationtable.writer.SuffixASCIIWriter

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

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 C D F G I M N O R S T W
All Classes All Packages