Package de.learnlib.oracle.membership
Class SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>
- java.lang.Object
-
- de.learnlib.oracle.membership.SimulatorOmegaOracle<S,I,Word<O>>
-
- de.learnlib.oracle.membership.SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>
-
- All Implemented Interfaces:
OmegaMembershipOracle<S,I,Word<O>>
,OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>
,OmegaQueryAnswerer<S,I,Word<O>>
,BatchProcessor<OmegaQuery<I,Word<O>>>
,SingleQueryOmegaOracle<S,I,Word<O>>
,SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>
- Enclosing class:
- SimulatorOmegaOracle<S,I,D>
public static class SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O> extends SimulatorOmegaOracle<S,I,Word<O>> implements SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class de.learnlib.oracle.membership.SimulatorOmegaOracle
SimulatorOmegaOracle.DFASimulatorOmegaOracle<S,I>, SimulatorOmegaOracle.MealySimulatorOmegaOracle<S,I,O>
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.OmegaMembershipOracle
OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.SingleQueryOmegaOracle
SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>, SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>
-
-
Constructor Summary
Constructors Constructor Description MealySimulatorOmegaOracle(MealyMachine<S,I,?,O> automaton)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description MembershipOracle.MealyMembershipOracle<I,O>
getMembershipOracle()
Gets theSimulatorOracle
used to answerQuery
s.-
Methods inherited from class de.learnlib.oracle.membership.SimulatorOmegaOracle
answerQuery, isSameState, processQueries
-
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.OmegaMembershipOracle
answerQuery, asOracle, isSameState, processBatch
-
Methods inherited from interface de.learnlib.oracle.SingleQueryOmegaOracle
processQueries, processQuery
-
-
-
-
Constructor Detail
-
MealySimulatorOmegaOracle
public MealySimulatorOmegaOracle(MealyMachine<S,I,?,O> automaton)
-
-
Method Detail
-
getMembershipOracle
public MembershipOracle.MealyMembershipOracle<I,O> getMembershipOracle()
Description copied from class:SimulatorOmegaOracle
Gets theSimulatorOracle
used to answerQuery
s.- Specified by:
getMembershipOracle
in interfaceOmegaMembershipOracle<S,I,O>
- Specified by:
getMembershipOracle
in interfaceOmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>
- Overrides:
getMembershipOracle
in classSimulatorOmegaOracle<S,I,Word<O>>
- Returns:
- the SimulatorOracle.
-
-