public static class IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O> extends IncrementalWMethodEQOracle<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,net.automatalib.words.Word<O>> implements EquivalenceOracle.MealyEquivalenceOracle<I,O>
IncrementalWMethodEQOracle.DFAIncrementalWMethodEQOracle<I>, IncrementalWMethodEQOracle.MealyIncrementalWMethodEQOracle<I,O>
EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>
Constructor and Description |
---|
MealyIncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle) |
MealyIncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
int maxDepth) |
findCounterExample, getMaxDepth, setMaxDepth
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
findCounterExample
public MealyIncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle, int maxDepth)
public MealyIncrementalWMethodEQOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,net.automatalib.words.Word<O>> oracle)
Copyright © 2016. All rights reserved.