SULSymbolQueryOracle (LearnLib :: Oracles :: Membership Oracles 0.17.0 API)

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

Type Parameters:

I - input alphabet type

O - output alphabet type

All Implemented Interfaces:

MembershipOracle<I,Word<O>>, MembershipOracle.MealyMembershipOracle<I,O>, BatchProcessor<Query<I,Word<O>>>, QueryAnswerer<I,Word<O>>, SymbolQueryOracle<I,O>

Direct Known Subclasses:

StateLocalInputSULSymbolQueryOracle
```
public class SULSymbolQueryOracle<I,O>
extends Object
implements SymbolQueryOracle<I,O>
```
A wrapper that allows to use a SUL where a SymbolQueryOracle is expected.
Implementation note: The contract of SymbolQueryOracle does not make any assumptions about when its reset method is called. However, from a SUL perspective it is desirable to call its post method once querying is done. Therefore, multiple calls to this.reset() will close the underlying SUL only once, so that the SUL can be shutdown by this oracle from outside, after the learning process has finished.
This oracle is not thread-safe.

- Nested Class Summary
  - Nested classes/interfaces inherited from interface de.learnlib.oracle.MembershipOracle
    MembershipOracle.DFAMembershipOracle<I extends Object>, MembershipOracle.MealyMembershipOracle<I extends Object,O extends Object>, MembershipOracle.MooreMembershipOracle<I extends Object,O extends Object>
- Constructor Summary
  
  Constructors
  Constructor Description
  
  SULSymbolQueryOracle(SUL<I,O> sul)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  O query(I i)
  
  protected O queryInternal(I i)
  
  void reset()
  - 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.MembershipOracle
    answerQuery, answerQuery, asOracle, processBatch, processQuery
  - Methods inherited from interface de.learnlib.oracle.SymbolQueryOracle
    processQueries

- Constructor Detail
  - SULSymbolQueryOracle
```
public SULSymbolQueryOracle(SUL<I,O> sul)
```
- Method Detail
  - query
```
public O query(I i)
```
    Specified by:
    
    query in interface SymbolQueryOracle<I,O>
  - reset
```
public void reset()
```
    Specified by:
    
    reset in interface SymbolQueryOracle<I,O>
  - queryInternal
```
protected O queryInternal(I i)
```