Constant Field Values

Contents

• net.automatalib.*

net.automatalib.*

net.automatalib.modelchecker.ltsmin.LTSminDFA<I,R>

Modifier and Type	Constant Field	Value
public static final String	LABEL_NAME	"label"
public static final String	LABEL_VALUE	"accept"

net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFA<I>

Modifier and Type	Constant Field	Value
public static final String	LABEL_NAME	"label"
public static final String	LABEL_VALUE	"accept"