Uses of Interface
de.learnlib.oracle.EquivalenceOracle.DFAEquivalenceOracle
-
Packages that use EquivalenceOracle.DFAEquivalenceOracle Package Description de.learnlib.filter.cache.dfa 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.property de.learnlib.testsupport This package (including sub-packages) contains utility code for formalizing test-cases. -
-
Uses of EquivalenceOracle.DFAEquivalenceOracle in de.learnlib.filter.cache.dfa
Methods in de.learnlib.filter.cache.dfa that return EquivalenceOracle.DFAEquivalenceOracle Modifier and Type Method Description EquivalenceOracle.DFAEquivalenceOracle<I>
DFACacheOracle. createCacheConsistencyTest()
EquivalenceOracle.DFAEquivalenceOracle<I>
ThreadSafeDFACacheOracle. createCacheConsistencyTest()
-
Uses of EquivalenceOracle.DFAEquivalenceOracle in de.learnlib.oracle
Subinterfaces of EquivalenceOracle.DFAEquivalenceOracle in de.learnlib.oracle Modifier and Type Interface Description static interface
InclusionOracle.DFAInclusionOracle<I>
static interface
PropertyOracle.DFAPropertyOracle<I,P>
-
Uses of EquivalenceOracle.DFAEquivalenceOracle in de.learnlib.oracle.equivalence
Classes in de.learnlib.oracle.equivalence that implement EquivalenceOracle.DFAEquivalenceOracle Modifier and Type Class Description class
DFABFInclusionOracle<I>
This is an auto-generated refinement.class
DFACExFirstOracle<I>
This is an auto-generated refinement.class
DFACompleteExplorationEQOracle<I>
This is an auto-generated refinement.class
DFAEQOracleChain<I>
This is an auto-generated refinement.class
DFAIncrementalWMethodEQOracle<I>
This is an auto-generated refinement.class
DFARandomWMethodEQOracle<I>
This is an auto-generated refinement.class
DFARandomWordsEQOracle<I>
This is an auto-generated refinement.class
DFARandomWpMethodEQOracle<I>
This is an auto-generated refinement.class
DFASimulatorEQOracle<I>
This is an auto-generated refinement.class
DFAWMethodEQOracle<I>
This is an auto-generated refinement.class
DFAWpMethodEQOracle<I>
This is an auto-generated refinement.Constructors in de.learnlib.oracle.equivalence with parameters of type EquivalenceOracle.DFAEquivalenceOracle Constructor Description DFAEQOracleChain(EquivalenceOracle.DFAEquivalenceOracle<I>... oracles)
This is an auto-generated constructor.Constructor parameters in de.learnlib.oracle.equivalence with type arguments of type EquivalenceOracle.DFAEquivalenceOracle Constructor Description DFAEQOracleChain(List<? extends EquivalenceOracle.DFAEquivalenceOracle<I>> oracles)
This is an auto-generated constructor. -
Uses of EquivalenceOracle.DFAEquivalenceOracle in de.learnlib.oracle.property
Classes in de.learnlib.oracle.property that implement EquivalenceOracle.DFAEquivalenceOracle Modifier and Type Class Description class
DFAFinitePropertyOracle<I,P>
A property oracle for DFAs where it is fine to only check finite words from the model checker.class
DFALassoPropertyOracle<I,P>
A property oracle for DFAs that can check lassos from the model checker.class
DFAPropertyOracleChain<I,P>
This is an auto-generated refinement.static class
LoggingPropertyOracle.DFALoggingPropertyOracle<I,P>
-
Uses of EquivalenceOracle.DFAEquivalenceOracle in de.learnlib.testsupport
Methods in de.learnlib.testsupport that return EquivalenceOracle.DFAEquivalenceOracle Modifier and Type Method Description protected EquivalenceOracle.DFAEquivalenceOracle<Character>
AbstractResumableLearnerDFATest. getEquivalenceOracle(DFA<?,Character> target)
-