bdd_newpair

bddPair* bdd_newpair ( void   )  Creates an empty variable pair table. Variable pairs of the type bddPair are used in bdd_replace to define which variables to replace with other variables. This function allocates such an empty table. The table can be freed by a call to bdd_freepair. Returns: Returns a new table of pairs. See also: bdd_freepair, bdd_replace, bdd_setpair, bdd_setpairs

---