| Login: cs343 Fullname: cs343 Revisions: 2 Lines of Code: 71 Added Lines of Code: 94 Lines of Code per Change: 35.5 |
| Date | Author | File/Message |
|---|---|---|
| 7/11/05 3:48 PM | cs343 | modified save and save_rec to use node hashcode & bitset instead of node object & map, to save memory.
previous implementation kept as save_rec_original.
note: this is incompatible with the CUDD factory, which should use the original implementation instead.
(1 Files changed,
62 Lines changed) net/sf/javabdd/BDDFactory.java 1.16
(+62
-14)
|
| 7/15/04 12:08 AM | cs343 | *** empty log message ***
(1 Files changed,
32 Lines changed) org/sf/javabdd/FindBestOrder.java 1.7
(+32
-9)
|
