de.uka.ilkd.key.symbolic_execution.object_model

Interface IModelSettings

All Known Implementing Classes:

ModelSettings

public interface IModelSettings

Provides the settings used to construct a symbolic object model.

Author:

Martin Hentschel

Method Summary

Modifier and Type	Method and Description
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.

Method Detail

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.

isSimplifyConditions

boolean isSimplifyConditions()

Checks if conditions should be simplified or not.

Returns:

true simplify conditions, false do not simplify conditions.