Package de.learnlib.datastructure.observationtable

Interface MutableObservationTable<I,D>

All Superinterfaces:

AccessSequenceTransformer<I>, ObservationTable<I,D>

All Known Implementing Classes:

GenericObservationTable

public interface MutableObservationTable<I,D>
extends ObservationTable<I,D>

Field Summary

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

NO_DISTINGUISHING_SUFFIX

Method Summary

Modifier and Type	Method	Description
List<List<Row<I>>>	addAlphabetSymbol(I symbol, MembershipOracle<I,D> oracle)
List<List<Row<I>>>	addShortPrefixes(List<? extends Word<I>> shortPrefixes, MembershipOracle<I,D> oracle)
default List<List<Row<I>>>	addSuffix(Word<I> suffix, MembershipOracle<I,D> oracle)	Adds a suffix to the list of distinguishing suffixes.
List<List<Row<I>>>	addSuffixes(Collection<? extends Word<I>> newSuffixes, MembershipOracle<I,D> oracle)	Adds suffixes to the list of distinguishing suffixes.
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.
boolean	isInitialConsistencyCheckRequired()
boolean	isInitialized()	Checks whether this observation table has been initialized yet (i.e., contains any rows).
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 interface de.learnlib.AccessSequenceTransformer

isAccessSequence, longestASPrefix, transformAccessSequence

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

cellContents, findDistinguishingSuffix, findDistinguishingSuffix, findDistinguishingSuffixIndex, findDistinguishingSuffixIndex, findInconsistency, findUnclosedRow, getAllPrefixes, getAllRows, getInputAlphabet, getLongPrefixes, getLongPrefixRows, getRow, getRow, getRowSuccessor, getShortPrefixes, getShortPrefixRows, getSuffix, getSuffixes, isClosed, isConsistent, numberOfDistinctRows, numberOfLongPrefixRows, numberOfRows, numberOfShortPrefixRows, numberOfSuffixes, rowContents

Method Detail

initialize

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.

Parameters:

initialSuffixes - the set of initial column labels.

oracle - the MembershipOracle to use for performing queries

Returns:

a list of equivalence classes of unclosed rows

isInitialized

boolean isInitialized()

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

Returns:

true iff the table has been initialized

isInitialConsistencyCheckRequired

boolean isInitialConsistencyCheckRequired()

addSuffix

default List<List<Row<I>>> addSuffix(Word<I> suffix,
                                     MembershipOracle<I,D> oracle)

Adds a suffix to the list of distinguishing suffixes. This is a convenience method that can be used as shorthand for addSufixes(Collections.singletonList(suffix), oracle).

Parameters:

suffix - the suffix to add

oracle - the membership oracle

Returns:

a list of equivalence classes of unclosed rows

addSuffixes

List<List<Row<I>>> addSuffixes(Collection<? extends Word<I>> newSuffixes,
                               MembershipOracle<I,D> oracle)

Adds suffixes to the list of distinguishing suffixes.

Parameters:

newSuffixes - the suffixes to add

oracle - the membership oracle

Returns:

a list of equivalence classes of unclosed rows

addShortPrefixes

List<List<Row<I>>> addShortPrefixes(List<? extends Word<I>> shortPrefixes,
                                    MembershipOracle<I,D> oracle)

toShortPrefixes

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

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

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