bdd_setmaxnodenum

int bdd_setmaxnodenum ( int  size  )  Set the maximum available number of bdd nodes. This function sets the maximal number of bdd nodes the package may allocate before it gives up a bdd operation. The argument size is the absolute maximal number of nodes there may be allocated for the nodetable. Any attempt to allocate more nodes results in the constant false being returned and the error handler being called until some nodes are deallocated. A value of 0 is interpreted as an unlimited amount. It is not possible to specify fewer nodes than there has already been allocated. Returns: The old threshold on success, otherwise a negative error code. See also: bdd_setmaxincrease, bdd_setminfreenodes

---