de.learnlib.testsupport

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

java.lang.Object

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

de.learnlib.testsupport.AbstractGrowingAlphabetDFATest<L>

public abstract class AbstractGrowingAlphabetDFATest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automata.fsa.DFA<?,Character>,Character,Boolean>>
extends AbstractGrowingAlphabetTest<L,net.automatalib.automata.fsa.DFA<?,Character>,MembershipOracle<Character,Boolean>,Character,Boolean>

Author:

frohme

Field Summary

Fields inherited from class de.learnlib.testsupport.AbstractGrowingAlphabetTest

DEFAULT_AUTOMATON_SIZE, RANDOM_SEED

Constructor Summary

Constructors

Constructor and Description
AbstractGrowingAlphabetDFATest()

Method Summary

Modifier and Type	Method and Description
protected Collection<Character>	getAlphabetExtensions()
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.AbstractGrowingAlphabetTest

getLearner, setup, testAddingAlphabetSymbols, 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.words.Alphabet<Character> getInitialAlphabet()

Specified by:

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

getAlphabetExtensions

protected Collection<Character> getAlphabetExtensions()

Specified by:

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

getTarget

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

Specified by:

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

getOracle

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

Specified by:

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