Constant Field Values

Contents

• de.learnlib.*

de.learnlib.*

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