Uses of Class
de.learnlib.query.AdaptiveQuery.Response
-
Packages that use AdaptiveQuery.Response Package Description de.learnlib.query -
-
Uses of AdaptiveQuery.Response in de.learnlib.query
Methods in de.learnlib.query that return AdaptiveQuery.Response Modifier and Type Method Description AdaptiveQuery.ResponseAdaptiveQuery. processOutput(O out)Processes the output of the system under learning to the latest returned input symbol.static AdaptiveQuery.ResponseAdaptiveQuery.Response. valueOf(String name)Returns the enum constant of this type with the specified name.static AdaptiveQuery.Response[]AdaptiveQuery.Response. values()Returns an array containing the constants of this enum type, in the order they are declared.
-