Uses of Class
net.automatalib.modelcheckers.ltsmin.monitor.LTSminMonitorIOBuilder

Packages that use LTSminMonitorIOBuilder

Package	Description
net.automatalib.modelcheckers.ltsmin.monitor

Uses of LTSminMonitorIOBuilder in net.automatalib.modelcheckers.ltsmin.monitor

Methods in net.automatalib.modelcheckers.ltsmin.monitor that return LTSminMonitorIOBuilder

Modifier and Type	Method and 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)