Package de.learnlib.testsupport

Class AbstractResumableLearnerMealyTest<L extends Resumable<T> & LearningAlgorithm<MealyMachine<?,Character,?,Character>,Character,Word<Character>>,T>

java.lang.Object

de.learnlib.testsupport.AbstractResumableLearnerTest<L,MealyMachine<?,Character,?,Character>,MembershipOracle.MealyMembershipOracle<Character,Character>,Character,Word<Character>,T>

de.learnlib.testsupport.AbstractResumableLearnerMealyTest<L,T>

public abstract class AbstractResumableLearnerMealyTest<L extends Resumable<T> & LearningAlgorithm<MealyMachine<?,Character,?,Character>,Character,Word<Character>>,T>
extends AbstractResumableLearnerTest<L,MealyMachine<?,Character,?,Character>,MembershipOracle.MealyMembershipOracle<Character,Character>,Character,Word<Character>,T>

Field Summary

Fields inherited from class de.learnlib.testsupport.AbstractResumableLearnerTest

RANDOM_SEED

Constructor Summary

Constructors

Constructor	Description
AbstractResumableLearnerMealyTest()

Method Summary

Modifier and Type	Method	Description
protected EquivalenceOracle.MealyEquivalenceOracle<Character,Character>	getEquivalenceOracle(MealyMachine<?,Character,?,Character> target)
protected Alphabet<Character>	getInitialAlphabet()
protected MembershipOracle.MealyMembershipOracle<Character,Character>	getOracle(MealyMachine<?,Character,?,Character> target)
protected MealyMachine<?,Character,?,Character>	getTarget(Alphabet<Character> alphabet)

Methods inherited from class de.learnlib.testsupport.AbstractResumableLearnerTest

getLearner, getRounds, setup, testSuspendAndResumeLearner

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractResumableLearnerMealyTest

public AbstractResumableLearnerMealyTest()

Method Detail

getInitialAlphabet

protected Alphabet<Character> getInitialAlphabet()

Specified by:

getInitialAlphabet in class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<MealyMachine<?,Character,?,Character>,Character,Word<Character>>,MealyMachine<?,Character,?,Character>,MembershipOracle.MealyMembershipOracle<Character,Character>,Character,Word<Character>,T>

getTarget

protected MealyMachine<?,Character,?,Character> getTarget(Alphabet<Character> alphabet)

Specified by:

getTarget in class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<MealyMachine<?,Character,?,Character>,Character,Word<Character>>,MealyMachine<?,Character,?,Character>,MembershipOracle.MealyMembershipOracle<Character,Character>,Character,Word<Character>,T>

getOracle

protected MembershipOracle.MealyMembershipOracle<Character,Character> getOracle(MealyMachine<?,Character,?,Character> target)

Specified by:

getOracle in class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<MealyMachine<?,Character,?,Character>,Character,Word<Character>>,MealyMachine<?,Character,?,Character>,MembershipOracle.MealyMembershipOracle<Character,Character>,Character,Word<Character>,T>

getEquivalenceOracle

protected EquivalenceOracle.MealyEquivalenceOracle<Character,Character> getEquivalenceOracle(MealyMachine<?,Character,?,Character> target)

Specified by:

getEquivalenceOracle in class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<MealyMachine<?,Character,?,Character>,Character,Word<Character>>,MealyMachine<?,Character,?,Character>,MembershipOracle.MealyMembershipOracle<Character,Character>,Character,Word<Character>,T>