Searched refs:nLeavesOld (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
| H A D | lpkAbcDec.c | 120 Abc_Obj_t * Lpk_Implement( Lpk_Man_t * pMan, Abc_Ntk_t * pNtk, Vec_Ptr_t * vLeaves, int nLeavesOld ) in Lpk_Implement() argument
124 assert( nLeavesOld < Vec_PtrSize(vLeaves) ); in Lpk_Implement()
126 Vec_PtrForEachEntryStop( Abc_Obj_t *, vLeaves, pFanin, i, nLeavesOld ) in Lpk_Implement()
129 … pRes = Lpk_Implement_rec( pMan, pNtk, vLeaves, (Lpk_Fun_t *)Vec_PtrEntry( vLeaves, nLeavesOld ) ); in Lpk_Implement()
130 Vec_PtrShrink( vLeaves, nLeavesOld ); in Lpk_Implement()
238 void Lpk_DecomposeClean( Vec_Ptr_t * vLeaves, int nLeavesOld ) in Lpk_DecomposeClean() argument
242 Vec_PtrForEachEntryStart( Lpk_Fun_t *, vLeaves, pFunc, i, nLeavesOld ) in Lpk_DecomposeClean()
244 Vec_PtrShrink( vLeaves, nLeavesOld ); in Lpk_DecomposeClean()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
| H A D | darCore.c | 173 int nLeavesOld = pCut->nLeaves; in Dar_ManRewrite() local
177 pCut->nLeaves = nLeavesOld; in Dar_ManRewrite()
|