de.learnlib.mealy

Class MealyUtil

java.lang.Object

de.learnlib.mealy.MealyUtil

public abstract 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

Methods

Modifier and Type	Method and Description
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<M,I,Word<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 <O> int findMismatch(Word<O> out1,
                   Word<O> out2)

shortenCounterExample

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

reduceCounterExample

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

wrapSymbolLearner

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

wrapWordOracle

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