Package de.learnlib.util.moore

Class MooreUtil

java.lang.Object

de.learnlib.util.moore.MooreUtil

public final class MooreUtil
extends Object

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

Field Summary

Fields

Modifier and Type	Field	Description
static int	NO_MISMATCH

Method Summary

Modifier and Type	Method	Description
static <O> int	findMismatch(Word<O> out1, Word<O> out2)
static <I,O> @Nullable DefaultQuery<I,O>	reduceCounterExample(MooreMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)
static <I,O> @Nullable DefaultQuery<I,Word<O>>	shortenCounterExample(MooreMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)
static <M extends MooreMachine<?,I,?,O>,I,O> LearningAlgorithm.MooreLearner<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 <O> int findMismatch(Word<O> out1,
                                   Word<O> out2)

shortenCounterExample

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

reduceCounterExample

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

wrapSymbolLearner

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

wrapWordOracle

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