Uses of Class
de.learnlib.filter.reuse.ReuseCapableOracle.QueryResult

Packages that use ReuseCapableOracle.QueryResult

Package	Description
de.learnlib.filter.reuse
de.learnlib.filter.reuse.tree

Uses of ReuseCapableOracle.QueryResult in de.learnlib.filter.reuse

Methods in de.learnlib.filter.reuse that return ReuseCapableOracle.QueryResult

Modifier and Type	Method	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 reuse 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).

Uses of ReuseCapableOracle.QueryResult in de.learnlib.filter.reuse.tree

Methods in de.learnlib.filter.reuse.tree with parameters of type ReuseCapableOracle.QueryResult

Modifier and Type	Method	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.