Uses of Interface
de.learnlib.oracle.EquivalenceOracle.MealyEquivalenceOracle
-
Packages that use EquivalenceOracle.MealyEquivalenceOracle Package Description de.learnlib.filter.cache.mealy de.learnlib.oracle This package (including sub-packages) contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.de.learnlib.oracle.equivalence de.learnlib.oracle.equivalence.mealy de.learnlib.oracle.property de.learnlib.testsupport This package (including sub-packages) contains utility code for formalizing test-cases. -
-
Uses of EquivalenceOracle.MealyEquivalenceOracle in de.learnlib.filter.cache.mealy
Classes in de.learnlib.filter.cache.mealy that implement EquivalenceOracle.MealyEquivalenceOracle Modifier and Type Class Description class
MealyCacheConsistencyTest<I,O>
AnEquivalenceOracle
that tests a hypothesis for consistency with the contents of aMealyCacheOracle
.class
ThreadSafeMealyCacheConsistencyTest<I,O>
A thread-safe variant ofEquivalenceOracle.MealyEquivalenceOracle
.Methods in de.learnlib.filter.cache.mealy that return EquivalenceOracle.MealyEquivalenceOracle Modifier and Type Method Description EquivalenceOracle.MealyEquivalenceOracle<I,O>
MealyCacheOracle. createCacheConsistencyTest()
EquivalenceOracle.MealyEquivalenceOracle<I,O>
ThreadSafeMealyCacheOracle. createCacheConsistencyTest()
Constructors in de.learnlib.filter.cache.mealy with parameters of type EquivalenceOracle.MealyEquivalenceOracle Constructor Description ThreadSafeMealyCacheConsistencyTest(EquivalenceOracle.MealyEquivalenceOracle<I,O> delegate, ReadWriteLock lock)
-
Uses of EquivalenceOracle.MealyEquivalenceOracle in de.learnlib.oracle
Subinterfaces of EquivalenceOracle.MealyEquivalenceOracle in de.learnlib.oracle Modifier and Type Interface Description static interface
InclusionOracle.MealyInclusionOracle<I,O>
static interface
PropertyOracle.MealyPropertyOracle<I,O,P>
-
Uses of EquivalenceOracle.MealyEquivalenceOracle in de.learnlib.oracle.equivalence
Classes in de.learnlib.oracle.equivalence that implement EquivalenceOracle.MealyEquivalenceOracle Modifier and Type Class Description class
MealyBFInclusionOracle<I,O>
This is an auto-generated refinement.class
MealyCExFirstOracle<I,O>
This is an auto-generated refinement.class
MealyCompleteExplorationEQOracle<I,O>
This is an auto-generated refinement.class
MealyEQOracleChain<I,O>
This is an auto-generated refinement.class
MealyIncrementalWMethodEQOracle<I,O>
This is an auto-generated refinement.class
MealyRandomWMethodEQOracle<I,O>
This is an auto-generated refinement.class
MealyRandomWordsEQOracle<I,O>
This is an auto-generated refinement.class
MealyRandomWpMethodEQOracle<I,O>
This is an auto-generated refinement.class
MealySimulatorEQOracle<I,O>
This is an auto-generated refinement.class
MealyWMethodEQOracle<I,O>
This is an auto-generated refinement.class
MealyWpMethodEQOracle<I,O>
This is an auto-generated refinement.Constructors in de.learnlib.oracle.equivalence with parameters of type EquivalenceOracle.MealyEquivalenceOracle Constructor Description MealyEQOracleChain(EquivalenceOracle.MealyEquivalenceOracle<I,O>... oracles)
This is an auto-generated constructor.Constructor parameters in de.learnlib.oracle.equivalence with type arguments of type EquivalenceOracle.MealyEquivalenceOracle Constructor Description MealyEQOracleChain(List<? extends EquivalenceOracle.MealyEquivalenceOracle<I,O>> oracles)
This is an auto-generated constructor. -
Uses of EquivalenceOracle.MealyEquivalenceOracle in de.learnlib.oracle.equivalence.mealy
Classes in de.learnlib.oracle.equivalence.mealy that implement EquivalenceOracle.MealyEquivalenceOracle Modifier and Type Class Description class
RandomWalkEQOracle<I,O>
Performs a random walk over the hypothesis.class
StateLocalInputMealySimulatorEQOracle<I,O>
-
Uses of EquivalenceOracle.MealyEquivalenceOracle in de.learnlib.oracle.property
Classes in de.learnlib.oracle.property that implement EquivalenceOracle.MealyEquivalenceOracle Modifier and Type Class Description static class
LoggingPropertyOracle.MealyLoggingPropertyOracle<I,O,P>
class
MealyFinitePropertyOracle<I,O,P>
A property oracle for Mealy Machines where it is fine to only check finite words from the model checker.class
MealyLassoPropertyOracle<I,O,P>
A property oracle for Mealy machines that can check lassos from the model checker.class
MealyPropertyOracleChain<I,O,P>
This is an auto-generated refinement. -
Uses of EquivalenceOracle.MealyEquivalenceOracle in de.learnlib.testsupport
Methods in de.learnlib.testsupport that return EquivalenceOracle.MealyEquivalenceOracle Modifier and Type Method Description protected EquivalenceOracle.MealyEquivalenceOracle<Character,Character>
AbstractResumableLearnerMealyTest. getEquivalenceOracle(MealyMachine<?,Character,?,Character> target)
-