Package de.learnlib.oracle.membership
Class MealySimulatorOracle<I,O>
- java.lang.Object
-
- de.learnlib.oracle.membership.SimulatorOracle<I,Word<O>>
-
- de.learnlib.oracle.membership.MealySimulatorOracle<I,O>
-
- All Implemented Interfaces:
MembershipOracle<I,Word<O>>
,MembershipOracle.MealyMembershipOracle<I,O>
,BatchProcessor<Query<I,Word<O>>>
,QueryAnswerer<I,Word<O>>
,SingleQueryOracle<I,Word<O>>
,SingleQueryOracle.SingleQueryOracleMealy<I,O>
public class MealySimulatorOracle<I,O> extends SimulatorOracle<I,Word<O>> implements SingleQueryOracle.SingleQueryOracleMealy<I,O>
This is an auto-generated refinement. See theoriginal class
.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.MembershipOracle
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.SingleQueryOracle
SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>, SingleQueryOracle.SingleQueryOracleMoore<I,O>
-
-
Constructor Summary
Constructors Constructor Description MealySimulatorOracle(MealyMachine<?,I,?,O> automaton)
This is an auto-generated constructor.
-
Method Summary
-
Methods inherited from class de.learnlib.oracle.membership.SimulatorOracle
answerQuery
-
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.MembershipOracle
answerQuery, asOracle, processBatch
-
Methods inherited from interface de.learnlib.oracle.SingleQueryOracle
answerQuery, processQueries, processQuery
-
-
-
-
Constructor Detail
-
MealySimulatorOracle
public MealySimulatorOracle(MealyMachine<?,I,?,O> automaton)
This is an auto-generated constructor. See theoriginal constructor
.
-
-