- java.lang.Object
-
- de.learnlib.algorithm.nlstar.ObservationTable<I>
-
- Type Parameters:
I- input symbol type
public class ObservationTable<I> extends Object
The observation table implementation for theNL* algorithm.
-
-
Constructor Summary
Constructors Constructor Description ObservationTable(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description List<List<Row<I>>>addSuffix(net.automatalib.word.Word<I> suffixToAdd)List<List<Row<I>>>addSuffixes(List<? extends net.automatalib.word.Word<I>> suffixesToAdd)@Nullable Inconsistency<I>findInconsistency()List<Row<I>>getCoveredRows(Row<I> coveringRow)intgetNumUpperRows()net.automatalib.word.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)
-
-
-
Constructor Detail
-
ObservationTable
public ObservationTable(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
-
-
Method Detail
-
addSuffixes
public List<List<Row<I>>> addSuffixes(List<? extends net.automatalib.word.Word<I>> suffixesToAdd)
-
getSuffix
public net.automatalib.word.Word<I> getSuffix(int suffixIdx)
-
getNumUpperRows
public int getNumUpperRows()
-
findInconsistency
public @Nullable Inconsistency<I> findInconsistency()
-
-