de.learnlib.oracles

Class SimulatorOracle<I,D>

java.lang.Object

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

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>

Direct Known Subclasses:

SimulatorOracle.DFASimulatorOracle, SimulatorOracle.MealySimulatorOracle

public class SimulatorOracle<I,D>
extends AbstractSingleQueryOracle<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 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,D> automaton) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
D	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,D> automaton)

Constructor.

Parameters:

automaton - the suffix-observable automaton

Method Detail

answerQuery

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