de.learnlib.algorithms.features.observationtable.reader

Class SimpleObservationTable<I,D>

java.lang.Object

de.learnlib.algorithms.features.observationtable.reader.SimpleObservationTable<I,D>

Type Parameters:

I - The input type.

D - The output domain type.

All Implemented Interfaces:

ObservationTable<I,D>

public class SimpleObservationTable<I,D>
extends Object
implements ObservationTable<I,D>

This class represents the data structure of an 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).

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.algorithms.features.observationtable.ObservationTable

ObservationTable.Inconsistency<I,D>, ObservationTable.Row<I,D>

Field Summary

Fields inherited from interface de.learnlib.algorithms.features.observationtable.ObservationTable

NO_DISTINGUISHING_SUFFIX

Constructor Summary

Constructors

Constructor and Description
SimpleObservationTable(List<? extends net.automatalib.words.Word<I>> suffixes)

Method Summary

Methods

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SimpleObservationTable

public SimpleObservationTable(List<? extends net.automatalib.words.Word<I>> suffixes)

Method Detail

getShortPrefixes

@Nonnull
public Collection<? extends net.automatalib.words.Word<I>> getShortPrefixes()

Description copied from interface: ObservationTable

Retrieves the short prefixes in the table. The prefixes are returned in no specified order.

Specified by:

getShortPrefixes in interface ObservationTable<I,D>

Returns:

the short prefixes in the table

getLongPrefixes

@Nonnull
public Collection<? extends net.automatalib.words.Word<I>> getLongPrefixes()

Description copied from interface: ObservationTable

Retrieves the long prefixes in the table. The prefixes are returned in no specified order.

Specified by:

getLongPrefixes in interface ObservationTable<I,D>

Returns:

the long prefixes in the table

getAllPrefixes

@Nonnull
public Collection<? extends net.automatalib.words.Word<I>> getAllPrefixes()

Description copied from interface: ObservationTable

Retrieves all prefixes (short and long) in the table. The prefixes are returned in no specified order.

Specified by:

getAllPrefixes in interface ObservationTable<I,D>

Returns:

all prefixes in the table

getSuffixes

@Nonnull
public List<? extends net.automatalib.words.Word<I>> getSuffixes()

Description copied from interface: ObservationTable

Retrieves all suffixes in the table.

Specified by:

getSuffixes in interface ObservationTable<I,D>

Returns:

all suffixes in the table

getSuffix

@Nonnull
public net.automatalib.words.Word<I> getSuffix(@Nonnegative
                                              int index)
                                        throws IndexOutOfBoundsException

Description copied from interface: ObservationTable

Retrieves a suffix by its (column) index.

Specified by:

getSuffix in interface ObservationTable<I,D>

Returns:

Throws:

IndexOutOfBoundsException

getShortPrefixRows

@Nonnull
public Collection<? extends ObservationTable.Row<I,D>> getShortPrefixRows()

Specified by:

getShortPrefixRows in interface ObservationTable<I,D>

getLongPrefixRows

@Nonnull
public Collection<? extends ObservationTable.Row<I,D>> getLongPrefixRows()

Specified by:

getLongPrefixRows in interface ObservationTable<I,D>

getAllRows

@Nonnull
public Collection<? extends ObservationTable.Row<I,D>> getAllRows()

Specified by:

getAllRows in interface ObservationTable<I,D>

getRow

@Nonnull
public ObservationTable.Row<I,D> getRow(net.automatalib.words.Word<I> prefix)
                                 throws NoSuchRowException

Specified by:

getRow in interface ObservationTable<I,D>

Throws:

NoSuchRowException

getSuccessorRow

@Nullable
public ObservationTable.Row<I,D> getSuccessorRow(ObservationTable.Row<I,D> spRow,
                                                 @Nullable
                                                 I symbol)
                                          throws InvalidRowException

Specified by:

getSuccessorRow in interface ObservationTable<I,D>

Throws:

InvalidRowException

isClosed

public boolean isClosed()

Specified by:

isClosed in interface ObservationTable<I,D>

findUnclosedRow

@Nullable
public ObservationTable.Row<I,D> findUnclosedRow()

Specified by:

findUnclosedRow in interface ObservationTable<I,D>

isConsistent

public boolean isConsistent(Collection<? extends I> inputs)

Specified by:

isConsistent in interface ObservationTable<I,D>

findInconsistency

@Nullable
public ObservationTable.Inconsistency<I,D> findInconsistency(Collection<? extends I> inputs)

Specified by:

findInconsistency in interface ObservationTable<I,D>

findDistinguishingSuffixIndex

public int findDistinguishingSuffixIndex(ObservationTable.Inconsistency<I,D> inconsistency)
                                  throws NoSuchRowException,
                                         InvalidRowException

Specified by:

findDistinguishingSuffixIndex in interface ObservationTable<I,D>

Returns:

the suffix (column) index where the contents of the rows differ, or #NO_DISTINGUISHING_SUFFIX if the contents of the rows are equal.

Throws:

NoSuchRowException - if the

InvalidRowException

findDistinguishingSuffix

@Nullable
public net.automatalib.words.Word<I> findDistinguishingSuffix(ObservationTable.Inconsistency<I,D> inconsistency)
                                                       throws NoSuchRowException,
                                                              InvalidRowException

Specified by:

findDistinguishingSuffix in interface ObservationTable<I,D>

Returns:

Throws:

NoSuchRowException

InvalidRowException

findDistinguishingSuffixIndex

public int findDistinguishingSuffixIndex(ObservationTable.Row<I,D> firstRow,
                                ObservationTable.Row<I,D> secondRow)
                                  throws InvalidRowException

Specified by:

findDistinguishingSuffixIndex in interface ObservationTable<I,D>

Parameters:

firstRow - the first row

secondRow - the second row

Returns:

the suffix (column) index where the contents of the rows differ, or #NO_DISTINGUISHING_SUFFIX if the contents of the rows are equal.

Throws:

InvalidRowException - if the rows do not belong to this observation table

findDistinguishingSuffix

@Nullable
public net.automatalib.words.Word<I> findDistinguishingSuffix(ObservationTable.Row<I,D> firstRow,
                                                              ObservationTable.Row<I,D> secondRow)
                                                       throws InvalidRowException

Specified by:

findDistinguishingSuffix in interface ObservationTable<I,D>

Parameters:

firstRow - the first row

secondRow - the second row

Returns:

the suffix distinguishing the contents of the two rows

Throws:

InvalidRowException - if the rows do not belong to this observation table