Searched refs:pTtGia (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifDsd.c | 98 Gia_Man_t * pTtGia; // GIA to represent truth tables member
365 Gia_ManStopP( &p->pTtGia ); in If_DsdManFree()
752 if ( p->pTtGia ) in If_DsdManPrint()
753 fprintf( pFile, "Non-DSD AIG nodes = %8d\n", Gia_ManAndNum(p->pTtGia) ); in If_DsdManPrint()
761 if ( p->pTtGia ) in If_DsdManPrint()
762 …fprintf( pFile, "Memory used for AIG = %8.2f MB.\n", 8.0*Gia_ManAndNum(p->pTtGia)/(1<<20) ); in If_DsdManPrint()
1022 if ( p->pTtGia && truthId >= 0 && truthId == Vec_MemEntryNum(p->vTtMem[nLits])-1 ) in If_DsdObjFindOrAdd()
1025 int Lit = Kit_TruthToGia( p->pTtGia, (unsigned *)pTruth, nLits, p->vCover, NULL, 1 ); in If_DsdObjFindOrAdd()
1027 Gia_ManAppendCo( p->pTtGia, Lit ); in If_DsdObjFindOrAdd()
|