public abstract class AbstractGrowingAlphabetMealyTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,Character,?,Character>,Character,net.automatalib.words.Word<Character>>> extends AbstractGrowingAlphabetTest<L,net.automatalib.automata.transout.MealyMachine<?,Character,?,Character>,MembershipOracle<Character,net.automatalib.words.Word<Character>>,Character,net.automatalib.words.Word<Character>>
DEFAULT_AUTOMATON_SIZE, RANDOM_SEED
Constructor and Description |
---|
AbstractGrowingAlphabetMealyTest() |
Modifier and Type | Method and Description |
---|---|
protected Collection<Character> |
getAlphabetExtensions() |
protected net.automatalib.words.Alphabet<Character> |
getInitialAlphabet() |
protected MembershipOracle<Character,net.automatalib.words.Word<Character>> |
getOracle(net.automatalib.automata.transout.MealyMachine<?,Character,?,Character> target) |
protected net.automatalib.automata.transout.MealyMachine<?,Character,?,Character> |
getTarget(net.automatalib.words.Alphabet<Character> alphabet) |
getLearner, setup, testAddingAlphabetSymbols, testInitialAlphabet
protected net.automatalib.words.Alphabet<Character> getInitialAlphabet()
getInitialAlphabet
in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,Character,?,Character>,Character,net.automatalib.words.Word<Character>>,net.automatalib.automata.transout.MealyMachine<?,Character,?,Character>,MembershipOracle<Character,net.automatalib.words.Word<Character>>,Character,net.automatalib.words.Word<Character>>
protected Collection<Character> getAlphabetExtensions()
getAlphabetExtensions
in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,Character,?,Character>,Character,net.automatalib.words.Word<Character>>,net.automatalib.automata.transout.MealyMachine<?,Character,?,Character>,MembershipOracle<Character,net.automatalib.words.Word<Character>>,Character,net.automatalib.words.Word<Character>>
protected net.automatalib.automata.transout.MealyMachine<?,Character,?,Character> getTarget(net.automatalib.words.Alphabet<Character> alphabet)
getTarget
in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,Character,?,Character>,Character,net.automatalib.words.Word<Character>>,net.automatalib.automata.transout.MealyMachine<?,Character,?,Character>,MembershipOracle<Character,net.automatalib.words.Word<Character>>,Character,net.automatalib.words.Word<Character>>
protected MembershipOracle<Character,net.automatalib.words.Word<Character>> getOracle(net.automatalib.automata.transout.MealyMachine<?,Character,?,Character> target)
getOracle
in class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<Character> & LearningAlgorithm<net.automatalib.automata.transout.MealyMachine<?,Character,?,Character>,Character,net.automatalib.words.Word<Character>>,net.automatalib.automata.transout.MealyMachine<?,Character,?,Character>,MembershipOracle<Character,net.automatalib.words.Word<Character>>,Character,net.automatalib.words.Word<Character>>
Copyright © 2018. All rights reserved.