bdd_nodecount

int bdd_nodecount ( BDD  r  )  Counts the number of nodes used for a bdd. Traverses the BDD and counts all distinct nodes that are used for the BDD. Returns: The number of nodes. See also: bdd_pathcount, bdd_satcount, bdd_anodecount

---