Class ObservationTable<I>

  • Type Parameters:
    I - input symbol type

    public class ObservationTable<I>
    extends Object
    The observation table implementation for the NL* algorithm.
    • Constructor Detail

      • ObservationTable

        public ObservationTable​(net.automatalib.alphabet.Alphabet<I> alphabet,
                                MembershipOracle<I,​Boolean> oracle)
    • Method Detail

      • addSuffix

        public List<List<Row<I>>> addSuffix​(net.automatalib.word.Word<I> suffixToAdd)
      • 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)
      • getCoveredRows

        public List<Row<I>> getCoveredRows​(Row<I> coveringRow)
      • getUpperRow

        public Row<I> getUpperRow​(int index)
      • getUpperRows

        public List<Row<I>> getUpperRows()
      • getUpperPrimes

        public List<Row<I>> getUpperPrimes()
      • getNumUpperRows

        public int getNumUpperRows()
      • findInconsistency

        public @Nullable Inconsistency<I> findInconsistency()