Uses of Interface
de.learnlib.oracle.EquivalenceOracle.MooreEquivalenceOracle
-
Packages that use EquivalenceOracle.MooreEquivalenceOracle Package Description de.learnlib.filter.cache.moore de.learnlib.oracle.equivalence de.learnlib.testsupport This package (including sub-packages) contains utility code for formalizing test-cases. -
-
Uses of EquivalenceOracle.MooreEquivalenceOracle in de.learnlib.filter.cache.moore
Classes in de.learnlib.filter.cache.moore that implement EquivalenceOracle.MooreEquivalenceOracle Modifier and Type Class Description class
MooreCacheConsistencyTest<I,O>
AnEquivalenceOracle
that tests a hypothesis for consistency with the contents of aMooreCacheOracle
.class
ThreadSafeMooreCacheConsistencyTest<I,O>
A thread-safe variant ofEquivalenceOracle.MooreEquivalenceOracle
.Methods in de.learnlib.filter.cache.moore that return EquivalenceOracle.MooreEquivalenceOracle Modifier and Type Method Description EquivalenceOracle.MooreEquivalenceOracle<I,O>
MooreCacheOracle. createCacheConsistencyTest()
EquivalenceOracle.MooreEquivalenceOracle<I,O>
ThreadSafeMooreCacheOracle. createCacheConsistencyTest()
Constructors in de.learnlib.filter.cache.moore with parameters of type EquivalenceOracle.MooreEquivalenceOracle Constructor Description ThreadSafeMooreCacheConsistencyTest(EquivalenceOracle.MooreEquivalenceOracle<I,O> delegate, ReadWriteLock lock)
-
Uses of EquivalenceOracle.MooreEquivalenceOracle in de.learnlib.oracle.equivalence
Classes in de.learnlib.oracle.equivalence that implement EquivalenceOracle.MooreEquivalenceOracle Modifier and Type Class Description class
MooreCompleteExplorationEQOracle<I,O>
This is an auto-generated refinement.class
MooreEQOracleChain<I,O>
This is an auto-generated refinement.class
MooreIncrementalWMethodEQOracle<I,O>
This is an auto-generated refinement.class
MooreRandomWMethodEQOracle<I,O>
This is an auto-generated refinement.class
MooreRandomWordsEQOracle<I,O>
This is an auto-generated refinement.class
MooreRandomWpMethodEQOracle<I,O>
This is an auto-generated refinement.class
MooreSimulatorEQOracle<I,O>
This is an auto-generated refinement.class
MooreWMethodEQOracle<I,O>
This is an auto-generated refinement.class
MooreWpMethodEQOracle<I,O>
This is an auto-generated refinement.Constructors in de.learnlib.oracle.equivalence with parameters of type EquivalenceOracle.MooreEquivalenceOracle Constructor Description MooreEQOracleChain(EquivalenceOracle.MooreEquivalenceOracle<I,O>... oracles)
This is an auto-generated constructor.Constructor parameters in de.learnlib.oracle.equivalence with type arguments of type EquivalenceOracle.MooreEquivalenceOracle Constructor Description MooreEQOracleChain(List<? extends EquivalenceOracle.MooreEquivalenceOracle<I,O>> oracles)
This is an auto-generated constructor. -
Uses of EquivalenceOracle.MooreEquivalenceOracle in de.learnlib.testsupport
Methods in de.learnlib.testsupport that return EquivalenceOracle.MooreEquivalenceOracle Modifier and Type Method Description protected EquivalenceOracle.MooreEquivalenceOracle<Character,Character>
AbstractResumableLearnerMooreTest. getEquivalenceOracle(MooreMachine<?,Character,?,Character> target)
-