Previous topic  Top  Next topic  Print this Topic
 

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

-