Searched refs:If_DsdManCompute (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifMap.c | 309 …iCutDsd = If_DsdManCompute( p->pIfDsdMan, If_CutTruthWR(p, pCut), pCut->nLeaves, (unsigned char *)… in If_ObjPerformMappingAnd()
|
| H A D | if.h | 576 extern int If_DsdManCompute( If_DsdMan_t * p, word * pTruth, int nLeaves, unsigned char…
|
| H A D | ifDsd.c | 2063 int If_DsdManCompute( If_DsdMan_t * p, word * pTruth, int nLeaves, unsigned char * pPerm, char * pL… in If_DsdManCompute() function
|