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 aReuseCapableOracle.QueryResultwith 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 voidReuseTree. insert(Word<I> query, ReuseCapableOracle.QueryResult<S,O> queryResult)Inserts the givenWordwithReuseCapableOracle.QueryResultinto the tree starting from the root node of the tree.voidReuseTree. insert(Word<I> query, ReuseNode<S,I,O> sink, ReuseCapableOracle.QueryResult<S,O> queryResult)Inserts the givenWord(suffix of a membership query) withReuseCapableOracle.QueryResult(suffix output) into the tree starting from theReuseNode(contains prefix with prefix output) in the tree.
-