Constant Field Values

Contents

• de.learnlib.*

de.learnlib.*

de.learnlib.algorithms.kv.StateInfo<I,D>

Modifier and Type	Constant Field	Value
public static final short	INTEGER_WORD_WIDTH	32

de.learnlib.datastructure.observationtable.ObservationTable<I,D>

Modifier and Type	Constant Field	Value
public static final int	NO_DISTINGUISHING_SUFFIX	-1

de.learnlib.examples.Example2.BoundedStringQueue

Modifier and Type	Constant Field	Value
public static final int	MAX_SIZE	3

de.learnlib.examples.mealy.ExampleCoffeeMachine

Modifier and Type	Constant Field	Value
public static final String	OUT_COFFEE	"coffee!"
public static final String	OUT_ERROR	"error"
public static final String	OUT_OK	"ok"

de.learnlib.testsupport.AbstractBFOracleTest<D>

Modifier and Type	Constant Field	Value
public static final double	MULTIPLIER	2.0

de.learnlib.testsupport.AbstractGrowingAlphabetTest<L extends net.automatalib.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 Resumable<T> & LearningAlgorithm<M,I,D>,M extends net.automatalib.automata.UniversalDeterministicAutomaton<?,I,?,?,?>,OR,I,D,T extends Serializable>

Modifier and Type	Constant Field	Value
protected static final int	RANDOM_SEED	42

de.learnlib.util.Experiment<A>

Modifier and Type	Constant Field	Value
public static final String	COUNTEREXAMPLE_PROFILE_KEY	"Searching for counterexample"
public static final String	LEARNING_PROFILE_KEY	"Learning"

de.learnlib.util.mealy.MealyUtil

Modifier and Type	Constant Field	Value
public static final int	NO_MISMATCH	-1