Modifier and Type | Field and Description |
---|---|
private static ProofDependentSMTSettings |
DEFAULT_DATA |
private static java.lang.String |
EXPLICIT_TYPE_HIERARCHY |
private static java.lang.String |
INSTANTIATE_NULL_PREDICATES |
private static java.lang.String |
INTEGERS_MAXIMUM |
private static java.lang.String |
INTEGERS_MINIMUM |
private static java.lang.String |
INVARIANT_FORALL |
boolean |
invariantForall |
private java.util.Collection<SettingsListener> |
listeners |
private static java.lang.String |
MAX_GENERIC_SORTS |
int |
maxGenericSorts |
long |
maxInteger |
long |
minInteger |
SupportedTaclets |
supportedTaclets |
private static java.lang.String |
TACLET_SELECTION |
private static java.lang.String |
USE_BUILT_IN_UNIQUENESS |
private static java.lang.String |
USE_CONSTANTS_FOR_BIGSMALL_INTEGERS |
private static java.lang.String |
USE_UNINTERPRETED_MULTIPLICATION |
boolean |
useBuiltInUniqueness |
boolean |
useConstantsForIntegers |
boolean |
useExplicitTypeHierarchy |
boolean |
useNullInstantiation |
boolean |
useUIMultiplication |
Modifier | Constructor and Description |
---|---|
private |
ProofDependentSMTSettings() |
private |
ProofDependentSMTSettings(ProofDependentSMTSettings data) |
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.lang.Object sender,
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
sender is the object calling this method. |
void |
writeSettings(java.lang.Object sender,
java.util.Properties props)
The settings to store are written to the given Properties object.
|
private static final java.lang.String EXPLICIT_TYPE_HIERARCHY
private static final java.lang.String INSTANTIATE_NULL_PREDICATES
private static final java.lang.String MAX_GENERIC_SORTS
private static final java.lang.String TACLET_SELECTION
private static final java.lang.String USE_BUILT_IN_UNIQUENESS
private static final java.lang.String USE_UNINTERPRETED_MULTIPLICATION
private static final java.lang.String USE_CONSTANTS_FOR_BIGSMALL_INTEGERS
private static final java.lang.String INTEGERS_MAXIMUM
private static final java.lang.String INTEGERS_MINIMUM
private static final java.lang.String INVARIANT_FORALL
private java.util.Collection<SettingsListener> listeners
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
private static final ProofDependentSMTSettings DEFAULT_DATA
private ProofDependentSMTSettings()
private ProofDependentSMTSettings(ProofDependentSMTSettings data)
public void copy(ProofDependentSMTSettings data)
public static ProofDependentSMTSettings getDefaultSettingsData()
public ProofDependentSMTSettings clone()
clone
in class java.lang.Object
public void readSettings(java.lang.Object sender, java.util.Properties props)
Settings
sender
is the object calling this method.readSettings
in interface Settings
public void writeSettings(java.lang.Object sender, java.util.Properties props)
Settings
writeSettings
in interface Settings
props
- the Properties object where to write the settings as (key, value) pair
sender
is the object calling this method.public void fireSettingsChanged()
public void addSettingsListener(SettingsListener l)
Settings
addSettingsListener
in interface Settings
l
- the listener