Constant Field Values

Contents

• de.learnlib.*

de.learnlib.*

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

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

de.learnlib.example.dfa.ExamplePaulAndMary

Modifier and Type	Constant Field	Value
public static final String	IN_LOVES	"loves"
public static final String	IN_MARY	"Mary"
public static final String	IN_PAUL	"Paul"

de.learnlib.example.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 SupportsGrowingAlphabet<I> & LearningAlgorithm<M,I,D>,M extends UniversalDeterministicAutomaton<?,I,?,?,?> & 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 UniversalDeterministicAutomaton<?,I,?,?,?>,OR,I,D,T>

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

de.learnlib.util.moore.MooreUtil

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