SIMPLIFDCZEROBDD(3) - manual page | Library functions

Simplifies a BDD with don't cares on its off-set part.

Loading manual page ...

This manual	Reference	Other manuals
simplifDcZeroBdd(3)	referred by	constraintBdd(3) \| simplifDcOneBdd(3)
simplifDcZeroBdd(3)	refer to	addListBdd(3) \| applyBdd(3) \| bdd(1) \| constraintBdd(3) \| createNodeTermBdd(3) \| displayBdd(3) \| log(1) \| notBdd(3) \| simplifDcOneBdd(3)