Uses of Class
net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorAlternatingBuilder

Packages that use LTSminMonitorAlternatingBuilder

Package	Description
net.automatalib.modelchecker.ltsmin.monitor

Uses of LTSminMonitorAlternatingBuilder in net.automatalib.modelchecker.ltsmin.monitor

Methods in net.automatalib.modelchecker.ltsmin.monitor that return LTSminMonitorAlternatingBuilder

Modifier and Type	Method	Description
LTSminMonitorAlternatingBuilder<I,O>	LTSminMonitorAlternatingBuilder.withKeepFiles(boolean keepFiles)
LTSminMonitorAlternatingBuilder<I,O>	LTSminMonitorAlternatingBuilder.withSkipOutputs(Collection<? super O> skipOutputs)
LTSminMonitorAlternatingBuilder<I,O>	LTSminMonitorAlternatingBuilder.withString2Input(Function<String,I> string2Input)
LTSminMonitorAlternatingBuilder<I,O>	LTSminMonitorAlternatingBuilder.withString2Output(Function<String,O> string2Output)