Package de.learnlib.algorithm.adt.util
Class SQOOTBridge<I,O>
- java.lang.Object
-
- de.learnlib.algorithm.adt.util.SQOOTBridge<I,O>
-
- Type Parameters:
I
- input alphabet typeO
- 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>
public class SQOOTBridge<I,O> extends Object implements SymbolQueryOracle<I,O>
A utility class that links an observation tree with a symbol query oracle, meaning that all queries to the symbol query oracle will be stored in the observation tree. Additionally, if a query can be answered by the observation tree (and caching is enabled) the delegated symbol query oracle will not be queried.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.MembershipOracle
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>
-
-
Constructor Summary
Constructors Constructor Description SQOOTBridge(ObservationTree<?,I,O> observationTree, SymbolQueryOracle<I,O> delegate, boolean enableCache)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
initialize()
O
query(I i)
Query the system under learning for a new symbol.void
reset()
Reset the system under learning.-
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
-
SQOOTBridge
public SQOOTBridge(ObservationTree<?,I,O> observationTree, SymbolQueryOracle<I,O> delegate, boolean enableCache)
-
-
Method Detail
-
initialize
public void initialize()
-
query
public O query(I i)
Description copied from interface:SymbolQueryOracle
Query the system under learning for a new symbol. This is a stateful operation.- Specified by:
query
in interfaceSymbolQueryOracle<I,O>
- Parameters:
i
- the symbol to query- Returns:
- the observed output
-
reset
public void reset()
Description copied from interface:SymbolQueryOracle
Reset the system under learning.- Specified by:
reset
in interfaceSymbolQueryOracle<I,O>
-
-