Module de.learnlib.testsupport
Package de.learnlib.testsupport
Class AbstractGrowingAlphabetMooreTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>>
- java.lang.Object
-
- de.learnlib.testsupport.AbstractGrowingAlphabetTest<L,net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,MembershipOracle.MooreMembershipOracle<Character,Character>,Character,net.automatalib.word.Word<Character>>
-
- de.learnlib.testsupport.AbstractGrowingAlphabetMooreTest<L>
-
public abstract class AbstractGrowingAlphabetMooreTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>> extends AbstractGrowingAlphabetTest<L,net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,MembershipOracle.MooreMembershipOracle<Character,Character>,Character,net.automatalib.word.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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected Collection<Character>
getAlphabetExtensions()
protected net.automatalib.alphabet.Alphabet<Character>
getInitialAlphabet()
protected MembershipOracle.MooreMembershipOracle<Character,Character>
getOracle(net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character> target)
protected net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>
getTarget(net.automatalib.alphabet.Alphabet<Character> alphabet)
-
Methods inherited from class de.learnlib.testsupport.AbstractGrowingAlphabetTest
getLearner, setup, testGrowingAlphabet, testInitialAlphabet
-
-
-
-
Method Detail
-
getInitialAlphabet
protected net.automatalib.alphabet.Alphabet<Character> getInitialAlphabet()
- Specified by:
getInitialAlphabet
in classAbstractGrowingAlphabetTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>,net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,MembershipOracle.MooreMembershipOracle<Character,Character>,Character,net.automatalib.word.Word<Character>>
-
getAlphabetExtensions
protected Collection<Character> getAlphabetExtensions()
- Specified by:
getAlphabetExtensions
in classAbstractGrowingAlphabetTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>,net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,MembershipOracle.MooreMembershipOracle<Character,Character>,Character,net.automatalib.word.Word<Character>>
-
getTarget
protected net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character> getTarget(net.automatalib.alphabet.Alphabet<Character> alphabet)
- Specified by:
getTarget
in classAbstractGrowingAlphabetTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>,net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,MembershipOracle.MooreMembershipOracle<Character,Character>,Character,net.automatalib.word.Word<Character>>
-
getOracle
protected MembershipOracle.MooreMembershipOracle<Character,Character> getOracle(net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character> target)
- Specified by:
getOracle
in classAbstractGrowingAlphabetTest<L extends net.automatalib.alphabet.SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,Character,net.automatalib.word.Word<Character>>,net.automatalib.automaton.transducer.MooreMachine<?,Character,?,Character>,MembershipOracle.MooreMembershipOracle<Character,Character>,Character,net.automatalib.word.Word<Character>>
-
-