SymbolQueryOracle (LearnLib 0.17.0 API)

Type Parameters:

I - input alphabet type

O - output alphabet type

All Superinterfaces:

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

All Known Implementing Classes:

CounterSymbolQueryOracle, SQOOTBridge, StateLocalInputSULSymbolQueryOracle, SULSymbolQueryOracle, SymbolQueryCache
```
public interface SymbolQueryOracle<I,O>
extends MembershipOracle.MealyMembershipOracle<I,O>
```
Symbol query interface. Semantically similar to MembershipOracle.MealyMembershipOracle, but allows to pose queries symbol-wise.

Nested Class Summary
- Nested classes/interfaces inherited from interface de.learnlib.oracle.MembershipOracle
  MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`default void`	`processQueries(Collection<? extends Query<I,Word<O>>> queries)`	Processes the specified collection of queries.
`O`	`query(I i)`	Query the system under learning for a new symbol.
`void`	`reset()`	Reset the system under learning.

Methods inherited from interface de.learnlib.oracle.MembershipOracle
answerQuery, answerQuery, asOracle, processBatch, processQuery

- Method Detail
  - query
```
O query(I i)
```
    Query the system under learning for a new symbol. This is a stateful operation.
    
    Parameters:
    
    i - the symbol to query
    
    Returns:
    
    the observed output
  - reset
```
void reset()
```
    Reset the system under learning.
  - processQueries
```
default void processQueries(Collection<? extends Query<I,Word<O>>> queries)
```
    Description copied from interface: MembershipOracle
    
    Processes the specified collection of queries. When this method returns, each of the contained queries Query.answer(Object) method should have been called with an argument reflecting the SUL response to the respective query.
    
    Specified by:
    
    processQueries in interface MembershipOracle<I,O>
    
    Parameters:
    
    queries - the queries to process
    
    See Also:
    
    Query.answer(Object)