public final class LTSminLTLDFABuilder<I> extends Object
Constructor and Description |
---|
LTSminLTLDFABuilder() |
Modifier and Type | Method and 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 LTSminLTLDFA<I> create()
public boolean getKeepFiles()
public void setKeepFiles(boolean keepFiles)
public LTSminLTLDFABuilder<I> withKeepFiles(boolean keepFiles)
public LTSminLTLDFABuilder<I> withString2Input(Function<String,I> string2Input)
public int getMinimumUnfolds()
public void setMinimumUnfolds(int minimumUnfolds)
public LTSminLTLDFABuilder<I> withMinimumUnfolds(int minimumUnfolds)
public double getMultiplier()
public void setMultiplier(double multiplier)
public LTSminLTLDFABuilder<I> withMultiplier(double multiplier)
Copyright © 2020. All rights reserved.