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

Packages that use LTSminLTLIOBuilder

Package	Description
net.automatalib.modelchecker.ltsmin.ltl

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

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

Modifier and Type	Method	Description
LTSminLTLIOBuilder<I,O>	LTSminLTLIOBuilder.withKeepFiles(boolean keepFiles)
LTSminLTLIOBuilder<I,O>	LTSminLTLIOBuilder.withMinimumUnfolds(int minimumUnfolds)
LTSminLTLIOBuilder<I,O>	LTSminLTLIOBuilder.withMultiplier(double multiplier)
LTSminLTLIOBuilder<I,O>	LTSminLTLIOBuilder.withSkipOutputs(Collection<? super O> skipOutputs)
LTSminLTLIOBuilder<I,O>	LTSminLTLIOBuilder.withString2Input(Function<String,I> string2Input)
LTSminLTLIOBuilder<I,O>	LTSminLTLIOBuilder.withString2Output(Function<String,O> string2Output)