Lines Matching refs:symmInfo
125 static int checkSymmInfo (DdManager *table, DdHalfWord *symmInfo, int index, int level);
166 DdHalfWord *symmInfo = NULL; in cuddExact() local
236 symmInfo = initSymmInfo(table, lower, upper); in cuddExact()
237 if (symmInfo == NULL) goto cuddExactOutOfMem; in cuddExact()
289 if (checkSymmInfo(table, symmInfo, order[j-1], level) == 0) in cuddExact()
325 ABC_FREE(symmInfo); in cuddExact()
336 if (symmInfo != NULL) ABC_FREE(symmInfo); in cuddExact()
978 DdHalfWord *symmInfo; in initSymmInfo() local
980 symmInfo = ABC_ALLOC(DdHalfWord, table->size); in initSymmInfo()
981 if (symmInfo == NULL) return(NULL); in initSymmInfo()
987 symmInfo[index] = nextindex; in initSymmInfo()
989 return(symmInfo); in initSymmInfo()
1010 DdHalfWord * symmInfo, in checkSymmInfo() argument
1016 i = symmInfo[index]; in checkSymmInfo()
1020 i = symmInfo[i]; in checkSymmInfo()