BDD_equivalence

Module summary

Tests equivalence of BDDs after operations.

Tests if BDD.BDD encode the same Boolean function after some manipulations (swap, sift, align_to) against randomly generated instances (not necessarily unique)

(In the implementation details below, click on class/function names for additional documentation and links to the source code.)

❖❖❖

Implements functions (outside the classes above):

`adhoc_test`()
`print_pair`(B, Bp)	Prints details on a pair of BDDs
`test_BDD_transformations`(B[, no_iters])	Implements a simple ad-hoc test

❖❖❖

Implementation details

❖❖❖

Functions

BDD_equivalence.adhoc_test()[source]

BDD_equivalence.print_pair(B, Bp)[source]: Prints details on a pair of BDDs

BDD_equivalence.test_BDD_transformations(B, no_iters=250)[source]: Implements a simple ad-hoc test