FreeBSD Manual Pages
- clearbddsystemref(3)
- clears the references for all bdd nodes. man1/alc_origin.1
- clearbddsystemrefext(3)
- clears the external references for all bdd nodes. man1/alc_origin.1
- clearbddsystemrefint(3)
- clears the internal references for all bdd nodes. man1/alc_origin.1
- cofactorbddnode(3)
- computes the generalized cofactor. man1/alc_origin.1