save_unknown_subtype_as_approx

List of:	Options
Subjects:	Modeler Control, SAT Save and Restore
Contents:	Kernel

Action:

Sets how unknown subtypes are saved in old save file formats.

Name String:

save_unknown_subtype_as_approx

Scheme:

boolean

#f, #t

#f

Test Harness:

integer

0, 1

0

C++:

logical

FALSE, TRUE

FALSE

Description:

When on, saves unknown spl_sur or int_cur to old versions as an exact, based on the approximate information.

Example:

; save_unknown_subtype_as_approx

; Save unknowns as approximates

(option:set "save_unknown_subtype_as_approx" #t)

;; #f

PDF/KERN/40OPT.PDF
HTM/DATA/KERN/KERN/40OPT/0038.HTM