Lines Matching refs:old
387 RETURN {* The old number of allocated variables or a negative error code. *}
503 it is called with {\tt oldsize} being the old nodetable size and
537 RETURN {* The old threshold on succes, otherwise a negative error code. *}
542 int old = bddmaxnodeincrease;
548 return old;
565 RETURN {* The old threshold on succes, otherwise a negative error code. *}
572 int old = bddmaxnodesize;
574 return old;
596 RETURN {* The old threshold on succes, otherwise a negative error code. *}
601 int old = minfreenodes;
607 return old;