Package | Description |
---|---|
de.uka.ilkd.key.control | |
de.uka.ilkd.key.gui.actions | |
de.uka.ilkd.key.gui.colors | |
de.uka.ilkd.key.gui.configuration |
This package contains classes to do with the configuration / settings of KeY.
|
de.uka.ilkd.key.gui.extension.impl | |
de.uka.ilkd.key.gui.keyshortcuts | |
de.uka.ilkd.key.gui.settings |
This package provides a facility for a settings UI.
|
de.uka.ilkd.key.gui.smt |
This package contains the graphical user interface of the SMT backend.
|
de.uka.ilkd.key.gui.smt.settings | |
de.uka.ilkd.key.gui.testgen |
This package contains the graphical user interface of the test generation backend.
|
de.uka.ilkd.key.nparser | |
de.uka.ilkd.key.proof |
This package contains the core data structures of proofs, nodes, goals, as well
as machinery to deal with these data structures.
|
de.uka.ilkd.key.proof.init |
This package contains classes handling prover initialisation.
|
de.uka.ilkd.key.proof.io |
Classes related to loading and saving proof files.
|
de.uka.ilkd.key.prover | |
de.uka.ilkd.key.prover.impl | |
de.uka.ilkd.key.settings | |
de.uka.ilkd.key.smt.counterexample | |
org.key_project.ui.interactionlog |
Class and Description |
---|
Settings
This interface is implemented by classes that are used to store
settings for different proposes (like active heuristics, which LDTs
to use etc.)
|
Class and Description |
---|
ProofIndependentSettings
Top of the proof independent settings.
|
ProofSettings
This class is used to load and save settings for proofs such as which data
type models are used to represent the java types.
|
Class and Description |
---|
AbstractPropertiesSettings
A base class for own settings based on properties.
|
AbstractPropertiesSettings.PropertyEntry |
Settings
This interface is implemented by classes that are used to store
settings for different proposes (like active heuristics, which LDTs
to use etc.)
|
Class and Description |
---|
ChoiceSettings |
Class and Description |
---|
AbstractPropertiesSettings
A base class for own settings based on properties.
|
AbstractPropertiesSettings.PropertyEntry |
Settings
This interface is implemented by classes that are used to store
settings for different proposes (like active heuristics, which LDTs
to use etc.)
|
Class and Description |
---|
AbstractPropertiesSettings
A base class for own settings based on properties.
|
Settings
This interface is implemented by classes that are used to store
settings for different proposes (like active heuristics, which LDTs
to use etc.)
|
Class and Description |
---|
ChoiceSettings |
NewSMTTranslationSettings |
ProofDependentSMTSettings |
ProofIndependentSMTSettings |
Class and Description |
---|
SMTSettings |
Class and Description |
---|
ProofIndependentSMTSettings |
Class and Description |
---|
SMTSettings |
Class and Description |
---|
ProofSettings
This class is used to load and save settings for proofs such as which data
type models are used to represent the java types.
|
Class and Description |
---|
ProofIndependentSettings
Top of the proof independent settings.
|
ProofSettings
This class is used to load and save settings for proofs such as which data
type models are used to represent the java types.
|
Class and Description |
---|
ProofSettings
This class is used to load and save settings for proofs such as which data
type models are used to represent the java types.
|
Class and Description |
---|
ProofSettings
This class is used to load and save settings for proofs such as which data
type models are used to represent the java types.
|
SettingsListener
This interface is implemented by objects that listen to settings
object.
|
Class and Description |
---|
StrategySettings |
Class and Description |
---|
StrategySettings |
Class and Description |
---|
AbstractPropertiesSettings
A base class for own settings based on properties.
|
AbstractPropertiesSettings.PropertyEntry |
ChoiceSettings |
GeneralSettings |
LemmaGeneratorSettings |
NewSMTTranslationSettings |
ProofDependentSMTSettings |
ProofIndependentSettings
Top of the proof independent settings.
|
ProofIndependentSMTSettings |
ProofIndependentSMTSettings.SolverData |
ProofSettings
This class is used to load and save settings for proofs such as which data
type models are used to represent the java types.
|
Settings
This interface is implemented by classes that are used to store
settings for different proposes (like active heuristics, which LDTs
to use etc.)
|
SettingsListener
This interface is implemented by objects that listen to settings
object.
|
SMTSettings |
StrategySettings |
TermLabelSettings
Proof-dependent settings for
TermLabel s. |
TestGenerationSettings |
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.
|
Class and Description |
---|
SMTSettings |
Class and Description |
---|
Settings
This interface is implemented by classes that are used to store
settings for different proposes (like active heuristics, which LDTs
to use etc.)
|
Copyright © 2003-2019 The KeY-Project.