de.learnlib.algorithms.adt.util

Class SQOOTBridge<I,O>

java.lang.Object

de.learnlib.algorithms.adt.util.SQOOTBridge<I,O>

Type Parameters:

I - input alphabet type

O - output alphabet type

All Implemented Interfaces:

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

@ParametersAreNonnullByDefault
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.

Author:

frohme

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.MembershipOracle

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>

Constructor Summary

Constructors

Constructor and Description
SQOOTBridge(ObservationTree<?,I,O> observationTree, SymbolQueryOracle<I,O> delegate, boolean enableCache)

Method Summary

Modifier and Type	Method and Description
void	initialize()
O	query(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.api.oracle.SymbolQueryOracle

processQueries

Methods inherited from interface de.learnlib.api.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processQuery

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)

Specified by:

query in interface SymbolQueryOracle<I,O>

reset

public void reset()

Specified by:

reset in interface SymbolQueryOracle<I,O>