Modifier and Type | Class and Description |
---|---|
static class |
ProofIndependentSMTSettings.SolverData |
Modifier and Type | Field and Description |
---|---|
java.lang.String |
activeSolver |
boolean |
checkForSupport |
long |
heapBound |
long |
intBound |
long |
locsetBound |
int |
maxConcurrentProcesses |
int |
modeOfProgressDialog |
long |
objectBound |
java.lang.String |
pathForSMTTranslation |
java.lang.String |
pathForTacletTranslation |
static int |
PROGRESS_MODE_CLOSE |
static int |
PROGRESS_MODE_CLOSE_FIRST |
static int |
PROGRESS_MODE_USER |
long |
seqBound |
boolean |
showResultsAfterExecution |
boolean |
storeSMTTranslationToFile |
boolean |
storeTacletTranslationToFile |
long |
timeout |
Modifier and Type | Method and Description |
---|---|
void |
addSettingsListener(SettingsListener l)
adds a listener to the settings object
|
ProofIndependentSMTSettings |
clone() |
SolverTypeCollection |
computeActiveSolverUnion() |
void |
copy(ProofIndependentSMTSettings data) |
void |
fireSettingsChanged() |
java.lang.String |
getCommand(SolverType type) |
java.util.Collection<ProofIndependentSMTSettings.SolverData> |
getDataOfSolvers() |
static ProofIndependentSMTSettings |
getDefaultSettingsData() |
int |
getMaxConcurrentProcesses() |
java.lang.String |
getParameters(SolverType type) |
java.util.Collection<SolverTypeCollection> |
getSolverUnions(boolean experimental) |
java.util.Collection<SolverType> |
getSupportedSolvers() |
java.util.Collection<SolverTypeCollection> |
getUsableSolverUnions(boolean experimental) |
void |
readSettings(java.util.Properties props)
gets a Properties object and has to perform the necessary
steps in order to change this object in a way that it
represents the stored settings
|
void |
removeSettingsListener(SettingsListener l)
removes a listener to the settings object
|
void |
setActiveSolverUnion(SolverTypeCollection solverUnion) |
void |
setCommand(SolverType type,
java.lang.String command) |
void |
setMaxConcurrentProcesses(int maxConcurrentProcesses) |
void |
setParameters(SolverType type,
java.lang.String parameters) |
void |
writeSettings(java.util.Properties props)
The settings to store are written to the given Properties object.
|
public static final int PROGRESS_MODE_USER
public static final int PROGRESS_MODE_CLOSE
public static final int PROGRESS_MODE_CLOSE_FIRST
public boolean showResultsAfterExecution
public boolean storeSMTTranslationToFile
public boolean storeTacletTranslationToFile
public long timeout
public int maxConcurrentProcesses
public int modeOfProgressDialog
public java.lang.String pathForSMTTranslation
public java.lang.String pathForTacletTranslation
public java.lang.String activeSolver
public long intBound
public long heapBound
public long seqBound
public long objectBound
public long locsetBound
public boolean checkForSupport
public int getMaxConcurrentProcesses()
public void setMaxConcurrentProcesses(int maxConcurrentProcesses)
public void copy(ProofIndependentSMTSettings data)
public static ProofIndependentSMTSettings getDefaultSettingsData()
public java.util.Collection<SolverType> getSupportedSolvers()
public java.lang.String getCommand(SolverType type)
public java.lang.String getParameters(SolverType type)
public void setCommand(SolverType type, java.lang.String command)
public void setParameters(SolverType type, java.lang.String parameters)
public java.util.Collection<ProofIndependentSMTSettings.SolverData> getDataOfSolvers()
public ProofIndependentSMTSettings clone()
clone
in class java.lang.Object
public void readSettings(java.util.Properties props)
Settings
readSettings
in interface Settings
public void writeSettings(java.util.Properties props)
Settings
writeSettings
in interface Settings
props
- the Properties object where to write the settings as (key, value) pairpublic void setActiveSolverUnion(SolverTypeCollection solverUnion)
public SolverTypeCollection computeActiveSolverUnion()
public java.util.Collection<SolverTypeCollection> getUsableSolverUnions(boolean experimental)
public java.util.Collection<SolverTypeCollection> getSolverUnions(boolean experimental)
public void fireSettingsChanged()
public void addSettingsListener(SettingsListener l)
Settings
addSettingsListener
in interface Settings
l
- the listenerpublic void removeSettingsListener(SettingsListener l)
Settings
removeSettingsListener
in interface Settings
l
- the listenerCopyright © 2003-2019 The KeY-Project.