Modifier and Type | Method and Description |
---|---|
void |
InteractionListener.settingChanged(Proof proof,
Settings settings,
InteractionListener.SettingType type,
java.lang.String message) |
Modifier and Type | Class and Description |
---|---|
class |
ColorSettings
Configurable colors for KeY.
|
Modifier and Type | Class and Description |
---|---|
class |
ExtensionSettings |
Modifier and Type | Class and Description |
---|---|
class |
KeyStrokeSettings
A settings for storing and retrieving
KeyStroke s. |
Modifier and Type | Class and Description |
---|---|
class |
AbstractPropertiesSettings
A base class for own settings based on properties.
|
class |
ChoiceSettings |
class |
GeneralSettings |
class |
LemmaGeneratorSettings |
class |
NewSMTTranslationSettings |
class |
ProofDependentSMTSettings |
class |
ProofIndependentSMTSettings |
class |
StrategySettings |
class |
TermLabelSettings
Proof-dependent settings for
TermLabel s. |
class |
TestGenerationSettings |
class |
ViewSettings
This class encapsulates information about:
1) relative font size in the prover view
2) the maximal number of lines a tooltip with instantiated SchemaVariables
is allowed to have.
|
Modifier and Type | Method and Description |
---|---|
void |
ProofIndependentSettings.addSettings(Settings settings) |
void |
ProofSettings.addSettings(Settings settings) |
Modifier and Type | Method and Description |
---|---|
void |
InteractionRecorder.settingChanged(Proof proof,
Settings settings,
InteractionListener.SettingType type,
java.lang.String message) |
Copyright © 2003-2019 The KeY-Project.