new_dangling_wires |
List of: | Options | |
Subjects: | Modeler Control, SAT Save and Restore | |
Contents: | Kernel |
Action: | Converts dangling wires to either new or old style. | |||||||||||||||||||
Name String: |
|
|||||||||||||||||||
Scheme: | boolean | #f, #t | #t | |||||||||||||||||
Test Harness: | integer | 0, 1 | 1 | |||||||||||||||||
C++: | logical | FALSE, TRUE | TRUE | |||||||||||||||||
Description: | Used when restoring old-style save files. If off, converts backwards; if on, converts forwards. | |||||||||||||||||||
Example: |
|
|||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||