public class ProofSettings
extends java.lang.Object
// KeY-Configuration file
ActiveHeuristics=simplify_prog , simplify
MaximumNumberOfHeuristcsApplications=400
number = IntegerLDT.class
boolean = BooleanLDT.class
Properties
,
Settings
Modifier and Type | Field and Description |
---|---|
static ProofSettings |
DEFAULT_SETTINGS |
static java.io.File |
PROVER_CONFIG_FILE |
static java.net.URL |
PROVER_CONFIG_FILE_TEMPLATE |
Constructor and Description |
---|
ProofSettings(ProofSettings toCopy) |
Modifier and Type | Method and Description |
---|---|
void |
addSettings(Settings settings) |
ChoiceSettings |
getChoiceSettings()
returns the ChoiceSettings object
|
NewSMTTranslationSettings |
getNewSMTSettings() |
java.util.Properties |
getProperties() |
ProofDependentSMTSettings |
getSMTSettings()
returns the DecisionProcedureSettings object
|
StrategySettings |
getStrategySettings()
returns the StrategySettings object
|
TermLabelSettings |
getTermLabelSettings()
Returns the term label settings from the proof settings.
|
static boolean |
isChoiceSettingInitialised()
Checks if the choice settings are initialized.
|
void |
loadSettings()
Loads the the former settings from configuration file.
|
void |
loadSettingsFromStream(java.io.Reader in)
Used by loadSettings() and loadSettingsFromString(...)
|
void |
loadSettingsFromString(java.lang.String s)
Used to load Settings from a .key file
|
void |
saveSettings()
Saves the current settings in this dialog into a configuration file.
|
void |
settingsToStream(java.io.Writer out)
Used by saveSettings() and settingsToString()
|
java.lang.String |
settingsToString() |
void |
update(java.util.Properties props)
Update the proof settings according to the entries on the properties.
|
public static final java.io.File PROVER_CONFIG_FILE
public static final java.net.URL PROVER_CONFIG_FILE_TEMPLATE
public static final ProofSettings DEFAULT_SETTINGS
public ProofSettings(ProofSettings toCopy)
public void addSettings(Settings settings)
public java.util.Properties getProperties()
public void settingsToStream(java.io.Writer out)
public void saveSettings()
public java.lang.String settingsToString()
public void loadSettingsFromStream(java.io.Reader in)
public void loadSettings()
public void loadSettingsFromString(java.lang.String s)
public StrategySettings getStrategySettings()
public ChoiceSettings getChoiceSettings()
public ProofDependentSMTSettings getSMTSettings()
public NewSMTTranslationSettings getNewSMTSettings()
public static boolean isChoiceSettingInitialised()
true
settings are initialized, false
settings are
not initialized.public void update(java.util.Properties props)
props
- a non-null
object with KeY properties.public TermLabelSettings getTermLabelSettings()
Copyright © 2003-2019 The KeY-Project.