convert_on_restore |
List of: | Options | |
Subjects: | Modeler Control, SAT Save and Restore | |
Contents: | Kernel |
Action: | Controls whether to convert wires from the old to the new format during a restore operation. | |||||||||||||||||||
Name String: |
|
|||||||||||||||||||
Scheme: | boolean | #f, #t | #t | |||||||||||||||||
Test Harness: | integer | 0, 1 | 1 | |||||||||||||||||
C++: | logical | FALSE, TRUE | TRUE | |||||||||||||||||
Example: |
|
|||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||