| Package | Description |
|---|---|
| de.learnlib.eqtests.basic |
| Modifier and Type | Class and Description |
|---|---|
static class |
WMethodEQOracle.DFAWMethodEQOracle<I> |
static class |
WMethodEQOracle.MealyWMethodEQOracle<I,O> |
| Modifier and Type | Method and Description |
|---|---|
static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> |
EquivalenceQueries.wMethod(int maxDepth,
MembershipOracle<I,O> sulOracle) |
Copyright © 2013. All Rights Reserved.