de.learnlib.testsupport

Class AbstractResumableLearnerDFATest<L extends ResumableLearner<T> & LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,Character>,Character,Boolean>,T extends Serializable>

java.lang.Object

de.learnlib.testsupport.AbstractResumableLearnerTest<L,net.automatalib.automata.fsa.DFA<?,Character>,MembershipOracle<Character,Boolean>,Character,Boolean,T>

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

public abstract class AbstractResumableLearnerDFATest<L extends ResumableLearner<T> & LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,Character>,Character,Boolean>,T extends Serializable>
extends AbstractResumableLearnerTest<L,net.automatalib.automata.fsa.DFA<?,Character>,MembershipOracle<Character,Boolean>,Character,Boolean,T>

Author:

bainczyk

Field Summary

Fields inherited from class de.learnlib.testsupport.AbstractResumableLearnerTest

RANDOM_SEED

Constructor Summary

Constructors

Constructor and Description
AbstractResumableLearnerDFATest()

Method Summary

Modifier and Type	Method and Description
protected net.automatalib.words.Alphabet<Character>	getInitialAlphabet()
protected MembershipOracle<Character,Boolean>	getOracle(net.automatalib.automata.fsa.DFA<?,Character> target)
protected net.automatalib.automata.fsa.DFA<?,Character>	getTarget(net.automatalib.words.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

AbstractResumableLearnerDFATest

public AbstractResumableLearnerDFATest()

Method Detail

getInitialAlphabet

protected net.automatalib.words.Alphabet<Character> getInitialAlphabet()

Specified by:

getInitialAlphabet in class AbstractResumableLearnerTest<L extends ResumableLearner<T> & LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,Character>,Character,Boolean>,net.automatalib.automata.fsa.DFA<?,Character>,MembershipOracle<Character,Boolean>,Character,Boolean,T extends Serializable>

getTarget

protected net.automatalib.automata.fsa.DFA<?,Character> getTarget(net.automatalib.words.Alphabet<Character> alphabet)

Specified by:

getTarget in class AbstractResumableLearnerTest<L extends ResumableLearner<T> & LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,Character>,Character,Boolean>,net.automatalib.automata.fsa.DFA<?,Character>,MembershipOracle<Character,Boolean>,Character,Boolean,T extends Serializable>

getOracle

protected MembershipOracle<Character,Boolean> getOracle(net.automatalib.automata.fsa.DFA<?,Character> target)

Specified by:

getOracle in class AbstractResumableLearnerTest<L extends ResumableLearner<T> & LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,Character>,Character,Boolean>,net.automatalib.automata.fsa.DFA<?,Character>,MembershipOracle<Character,Boolean>,Character,Boolean,T extends Serializable>