SIMPLIFDCONEBDD(3) - manual page | Library functions

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

Loading manual page ...

This manual	Reference	Other manuals
simplifDcOneBdd(3)	referred by	constraintBdd(3) \| simplifDcZeroBdd(3)
simplifDcOneBdd(3)	refer to	bdd(1) \| composeBdd(3) \| constraintBdd(3) \| createNodeTermBdd(3) \| log(1) \| simplifDcZeroBdd(3) \| upVarBdd(3)