RESETBDD(3) - Linux manual page online | Library functions

Resets the BDDs system.

Loading manual page ...

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