buddy.l (1141B)
1 (def 'bddop_and 0) 2 (def 'bddop_xor 1) 3 (def 'bddop_or 2) 4 (def 'bddop_nand 3) 5 (def 'bddop_nor 4) 6 (def 'bddop_imp 5) 7 (def 'bddop_biimp 6) 8 (def 'bddop_diff 7) 9 (def 'bddop_less 8) 10 (def 'bddop_invimp 9) 11 (def 'bddop_not 10) 12 (def 'bddop_simplify 11) 13 14 (def 'BDD_REORDER_NONE 0) 15 (def 'BDD_REORDER_WIN2 1) 16 (def 'BDD_REORDER_WIN2ITE 2) 17 (def 'BDD_REORDER_SIFT 3) 18 (def 'BDD_REORDER_SIFTITE 4) 19 (def 'BDD_REORDER_WIN3 5) 20 (def 'BDD_REORDER_WIN3ITE 6) 21 (def 'BDD_REORDER_RANDOM 7) 22 23 (def 'BDD_REORDER_FREE 0) 24 (def 'BDD_REORDER_FIXED 1) 25 26 (def 'BDD_MEMORY -1) 27 (def 'BDD_VAR -2) 28 (def 'BDD_RANGE -3) 29 (def 'BDD_DEREF -4) 30 (def 'BDD_RUNNING -5) 31 (def 'BDD_FILE -6) 32 (def 'BDD_FORMAT -7) 33 (def 'BDD_ORDER -8) 34 (def 'BDD_BREAK -9) 35 (def 'BDD_VARNUM -10) 36 (def 'BDD_NODES -11) 37 (def 'BDD_OP -12) 38 (def 'BDD_VARSET -13) 39 (def 'BDD_VARBLK -14) 40 (def 'BDD_DECVNUM -15) 41 (def 'BDD_REPLACE -16) 42 (def 'BDD_NODENUM -17) 43 (def 'BDD_ILLBDD -18) 44 (def 'BDD_SIZE -19) 45 (def 'BVEC_SIZE -20) 46 (def 'BVEC_SHIFT -21) 47 (def 'BVEC_DIVZERO -22) 48 (def 'BDD_ERRNUM 24)