Home
last modified time | relevance | path

Searched refs:vFuncsGlob (Results 1 – 6 of 6) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/bbr/
H A DbbrNtbdd.c134 Vec_Ptr_t * vFuncsGlob; in Aig_ManSizeOfGlobalBdds() local
138 vFuncsGlob = Vec_PtrAlloc( Aig_ManCoNum(p) ); in Aig_ManSizeOfGlobalBdds()
140 Vec_PtrPush( vFuncsGlob, Aig_ObjGlobalBdd(pObj) ); in Aig_ManSizeOfGlobalBdds()
141 RetValue = Cudd_SharingSize( (DdNode **)Vec_PtrArray(vFuncsGlob), Vec_PtrSize(vFuncsGlob) ); in Aig_ManSizeOfGlobalBdds()
142 Vec_PtrFree( vFuncsGlob ); in Aig_ManSizeOfGlobalBdds()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcShow.c129 Vec_Ptr_t * vFuncsGlob; in Abc_NtkShowBdd() local
143 vFuncsGlob = Vec_PtrAlloc( Abc_NtkCoNum(pNtk) ); in Abc_NtkShowBdd()
145 Vec_PtrPush( vFuncsGlob, Abc_ObjGlobalBdd(pObj) ); in Abc_NtkShowBdd()
160 …Cudd_DumpDot( dd, Abc_NtkCoNum(pNtk), (DdNode **)Vec_PtrArray(vFuncsGlob), ppNamesIn, ppNamesOut, … in Abc_NtkShowBdd()
163 DdNode ** pbAdds = ABC_ALLOC( DdNode *, Vec_PtrSize(vFuncsGlob) ); in Abc_NtkShowBdd()
164 Vec_PtrForEachEntry( DdNode *, vFuncsGlob, bFunc, i ) in Abc_NtkShowBdd()
167 Vec_PtrForEachEntry( DdNode *, vFuncsGlob, bFunc, i ) in Abc_NtkShowBdd()
177 Vec_PtrForEachEntry( DdNode *, vFuncsGlob, bFunc, i ) in Abc_NtkShowBdd()
179 Vec_PtrFree( vFuncsGlob ); in Abc_NtkShowBdd()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioWritePla.c389 Vec_Ptr_t * vFuncsGlob; in Io_WriteMoPlaOne() local
400 vFuncsGlob = Vec_PtrAlloc( Abc_NtkCoNum(pNtk) ); in Io_WriteMoPlaOne()
402 Vec_PtrPush( vFuncsGlob, Abc_ObjGlobalBdd(pObj) ); in Io_WriteMoPlaOne()
409 Vec_PtrForEachEntry( DdNode *, vFuncsGlob, bFunc, i ) in Io_WriteMoPlaOne()
411 Vec_PtrFree( vFuncsGlob ); in Io_WriteMoPlaOne()
509 Vec_Ptr_t * vFuncsGlob; in Io_WriteMoPlaOneM() local
522 vFuncsGlob = Vec_PtrAlloc( Abc_NtkCoNum(pNtk) ); in Io_WriteMoPlaOneM()
524 Vec_PtrPush( vFuncsGlob, Abc_ObjGlobalBdd(pObj) ); in Io_WriteMoPlaOneM()
527 bFunc = (DdNode *)Vec_PtrEntry(vFuncsGlob, 0); in Io_WriteMoPlaOneM()
537 Vec_PtrForEachEntry( DdNode *, vFuncsGlob, bFunc, i ) in Io_WriteMoPlaOneM()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcAuto.c61 Vec_Ptr_t * vFuncsGlob; in Abc_NtkAutoPrint() local
75 vFuncsGlob = Vec_PtrAlloc( Abc_NtkCoNum(pNtk) ); in Abc_NtkAutoPrint()
77 Vec_PtrPush( vFuncsGlob, Abc_ObjGlobalBdd(pObj) ); in Abc_NtkAutoPrint()
78 pbGlobal = (DdNode **)Vec_PtrArray( vFuncsGlob ); in Abc_NtkAutoPrint()
110 Vec_PtrFree( vFuncsGlob ); in Abc_NtkAutoPrint()
H A DabcNtbdd.c557 Vec_Ptr_t * vFuncsGlob; in Abc_NtkSizeOfGlobalBdds() local
561 vFuncsGlob = Vec_PtrAlloc( Abc_NtkCoNum(pNtk) ); in Abc_NtkSizeOfGlobalBdds()
563 Vec_PtrPush( vFuncsGlob, Abc_ObjGlobalBdd(pObj) ); in Abc_NtkSizeOfGlobalBdds()
564 RetValue = Cudd_SharingSize( (DdNode **)Vec_PtrArray(vFuncsGlob), Vec_PtrSize(vFuncsGlob) ); in Abc_NtkSizeOfGlobalBdds()
565 Vec_PtrFree( vFuncsGlob ); in Abc_NtkSizeOfGlobalBdds()
H A DabcDsd.c106 Vec_Ptr_t * vFuncsGlob; in Abc_NtkDsdInternal() local
114 vFuncsGlob = Vec_PtrAlloc( Abc_NtkCoNum(pNtk) ); in Abc_NtkDsdInternal()
116 Vec_PtrPush( vFuncsGlob, Cudd_NotCond(Abc_ObjGlobalBdd(pObj), Abc_ObjFaninC0(pObj)) ); in Abc_NtkDsdInternal()
123 Vec_PtrFree( vFuncsGlob ); in Abc_NtkDsdInternal()
127 Dsd_Decompose( pManDsd, (DdNode **)vFuncsGlob->pArray, Abc_NtkCoNum(pNtk) ); in Abc_NtkDsdInternal()
128 Vec_PtrFree( vFuncsGlob ); in Abc_NtkDsdInternal()