public interface MutableObservationTable<I,D> extends ObservationTable<I,D>
NO_DISTINGUISHING_SUFFIX
Modifier and Type | Method and Description |
---|---|
List<List<Row<I>>> |
addAlphabetSymbol(I symbol,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
addShortPrefixes(List<? extends net.automatalib.words.Word<I>> shortPrefixes,
MembershipOracle<I,D> oracle) |
default List<List<Row<I>>> |
addSuffix(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,D> oracle)
Adds a suffix to the list of distinguishing suffixes.
|
List<List<Row<I>>> |
addSuffixes(Collection<? extends net.automatalib.words.Word<I>> newSuffixes,
MembershipOracle<I,D> oracle)
Adds suffixes to the list of distinguishing suffixes.
|
List<List<Row<I>>> |
initialize(List<net.automatalib.words.Word<I>> initialShortPrefixes,
List<net.automatalib.words.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.
|
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
isAccessSequence, longestASPrefix, transformAccessSequence
List<List<Row<I>>> initialize(List<net.automatalib.words.Word<I>> initialShortPrefixes, List<net.automatalib.words.Word<I>> initialSuffixes, MembershipOracle<I,D> oracle)
initialSuffixes
- the set of initial column labels.oracle
- the MembershipOracle
to use for performing queriesboolean isInitialized()
boolean isInitialConsistencyCheckRequired()
default List<List<Row<I>>> addSuffix(net.automatalib.words.Word<I> suffix, MembershipOracle<I,D> oracle)
addSufixes(Collections.singletonList(suffix), oracle)
suffix
- the suffix to addoracle
- the membership oracleList<List<Row<I>>> addSuffixes(Collection<? extends net.automatalib.words.Word<I>> newSuffixes, MembershipOracle<I,D> oracle)
newSuffixes
- the suffixes to addoracle
- the membership oracleList<List<Row<I>>> addShortPrefixes(List<? extends net.automatalib.words.Word<I>> shortPrefixes, MembershipOracle<I,D> oracle)
List<List<Row<I>>> toShortPrefixes(List<Row<I>> lpRows, MembershipOracle<I,D> oracle)
lpRows
- the rows to move to the set of short prefix rowsoracle
- the membership oracleCopyright © 2018. All rights reserved.