Package de.learnlib.algorithm.nlstar
Class ObservationTable<I>
- 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(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(Word<I> suffixToAdd)List<List<Row<I>>>addSuffixes(List<? extends Word<I>> suffixesToAdd)@Nullable Inconsistency<I>findInconsistency()List<Row<I>>getCoveredRows(Row<I> coveringRow)intgetNumUpperRows()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(Alphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)
-
-
Method Detail
-
getNumUpperRows
public int getNumUpperRows()
-
findInconsistency
public @Nullable Inconsistency<I> findInconsistency()
-
-