| Package | Description |
|---|---|
| de.learnlib.datastructure.observationtable | |
| de.learnlib.datastructure.observationtable.reader |
| Modifier and Type | Method and Description |
|---|---|
default Row<I> |
ObservationTable.findUnclosedRow() |
Row<I> |
Inconsistency.getFirstRow()
Retrieves the first (short prefix) row constituting the inconsistency.
|
Row<I> |
ObservationTable.getRow(int idx) |
default Row<I> |
ObservationTable.getRow(net.automatalib.words.Word<I> prefix) |
default Row<I> |
ObservationTable.getRowSuccessor(Row<I> row,
I sym) |
Row<I> |
Inconsistency.getSecondRow()
Retrieves the second (short prefix) row constituting the inconsistency.
|
Row<I> |
Row.getSuccessor(int pos)
Retrieves the successor row for this short label row and the given alphabet symbol (by index).
|
| Modifier and Type | Method and Description |
|---|---|
List<List<Row<I>>> |
MutableObservationTable.addAlphabetSymbol(I symbol,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
GenericObservationTable.addAlphabetSymbol(I symbol,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
MutableObservationTable.addShortPrefixes(List<? extends net.automatalib.words.Word<I>> shortPrefixes,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
GenericObservationTable.addShortPrefixes(List<? extends net.automatalib.words.Word<I>> shortPrefixes,
MembershipOracle<I,D> oracle) |
default List<List<Row<I>>> |
MutableObservationTable.addSuffix(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,D> oracle)
Adds a suffix to the list of distinguishing suffixes.
|
List<List<Row<I>>> |
GenericObservationTable.addSuffix(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
MutableObservationTable.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>>> |
GenericObservationTable.addSuffixes(Collection<? extends net.automatalib.words.Word<I>> newSuffixes,
MembershipOracle<I,D> oracle) |
default Collection<Row<I>> |
ObservationTable.getAllRows() |
Collection<Row<I>> |
ObservationTable.getLongPrefixRows() |
Collection<Row<I>> |
GenericObservationTable.getLongPrefixRows() |
Collection<Row<I>> |
ObservationTable.getShortPrefixRows() |
List<Row<I>> |
GenericObservationTable.getShortPrefixRows() |
List<List<Row<I>>> |
MutableObservationTable.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.
|
List<List<Row<I>>> |
GenericObservationTable.initialize(List<net.automatalib.words.Word<I>> initialShortPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
MembershipOracle<I,D> oracle) |
List<List<Row<I>>> |
MutableObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle)
Moves the specified rows to the set of short prefix rows.
|
List<List<Row<I>>> |
GenericObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle) |
| Modifier and Type | Method and Description |
|---|---|
D |
ObservationTable.cellContents(Row<I> row,
int columnId) |
D |
GenericObservationTable.cellContents(Row<I> row,
int columnId) |
default net.automatalib.words.Word<I> |
ObservationTable.findDistinguishingSuffix(Row<I> row1,
Row<I> row2) |
default net.automatalib.words.Word<I> |
ObservationTable.findDistinguishingSuffix(Row<I> row1,
Row<I> row2) |
default int |
ObservationTable.findDistinguishingSuffixIndex(Row<I> row1,
Row<I> row2) |
default int |
ObservationTable.findDistinguishingSuffixIndex(Row<I> row1,
Row<I> row2) |
default Row<I> |
ObservationTable.getRowSuccessor(Row<I> row,
I sym) |
List<D> |
ObservationTable.rowContents(Row<I> row) |
List<D> |
GenericObservationTable.rowContents(Row<I> row) |
| Modifier and Type | Method and Description |
|---|---|
List<List<Row<I>>> |
MutableObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle)
Moves the specified rows to the set of short prefix rows.
|
List<List<Row<I>>> |
GenericObservationTable.toShortPrefixes(List<Row<I>> lpRows,
MembershipOracle<I,D> oracle) |
| Constructor and Description |
|---|
Inconsistency(Row<I> firstRow,
Row<I> secondRow,
I symbol) |
Inconsistency(Row<I> firstRow,
Row<I> secondRow,
I symbol) |
| Modifier and Type | Method and Description |
|---|---|
Row<I> |
SimpleObservationTable.getRow(int idx) |
Row<I> |
SimpleObservationTable.getRow(net.automatalib.words.Word<I> prefix) |
| Modifier and Type | Method and Description |
|---|---|
Collection<Row<I>> |
SimpleObservationTable.getLongPrefixRows() |
Collection<Row<I>> |
SimpleObservationTable.getShortPrefixRows() |
| Modifier and Type | Method and Description |
|---|---|
D |
SimpleObservationTable.cellContents(Row<I> row,
int columnId) |
List<D> |
SimpleObservationTable.rowContents(Row<I> row) |
Copyright © 2018. All rights reserved.