public class TreeSettings extends java.lang.Object implements ITreeSettings
ITreeSettings
.Constructor and Description |
---|
TreeSettings(boolean mergeBranchConditions,
boolean useUnicode,
boolean usePrettyPrinting,
boolean variablesAreOnlyComputedFromUpdates,
boolean simplifyConditions)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isMergeBranchConditions()
Checks if multiple branch conditions are merged or not.
|
boolean |
isSimplifyConditions()
Checks if conditions should be simplified or not.
|
boolean |
isUsePrettyPrinting()
Checks if pretty printing is used or not.
|
boolean |
isUseUnicode()
Checks if unicode characters are used.
|
boolean |
isVariablesAreOnlyComputedFromUpdates()
Checks how variables are computed.
|
public TreeSettings(boolean mergeBranchConditions, boolean useUnicode, boolean usePrettyPrinting, boolean variablesAreOnlyComputedFromUpdates, boolean simplifyConditions)
mergeBranchConditions
- true
merge branch conditions which means that a branch condition never contains another branch condition or false
allow that branch conditions contains branch conditions.useUnicode
- true
use unicode characters, false
do not use unicode characters.usePrettyPrinting
- true
use pretty printing, false
do not use pretty printing.variablesAreOnlyComputedFromUpdates
- true
IExecutionVariable
are only computed from updates, false
IExecutionVariable
s are computed according to the type structure of the visible memory.simplifyConditions
- true
simplify conditions, false
do not simplify conditions.public boolean isMergeBranchConditions()
isMergeBranchConditions
in interface ITreeSettings
true
merge branch conditions which means that a branch condition never contains another branch condition
or false
allow that branch conditions contains branch conditions.public boolean isUseUnicode()
isUseUnicode
in interface ITreeSettings
true
use unicode characters, false
do not use unicode characters.public boolean isUsePrettyPrinting()
isUsePrettyPrinting
in interface ITreeSettings
true
use pretty printing, false
do not use pretty printing.public boolean isVariablesAreOnlyComputedFromUpdates()
isVariablesAreOnlyComputedFromUpdates
in interface ITreeSettings
true
IExecutionVariable
are only computed from updates, false
IExecutionVariable
s are computed according to the type structure of the visible memory.public boolean isSimplifyConditions()
isSimplifyConditions
in interface ITreeSettings
true
simplify conditions, false
do not simplify conditions.Copyright © 2003-2019 The KeY-Project.