Uses of Class
net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorDFABuilder
-
Packages that use LTSminMonitorDFABuilder Package Description net.automatalib.modelchecker.ltsmin.monitor -
-
Uses of LTSminMonitorDFABuilder in net.automatalib.modelchecker.ltsmin.monitor
Methods in net.automatalib.modelchecker.ltsmin.monitor that return LTSminMonitorDFABuilder Modifier and Type Method Description LTSminMonitorDFABuilder<I>LTSminMonitorDFABuilder. withKeepFiles(boolean keepFiles)LTSminMonitorDFABuilder<I>LTSminMonitorDFABuilder. withString2Input(Function<String,I> string2Input)
-