public class LemmataAutoModeOptions
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT_MAXRULES |
static int |
DEFAULT_TIMEOUT |
Constructor and Description |
---|
LemmataAutoModeOptions(CommandLine cl,
java.lang.String internalVersion) |
LemmataAutoModeOptions(CommandLine cl,
java.lang.String internalVersion,
java.lang.String homePath) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
createProofPath(Proof p) |
java.util.Collection<java.lang.String> |
getFilesForAxioms() |
java.lang.String |
getHomePath() |
java.lang.String |
getInternalVersion() |
int |
getMaxNumberOfRules() |
java.lang.String |
getPathOfDefinitionFile() |
java.lang.String |
getPathOfRuleFile() |
java.io.PrintStream |
getPrintStream() |
long |
getTimeout() |
boolean |
isSavingResultsToFile() |
java.lang.String |
toString() |
public static final int DEFAULT_TIMEOUT
public static final int DEFAULT_MAXRULES
public LemmataAutoModeOptions(CommandLine cl, java.lang.String internalVersion)
public LemmataAutoModeOptions(CommandLine cl, java.lang.String internalVersion, java.lang.String homePath)
public java.lang.String getPathOfDefinitionFile()
public java.lang.String getHomePath()
public boolean isSavingResultsToFile()
public java.lang.String getPathOfRuleFile()
public int getMaxNumberOfRules()
public long getTimeout()
public java.io.PrintStream getPrintStream()
public java.lang.String getInternalVersion()
public java.lang.String createProofPath(Proof p)
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Collection<java.lang.String> getFilesForAxioms()
Copyright © 2003-2019 The KeY-Project.