|
|
|
Performance-Related Settings |
|
|
|
|
Performance-Related Settings |
Property |
Values |
Default Value |
ConceptNamesGround |
on, off |
off |
AttributeNamesGround |
on, off |
off |
ModuleNamesGround |
on, off |
off |
WellfoundedEvaluation |
on, off |
off |
EliminateDuplicates |
on, off |
on |
BodyOrdering |
auto, off |
auto |
BodyOrderingDataFile |
= bodyordering.data |
- |