Package | Description |
---|---|
de.learnlib.filters.reuse | |
de.learnlib.filters.reuse.tree |
Modifier and Type | Method and Description |
---|---|
ReuseCapableOracle.QueryResult<S,O> |
ReuseCapableOracle.continueQuery(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(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(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(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 © 2015. All rights reserved.