- 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)
int
getNumUpperRows()
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()
-
-