Constant Field Values
Contents
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"