Uses of Class
de.learnlib.oracle.equivalence.CompleteExplorationEQOracle

Packages that use CompleteExplorationEQOracle

Package	Description
de.learnlib.oracle.equivalence

Uses of CompleteExplorationEQOracle in de.learnlib.oracle.equivalence

Subclasses of CompleteExplorationEQOracle in de.learnlib.oracle.equivalence

Modifier and Type	Class and Description
static class	CompleteExplorationEQOracle.DFACompleteExplorationEQOracle<I>
static class	CompleteExplorationEQOracle.MealyCompleteExplorationEQOracle<I,O>

Methods in de.learnlib.oracle.equivalence that return CompleteExplorationEQOracle

Modifier and Type	Method and Description
static <A extends Output<I,D>,I,D> CompleteExplorationEQOracle<A,I,D>	EquivalenceQueries.complete(MembershipOracle<I,D> sulOracle, int maxDepth)