Package de.learnlib.testsupport

Class AbstractResumableLearnerDFATest<L extends Resumable<T> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,T>

java.lang.Object

de.learnlib.testsupport.AbstractResumableLearnerTest<L,DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean,T>

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

public abstract class AbstractResumableLearnerDFATest<L extends Resumable<T> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,T>
extends AbstractResumableLearnerTest<L,DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean,T>

Field Summary

Fields inherited from class de.learnlib.testsupport.AbstractResumableLearnerTest

RANDOM_SEED

Constructor Summary

Constructors

Constructor	Description
AbstractResumableLearnerDFATest()

Method Summary

Modifier and Type	Method	Description
protected EquivalenceOracle.DFAEquivalenceOracle<Character>	getEquivalenceOracle(DFA<?,Character> target)
protected Alphabet<Character>	getInitialAlphabet()
protected MembershipOracle.DFAMembershipOracle<Character>	getOracle(DFA<?,Character> target)
protected DFA<?,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

AbstractResumableLearnerDFATest

public AbstractResumableLearnerDFATest()

Method Detail

getInitialAlphabet

protected Alphabet<Character> getInitialAlphabet()

Specified by:

getInitialAlphabet in class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean,T>

getTarget

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

Specified by:

getTarget in class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean,T>

getOracle

protected MembershipOracle.DFAMembershipOracle<Character> getOracle(DFA<?,Character> target)

Specified by:

getOracle in class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean,T>

getEquivalenceOracle

protected EquivalenceOracle.DFAEquivalenceOracle<Character> getEquivalenceOracle(DFA<?,Character> target)

Specified by:

getEquivalenceOracle in class AbstractResumableLearnerTest<L extends Resumable<T> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean,T>