de.learnlib.oracles

Class SimulatorOracle<I,D>

java.lang.Object

de.learnlib.oracles.SimulatorOracle<I,D>

Type Parameters:

I - input symbol type

D - (suffix) output domain type

All Implemented Interfaces:

MembershipOracle<I,D>, QueryAnswerer<I,D>, ParallelSingleQueryOracle<I,D>

Direct Known Subclasses:

SimulatorOracle.DFASimulatorOracle, SimulatorOracle.MealySimulatorOracle

public class SimulatorOracle<I,D>
extends Object
implements ParallelSingleQueryOracle<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).

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SimulatorOracle.DFASimulatorOracle<I>
static class	SimulatorOracle.MealySimulatorOracle<I,O>

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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.oracles.ParallelSingleQueryOracle

processQueries

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 QueryAnswerer<I,D>