public class ProofSettings
extends java.lang.Object
// KeY-Configuration file
ActiveHeuristics=simplify_prog , simplify
MaximumNumberOfHeuristcsApplications=400
number = IntegerLDT.class
boolean = BooleanLDT.class
Modifier and Type | Class and Description |
---|---|
private class |
ProofSettings.ProofSettingsListener |
Modifier and Type | Field and Description |
---|---|
private static int |
CHOICE_SETTINGS |
static ProofSettings |
DEFAULT_SETTINGS |
private boolean |
initialized |
private ProofSettings.ProofSettingsListener |
listener
the default listener to settings
|
static java.io.File |
PROVER_CONFIG_FILE |
static java.net.URL |
PROVER_CONFIG_FILE_TEMPLATE |
private Settings[] |
settings
all setting objects in the following order: heuristicSettings
|
private static int |
SMT_SETTINGS |
private static int |
STRATEGY_SETTINGS |
Modifier | Constructor and Description |
---|---|
private |
ProofSettings()
create a proof settings object.
|
|
ProofSettings(ProofSettings toCopy) |
Modifier and Type | Method and Description |
---|---|
void |
ensureInitialized() |
ChoiceSettings |
getChoiceSettings()
returns the ChoiceSettings object
|
ProofDependentSMTSettings |
getSMTSettings()
returns the DecisionProcedureSettings object
|
StrategySettings |
getStrategySettings()
returns the StrategySettings object
|
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.
|
ProofSettings |
setChoiceSettings(ChoiceSettings cs) |
void |
settingsToStream(Settings[] s,
java.io.OutputStream 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
private boolean initialized
private Settings[] settings
private ProofSettings.ProofSettingsListener listener
private static final int STRATEGY_SETTINGS
private static final int CHOICE_SETTINGS
private static final int SMT_SETTINGS
private ProofSettings()
public ProofSettings(ProofSettings toCopy)
public void ensureInitialized()
public void settingsToStream(Settings[] s, java.io.OutputStream 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 ProofSettings setChoiceSettings(ChoiceSettings cs)
public ProofDependentSMTSettings getSMTSettings()
public static boolean isChoiceSettingInitialised()
true
settings are initialized, false
settings are
not initialized.public void update(java.util.Properties props)
p
- a non-null
object with KeY properties.