de.learnlib.oracle.equivalence

Class EquivalenceQueries

java.lang.Object

de.learnlib.oracle.equivalence.EquivalenceQueries

public final class EquivalenceQueries
extends Object

Method Summary

Modifier and Type	Method and Description
static <I,D> CompleteExplorationEQOracle<I,D>	complete(MembershipOracle<I,D> sulOracle, int maxDepth)
static <A extends net.automatalib.automata.concepts.Output<I,D>,I,D> RandomWordsEQOracle<A,I,D>	randomWords(MembershipOracle<I,D> sulOracle, int minLength, int maxLength, int maxTests)
static <A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> SimulatorEQOracle<I,D>	simulator(A target)
static <A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> WMethodEQOracle<A,I,D>	wMethod(MembershipOracle<I,D> sulOracle, int maxDepth)
static <A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> WpMethodEQOracle<A,I,D>	wpMethod(MembershipOracle<I,D> sulOracle, int maxDepth)

Methods inherited from class java.lang.Object

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

Method Detail

randomWords

public static <A extends net.automatalib.automata.concepts.Output<I,D>,I,D> RandomWordsEQOracle<A,I,D> randomWords(MembershipOracle<I,D> sulOracle,
                                                                                                                   int minLength,
                                                                                                                   int maxLength,
                                                                                                                   int maxTests)

complete

public static <I,D> CompleteExplorationEQOracle<I,D> complete(MembershipOracle<I,D> sulOracle,
                                                              int maxDepth)

wMethod

public static <A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> WMethodEQOracle<A,I,D> wMethod(MembershipOracle<I,D> sulOracle,
                                                                                                                                                                                 int maxDepth)

wpMethod

public static <A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> WpMethodEQOracle<A,I,D> wpMethod(MembershipOracle<I,D> sulOracle,
                                                                                                                                                                                   int maxDepth)

simulator

public static <A extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,I,D> SimulatorEQOracle<I,D> simulator(A target)