Constant Field Values

Contents

• de.learnlib.*

de.learnlib.*

de.learnlib.examples.example2.Example.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.mealy.MealyUtil

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