public class ModelSettings extends java.lang.Object implements IModelSettings
IModelSettings
.Constructor and Description |
---|
ModelSettings(boolean useUnicode,
boolean usePrettyPrinting,
boolean simplifyConditions)
Constructor.
|
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.
|
public ModelSettings(boolean useUnicode, boolean usePrettyPrinting, boolean simplifyConditions)
useUnicode
- true
use unicode characters, false
do not use unicode characters.usePrettyPrinting
- true
use pretty printing, false
do not use pretty printing.simplifyConditions
- true
simplify conditions, false
do not simplify conditions.public boolean isUseUnicode()
isUseUnicode
in interface IModelSettings
true
use unicode characters, false
do not use unicode characters.public boolean isUsePrettyPrinting()
isUsePrettyPrinting
in interface IModelSettings
true
use pretty printing, false
do not use pretty printing.public boolean isSimplifyConditions()
isSimplifyConditions
in interface IModelSettings
true
simplify conditions, false
do not simplify conditions.Copyright © 2003-2019 The KeY-Project.