Uses of Class
net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLDFABuilder

Packages that use LTSminLTLDFABuilder

Package	Description
net.automatalib.modelchecker.ltsmin.ltl

Uses of LTSminLTLDFABuilder in net.automatalib.modelchecker.ltsmin.ltl

Methods in net.automatalib.modelchecker.ltsmin.ltl that return LTSminLTLDFABuilder

Modifier and Type	Method	Description
LTSminLTLDFABuilder<I>	LTSminLTLDFABuilder.withKeepFiles(boolean keepFiles)
LTSminLTLDFABuilder<I>	LTSminLTLDFABuilder.withMinimumUnfolds(int minimumUnfolds)
LTSminLTLDFABuilder<I>	LTSminLTLDFABuilder.withMultiplier(double multiplier)
LTSminLTLDFABuilder<I>	LTSminLTLDFABuilder.withString2Input(Function<String,I> string2Input)