Home
last modified time | relevance | path

Searched refs:vPosEquivs (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaTruth.c562 Vec_Wec_t * vPosEquivs = Vec_WecAlloc( 100 ); in Gia_ManIsoNpnReduce() local
591 IndexCon = Vec_WecSize(vPosEquivs); in Gia_ManIsoNpnReduce()
592 Vec_WecPushLevel(vPosEquivs); in Gia_ManIsoNpnReduce()
594 Vec_WecPush( vPosEquivs, IndexCon, i ); in Gia_ManIsoNpnReduce()
602 Vec_WecPushLevel(vPosEquivs); in Gia_ManIsoNpnReduce()
615 Vec_WecPushLevel(vPosEquivs); in Gia_ManIsoNpnReduce()
625 Vec_WecPushLevel(vPosEquivs); in Gia_ManIsoNpnReduce()
637 Vec_WecPushLevel(vPosEquivs); in Gia_ManIsoNpnReduce()
652 vFirsts = Vec_WecCollectFirsts( vPosEquivs ); in Gia_ManIsoNpnReduce()
659 Vec_WecPrint( vPosEquivs, 1 ); in Gia_ManIsoNpnReduce()
[all …]
H A DgiaIso.c1284 Vec_Ptr_t * vPosEquivs, * vPisPerm; in Gia_IsoTest() local
1299 pAig = Gia_ManIsoReduce( pDouble, &vPosEquivs, &vPisPerm, 0, 0, 0, 0 ); in Gia_IsoTest()
1300 Vec_VecFree( (Vec_Vec_t *)vPosEquivs ); in Gia_IsoTest()
H A DgiaDup.c4153 Vec_Wec_t * vPosEquivs = Vec_WecAlloc( 100 ); in Gia_ManIsoStrashReduceInt() local
4172 Vec_IntPush( Vec_WecPushLevel(vPosEquivs), i ); in Gia_ManIsoStrashReduceInt()
4179 Vec_IntWriteEntry( vMap, iLit, Vec_WecSize(vPosEquivs) ); in Gia_ManIsoStrashReduceInt()
4180 Vec_IntPush( Vec_WecPushLevel(vPosEquivs), i ); in Gia_ManIsoStrashReduceInt()
4183 Vec_IntPush( Vec_WecEntry(vPosEquivs, Vec_IntEntry(vMap, iLit)), i ); in Gia_ManIsoStrashReduceInt()
4189 return vPosEquivs; in Gia_ManIsoStrashReduceInt()
4194 Vec_Wec_t * vPosEquivs = Gia_ManIsoStrashReduceInt( p, vSupps, fVerbose ); in Gia_ManIsoStrashReduce() local
4196 Vec_Int_t * vFirsts = Vec_WecCollectFirsts( vPosEquivs ); in Gia_ManIsoStrashReduce()
4204 Vec_WecPrint( vPosEquivs, 1 ); in Gia_ManIsoStrashReduce()
4207 *pvPosEquivs = Vec_WecConvertToVecPtr( vPosEquivs ); in Gia_ManIsoStrashReduce()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c29479 Vec_Ptr_t * vPosEquivs = NULL; in Abc_CommandIso() local
29524 Abc_FrameReplacePoEquivs( pAbc, &vPosEquivs ); in Abc_CommandIso()
41664 Vec_Ptr_t * vPosEquivs; in Abc_CommandAbc9Iso() local
41718 Abc_FrameReplacePoEquivs( pAbc, &vPosEquivs ); in Abc_CommandAbc9Iso()
41751 Vec_Ptr_t * vPosEquivs; in Abc_CommandAbc9IsoNpn() local
41789 Abc_FrameReplacePoEquivs( pAbc, &vPosEquivs ); in Abc_CommandAbc9IsoNpn()
41818 Vec_Ptr_t * vPosEquivs; in Abc_CommandAbc9IsoSt() local
41856 Abc_FrameReplacePoEquivs( pAbc, &vPosEquivs ); in Abc_CommandAbc9IsoSt()
42232 Vec_Ptr_t * vPosEquivs = NULL; in Abc_CommandAbc9PoPart() local
42273 Abc_FrameReplacePoEquivs( pAbc, &vPosEquivs ); in Abc_CommandAbc9PoPart()
[all …]