|
| |
|
| java.lang.Object
 de.uka.ilkd.key.gui.configuration.ProofSettings
| ProofSettings | | public class ProofSettings (Code) | | This class is used to load and save settings for proofs such as
which data type models are used to represent the java types. Which
heuristics have to be loaded and so on.
The class loads the file proofsettings.config from the place where
you started key. If the file is not available standard settings are
used.
The loaded file has the following structure:
// KeY-Configuration file
ActiveHeuristics=simplify_prog , simplify
MaximumNumberOfHeuristcsApplications=400
number = IntegerLDT.class
boolean = BooleanLDT.class
|
| PROVER_CONFIG_FILE | | final public static File PROVER_CONFIG_FILE(Code) | | |
| PROVER_CONFIG_FILE_TEMPLATE | | final public static URL PROVER_CONFIG_FILE_TEMPLATE(Code) | | |
| ProofSettings | | public ProofSettings()(Code) | | create a proof settings object
|
| ensureInitialized | | public void ensureInitialized()(Code) | | |
| getChoiceSettings | | public ChoiceSettings getChoiceSettings()(Code) | | returns the ChoiceSettings object
the ChoiceSettings object |
| getDecisionProcedureSettings | | public DecisionProcedureSettings getDecisionProcedureSettings()(Code) | | returns the DecisionProcedureSettings object
the DecisionProcedureSettings object |
| getStrategySettings | | public StrategySettings getStrategySettings()(Code) | | returns the StrategySettings object
the StrategySettings object |
| loadSettings | | public void loadSettings()(Code) | | Loads the the former settings from configuration file.
|
| loadSettingsFromStream | | public void loadSettingsFromStream(InputStream in)(Code) | | Used by loadSettings() and loadSettingsFromString(...)
|
| loadSettingsFromString | | public void loadSettingsFromString(String s)(Code) | | Used to load Settings from a .key file
|
| saveSettings | | public void saveSettings()(Code) | | Saves the current settings in this dialog into a configuration file.
|
|
|
|