I
- input symbol typepublic class ObservationTable<I> extends Object
NL* algorithm
.Constructor and Description |
---|
ObservationTable(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
Modifier and Type | Method and Description |
---|---|
List<List<Row<I>>> |
addSuffix(Word<I> suffixToAdd) |
List<List<Row<I>>> |
addSuffixes(List<? extends Word<I>> suffixesToAdd) |
Inconsistency<I> |
findInconsistency() |
List<Row<I>> |
getCoveredRows(Row<I> coveringRow) |
int |
getNumUpperRows() |
Word<I> |
getSuffix(int suffixIdx) |
List<Row<I>> |
getUpperPrimes() |
Row<I> |
getUpperRow(int index) |
List<Row<I>> |
getUpperRows() |
List<List<Row<I>>> |
initialize() |
List<List<Row<I>>> |
makeUpper(List<Row<I>> rows) |
public ObservationTable(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
public int getNumUpperRows()
public Inconsistency<I> findInconsistency()
Copyright © 2015. All rights reserved.