Package de.learnlib.testsupport

Class AbstractGrowingAlphabetDFATest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>>

java.lang.Object

de.learnlib.testsupport.AbstractGrowingAlphabetTest<L,net.automatalib.automaton.fsa.DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean>

de.learnlib.testsupport.AbstractGrowingAlphabetDFATest<L>

public abstract class AbstractGrowingAlphabetDFATest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>>
extends AbstractGrowingAlphabetTest<L,net.automatalib.automaton.fsa.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 net.automatalib.alphabet.Alphabet<Character>	getInitialAlphabet()
protected MembershipOracle.DFAMembershipOracle<Character>	getOracle(net.automatalib.automaton.fsa.DFA<?,Character> target)
protected net.automatalib.automaton.fsa.DFA<?,Character>	getTarget(net.automatalib.alphabet.Alphabet<Character> alphabet)

Methods inherited from class de.learnlib.testsupport.AbstractGrowingAlphabetTest

getLearner, setup, testGrowingAlphabet, 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 net.automatalib.alphabet.Alphabet<Character> getInitialAlphabet()

Specified by:

getInitialAlphabet in class AbstractGrowingAlphabetTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>,net.automatalib.automaton.fsa.DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean>

getAlphabetExtensions

protected Collection<Character> getAlphabetExtensions()

Specified by:

getAlphabetExtensions in class AbstractGrowingAlphabetTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>,net.automatalib.automaton.fsa.DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean>

getTarget

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

Specified by:

getTarget in class AbstractGrowingAlphabetTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>,net.automatalib.automaton.fsa.DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean>

getOracle

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

Specified by:

getOracle in class AbstractGrowingAlphabetTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.fsa.DFA<?,Character>,Character,Boolean>,net.automatalib.automaton.fsa.DFA<?,Character>,MembershipOracle.DFAMembershipOracle<Character>,Character,Boolean>