Package | Description |
---|---|
de.learnlib.filter.reuse | |
de.learnlib.filter.reuse.tree |
Modifier and Type | Method and Description |
---|---|
ReuseCapableOracle.QueryResult<S,O> |
ReuseCapableOracle.continueQuery(net.automatalib.words.Word<I> trace,
S s)
This method will be invoked whenever a system state s was found for reusage when a new membership query is
processed.
|
ReuseCapableOracle.QueryResult<S,O> |
ReuseCapableOracle.processQuery(net.automatalib.words.Word<I> trace)
An implementation needs to provide a fresh system state, process the whole query and return a
ReuseCapableOracle.QueryResult
with the resulting system state (newState ) and the SUL output to that query (output ). |
Modifier and Type | Method and Description |
---|---|
void |
ReuseTree.insert(net.automatalib.words.Word<I> query,
ReuseCapableOracle.QueryResult<S,O> queryResult)
Inserts the given
Word with ReuseCapableOracle.QueryResult into the tree starting from the root
node of the tree. |
void |
ReuseTree.insert(net.automatalib.words.Word<I> query,
ReuseNode<S,I,O> sink,
ReuseCapableOracle.QueryResult<S,O> queryResult)
Inserts the given
Word (suffix of a membership query) with ReuseCapableOracle.QueryResult (suffix
output) into the tree starting from the ReuseNode (contains prefix with prefix output) in the tree. |
Copyright © 2018. All rights reserved.