Module de.learnlib.testsupport

Package de.learnlib.testsupport

Class AbstractResumableLearnerMealyTest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>,T>

java.lang.Object

de.learnlib.testsupport.AbstractResumableLearnerTest<L,net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character>,MembershipOracle.MealyMembershipOracle<Character,Character>,Character,net.automatalib.word.Word<Character>,T>

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

public abstract class AbstractResumableLearnerMealyTest<L extends Resumable<T> & LearningAlgorithm<net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>,T>
extends AbstractResumableLearnerTest<L,net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character>,MembershipOracle.MealyMembershipOracle<Character,Character>,Character,net.automatalib.word.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 net.automatalib.alphabet.Alphabet<Character>	getInitialAlphabet()
protected MembershipOracle.MealyMembershipOracle<Character,Character>	getOracle(net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character> target)
protected net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character>	getTarget(net.automatalib.alphabet.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 net.automatalib.alphabet.Alphabet<Character> getInitialAlphabet()

Specified by:

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

getTarget

protected net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character> getTarget(net.automatalib.alphabet.Alphabet<Character> alphabet)

Specified by:

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

getOracle

protected MembershipOracle.MealyMembershipOracle<Character,Character> getOracle(net.automatalib.automaton.transducer.MealyMachine<?,Character,?,Character> target)

Specified by:

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