Package de.learnlib.util.mealy

Class MealyUtil

java.lang.Object

de.learnlib.util.mealy.MealyUtil

public final class MealyUtil
extends Object

Utility class helping to unify various approaches to actively learning Mealy machines.

Field Summary

Fields

Modifier and Type	Field	Description
static int	NO_MISMATCH

Method Summary

Modifier and Type	Method	Description
static <I,O> int	findMismatch(MealyMachine<?,I,?,O> hypothesis, Word<I> input, Word<O> output)
static <O> int	findMismatch(Word<O> out1, Word<O> out2)
static <I,O> @Nullable DefaultQuery<I,O>	reduceCounterExample(MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)
static <I,O> @Nullable DefaultQuery<I,Word<O>>	shortenCounterExample(MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)
static <M extends MealyMachine<?,I,?,O>,I,O> LearningAlgorithm.MealyLearner<I,O>	wrapSymbolLearner(LearningAlgorithm<M,I,O> learner)
static <I,O> MembershipOracle<I,@Nullable O>	wrapWordOracle(MembershipOracle<I,Word<O>> oracle)

Methods inherited from class java.lang.Object

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

Field Detail

NO_MISMATCH

public static final int NO_MISMATCH

See Also:

Constant Field Values

Method Detail

findMismatch

public static <I,O> int findMismatch(MealyMachine<?,I,?,O> hypothesis,
                                           Word<I> input,
                                           Word<O> output)

findMismatch

public static <O> int findMismatch(Word<O> out1,
                                   Word<O> out2)

shortenCounterExample

public static <I,O> @Nullable DefaultQuery<I,Word<O>> shortenCounterExample(MealyMachine<?,I,?,O> hypothesis,
                                                                                        DefaultQuery<I,Word<O>> ceQuery)

reduceCounterExample

public static <I,O> @Nullable DefaultQuery<I,O> reduceCounterExample(MealyMachine<?,I,?,O> hypothesis,
                                                                                 DefaultQuery<I,Word<O>> ceQuery)

wrapSymbolLearner

public static <M extends MealyMachine<?,I,?,O>,I,O> LearningAlgorithm.MealyLearner<I,O> wrapSymbolLearner(LearningAlgorithm<M,I,O> learner)

wrapWordOracle

public static <I,O> MembershipOracle<I,@Nullable O> wrapWordOracle(MembershipOracle<I,Word<O>> oracle)