de.learnlib.algorithms.baselinelstar

Class ObservationTable<I>

java.lang.Object

de.learnlib.algorithms.features.observationtable.AbstractObservationTable<I,Boolean>

de.learnlib.algorithms.baselinelstar.ObservationTable<I>

Type Parameters:

I - input symbol class.

All Implemented Interfaces:

ObservationTable<I,Boolean>

public class ObservationTable<I>
extends AbstractObservationTable<I,Boolean>

The internal storage mechanism for BaselineLStar.

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.algorithms.features.observationtable.AbstractObservationTable

AbstractObservationTable.AbstractRow<I,D>, AbstractObservationTable.DefaultInconsistency<I,D>

Nested classes/interfaces inherited from interface de.learnlib.algorithms.features.observationtable.ObservationTable

ObservationTable.Inconsistency<I,D>, ObservationTable.Row<I,D>

Field Summary

Fields inherited from interface de.learnlib.algorithms.features.observationtable.ObservationTable

NO_DISTINGUISHING_SUFFIX

Constructor Summary

Constructors

Constructor and Description
ObservationTable()

Method Summary

Methods

Modifier and Type	Method and Description
List<net.automatalib.words.Word<I>>	getLongPrefixLabels()
Collection<de.learnlib.algorithms.baselinelstar.ObservationTableRow<I>>	getLongPrefixRows()
List<net.automatalib.words.Word<I>>	getShortPrefixLabels()
Collection<de.learnlib.algorithms.baselinelstar.ObservationTableRow<I>>	getShortPrefixRows()
ObservationTable.Row<I,Boolean>	getSuccessorRow(ObservationTable.Row<I,Boolean> spRow, I symbol)
List<net.automatalib.words.Word<I>>	getSuffixes() The set of suffixes in the observation table, often called "E".

Methods inherited from class de.learnlib.algorithms.features.observationtable.AbstractObservationTable

findDistinguishingSuffix, findDistinguishingSuffix, findDistinguishingSuffixIndex, findDistinguishingSuffixIndex, findInconsistency, findUnclosedRow, getAllPrefixes, getAllRows, getLongPrefixes, getRow, getShortPrefixes, getSuffix, isClosed, isConsistent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ObservationTable

public ObservationTable()

Method Detail

getSuffixes

public List<net.automatalib.words.Word<I>> getSuffixes()

The set of suffixes in the observation table, often called "E".

Returns:

The set of candidates.

getShortPrefixRows

public Collection<de.learnlib.algorithms.baselinelstar.ObservationTableRow<I>> getShortPrefixRows()

getShortPrefixLabels

@Nonnull
public List<net.automatalib.words.Word<I>> getShortPrefixLabels()

getLongPrefixRows

public Collection<de.learnlib.algorithms.baselinelstar.ObservationTableRow<I>> getLongPrefixRows()

getLongPrefixLabels

@Nonnull
public List<net.automatalib.words.Word<I>> getLongPrefixLabels()

getSuccessorRow

@Nullable
public ObservationTable.Row<I,Boolean> getSuccessorRow(@Nonnull
                                                       ObservationTable.Row<I,Boolean> spRow,
                                                       I symbol)