CuddReorderingTechnique¶
- class CuddReorderingTechnique(*values)¶
Bases:
EnumReordering technique used in CUDD library
- ANNEALING = 15¶
- EXACT = 17¶
- GENETIC = 16¶
- GROUP_SIFT = 7¶
- GROUP_SIFT_CONV = 8¶
- NONE = 0¶
- RANDOM = 1¶
- RANDOM_PIVOT = 2¶
- SIFT = 3¶
- SIFT_CONV = 4¶
- SYMMETRIC_SIFT = 5¶
- SYMMETRIC_SIFT_CONV = 6¶
- WIN2 = 9¶
- WIN2_CONV = 10¶
- WIN3 = 11¶
- WIN3_CONV = 12¶
- WIN4 = 13¶
- WIN4_CONV = 14¶