de.learnlib.util.mealy

Class MealyUtil

java.lang.Object

de.learnlib.util.mealy.MealyUtil

@ParametersAreNonnullByDefault
public final class MealyUtil
extends Object

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

Author:

Malte Isberner

Field Summary

Fields

Modifier and Type	Field and Description
static int	NO_MISMATCH

Method Summary

Modifier and Type	Method and 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> DefaultQuery<I,O>	reduceCounterExample(MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)
static <I,O> 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,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

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

reduceCounterExample

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

wrapSymbolLearner

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

wrapWordOracle

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