Modifier and Type | Field and Description |
---|---|
static int |
NO_MISMATCH |
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> |
wrapSymbolLearner(LearningAlgorithm<M,I,O> learner) |
static <I,O> MembershipOracle<I,O> |
wrapWordOracle(MembershipOracle<I,Word<O>> oracle) |
public static final int NO_MISMATCH
public static <O> int findMismatch(Word<O> out1, Word<O> out2)
public static <I,O> DefaultQuery<I,Word<O>> shortenCounterExample(MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)
public static <I,O> DefaultQuery<I,O> reduceCounterExample(MealyMachine<?,I,?,O> hypothesis, DefaultQuery<I,Word<O>> ceQuery)
public static <M extends MealyMachine<?,I,?,O>,I,O> LearningAlgorithm<M,I,Word<O>> wrapSymbolLearner(LearningAlgorithm<M,I,O> learner)
public static <I,O> MembershipOracle<I,O> wrapWordOracle(MembershipOracle<I,Word<O>> oracle)
Copyright © 2014. All Rights Reserved.