Searched refs:newMintermPages (Results 1 – 4 of 4) sorted by relevance
532 double **newMintermPages; in ResizeCountMintermPages() local540 newMintermPages = ALLOC(double *,maxPages + INITIAL_PAGES); in ResizeCountMintermPages()541 if (newMintermPages == NULL) { in ResizeCountMintermPages()548 newMintermPages[i] = mintermPages[i]; in ResizeCountMintermPages()553 mintermPages = newMintermPages; in ResizeCountMintermPages()
536 double **newMintermPages; in ResizeCountMintermPages() local544 newMintermPages = ABC_ALLOC(double *,maxPages + INITIAL_PAGES); in ResizeCountMintermPages()545 if (newMintermPages == NULL) { in ResizeCountMintermPages()552 newMintermPages[i] = mintermPages[i]; in ResizeCountMintermPages()557 mintermPages = newMintermPages; in ResizeCountMintermPages()
518 double **newMintermPages; in ResizeCountMintermPages() local526 newMintermPages = ALLOC(double *, info->maxPages + INITIAL_PAGES); in ResizeCountMintermPages()527 if (newMintermPages == NULL) { in ResizeCountMintermPages()534 newMintermPages[i] = info->mintermPages[i]; in ResizeCountMintermPages()539 info->mintermPages = newMintermPages; in ResizeCountMintermPages()