| Interface | 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.)
|
| SettingsListener |
This interface is implemented by objects that listen to settings
object.
|
| Class | Description |
|---|---|
| ChoiceSettings | |
| GeneralSettings | |
| LemmaGeneratorSettings | |
| PathConfig |
Keeps some central paths to files and directories.
|
| ProofDependentSMTSettings | |
| ProofIndependentSettings | |
| 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.
|
| SettingsConverter | |
| SMTSettings | |
| StrategySettings | |
| 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.
|