Class SymbolQueryCache<I,​O>

    • Method Detail

      • query

        public O query​(I i)
        Description copied from interface: SymbolQueryOracle
        Query the system under learning for a new symbol. This is a stateful operation.
        Specified by:
        query in interface SymbolQueryOracle<I,​O>
        i - the symbol to query
        the observed output
      • createCacheConsistencyTest

        public EquivalenceOracle<MealyMachine<?,​I,​?,​O>,​I,​Word<O>> createCacheConsistencyTest()
        Description copied from interface: LearningCache
        Creates a cache consistency test. A cache consistency test is an equivalence oracle which checks a given hypothesis against the current contents of the cache. Hence, no queries are posed to the underlying system.

        The created cache consistency test is backed by the cache contents. This method does not need to be invoked repeatedly when the cache contents change.

        Specified by:
        createCacheConsistencyTest in interface LearningCache<MealyMachine<?,​I,​?,​O>,​I,​Word<O>>
        a cache consistency test for the contents of this cache