de.learnlib.datastructure.observationtable

Class GenericObservationTable<I,D>

java.lang.Object

de.learnlib.datastructure.observationtable.AbstractObservationTable<I,D>

de.learnlib.datastructure.observationtable.GenericObservationTable<I,D>

Type Parameters:

I - input symbol type

D - output domain type

All Implemented Interfaces:

AccessSequenceTransformer<I>, MutableObservationTable<I,D>, ObservationTable<I,D>, Serializable

public final class GenericObservationTable<I,D>
extends AbstractObservationTable<I,D>

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

See Also:

Serialized Form

Field Summary

Fields inherited from class de.learnlib.datastructure.observationtable.AbstractObservationTable

initialConsistencyCheckRequired, shortPrefixRows

Fields inherited from interface de.learnlib.datastructure.observationtable.ObservationTable

NO_DISTINGUISHING_SUFFIX

Constructor Summary

Constructors

Constructor and Description
GenericObservationTable(Alphabet<I> alphabet) Constructor.

Method Summary

Modifier and Type	Method and Description
List<List<Row<I>>>	addAlphabetSymbol(I symbol, MembershipOracle<I,D> oracle)
List<List<Row<I>>>	initialize(List<Word<I>> initialShortPrefixes, List<Word<I>> initialSuffixes, MembershipOracle<I,D> oracle) Initializes an observation table using a specified set of suffixes.
List<List<Row<I>>>	toShortPrefixes(List<Row<I>> lpRows, MembershipOracle<I,D> oracle) Moves the specified rows to the set of short prefix rows.

Methods inherited from class de.learnlib.datastructure.observationtable.AbstractObservationTable

addShortPrefixes, addSuffix, addSuffixes, buildQueries, buildRowQueries, checkInitialShortPrefixes, createLpRow, createSpRow, fetchResults, getInputAlphabet, getLongPrefixRows, getRow, getRow, getShortPrefixRows, getSuffixes, initializeSuffixes, isAccessSequence, isInitialConsistencyCheckRequired, isInitialized, makeShort, numberOfDistinctRows, numberOfRows, processContents, rowContents, setInputAlphabet, transformAccessSequence

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.datastructure.observationtable.ObservationTable

cellContents, findDistinguishingSuffix, findDistinguishingSuffix, findDistinguishingSuffixIndex, findDistinguishingSuffixIndex, findInconsistency, findUnclosedRow, getAllPrefixes, getAllRows, getLongPrefixes, getRowSuccessor, getShortPrefixes, getSuffix, isClosed, isConsistent, numberOfLongPrefixRows, numberOfShortPrefixRows, numberOfSuffixes

Methods inherited from interface de.learnlib.api.AccessSequenceTransformer

longestASPrefix

Constructor Detail

GenericObservationTable

public GenericObservationTable(Alphabet<I> alphabet)

Constructor.

Parameters:

alphabet - the learning alphabet.

Method Detail

initialize

public List<List<Row<I>>> initialize(List<Word<I>> initialShortPrefixes,
                                     List<Word<I>> initialSuffixes,
                                     MembershipOracle<I,D> oracle)

Description copied from interface: MutableObservationTable

Initializes an observation table using a specified set of suffixes.

initialSuffixes - the set of initial column labels.

oracle - the MembershipOracle to use for performing queries

Returns:

a list of equivalence classes of unclosed rows

toShortPrefixes

public List<List<Row<I>>> toShortPrefixes(List<Row<I>> lpRows,
                                          MembershipOracle<I,D> oracle)

Description copied from interface: MutableObservationTable

Moves the specified rows to the set of short prefix rows. If some of the specified rows already are short prefix rows, they are ignored (unless they do not have any contents, in which case they are completed).

Parameters:

lpRows - the rows to move to the set of short prefix rows

oracle - the membership oracle

Returns:

a list of equivalence classes of unclosed rows

addAlphabetSymbol

public List<List<Row<I>>> addAlphabetSymbol(I symbol,
                                            MembershipOracle<I,D> oracle)