Package | Description |
---|---|
de.learnlib.filter.cache.dfa | |
de.learnlib.oracle.equivalence |
Modifier and Type | Class and Description |
---|---|
class |
DFACacheConsistencyTest<I>
An
EquivalenceOracle that tests an hypothesis for consistency with the contents of a DFACacheOracle . |
Modifier and Type | Class and Description |
---|---|
static class |
CompleteExplorationEQOracle.DFACompleteExplorationEQOracle<I> |
static class |
EQOracleChain.DFAEQOracleChain<I> |
static class |
IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I> |
static class |
RandomWMethodEQOracle.DFARandomWMethodEQOracle<I> |
static class |
RandomWordsEQOracle.DFARandomWordsEQOracle<I> |
static class |
RandomWpMethodEQOracle.DFARandomWpMethodEQOracle<I> |
static class |
SimulatorEQOracle.DFASimulatorEQOracle<I> |
static class |
WMethodEQOracle.DFAWMethodEQOracle<I> |
static class |
WpMethodEQOracle.DFAWpMethodEQOracle<I> |
Copyright © 2018. All rights reserved.