Class LTSminLTLDFABuilder<I>
- java.lang.Object
-
- net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder<I>
-
public final class LTSminLTLDFABuilder<I> extends Object
-
-
Constructor Summary
Constructors Constructor Description LTSminLTLDFABuilder()
-
Method Summary
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)
-
-
-
Method Detail
-
create
public LTSminLTLDFA<I> create()
-
getKeepFiles
public boolean getKeepFiles()
-
setKeepFiles
public void setKeepFiles(boolean keepFiles)
-
withKeepFiles
public LTSminLTLDFABuilder<I> withKeepFiles(boolean keepFiles)
-
withString2Input
public LTSminLTLDFABuilder<I> withString2Input(Function<String,I> string2Input)
-
getMinimumUnfolds
public int getMinimumUnfolds()
-
setMinimumUnfolds
public void setMinimumUnfolds(int minimumUnfolds)
-
withMinimumUnfolds
public LTSminLTLDFABuilder<I> withMinimumUnfolds(int minimumUnfolds)
-
getMultiplier
public double getMultiplier()
-
setMultiplier
public void setMultiplier(double multiplier)
-
withMultiplier
public LTSminLTLDFABuilder<I> withMultiplier(double multiplier)
-
-