de.learnlib.algorithms.baselinelstar

Class ObservationTable<I>

java.lang.Object

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

Type Parameters:

I - input symbol class.

All Implemented Interfaces:

ObservationTable<I,Boolean>

public class ObservationTable<I>
extends Object
implements ObservationTable<I,Boolean>

The internal storage mechanism for BaselineLStar.

Nested Class Summary

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

ObservationTable.AbstractRow<I,D>, ObservationTable.DefaultInconsistency<I,D>, 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

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

Methods inherited from class java.lang.Object

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

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

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

Constructor Detail

ObservationTable

public ObservationTable()

Method Detail

getSuffixes

public List<Word<I>> getSuffixes()

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

Specified by:

getSuffixes in interface ObservationTable<I,Boolean>

Returns:

The set of candidates.

getShortPrefixRows

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

Specified by:

getShortPrefixRows in interface ObservationTable<I,Boolean>

getShortPrefixLabels

@Nonnull
public List<Word<I>> getShortPrefixLabels()

getLongPrefixRows

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

Specified by:

getLongPrefixRows in interface ObservationTable<I,Boolean>

getLongPrefixLabels

@Nonnull
public List<Word<I>> getLongPrefixLabels()

getSuccessorRow

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

Specified by:

getSuccessorRow in interface ObservationTable<I,Boolean>