de.learnlib.*
-
de.learnlib.testsupport.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>
Modifier and Type |
Constant Field |
Value |
protected static final int |
DEFAULT_AUTOMATON_SIZE |
15 |
protected static final int |
RANDOM_SEED |
42 |
-
de.learnlib.testsupport.AbstractResumableLearnerTest<L extends ResumableLearner<T> & LearningAlgorithm<M,I,D>,M extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.Output<I,D>,OR,I,D,T extends Serializable>
Modifier and Type |
Constant Field |
Value |
protected static final int |
RANDOM_SEED |
42 |
-
de.learnlib.util.mealy.MealyUtil
Modifier and Type |
Constant Field |
Value |
public static final int |
NO_MISMATCH |
-1 |
Copyright © 2018. All rights reserved.