Package de.learnlib.oracle.membership
Class SULAdaptiveOracle<I,O>
- java.lang.Object
-
- de.learnlib.oracle.membership.SULAdaptiveOracle<I,O>
-
- Type Parameters:
I- input alphabet typeO- output alphabet type
- All Implemented Interfaces:
AdaptiveMembershipOracle<I,O>,BatchProcessor<AdaptiveQuery<I,O>>,SingleAdaptiveMembershipOracle<I,O>
- Direct Known Subclasses:
StateLocalInputSULAdaptiveOracle
public class SULAdaptiveOracle<I,O> extends Object implements SingleAdaptiveMembershipOracle<I,O>
A wrapper that allows to use aSULwhere aAdaptiveMembershipOracleis expected.This oracle is not thread-safe.
-
-
Constructor Summary
Constructors Constructor Description SULAdaptiveOracle(SUL<I,O> sul)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidprocessQuery(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
-
-
-
-
Method Detail
-
processQuery
public void processQuery(AdaptiveQuery<I,O> query)
- Specified by:
processQueryin interfaceAdaptiveMembershipOracle<I,O>- Specified by:
processQueryin interfaceSingleAdaptiveMembershipOracle<I,O>
-
-