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

Packages that use WpMethodEQOracle

Package	Description
de.learnlib.oracle.equivalence

Uses of WpMethodEQOracle in de.learnlib.oracle.equivalence

Subclasses of WpMethodEQOracle in de.learnlib.oracle.equivalence

Modifier and Type	Class and Description
static class	WpMethodEQOracle.DFAWpMethodEQOracle<I>
static class	WpMethodEQOracle.MealyWpMethodEQOracle<I,O>

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

Modifier and Type	Method and Description
static <A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> WpMethodEQOracle<A,I,D>	EquivalenceQueries.wpMethod(MembershipOracle<I,D> sulOracle, int maxDepth)