de.learnlib.datastructure.observationtable

Class PartialObservationTable<I,O>

java.lang.Object

de.learnlib.datastructure.observationtable.AbstractObservationTable<I,Word<OutputAndLocalInputs<I,O>>>

de.learnlib.datastructure.observationtable.PartialObservationTable<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

AccessSequenceTransformer<I>, MutableObservationTable<I,Word<OutputAndLocalInputs<I,O>>>, ObservationTable<I,Word<OutputAndLocalInputs<I,O>>>, Serializable

public final class PartialObservationTable<I,O>
extends AbstractObservationTable<I,Word<OutputAndLocalInputs<I,O>>>

A specialized observation table that creates new long-prefix rows depending on the available input symbols of the corresponding short-prefix row.

The information about available inputs symbols is stored in the first (epsilon) column, despite this being an observation table based on Mealy semantics (where an empty input always yields an empty output). The information about available inputs are not fetched via conventional membership queries, but by querying the supplied provider.

Author:

Maren Geske, frohme

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
PartialObservationTable(Consumer<I> newAlphabetNotifier, Function<Word<I>,Collection<I>> enabledInputsProvider)

Method Summary

Modifier and Type	Method and Description
List<List<Row<I>>>	addAlphabetSymbol(I symbol, MembershipOracle<I,Word<OutputAndLocalInputs<I,O>>> oracle)
List<List<Row<I>>>	initialize(List<Word<I>> initialShortPrefixes, List<Word<I>> initialSuffixes, MembershipOracle<I,Word<OutputAndLocalInputs<I,O>>> oracle) Initializes an observation table using a specified set of suffixes.
void	setNewAlphabetNotifier(Consumer<I> newAlphabetNotifier)
List<List<Row<I>>>	toShortPrefixes(List<Row<I>> lpRows, MembershipOracle<I,Word<OutputAndLocalInputs<I,O>>> 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

PartialObservationTable

public PartialObservationTable(Consumer<I> newAlphabetNotifier,
                               Function<Word<I>,Collection<I>> enabledInputsProvider)

Method Detail

setNewAlphabetNotifier

public void setNewAlphabetNotifier(Consumer<I> newAlphabetNotifier)

initialize

public List<List<Row<I>>> initialize(List<Word<I>> initialShortPrefixes,
                                     List<Word<I>> initialSuffixes,
                                     MembershipOracle<I,Word<OutputAndLocalInputs<I,O>>> 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,Word<OutputAndLocalInputs<I,O>>> 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,Word<OutputAndLocalInputs<I,O>>> oracle)