All Methods Instance Methods Concrete Methods
Modifier and Type |
Method and Description |
LTSminLTLIO<I,O> |
create() |
boolean |
getKeepFiles() |
int |
getMinimumUnfolds() |
double |
getMultiplier() |
Collection<? super O> |
getSkipOutputs() |
Function<String,I> |
getString2Input() |
Function<String,O> |
getString2Output() |
void |
setKeepFiles(boolean keepFiles) |
void |
setMinimumUnfolds(int minimumUnfolds) |
void |
setMultiplier(double multiplier) |
void |
setSkipOutputs(Collection<? super O> skipOutputs) |
void |
setString2Input(Function<String,I> string2Input) |
void |
setString2Output(Function<String,O> string2Output) |
LTSminLTLIOBuilder<I,O> |
withKeepFiles(boolean keepFiles) |
LTSminLTLIOBuilder<I,O> |
withMinimumUnfolds(int minimumUnfolds) |
LTSminLTLIOBuilder<I,O> |
withMultiplier(double multiplier) |
LTSminLTLIOBuilder<I,O> |
withSkipOutputs(Collection<? super O> skipOutputs) |
LTSminLTLIOBuilder<I,O> |
withString2Input(Function<String,I> string2Input) |
LTSminLTLIOBuilder<I,O> |
withString2Output(Function<String,O> string2Output) |