de.learnlib.oracle.membership

Class SimulatorOmegaOracle<S,I,D>

java.lang.Object

de.learnlib.oracle.membership.SimulatorOmegaOracle<S,I,D>

Type Parameters:

S - the state type.

I - the input type.

D - the output type.

All Implemented Interfaces:

OmegaMembershipOracle<S,I,D>, OmegaQueryAnswerer<S,I,D>, SingleQueryOmegaOracle<S,I,D>

Direct Known Subclasses:

SimulatorOmegaOracle.DFASimulatorOmegaOracle, SimulatorOmegaOracle.MealySimulatorOmegaOracle

public class SimulatorOmegaOracle<S,I,D>
extends Object
implements SingleQueryOmegaOracle<S,I,D>

Answers OmegaQuerys by simulating an automaton.

Author:

Jeroen Meijer

See Also:

SimulatorOracle

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SimulatorOmegaOracle.DFASimulatorOmegaOracle<S,I>
static class	SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.SingleQueryOmegaOracle

SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>, SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.OmegaMembershipOracle

OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>

Constructor Summary

Constructors

Constructor and Description
SimulatorOmegaOracle(A automaton, SimulatorOracle<I,D> simulatorOracle) Constructs a new SimulatorOmegaOracle.

Method Summary

Modifier and Type	Method and Description
Pair<D,Integer>	answerQuery(Word<I> prefix, Word<I> loop, int repeat) Returns an answer for an OmegaQuery.
MembershipOracle<I,D>	getMembershipOracle() Gets the SimulatorOracle used to answer Querys.
boolean	isSameState(Word<I> input1, S s1, Word<I> input2, S s2) Test for state equivalence by simply invoking Object.equals(Object).
void	processQueries(Collection<? extends OmegaQuery<I,D>> queries)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.api.oracle.SingleQueryOmegaOracle

processQuery

Methods inherited from interface de.learnlib.api.oracle.OmegaMembershipOracle

asOracle

Constructor Detail

SimulatorOmegaOracle

public SimulatorOmegaOracle(A automaton,
                            SimulatorOracle<I,D> simulatorOracle)

Constructs a new SimulatorOmegaOracle.

Type Parameters:

A - the automaton type.

Parameters:

automaton - the automaton to simulate.

simulatorOracle - the SimulatorOracle used to answer Querys.

Method Detail

getMembershipOracle

public MembershipOracle<I,D> getMembershipOracle()

Gets the SimulatorOracle used to answer Querys.

Specified by:

getMembershipOracle in interface OmegaMembershipOracle<S,I,D>

Returns:

the SimulatorOracle.

isSameState

public boolean isSameState(Word<I> input1,
                           S s1,
                           Word<I> input2,
                           S s2)

Test for state equivalence by simply invoking Object.equals(Object).

Specified by:

isSameState in interface OmegaMembershipOracle<S,I,D>

See Also:

OmegaMembershipOracle.isSameState(Word, Object, Word, Object)

processQueries

public void processQueries(Collection<? extends OmegaQuery<I,D>> queries)

Specified by:

processQueries in interface OmegaMembershipOracle<S,I,D>

Specified by:

processQueries in interface SingleQueryOmegaOracle<S,I,D>

answerQuery

public Pair<D,Integer> answerQuery(Word<I> prefix,
                                   Word<I> loop,
                                   int repeat)

Returns an answer for an OmegaQuery. The output is obtained through the SimulatorOracle, while the states are obtained by means of creating two access sequences to states in the simulated automaton.

Specified by:

answerQuery in interface OmegaMembershipOracle<S,I,D>

Specified by:

answerQuery in interface OmegaQueryAnswerer<S,I,D>

See Also:

OmegaQueryAnswerer.answerQuery(Word, Word, int)