StateLocalInputSULAdaptiveOracle (LearnLib :: Oracles :: Membership Oracles 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)
  - 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)
```
    Specified by:
    
    processQuery in interface AdaptiveMembershipOracle<I,O>
    
    Specified by:
    
    processQuery in interface SingleAdaptiveMembershipOracle<I,O>
    
    Overrides:
    
    processQuery in class SULAdaptiveOracle<I,O>