Searched refs:symmInfo (Results 1 – 4 of 4) sorted by relevance
| /dports/math/py-brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddExact.c | 162 DdHalfWord *symmInfo = NULL; in cuddExact() local
232 symmInfo = initSymmInfo(table, lower, upper); in cuddExact()
321 FREE(symmInfo); in cuddExact()
332 if (symmInfo != NULL) FREE(symmInfo); in cuddExact()
974 DdHalfWord *symmInfo; in initSymmInfo() local
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()
[all …]
|
| /dports/math/cudd/cudd-3.0.0/cudd/ |
| H A D | cuddExact.c | 127 DdHalfWord *symmInfo = NULL; in cuddExact() local
197 symmInfo = initSymmInfo(table, lower, upper); in cuddExact()
286 FREE(symmInfo); in cuddExact()
297 if (symmInfo != NULL) FREE(symmInfo); in cuddExact()
895 DdHalfWord *symmInfo; in initSymmInfo() local
898 if (symmInfo == NULL) return(NULL); in initSymmInfo()
904 symmInfo[index] = (DdHalfWord) nextindex; in initSymmInfo()
906 return(symmInfo); in initSymmInfo()
926 DdHalfWord * symmInfo, in checkSymmInfo() argument
932 i = (int) symmInfo[index]; in checkSymmInfo()
[all …]
|
| /dports/math/brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddExact.c | 162 DdHalfWord *symmInfo = NULL; in cuddExact() local
232 symmInfo = initSymmInfo(table, lower, upper); in cuddExact()
321 FREE(symmInfo); in cuddExact()
332 if (symmInfo != NULL) FREE(symmInfo); in cuddExact()
974 DdHalfWord *symmInfo; in initSymmInfo() local
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()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
| H A D | cuddExact.c | 166 DdHalfWord *symmInfo = NULL; in cuddExact() local
236 symmInfo = initSymmInfo(table, lower, upper); in cuddExact()
325 ABC_FREE(symmInfo); in cuddExact()
336 if (symmInfo != NULL) ABC_FREE(symmInfo); in cuddExact()
978 DdHalfWord *symmInfo; in initSymmInfo() local
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()
[all …]
|