Package de.learnlib.oracle.membership

Class SimulatorOracle<I,D>

java.lang.Object

de.learnlib.oracle.membership.SimulatorOracle<I,D>

Type Parameters:

I - input symbol type

D - (suffix) output domain type

All Implemented Interfaces:

MembershipOracle<I,D>, BatchProcessor<Query<I,D>>, QueryAnswerer<I,D>, SingleQueryOracle<I,D>

Direct Known Subclasses:

DFASimulatorOracle, MealySimulatorOracle, MooreSimulatorOracle, NFASimulatorOracle, SBASimulatorOracle, SEVPASimulatorOracle, SPASimulatorOracle, SPMMSimulatorOracle

public class SimulatorOracle<I,D>
extends Object
implements SingleQueryOracle<I,D>

A membership oracle backed by an automaton. The automaton must implement the SuffixOutput concept, allowing to identify a suffix part in the output (relative to a prefix/suffix subdivision in the input).

Implementation note: Under the assumption that read-operations do not alter the internal state of the automaton, this oracle is thread-safe.

Nested Class Summary

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

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

Nested classes/interfaces inherited from interface de.learnlib.oracle.SingleQueryOracle

SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>, SingleQueryOracle.SingleQueryOracleMoore<I,O>

Constructor Summary

Constructors

Constructor	Description
SimulatorOracle(SuffixOutput<I,D> automaton)	Constructor.

Method Summary

Modifier and Type	Method	Description
D	answerQuery(Word<I> prefix, Word<I> suffix)

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, asOracle, processBatch

Methods inherited from interface de.learnlib.oracle.SingleQueryOracle

processQueries, processQuery

Constructor Detail

SimulatorOracle

public SimulatorOracle(SuffixOutput<I,D> automaton)

Constructor.

Parameters:

automaton - the suffix-observable automaton

Method Detail

answerQuery

public D answerQuery(Word<I> prefix,
                     Word<I> suffix)

Specified by:

answerQuery in interface MembershipOracle<I,D>

Specified by:

answerQuery in interface QueryAnswerer<I,D>

Specified by:

answerQuery in interface SingleQueryOracle<I,D>