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.
|