public abstract class EquivalenceQueries extends Object
Modifier and Type | Method and Description |
---|---|
static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> |
simulator(A target) |
static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> |
wMethod(int maxDepth,
MembershipOracle<I,O> sulOracle) |
static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> |
wpMethod(int maxDepth,
MembershipOracle<I,O> sulOracle) |
public static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> WMethodEQOracle<A,I,O> wMethod(int maxDepth, MembershipOracle<I,O> sulOracle)
public static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> WpMethodEQOracle<A,I,O> wpMethod(int maxDepth, MembershipOracle<I,O> sulOracle)
public static <A extends UniversalDeterministicAutomaton<?,I,?,?,?> & Output<I,O>,I,O> SimulatorEQOracle<I,O> simulator(A target)
Copyright © 2014. All Rights Reserved.