public class ProofIndependentSettings
extends java.lang.Object
You can add your own settings by calling addSettings(Settings)
.
Settings
Modifier and Type | Field and Description |
---|---|
static ProofIndependentSettings |
DEFAULT_INSTANCE |
Modifier and Type | Method and Description |
---|---|
void |
addSettings(Settings settings) |
GeneralSettings |
getGeneralSettings() |
LemmaGeneratorSettings |
getLemmaGeneratorSettings() |
ProofIndependentSMTSettings |
getSMTSettings() |
TermLabelSettings |
getTermLabelSettings() |
ViewSettings |
getViewSettings() |
static boolean |
isUsePrettyPrinting()
Checks if pretty printing is enabled or not.
|
void |
saveSettings() |
static void |
setUsePrettyPrinting(boolean usePrettyPrinting)
Defines if pretty printing is enabled or not.
|
public static final ProofIndependentSettings DEFAULT_INSTANCE
public void addSettings(Settings settings)
public void saveSettings()
public GeneralSettings getGeneralSettings()
public TermLabelSettings getTermLabelSettings()
public ViewSettings getViewSettings()
public LemmaGeneratorSettings getLemmaGeneratorSettings()
public ProofIndependentSMTSettings getSMTSettings()
public static boolean isUsePrettyPrinting()
true
pretty printing is enabled, false
pretty printing is disabled.public static void setUsePrettyPrinting(boolean usePrettyPrinting)
usePrettyPrinting
- true
pretty printing is enabled,
false
pretty printing is disabled.Copyright © 2003-2019 The KeY-Project.