Package de.learnlib.query
Interface AdaptiveQuery<I,O>
-
- Type Parameters:
I- input symbol typeO- output symbol type
public interface AdaptiveQuery<I,O>An adaptive query is a variation of the (regular)Querythat allows one to dynamically select the symbols to query based on responses to previous symbols.After
fetchingthe current input symbol that should be evaluated on the system under learning, its respective output must beprocessedby the query object in order to determine the next action to make. This essentially establishes a symbol-wise dialogue between the query object and the system under learning and makes adaptive queries inherently stateful.For the semantics of this conversation, see the different
AdaptiveQuery.Responsevalues and their respective documentation.
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static classAdaptiveQuery.ResponseThe different types of responses when processing outputs from the system under learning.
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description IgetInput()Returns the current input symbol that should be evaluated on the system under learning.AdaptiveQuery.ResponseprocessOutput(O out)Processes the output of the system under learning to the latest returned input symbol.
-
-
-
Method Detail
-
getInput
I getInput()
Returns the current input symbol that should be evaluated on the system under learning.- Returns:
- the current input symbol
-
processOutput
AdaptiveQuery.Response processOutput(O out)
Processes the output of the system under learning to the latest returned input symbol.- Parameters:
out- the output of the system under learning- Returns:
- the next action to make
-
-