sequence_save_files

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

Action:

Sets sequence numbers in save files.

Name String:

sequence_save_files

Scheme:

boolean

#f, #t

#f

Test Harness:

integer

0, 1

0

C++:

logical

FALSE, TRUE

FALSE

Description:

When on, enables the writing of sequence numbers in .sat files

Example:

; sequence_save_files

; Write sequence numbers to save file

(option:set "sequence_save_files" #t)

;; #f

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