Package de.learnlib.oracle
Interface EquivalenceOracle.MooreEquivalenceOracle<I,O>
-
- Type Parameters:
I
- input symbol classO
- output symbol class
- All Superinterfaces:
EquivalenceOracle<MooreMachine<?,I,?,O>,I,Word<O>>
- All Known Implementing Classes:
MooreCacheConsistencyTest
,MooreCompleteExplorationEQOracle
,MooreEQOracleChain
,MooreIncrementalWMethodEQOracle
,MooreRandomWMethodEQOracle
,MooreRandomWordsEQOracle
,MooreRandomWpMethodEQOracle
,MooreSimulatorEQOracle
,MooreWMethodEQOracle
,MooreWpMethodEQOracle
,ThreadSafeMooreCacheConsistencyTest
- Enclosing interface:
- EquivalenceOracle<A,I,D>
public static interface EquivalenceOracle.MooreEquivalenceOracle<I,O> extends EquivalenceOracle<MooreMachine<?,I,?,O>,I,Word<O>>
A specialization of theEquivalenceOracle
interface for a Moore learning scenario.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.EquivalenceOracle
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>, EquivalenceOracle.MooreEquivalenceOracle<I,O>
-
-
Method Summary
-
Methods inherited from interface de.learnlib.oracle.EquivalenceOracle
findCounterExample
-
-