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