I
- The input type.D
- The output domain type.public class SimpleObservationTable<I,D> extends Object implements ObservationTable<I,D>
ObservationTable
wihout providing
any meaningful functionalily. It is used to store the result of reading string representations
like with OTUtils.fromString(String, net.automatalib.words.Alphabet, ObservationTableReader)
.ObservationTable.AbstractRow<I,D>, ObservationTable.DefaultInconsistency<I,D>, ObservationTable.Inconsistency<I,D>, ObservationTable.Row<I,D>
NO_DISTINGUISHING_SUFFIX
Constructor and Description |
---|
SimpleObservationTable(List<? extends net.automatalib.words.Word<I>> suffixes) |
Modifier and Type | Method and Description |
---|---|
net.automatalib.words.Word<I> |
findDistinguishingSuffix(ObservationTable.Inconsistency<I,D> inconsistency) |
net.automatalib.words.Word<I> |
findDistinguishingSuffix(ObservationTable.Row<I,D> firstRow,
ObservationTable.Row<I,D> secondRow) |
int |
findDistinguishingSuffixIndex(ObservationTable.Inconsistency<I,D> inconsistency) |
int |
findDistinguishingSuffixIndex(ObservationTable.Row<I,D> firstRow,
ObservationTable.Row<I,D> secondRow) |
ObservationTable.Inconsistency<I,D> |
findInconsistency(Collection<? extends I> inputs) |
ObservationTable.Row<I,D> |
findUnclosedRow() |
Collection<? extends net.automatalib.words.Word<I>> |
getAllPrefixes()
Retrieves all prefixes (short and long) in the table.
|
Collection<? extends ObservationTable.Row<I,D>> |
getAllRows() |
Collection<? extends net.automatalib.words.Word<I>> |
getLongPrefixes()
Retrieves the long prefixes in the table.
|
Collection<? extends ObservationTable.Row<I,D>> |
getLongPrefixRows() |
ObservationTable.Row<I,D> |
getRow(net.automatalib.words.Word<I> prefix) |
Collection<? extends net.automatalib.words.Word<I>> |
getShortPrefixes()
Retrieves the short prefixes in the table.
|
Collection<? extends ObservationTable.Row<I,D>> |
getShortPrefixRows() |
ObservationTable.Row<I,D> |
getSuccessorRow(ObservationTable.Row<I,D> spRow,
I symbol) |
net.automatalib.words.Word<I> |
getSuffix(int index)
Retrieves a suffix by its (column) index.
|
List<? extends net.automatalib.words.Word<I>> |
getSuffixes()
Retrieves all suffixes in the table.
|
boolean |
isClosed() |
boolean |
isConsistent(Collection<? extends I> inputs) |
@Nonnull public Collection<? extends net.automatalib.words.Word<I>> getShortPrefixes()
ObservationTable
getShortPrefixes
in interface ObservationTable<I,D>
@Nonnull public Collection<? extends net.automatalib.words.Word<I>> getLongPrefixes()
ObservationTable
getLongPrefixes
in interface ObservationTable<I,D>
@Nonnull public Collection<? extends net.automatalib.words.Word<I>> getAllPrefixes()
ObservationTable
getAllPrefixes
in interface ObservationTable<I,D>
@Nonnull public List<? extends net.automatalib.words.Word<I>> getSuffixes()
ObservationTable
getSuffixes
in interface ObservationTable<I,D>
@Nonnull public net.automatalib.words.Word<I> getSuffix(@Nonnegative int index) throws IndexOutOfBoundsException
ObservationTable
getSuffix
in interface ObservationTable<I,D>
IndexOutOfBoundsException
@Nonnull public Collection<? extends ObservationTable.Row<I,D>> getShortPrefixRows()
getShortPrefixRows
in interface ObservationTable<I,D>
@Nonnull public Collection<? extends ObservationTable.Row<I,D>> getLongPrefixRows()
getLongPrefixRows
in interface ObservationTable<I,D>
@Nonnull public Collection<? extends ObservationTable.Row<I,D>> getAllRows()
getAllRows
in interface ObservationTable<I,D>
@Nonnull public ObservationTable.Row<I,D> getRow(net.automatalib.words.Word<I> prefix) throws NoSuchRowException
getRow
in interface ObservationTable<I,D>
NoSuchRowException
@Nullable public ObservationTable.Row<I,D> getSuccessorRow(ObservationTable.Row<I,D> spRow, @Nullable I symbol) throws InvalidRowException
getSuccessorRow
in interface ObservationTable<I,D>
InvalidRowException
public boolean isClosed()
isClosed
in interface ObservationTable<I,D>
@Nullable public ObservationTable.Row<I,D> findUnclosedRow()
findUnclosedRow
in interface ObservationTable<I,D>
public boolean isConsistent(Collection<? extends I> inputs)
isConsistent
in interface ObservationTable<I,D>
@Nullable public ObservationTable.Inconsistency<I,D> findInconsistency(Collection<? extends I> inputs)
findInconsistency
in interface ObservationTable<I,D>
public int findDistinguishingSuffixIndex(ObservationTable.Inconsistency<I,D> inconsistency) throws NoSuchRowException, InvalidRowException
findDistinguishingSuffixIndex
in interface ObservationTable<I,D>
#NO_DISTINGUISHING_SUFFIX
if the contents of the rows are equal.NoSuchRowException
- if theInvalidRowException
@Nullable public net.automatalib.words.Word<I> findDistinguishingSuffix(ObservationTable.Inconsistency<I,D> inconsistency) throws NoSuchRowException, InvalidRowException
findDistinguishingSuffix
in interface ObservationTable<I,D>
NoSuchRowException
InvalidRowException
public int findDistinguishingSuffixIndex(ObservationTable.Row<I,D> firstRow, ObservationTable.Row<I,D> secondRow) throws InvalidRowException
findDistinguishingSuffixIndex
in interface ObservationTable<I,D>
firstRow
- the first rowsecondRow
- the second row#NO_DISTINGUISHING_SUFFIX
if the contents of the rows are equal.InvalidRowException
- if the rows do not belong to this observation table@Nullable public net.automatalib.words.Word<I> findDistinguishingSuffix(ObservationTable.Row<I,D> firstRow, ObservationTable.Row<I,D> secondRow) throws InvalidRowException
findDistinguishingSuffix
in interface ObservationTable<I,D>
firstRow
- the first rowsecondRow
- the second rowInvalidRowException
- if the rows do not belong to this observation tableCopyright © 2016. All rights reserved.