save_entity_count |
List of: | Options | |
Subjects: | Modeler Control, SAT Save and Restore | |
Contents: | Kernel |
Action: | Sets writing the entity count to the save file. | |||||||||||||||||||
Name String: |
|
|||||||||||||||||||
Scheme: | boolean | #f, #t | #f | |||||||||||||||||
Test Harness: | integer | 0, 1 | 0 | |||||||||||||||||
C++: | logical | FALSE, TRUE | FALSE | |||||||||||||||||
Description: | When on, forces the number of entities saved to be written to the file header. Thus, when on, the save procedure must reposition the file, so you may not be able to save to some targets. | |||||||||||||||||||
Example: |
|
|||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||