bdd_anodecount

int bdd_anodecount ( BDD *  r, int  num   ) Counts the number of shared nodes in an array of bdds. Traverses all of the BDDs in r and counts all distinct nodes that are used in the BDDs -- if a node is used in more than one BDD then it only counts once. The num parameter holds the size of the array. Returns: The number of nodes. See also: bdd_nodecount

---