Module de.learnlib.testsupport

Package de.learnlib.testsupport

Class AbstractGrowingAlphabetMooreTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<MooreMachine<?,Character,?,Character>,Character,Word<Character>>>

java.lang.Object

de.learnlib.testsupport.AbstractGrowingAlphabetTest<L,MooreMachine<?,Character,?,Character>,MembershipOracle.MooreMembershipOracle<Character,Character>,Character,Word<Character>>

de.learnlib.testsupport.AbstractGrowingAlphabetMooreTest<L>

public abstract class AbstractGrowingAlphabetMooreTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<MooreMachine<?,Character,?,Character>,Character,Word<Character>>>
extends AbstractGrowingAlphabetTest<L,MooreMachine<?,Character,?,Character>,MembershipOracle.MooreMembershipOracle<Character,Character>,Character,Word<Character>>

Field Summary

Fields inherited from class de.learnlib.testsupport.AbstractGrowingAlphabetTest

DEFAULT_AUTOMATON_SIZE, RANDOM_SEED

Constructor Summary

Constructors

Constructor	Description
AbstractGrowingAlphabetMooreTest()

Method Summary

Modifier and Type	Method	Description
protected Collection<Character>	getAlphabetExtensions()
protected Alphabet<Character>	getInitialAlphabet()
protected MembershipOracle.MooreMembershipOracle<Character,Character>	getOracle(MooreMachine<?,Character,?,Character> target)
protected MooreMachine<?,Character,?,Character>	getTarget(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 Details

AbstractGrowingAlphabetMooreTest

public AbstractGrowingAlphabetMooreTest()

Method Details

getInitialAlphabet

protected Alphabet<Character> getInitialAlphabet()

Specified by:

getInitialAlphabet in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<MooreMachine<?,Character,?,Character>,Character,Word<Character>>,MooreMachine<?,Character,?,Character>,MembershipOracle.MooreMembershipOracle<Character,Character>,Character,Word<Character>>

getAlphabetExtensions

protected Collection<Character> getAlphabetExtensions()

Specified by:

getAlphabetExtensions in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<MooreMachine<?,Character,?,Character>,Character,Word<Character>>,MooreMachine<?,Character,?,Character>,MembershipOracle.MooreMembershipOracle<Character,Character>,Character,Word<Character>>

getTarget

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

Specified by:

getTarget in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<MooreMachine<?,Character,?,Character>,Character,Word<Character>>,MooreMachine<?,Character,?,Character>,MembershipOracle.MooreMembershipOracle<Character,Character>,Character,Word<Character>>

getOracle

protected MembershipOracle.MooreMembershipOracle<Character,Character> getOracle(MooreMachine<?,Character,?,Character> target)

Specified by:

getOracle in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<MooreMachine<?,Character,?,Character>,Character,Word<Character>>,MooreMachine<?,Character,?,Character>,MembershipOracle.MooreMembershipOracle<Character,Character>,Character,Word<Character>>