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