de.learnlib.oracles

Class SimulatorOracle<I,O>

java.lang.Object

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

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

Type Parameters:

I - input symbol class

O - (suffix) output class

All Implemented Interfaces:

MembershipOracle<I,O>, QueryAnswerer<I,O>

Direct Known Subclasses:

SimulatorOracle.DFASimulatorOracle, SimulatorOracle.MealySimulatorOracle

public class SimulatorOracle<I,O>
extends AbstractSingleQueryOracle<I,O>

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 class de.learnlib.oracles.AbstractSingleQueryOracle

AbstractSingleQueryOracle.AbstractSingleQueryOracleDFA<I>, AbstractSingleQueryOracle.AbstractSingleQueryOracleMealy<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(net.automatalib.automata.concepts.SuffixOutput<I,O> automaton) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
O	answerQuery(net.automatalib.words.Word<I> prefix, net.automatalib.words.Word<I> suffix)

Methods inherited from class de.learnlib.oracles.AbstractSingleQueryOracle

processQueries

Methods inherited from class java.lang.Object

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

Constructor Detail

SimulatorOracle

public SimulatorOracle(net.automatalib.automata.concepts.SuffixOutput<I,O> automaton)

Constructor.

Parameters:

automaton - the suffix-observable automaton

Method Detail

answerQuery

public O answerQuery(net.automatalib.words.Word<I> prefix,
            net.automatalib.words.Word<I> suffix)