Package | Description |
---|---|
net.automatalib.modelcheckers.ltsmin.monitor |
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) |
Copyright © 2020. All rights reserved.