Package de.learnlib.testsupport

Class AbstractGrowingAlphabetDFATest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>>

java.lang.Object

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

de.learnlib.testsupport.AbstractGrowingAlphabetDFATest<L>

public abstract class AbstractGrowingAlphabetDFATest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>>
extends AbstractGrowingAlphabetTest<L,DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean>

Field Summary

Fields inherited from class de.learnlib.testsupport.AbstractGrowingAlphabetTest

DEFAULT_AUTOMATON_SIZE, RANDOM_SEED

Constructor Summary

Constructors

Constructor	Description
AbstractGrowingAlphabetDFATest()

Method Summary

Modifier and Type	Method	Description
protected Collection<Character>	getAlphabetExtensions()
protected MembershipOracle.DFAMembershipOracle<Character>	getCachedOracle(Alphabet<Character> alphabet, MembershipOracle.DFAMembershipOracle<Character> original, List<Consumer<Character>> symbolListener)
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.AbstractGrowingAlphabetTest

getLearner, setup, testGrowingAlphabet, testGrowingAlphabetWithCache, testInitialAlphabet

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractGrowingAlphabetDFATest

public AbstractGrowingAlphabetDFATest()

Method Detail

getInitialAlphabet

protected Alphabet<Character> getInitialAlphabet()

Specified by:

getInitialAlphabet in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean>

getAlphabetExtensions

protected Collection<Character> getAlphabetExtensions()

Specified by:

getAlphabetExtensions in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean>

getTarget

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

Specified by:

getTarget in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean>

getOracle

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

Specified by:

getOracle in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean>

getCachedOracle

protected MembershipOracle.DFAMembershipOracle<Character> getCachedOracle(Alphabet<Character> alphabet,
                                                                          MembershipOracle.DFAMembershipOracle<Character> original,
                                                                          List<Consumer<Character>> symbolListener)

Specified by:

getCachedOracle in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<DFA<?,Character>,Character,Boolean>,DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean>