I
- input alphabet typeO
- output alphabet typepublic class SymbolQueryCache<I,O> extends Object implements SymbolQueryOracle<I,O>
SymbolQueryOracle
. Upon construction, it is provided with a delegate oracle. Queries that can
be answered from the cache are answered directly, others are forwarded to the delegate oracle. Queried symbols that
have to be delegated are incorporated into the cache directly.
Internally, an incrementally growing tree (in form of a mealy automaton) is used for caching.
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Constructor and Description |
---|
SymbolQueryCache(SymbolQueryOracle<I,O> delegate,
net.automatalib.words.Alphabet<I> alphabet) |
Modifier and Type | Method and Description |
---|---|
O |
query(I i)
Query the system under learning for a new symbol.
|
void |
reset()
Reset the system under learning.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
processQueries
answerQuery, answerQuery, asOracle, processQuery
public SymbolQueryCache(SymbolQueryOracle<I,O> delegate, net.automatalib.words.Alphabet<I> alphabet)
public O query(I i)
SymbolQueryOracle
query
in interface SymbolQueryOracle<I,O>
i
- the symbol to querypublic void reset()
SymbolQueryOracle
reset
in interface SymbolQueryOracle<I,O>
Copyright © 2018. All rights reserved.