I
- input symbol typepublic class ObservationTable<I> extends Object
NL* algorithm
.Constructor and Description |
---|
ObservationTable(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle) |
Modifier and Type | Method and Description |
---|---|
List<List<Row<I>>> |
addSuffix(net.automatalib.words.Word<I> suffixToAdd) |
List<List<Row<I>>> |
addSuffixes(List<? extends net.automatalib.words.Word<I>> suffixesToAdd) |
Inconsistency<I> |
findInconsistency() |
List<Row<I>> |
getCoveredRows(Row<I> coveringRow) |
int |
getNumUpperRows() |
net.automatalib.words.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(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
public List<List<Row<I>>> addSuffixes(List<? extends net.automatalib.words.Word<I>> suffixesToAdd)
public net.automatalib.words.Word<I> getSuffix(int suffixIdx)
public int getNumUpperRows()
public Inconsistency<I> findInconsistency()
Copyright © 2018. All rights reserved.