net.automatalib.modelcheckers.ltsmin

Class AbstractLTSmin.BuilderDefaults

java.lang.Object

net.automatalib.modelcheckers.ltsmin.AbstractLTSmin.BuilderDefaults

Enclosing class:

AbstractLTSmin<I,A,R>

public static final class AbstractLTSmin.BuilderDefaults
extends Object

Method Summary

Modifier and Type	Method and Description
static boolean	keepFiles()

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()