121 static int checkSymmInfo (DdManager *table, DdHalfWord *symmInfo, int index, int level);
162     DdHalfWord  *symmInfo = NULL;  in cuddExact()  local
232     symmInfo = initSymmInfo(table, lower, upper);  in cuddExact()
233     if (symmInfo == NULL) goto cuddExactOutOfMem;  in cuddExact()
285 		if (checkSymmInfo(table, symmInfo, order[j-1], level) == 0)  in cuddExact()
321     FREE(symmInfo);  in cuddExact()
332     if (symmInfo != NULL) FREE(symmInfo);  in cuddExact()
974     DdHalfWord *symmInfo;  in initSymmInfo()  local
976     symmInfo =  ALLOC(DdHalfWord, table->size);  in initSymmInfo()
977     if (symmInfo == NULL) return(NULL);  in initSymmInfo()
983 	symmInfo[index] = nextindex;  in initSymmInfo()
985     return(symmInfo);  in initSymmInfo()
1006   DdHalfWord * symmInfo,  in checkSymmInfo()  argument
1012     i = symmInfo[index];  in checkSymmInfo()
1016 	i = symmInfo[i];  in checkSymmInfo()