bdd_setmaxincrease

int bdd_setmaxincrease ( int  size  )  Set maximum number of nodes used to increase node table. The node table is expanded by doubling the size of the table when no more free nodes can be found, but a maximum for the number of new nodes added can be set with bdd_setmaxincrease to size nodes. The default is 50000 nodes (1 Mb). Returns: The old threshold on succes, otherwise a negative error code. See also: bdd_setmaxnodenum, bdd_setminfreenodes

---