Searched refs:vCiNumsOrig (Results 1 – 6 of 6) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigDup.c | 158 pNew->vCiNumsOrig = Vec_IntAlloc( Aig_ManCiNum(p) ); in Saig_ManTrimPis()
166 Vec_IntPush( pNew->vCiNumsOrig, Vec_IntEntry(p->vCiNumsOrig, i) ); in Saig_ManTrimPis()
229 assert( p->vCiNumsOrig == NULL ); in Saig_ManDupAbstraction()
230 pNew->vCiNumsOrig = Vec_IntAlloc( Aig_ManCiNum(p) ); in Saig_ManDupAbstraction()
235 Vec_IntPush( pNew->vCiNumsOrig, i ); in Saig_ManDupAbstraction()
243 Vec_IntPush( pNew->vCiNumsOrig, i ); in Saig_ManDupAbstraction()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absOldRef.c | 138 assert( pAbs->vCiNumsOrig != NULL ); in Saig_ManCexFirstFlopPi()
141 if ( Vec_IntEntry(pAbs->vCiNumsOrig, i) >= Saig_ManPiNum(p) ) in Saig_ManCexFirstFlopPi()
230 Entry = Vec_IntEntry(pAbs->vCiNumsOrig, Entry); in Saig_ManCexRefine()
308 Entry = Vec_IntEntry(pAbs->vCiNumsOrig, Entry); in Saig_ManCexRefineStep()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigMan.c | 218 Vec_IntFreeP( &p->vCiNumsOrig ); in Aig_ManStop()
|
| H A D | aig.h | 162 Vec_Int_t * vCiNumsOrig; // original CI names member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDar.c | 1100 assert( pMan->vCiNumsOrig != NULL ); in Abc_NtkAfterTrim()
1115 pObjOld = Abc_NtkCi( pNtkOld, Vec_IntEntry(pMan->vCiNumsOrig, i) ); in Abc_NtkAfterTrim()
1139 pObjOld = Abc_NtkCi( pNtkOld, Vec_IntEntry(pMan->vCiNumsOrig, Saig_ManPiNum(pMan)+i) ); in Abc_NtkAfterTrim()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | gia.h | 185 Vec_Int_t * vCiNumsOrig; // original CI names member
|