de.uka.ilkd.key.symbolic_execution.model

Interface ITreeSettings

All Known Implementing Classes:

TreeSettings

public interface ITreeSettings

Provides the settings used to construct the symbolic execution tree.

Author:

Martin Hentschel

Method Summary

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.

Method Detail

isMergeBranchConditions

boolean isMergeBranchConditions()

Checks if multiple branch conditions are merged or not.

Returns:

true merge branch conditions which means that a branch condition never contains another branch condition or false allow that branch conditions contains branch conditions.

isUseUnicode

boolean isUseUnicode()

Checks if unicode characters are used.

Returns:

true use unicode characters, false do not use unicode characters.

isUsePrettyPrinting

boolean isUsePrettyPrinting()

Checks if pretty printing is used or not.

Returns:

true use pretty printing, false do not use pretty printing.

isVariablesAreOnlyComputedFromUpdates

boolean isVariablesAreOnlyComputedFromUpdates()

Checks how variables are computed.

Returns:

true IExecutionVariable are only computed from updates, false IExecutionVariables are computed according to the type structure of the visible memory.

isSimplifyConditions

boolean isSimplifyConditions()

Checks if conditions should be simplified or not.

Returns:

true simplify conditions, false do not simplify conditions.