LTSminLTLIOBuilder<I,O> |
LTSminLTLIOBuilder.withKeepFiles(boolean keepFiles) |
LTSminLTLIOBuilder<I,O> |
LTSminLTLIOBuilder.withMinimumUnfolds(int minimumUnfolds) |
LTSminLTLIOBuilder<I,O> |
LTSminLTLIOBuilder.withMultiplier(double multiplier) |
LTSminLTLIOBuilder<I,O> |
LTSminLTLIOBuilder.withSkipOutputs(Collection<? super O> skipOutputs) |
LTSminLTLIOBuilder<I,O> |
LTSminLTLIOBuilder.withString2Input(Function<String,I> string2Input) |
LTSminLTLIOBuilder<I,O> |
LTSminLTLIOBuilder.withString2Output(Function<String,O> string2Output) |