MARKBDD(3) - manual page | Library functions

Marks all nodes of a BDD.

Loading manual page ...

This manual	Reference	Other manuals
markBdd(3)	referred by	gcNodeBdd(3) \| markAllBdd(3)
markBdd(3)	refer to	bdd(1) \| gcNodeBdd(3) \| log(1) \| markAllBdd(3) \| numberNodeAllBdd(3) \| numberNodeBdd(3)