StateLocalInputSULAdaptiveOracle (LearnLib 0.18.0 API)

java.lang.Object
- de.learnlib.oracle.membership.SULAdaptiveOracle<I,O>
- - de.learnlib.oracle.membership.StateLocalInputSULAdaptiveOracle<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

AdaptiveMembershipOracle<I,O>, BatchProcessor<AdaptiveQuery<I,O>>, SingleAdaptiveMembershipOracle<I,O>
```
public class StateLocalInputSULAdaptiveOracle<I,O>
extends SULAdaptiveOracle<I,O>
implements AdaptiveMembershipOracle<I,O>
```
A AdaptiveMembershipOracle wrapper for StateLocalInputSULs.
This oracle is not thread-safe.

See Also:

SULAdaptiveOracle

- Constructor Summary
  
  Constructors
  Constructor Description
  
  StateLocalInputSULAdaptiveOracle(StateLocalInputSUL<I,O> sul, O undefinedOutput)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  void processQuery(AdaptiveQuery<I,O> query)
  Processes a single query.
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  - Methods inherited from interface de.learnlib.oracle.AdaptiveMembershipOracle
    processBatch
  - Methods inherited from interface de.learnlib.oracle.SingleAdaptiveMembershipOracle
    processQueries

- Constructor Detail
  - StateLocalInputSULAdaptiveOracle
```
public StateLocalInputSULAdaptiveOracle(StateLocalInputSUL<I,O> sul,
                                        O undefinedOutput)
```
- Method Detail
  - processQuery
```
public void processQuery(AdaptiveQuery<I,O> query)
```
    Description copied from interface: AdaptiveMembershipOracle
    
    Processes a single query. When this method returns, the provided inputs of the AdaptiveQuery.getInput() method will have been evaluated on the system under learning and its responses will have been forwarded to the AdaptiveQuery.processOutput(Object) method until the method has returned AdaptiveQuery.Response.FINISHED.
    The default implementation of this method will simply wrap the provided AdaptiveQuery in a singleton Collection using Collections.singleton(Object). Implementations in subclasses should override this method to circumvent the Collection object creation, if possible.
    
    Specified by:
    
    processQuery in interface AdaptiveMembershipOracle<I,O>
    
    Specified by:
    
    processQuery in interface SingleAdaptiveMembershipOracle<I,O>
    
    Overrides:
    
    processQuery in class SULAdaptiveOracle<I,O>
    
    Parameters:
    
    query - the query to process