Package | Description |
---|---|
de.learnlib.algorithms.baselinelstar | |
de.learnlib.algorithms.features.observationtable | |
de.learnlib.algorithms.features.observationtable.reader |
Modifier and Type | Method and Description |
---|---|
ObservationTable.Row<I,Boolean> |
InconsistencyDataHolder.getFirstRow() |
ObservationTable.Row<I,Boolean> |
InconsistencyDataHolder.getSecondRow() |
ObservationTable.Row<I,Boolean> |
ObservationTable.getSuccessorRow(ObservationTable.Row<I,Boolean> spRow,
I symbol) |
Modifier and Type | Method and Description |
---|---|
ObservationTable.Row<I,Boolean> |
ObservationTable.getSuccessorRow(ObservationTable.Row<I,Boolean> spRow,
I symbol) |
Modifier and Type | Class and Description |
---|---|
static class |
ObservationTable.AbstractRow<I,D> |
Modifier and Type | Method and Description |
---|---|
default ObservationTable.Row<I,D> |
ObservationTable.findUnclosedRow() |
ObservationTable.Row<I,D> |
ObservationTable.Inconsistency.getFirstRow()
Retrieves the first (short prefix) row constituting the inconsistency.
|
ObservationTable.Row<I,D> |
ObservationTable.DefaultInconsistency.getFirstRow() |
default ObservationTable.Row<I,D> |
ObservationTable.getRow(Word<I> prefix) |
ObservationTable.Row<I,D> |
ObservationTable.Inconsistency.getSecondRow()
Retrieves the second (short prefix) row constituting the inconsistency
|
ObservationTable.Row<I,D> |
ObservationTable.DefaultInconsistency.getSecondRow() |
ObservationTable.Row<I,D> |
ObservationTable.getSuccessorRow(ObservationTable.Row<I,D> spRow,
I symbol) |
Modifier and Type | Method and Description |
---|---|
default Collection<? extends ObservationTable.Row<I,D>> |
ObservationTable.getAllRows() |
Collection<? extends ObservationTable.Row<I,D>> |
ObservationTable.getLongPrefixRows() |
Collection<? extends ObservationTable.Row<I,D>> |
ObservationTable.getShortPrefixRows() |
Modifier and Type | Method and Description |
---|---|
default Word<I> |
ObservationTable.findDistinguishingSuffix(ObservationTable.Row<I,D> row1,
ObservationTable.Row<I,D> row2) |
default Word<I> |
ObservationTable.findDistinguishingSuffix(ObservationTable.Row<I,D> row1,
ObservationTable.Row<I,D> row2) |
default int |
ObservationTable.findDistinguishingSuffixIndex(ObservationTable.Row<I,D> row1,
ObservationTable.Row<I,D> row2) |
default int |
ObservationTable.findDistinguishingSuffixIndex(ObservationTable.Row<I,D> row1,
ObservationTable.Row<I,D> row2) |
ObservationTable.Row<I,D> |
ObservationTable.getSuccessorRow(ObservationTable.Row<I,D> spRow,
I symbol) |
Constructor and Description |
---|
DefaultInconsistency(ObservationTable.Row<I,D> firstRow,
ObservationTable.Row<I,D> secondRow,
I symbol) |
DefaultInconsistency(ObservationTable.Row<I,D> firstRow,
ObservationTable.Row<I,D> secondRow,
I symbol) |
Modifier and Type | Method and Description |
---|---|
ObservationTable.Row<I,D> |
SimpleObservationTable.findUnclosedRow() |
ObservationTable.Row<I,D> |
SimpleObservationTable.getRow(Word<I> prefix) |
ObservationTable.Row<I,D> |
SimpleObservationTable.getSuccessorRow(ObservationTable.Row<I,D> spRow,
I symbol) |
Modifier and Type | Method and Description |
---|---|
Collection<? extends ObservationTable.Row<I,D>> |
SimpleObservationTable.getAllRows() |
Collection<? extends ObservationTable.Row<I,D>> |
SimpleObservationTable.getLongPrefixRows() |
Collection<? extends ObservationTable.Row<I,D>> |
SimpleObservationTable.getShortPrefixRows() |
Modifier and Type | Method and Description |
---|---|
Word<I> |
SimpleObservationTable.findDistinguishingSuffix(ObservationTable.Row<I,D> firstRow,
ObservationTable.Row<I,D> secondRow) |
Word<I> |
SimpleObservationTable.findDistinguishingSuffix(ObservationTable.Row<I,D> firstRow,
ObservationTable.Row<I,D> secondRow) |
int |
SimpleObservationTable.findDistinguishingSuffixIndex(ObservationTable.Row<I,D> firstRow,
ObservationTable.Row<I,D> secondRow) |
int |
SimpleObservationTable.findDistinguishingSuffixIndex(ObservationTable.Row<I,D> firstRow,
ObservationTable.Row<I,D> secondRow) |
ObservationTable.Row<I,D> |
SimpleObservationTable.getSuccessorRow(ObservationTable.Row<I,D> spRow,
I symbol) |
Copyright © 2015. All rights reserved.