Package | Description |
---|---|
de.learnlib.algorithms.nlstar |
Modifier and Type | Method and Description |
---|---|
Row<I> |
Inconsistency.getRow1() |
Row<I> |
Inconsistency.getRow2() |
Row<I> |
ObservationTable.getUpperRow(int index) |
Modifier and Type | Method and Description |
---|---|
List<List<Row<I>>> |
ObservationTable.addSuffix(Word<I> suffixToAdd) |
List<List<Row<I>>> |
ObservationTable.addSuffixes(List<? extends Word<I>> suffixesToAdd) |
List<Row<I>> |
Row.getCoveredRows() |
List<Row<I>> |
ObservationTable.getCoveredRows(Row<I> coveringRow) |
List<Row<I>> |
ObservationTable.getUpperPrimes() |
List<Row<I>> |
ObservationTable.getUpperRows() |
List<List<Row<I>>> |
ObservationTable.initialize() |
List<List<Row<I>>> |
ObservationTable.makeUpper(List<Row<I>> rows) |
Modifier and Type | Method and Description |
---|---|
List<Row<I>> |
ObservationTable.getCoveredRows(Row<I> coveringRow) |
Modifier and Type | Method and Description |
---|---|
List<List<Row<I>>> |
ObservationTable.makeUpper(List<Row<I>> rows) |
Constructor and Description |
---|
Inconsistency(Row<I> row1,
Row<I> row2,
int symbolIdx,
int suffixIdx)
Constructor.
|
Inconsistency(Row<I> row1,
Row<I> row2,
int symbolIdx,
int suffixIdx)
Constructor.
|
Copyright © 2015. All rights reserved.