Package | Description |
---|---|
de.learnlib.filter.cache.mealy | |
de.learnlib.oracle.equivalence | |
de.learnlib.oracle.equivalence.mealy |
Modifier and Type | Class and Description |
---|---|
class |
MealyCacheConsistencyTest<I,O>
An
EquivalenceOracle that tests an hypothesis for consistency with the contents of a MealyCacheOracle . |
Modifier and Type | Class and Description |
---|---|
static class |
CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle<I,O> |
static class |
EQOracleChain.MealyEQOracleChain<I,O> |
static class |
IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O> |
static class |
RandomWMethodEQOracle.MealyRandomWMethodEQOracle<I,O> |
static class |
RandomWordsEQOracle.MealyRandomWordsEQOracle<I,O> |
static class |
RandomWpMethodEQOracle.MealyRandomWpMethodEQOracle<I,O> |
static class |
SimulatorEQOracle.MealySimulatorEQOracle<I,O> |
static class |
WMethodEQOracle.MealyWMethodEQOracle<I,O> |
Modifier and Type | Class and Description |
---|---|
class |
RandomWalkEQOracle<I,O>
Performs a random walk over the hypothesis.
|
Copyright © 2018. All rights reserved.