de.learnlib.oracles

Class SafeOracle<I,O>

java.lang.Object

de.learnlib.oracles.SafeOracle<I,O>

All Implemented Interfaces:

MembershipOracle<I,O>

public class SafeOracle<I,O>
extends Object
implements MembershipOracle<I,O>

Author:

Maik Merten

Nested Class Summary

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

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

Constructor Summary

Constructors

Constructor and Description
SafeOracle(MembershipOracle<I,O> nextOracle)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	checkQuery(Query<I,O> query)
void	processQueries(Collection<? extends Query<I,O>> queries) Processes the specified collection of queries.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SafeOracle

public SafeOracle(MembershipOracle<I,O> nextOracle)

Method Detail

processQueries

public void processQueries(Collection<? extends Query<I,O>> queries)

Description copied from interface: MembershipOracle

Processes the specified collection of queries. When this method returns, the output field of each of the contained queries should reflect the SUL response to the respective query.

Specified by:

processQueries in interface MembershipOracle<I,O>

Parameters:

queries - the queries to process

See Also:

DefaultQuery.getOutput()

checkQuery

protected void checkQuery(Query<I,O> query)