Uses of Class
net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder
-
Packages that use LTSminLTLAlternatingBuilder Package Description net.automatalib.modelchecker.ltsmin.ltl -
-
Uses of LTSminLTLAlternatingBuilder in net.automatalib.modelchecker.ltsmin.ltl
Methods in net.automatalib.modelchecker.ltsmin.ltl that return LTSminLTLAlternatingBuilder Modifier and Type Method Description LTSminLTLAlternatingBuilder<I,O>LTSminLTLAlternatingBuilder. withKeepFiles(boolean keepFiles)LTSminLTLAlternatingBuilder<I,O>LTSminLTLAlternatingBuilder. withMinimumUnfolds(int minimumUnfolds)LTSminLTLAlternatingBuilder<I,O>LTSminLTLAlternatingBuilder. withMultiplier(double multiplier)LTSminLTLAlternatingBuilder<I,O>LTSminLTLAlternatingBuilder. withSkipOutputs(Collection<? super O> skipOutputs)LTSminLTLAlternatingBuilder<I,O>LTSminLTLAlternatingBuilder. withString2Input(Function<String,I> string2Input)LTSminLTLAlternatingBuilder<I,O>LTSminLTLAlternatingBuilder. withString2Output(Function<String,O> string2Output)
-