public abstract class AbstractGrowingAlphabetTest<L extends SupportsGrowingAlphabet<I> & LearningAlgorithm<M,I,D>,M extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,OR,I,D> extends Object
SupportsGrowingAlphabet
.Modifier and Type | Field and Description |
---|---|
protected static int |
DEFAULT_AUTOMATON_SIZE |
protected static int |
RANDOM_SEED |
Constructor and Description |
---|
AbstractGrowingAlphabetTest() |
Modifier and Type | Method and Description |
---|---|
protected abstract Collection<I> |
getAlphabetExtensions() |
protected abstract net.automatalib.words.Alphabet<I> |
getInitialAlphabet() |
protected abstract L |
getLearner(OR oracle,
net.automatalib.words.Alphabet<I> alphabet) |
protected abstract OR |
getOracle(M target) |
protected abstract M |
getTarget(net.automatalib.words.Alphabet<I> alphabet) |
void |
setup() |
void |
testAddingAlphabetSymbols() |
void |
testInitialAlphabet() |
protected static final int RANDOM_SEED
protected static final int DEFAULT_AUTOMATON_SIZE
public void setup()
protected abstract net.automatalib.words.Alphabet<I> getInitialAlphabet()
protected abstract Collection<I> getAlphabetExtensions()
public void testInitialAlphabet()
public void testAddingAlphabetSymbols()
Copyright © 2018. All rights reserved.