public interface ITreeSettings
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.
|
boolean isMergeBranchConditions()
true
merge branch conditions which means that a branch condition never contains another branch condition
or false
allow that branch conditions contains branch conditions.boolean isUseUnicode()
true
use unicode characters, false
do not use unicode characters.boolean isUsePrettyPrinting()
true
use pretty printing, false
do not use pretty printing.boolean isVariablesAreOnlyComputedFromUpdates()
true
IExecutionVariable
are only computed from updates, false
IExecutionVariable
s are computed according to the type structure of the visible memory.boolean isSimplifyConditions()
true
simplify conditions, false
do not simplify conditions.