Uses of Class
net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIOBuilder
-
Packages that use LTSminMonitorIOBuilder Package Description net.automatalib.modelchecker.ltsmin.monitor -
-
Uses of LTSminMonitorIOBuilder in net.automatalib.modelchecker.ltsmin.monitor
Methods in net.automatalib.modelchecker.ltsmin.monitor that return LTSminMonitorIOBuilder Modifier and Type Method Description LTSminMonitorIOBuilder<I,O>
LTSminMonitorIOBuilder. withKeepFiles(boolean keepFiles)
LTSminMonitorIOBuilder<I,O>
LTSminMonitorIOBuilder. withSkipOutputs(Collection<? super O> skipOutputs)
LTSminMonitorIOBuilder<I,O>
LTSminMonitorIOBuilder. withString2Input(Function<String,I> string2Input)
LTSminMonitorIOBuilder<I,O>
LTSminMonitorIOBuilder. withString2Output(Function<String,O> string2Output)
-