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

Gets the number of nodes in a bdd.