public final class LTSminLTLDFABuilder<I>
extends Object

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`LTSminLTLDFA<I>`	`create()`
`boolean`	`getKeepFiles()`
`int`	`getMinimumUnfolds()`
`double`	`getMultiplier()`
`Function<String,I>`	`getString2Input()`
`void`	`setKeepFiles(boolean keepFiles)`
`void`	`setMinimumUnfolds(int minimumUnfolds)`
`void`	`setMultiplier(double multiplier)`
`void`	`setString2Input(Function<String,I> string2Input)`
`LTSminLTLDFABuilder<I>`	`withKeepFiles(boolean keepFiles)`
`LTSminLTLDFABuilder<I>`	`withMinimumUnfolds(int minimumUnfolds)`
`LTSminLTLDFABuilder<I>`	`withMultiplier(double multiplier)`
`LTSminLTLDFABuilder<I>`	`withString2Input(Function<String,I> string2Input)`

public void setKeepFiles(boolean keepFiles)

public LTSminLTLDFABuilder<I> withKeepFiles(boolean keepFiles)

public Function<String,I> getString2Input()

public void setString2Input(Function<String,I> string2Input)

public LTSminLTLDFABuilder<I> withString2Input(Function<String,I> string2Input)

public void setMinimumUnfolds(int minimumUnfolds)

public LTSminLTLDFABuilder<I> withMinimumUnfolds(int minimumUnfolds)

public void setMultiplier(double multiplier)

public LTSminLTLDFABuilder<I> withMultiplier(double multiplier)

Class LTSminLTLDFABuilder<I>