Modifier and Type | Field and Description |
---|---|
boolean |
invariantForall |
int |
maxGenericSorts |
long |
maxInteger |
long |
minInteger |
SupportedTaclets |
supportedTaclets |
boolean |
useBuiltInUniqueness |
boolean |
useConstantsForIntegers |
boolean |
useExplicitTypeHierarchy |
boolean |
useNullInstantiation |
boolean |
useUIMultiplication |
Modifier and Type | Method and Description |
---|---|
void |
addSettingsListener(SettingsListener l)
adds a listener to the settings object
|
ProofDependentSMTSettings |
clone() |
void |
copy(ProofDependentSMTSettings data) |
void |
fireSettingsChanged() |
static ProofDependentSMTSettings |
getDefaultSettingsData() |
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 |
writeSettings(java.util.Properties props)
The settings to store are written to the given Properties object.
|
public boolean useExplicitTypeHierarchy
public boolean useNullInstantiation
public boolean useBuiltInUniqueness
public boolean useUIMultiplication
public boolean useConstantsForIntegers
public boolean invariantForall
public int maxGenericSorts
public long maxInteger
public long minInteger
public SupportedTaclets supportedTaclets
public void copy(ProofDependentSMTSettings data)
public static ProofDependentSMTSettings getDefaultSettingsData()
public ProofDependentSMTSettings 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 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.