FreeBSD Manual Pages
- destroyBdd(3)
- removes the BDDs system
- destroybddassoc(3)
- frees all the variable associations. man1/alc_origin.1
- destroybddcircuit(3)
- destroys a bdd circuit. man1/alc_origin.1
- destroybddsystem(3)
- destroys a bdd system. man1/alc_origin.1