de.uka.ilkd.key.settings

Interfaces

• Settings
• SettingsListener

Classes

• ChoiceSettings
• GeneralSettings
• LemmaGeneratorSettings
• PathConfig
• ProofDependentSMTSettings
• ProofIndependentSettings
• ProofIndependentSMTSettings
• ProofIndependentSMTSettings.SolverData
• ProofSettings
• SettingsConverter
• SMTSettings
• StrategySettings
• TestGenerationSettings
• ViewSettings