Package | Description |
---|---|
de.uka.ilkd.key.proof.io |
Classes related to loading and saving proof files.
|
de.uka.ilkd.key.settings |
Modifier and Type | Field and Description |
---|---|
static SettingsListener |
AutoSaver.settingsListener |
Modifier and Type | Field and Description |
---|---|
protected java.util.List<SettingsListener> |
AbstractPropertiesSettings.listenerList |
Modifier and Type | Method and Description |
---|---|
void |
SMTSettings.addListener(SettingsListener listener) |
void |
ProofDependentSMTSettings.addSettingsListener(SettingsListener l) |
void |
GeneralSettings.addSettingsListener(SettingsListener l)
adds a listener to the settings object
|
void |
ProofIndependentSMTSettings.addSettingsListener(SettingsListener l) |
void |
LemmaGeneratorSettings.addSettingsListener(SettingsListener l) |
void |
Settings.addSettingsListener(SettingsListener l)
adds a listener to the settings object
|
void |
StrategySettings.addSettingsListener(SettingsListener l)
adds a listener to the settings object
|
void |
AbstractPropertiesSettings.addSettingsListener(SettingsListener l) |
void |
ChoiceSettings.addSettingsListener(SettingsListener l)
adds a listener to the settings object
|
void |
TermLabelSettings.addSettingsListener(SettingsListener l) |
void |
NewSMTTranslationSettings.addSettingsListener(SettingsListener l) |
void |
TestGenerationSettings.addSettingsListener(SettingsListener l) |
void |
ProofDependentSMTSettings.removeSettingsListener(SettingsListener l) |
void |
GeneralSettings.removeSettingsListener(SettingsListener l)
removes the listener from the settings object
|
void |
ProofIndependentSMTSettings.removeSettingsListener(SettingsListener l) |
void |
LemmaGeneratorSettings.removeSettingsListener(SettingsListener l) |
void |
Settings.removeSettingsListener(SettingsListener l)
removes a listener to the settings object
|
void |
StrategySettings.removeSettingsListener(SettingsListener l) |
void |
AbstractPropertiesSettings.removeSettingsListener(SettingsListener l) |
void |
ChoiceSettings.removeSettingsListener(SettingsListener l) |
void |
TermLabelSettings.removeSettingsListener(SettingsListener l)
Removes a listener from this settings object.
|
void |
NewSMTTranslationSettings.removeSettingsListener(SettingsListener l) |
void |
TestGenerationSettings.removeSettingsListener(SettingsListener l) |
Copyright © 2003-2019 The KeY-Project.