de.learnlib.eqtests.basic

Class EquivalenceQueries

java.lang.Object

de.learnlib.eqtests.basic.EquivalenceQueries

public abstract class EquivalenceQueries
extends Object

Method Summary

Methods

Modifier and Type	Method and Description
static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> SimulatorEQOracle<I,O>	simulator(A target)
static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> WMethodEQOracle<A,I,O>	wMethod(int maxDepth, MembershipOracle<I,O> sulOracle)
static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> WpMethodEQOracle<A,I,O>	wpMethod(int maxDepth, MembershipOracle<I,O> sulOracle)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

wMethod

public static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> WMethodEQOracle<A,I,O> wMethod(int maxDepth,
                                                                                                     MembershipOracle<I,O> sulOracle)

wpMethod

public static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> WpMethodEQOracle<A,I,O> wpMethod(int maxDepth,
                                                                                                       MembershipOracle<I,O> sulOracle)

simulator

public static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> SimulatorEQOracle<I,O> simulator(A target)