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 Word<I>> suffixes) |
@Nonnull public Collection<? extends Word<I>> getShortPrefixes()
ObservationTable
getShortPrefixes
in interface ObservationTable<I,D>
@Nonnull public Collection<? extends Word<I>> getLongPrefixes()
ObservationTable
getLongPrefixes
in interface ObservationTable<I,D>
@Nonnull public Collection<? extends Word<I>> getAllPrefixes()
ObservationTable
getAllPrefixes
in interface ObservationTable<I,D>
@Nonnull public List<? extends Word<I>> getSuffixes()
ObservationTable
getSuffixes
in interface ObservationTable<I,D>
@Nonnull public 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(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 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 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 © 2015. All rights reserved.