net.automatalib.modelcheckers.ltsmin.ltl

Class AbstractLTSminLTL.BuilderDefaults

java.lang.Object

net.automatalib.modelcheckers.ltsmin.ltl.AbstractLTSminLTL.BuilderDefaults

Enclosing class:

AbstractLTSminLTL<I,A,L extends Lasso<I,?>>

public static final class AbstractLTSminLTL.BuilderDefaults
extends Object

Method Summary

Modifier and Type	Method and Description
static boolean	keepFiles()
static int	minimumUnfolds()
static double	multiplier()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

keepFiles

public static boolean keepFiles()

minimumUnfolds

public static int minimumUnfolds()

multiplier

public static double multiplier()