@ParametersAreNonnullByDefault public final class MealyUtil extends Object
Modifier and Type | Field and Description |
---|---|
static int |
NO_MISMATCH |
Modifier and Type | Method and Description |
---|---|
static <I,O> int |
findMismatch(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis,
net.automatalib.words.Word<I> input,
net.automatalib.words.Word<O> output) |
static <O> int |
findMismatch(net.automatalib.words.Word<O> out1,
net.automatalib.words.Word<O> out2) |
static <I,O> DefaultQuery<I,O> |
reduceCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis,
DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery) |
static <I,O> DefaultQuery<I,net.automatalib.words.Word<O>> |
shortenCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis,
DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery) |
static <M extends net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O> |
wrapSymbolLearner(LearningAlgorithm<M,I,O> learner) |
static <I,O> MembershipOracle<I,O> |
wrapWordOracle(MembershipOracle<I,net.automatalib.words.Word<O>> oracle) |
public static final int NO_MISMATCH
public static <I,O> int findMismatch(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis, net.automatalib.words.Word<I> input, net.automatalib.words.Word<O> output)
public static <O> int findMismatch(net.automatalib.words.Word<O> out1, net.automatalib.words.Word<O> out2)
@Nullable public static <I,O> DefaultQuery<I,net.automatalib.words.Word<O>> shortenCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery)
@Nullable public static <I,O> DefaultQuery<I,O> reduceCounterExample(net.automatalib.automata.transout.MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,net.automatalib.words.Word<O>> ceQuery)
@Nonnull public static <M extends net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O> LearningAlgorithm.MealyLearner<I,O> wrapSymbolLearner(LearningAlgorithm<M,I,O> learner)
@Nonnull public static <I,O> MembershipOracle<I,O> wrapWordOracle(MembershipOracle<I,net.automatalib.words.Word<O>> oracle)
Copyright © 2018. All rights reserved.