de.uka.ilkd.key.settings

Class ProofDependentSMTSettings

java.lang.Object

de.uka.ilkd.key.settings.ProofDependentSMTSettings

All Implemented Interfaces:

Settings, java.lang.Cloneable

public class ProofDependentSMTSettings
extends java.lang.Object
implements Settings, java.lang.Cloneable

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ProofDependentSMTSettings()
private	ProofDependentSMTSettings(ProofDependentSMTSettings data)

Method Summary

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.

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EXPLICIT_TYPE_HIERARCHY

private static final java.lang.String EXPLICIT_TYPE_HIERARCHY

See Also:

Constant Field Values

INSTANTIATE_NULL_PREDICATES

private static final java.lang.String INSTANTIATE_NULL_PREDICATES

See Also:

Constant Field Values

MAX_GENERIC_SORTS

private static final java.lang.String MAX_GENERIC_SORTS

See Also:

Constant Field Values

TACLET_SELECTION

private static final java.lang.String TACLET_SELECTION

See Also:

Constant Field Values

USE_BUILT_IN_UNIQUENESS

private static final java.lang.String USE_BUILT_IN_UNIQUENESS

See Also:

Constant Field Values

USE_UNINTERPRETED_MULTIPLICATION

private static final java.lang.String USE_UNINTERPRETED_MULTIPLICATION

See Also:

Constant Field Values

USE_CONSTANTS_FOR_BIGSMALL_INTEGERS

private static final java.lang.String USE_CONSTANTS_FOR_BIGSMALL_INTEGERS

See Also:

Constant Field Values

INTEGERS_MAXIMUM

private static final java.lang.String INTEGERS_MAXIMUM

See Also:

Constant Field Values

INTEGERS_MINIMUM

private static final java.lang.String INTEGERS_MINIMUM

See Also:

Constant Field Values

INVARIANT_FORALL

private static final java.lang.String INVARIANT_FORALL

See Also:

Constant Field Values

listeners

private java.util.Collection<SettingsListener> listeners

useExplicitTypeHierarchy

public boolean useExplicitTypeHierarchy

useNullInstantiation

public boolean useNullInstantiation

useBuiltInUniqueness

public boolean useBuiltInUniqueness

useUIMultiplication

public boolean useUIMultiplication

useConstantsForIntegers

public boolean useConstantsForIntegers

invariantForall

public boolean invariantForall

maxGenericSorts

public int maxGenericSorts

maxInteger

public long maxInteger

minInteger

public long minInteger

supportedTaclets

public SupportedTaclets supportedTaclets

DEFAULT_DATA

private static final ProofDependentSMTSettings DEFAULT_DATA

Constructor Detail

ProofDependentSMTSettings

private ProofDependentSMTSettings()

ProofDependentSMTSettings

private ProofDependentSMTSettings(ProofDependentSMTSettings data)

Method Detail

copy

public void copy(ProofDependentSMTSettings data)

getDefaultSettingsData

public static ProofDependentSMTSettings getDefaultSettingsData()

clone

public ProofDependentSMTSettings clone()

Overrides:

clone in class java.lang.Object

readSettings

public void readSettings(java.lang.Object sender,
                         java.util.Properties props)

Description copied from interface: Settings

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.

Specified by:

readSettings in interface Settings

writeSettings

public void writeSettings(java.lang.Object sender,
                          java.util.Properties props)

Description copied from interface: Settings

The settings to store are written to the given Properties object.

Specified by:

writeSettings in interface Settings

props - the Properties object where to write the settings as (key, value) pair sender is the object calling this method.

fireSettingsChanged

public void fireSettingsChanged()

addSettingsListener

public void addSettingsListener(SettingsListener l)

Description copied from interface: Settings

adds a listener to the settings object

Specified by:

addSettingsListener in interface Settings

Parameters:

l - the listener