Home
last modified time | relevance | path

Searched refs:vFanins (Results 1 – 25 of 122) sorted by relevance

12345

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcFxu.c176 p->vFanins = Vec_PtrAlloc(0); in Abc_NtkFxuCollectInfo()
191 p->vFanins->pArray[i] = &pNode->vFanins; in Abc_NtkFxuCollectInfo()
218 if ( p->vFanins ) Vec_PtrFree( p->vFanins ); in Abc_NtkFxuFreeInfo()
236 Vec_Int_t * vFanins; in Abc_NtkFxuReconstruct() local
240 assert( p->vFanins->nSize < p->vFaninsNew->nSize ); in Abc_NtkFxuReconstruct()
242 for ( i = p->vFanins->nSize; i < p->vFanins->nSize + p->nNodesNew; i++ ) in Abc_NtkFxuReconstruct()
249 for ( i = 0; i < p->vFanins->nSize; i++ ) in Abc_NtkFxuReconstruct()
253 if ( vFanins == NULL ) in Abc_NtkFxuReconstruct()
260 for ( k = 0; k < vFanins->nSize; k++ ) in Abc_NtkFxuReconstruct()
269 for ( i = p->vFanins->nSize; i < p->vFanins->nSize + p->nNodesNew; i++ ) in Abc_NtkFxuReconstruct()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsRefSelect.c72 Vec_Int_t * vFanins; in Ga2_StructAnalize() local
93 vFanins = Ga2_ObjLeaves( p, pObj ); in Ga2_StructAnalize()
94 Gia_ManForEachObjVec( vFanins, p, pFanin, k ) in Ga2_StructAnalize()
129 Vec_Int_t * vNewPPis, * vFanins; in Rnm_ManFilterSelected() local
138 Vec_IntClear( p->vFanins ); in Rnm_ManFilterSelected()
141 vFanins = Ga2_ObjLeaves( p->pGia, pObj ); in Rnm_ManFilterSelected()
163 vFanins = Ga2_ObjLeaves( p->pGia, pObj ); in Rnm_ManFilterSelected()
211 Vec_Int_t * vNewPPis, * vFanins, * vFanins2; in Rnm_ManFilterSelectedNew() local
225 Vec_IntClear( p->vFanins ); in Rnm_ManFilterSelectedNew()
229 vFanins = Ga2_ObjLeaves( p->pGia, pObj ); in Rnm_ManFilterSelectedNew()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcMinBase.c78 Vec_Ptr_t * vFanins; in Abc_NodeMinimumBase() local
97 for ( i = 0; i < vFanins->nSize; i++ ) in Abc_NodeMinimumBase()
105 Vec_PtrFree( vFanins ); in Abc_NodeMinimumBase()
303 Vec_PtrClear( vFanins ); in Abc_NodeCollapseSuppSize()
309 return Vec_PtrSize( vFanins ); in Abc_NodeCollapseSuppSize()
458 vFanins = Vec_PtrAlloc( 1000 ); in Abc_NtkEliminate()
491 Vec_PtrFree( vFanins ); in Abc_NtkEliminate()
621 vFanins = Vec_PtrAlloc( 1000 ); in Abc_NtkEliminate1One()
661 Vec_PtrFree( vFanins ); in Abc_NtkEliminate1One()
792 vFanins = Vec_PtrAlloc( 1000 ); in Abc_NtkEliminateSpecial()
[all …]
H A DabcFanOrder.c146 Vec_Int_t * vFanins; in Abc_NtkOrderFaninsBySortingColumns() local
188 Vec_IntClear( vFanins ); in Abc_NtkOrderFaninsBySortingColumns()
192 Vec_IntAppend( &pNode->vFanins, vFanins ); in Abc_NtkOrderFaninsBySortingColumns()
194 Vec_IntFree( vFanins ); in Abc_NtkOrderFaninsBySortingColumns()
235 Vec_Int_t * vFanins; in Abc_NtkOrderFaninsByLitCount() local
292 Vec_IntClear( vFanins ); in Abc_NtkOrderFaninsByLitCount()
296 Vec_IntAppend( &pNode->vFanins, vFanins ); in Abc_NtkOrderFaninsByLitCount()
298 Vec_IntFree( vFanins ); in Abc_NtkOrderFaninsByLitCount()
310 Vec_Int_t * vFanins; in Abc_NtkOrderFaninsByLitCountAndCubeCount() local
377 Vec_IntAppend( &pNode->vFanins, vFanins ); in Abc_NtkOrderFaninsByLitCountAndCubeCount()
[all …]
H A DabcFanio.c93 Vec_IntPushMem( pObj->pNtk->pMmStep, &pObj->vFanins, pFaninR->Id ); in Abc_ObjAddFanin()
117 if ( !Vec_IntRemove( &pObj->vFanins, pFanin->Id ) ) in Abc_ObjDeleteFanin()
147 vFaninsOld = &pObj->vFanins; in Abc_ObjRemoveFanins()
183 if ( (iFanin = Vec_IntFind( &pObj->vFanins, pFaninOld->Id )) == -1 ) in Abc_ObjPatchFanin()
193 Vec_IntWriteEntry( &pObj->vFanins, iFanin, pFaninNewR->Id ); in Abc_ObjPatchFanin()
230 Vec_IntForEachEntry( &pFanout->vFanins, Entry, k ) in Abc_ObjPatchFanoutFanin()
233 Vec_IntWriteEntry( &pFanout->vFanins, k, iObjNew ); in Abc_ObjPatchFanoutFanin()
236 assert( k < Vec_IntSize(&pFanout->vFanins) ); in Abc_ObjPatchFanoutFanin()
263 if ( (iFaninIndex = Vec_IntFind( &pNodeOut->vFanins, pNodeIn->Id )) == -1 ) in Abc_ObjInsertBetween()
272 Vec_IntPushMem( pNodeNew->pNtk->pMmStep, &pNodeNew->vFanins, pNodeIn->Id ); in Abc_ObjInsertBetween()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcReadVer.c41 Vec_Int_t * vFanins; member
90 p->vFanins = Vec_IntAlloc( 100 ); in Wlc_PrsStart()
105 Vec_IntFree( p->vFanins ); in Wlc_PrsStop()
644 Vec_IntFree( vFanins ); in Wlc_PrsReadName()
651 Vec_IntFree( vFanins ); in Wlc_PrsReadName()
669 Vec_IntPush( vFanins, NameId ); in Wlc_PrsReadName()
677 Vec_IntClear( vFanins ); in Wlc_PrsFindDefinition()
811 ABC_SWAP( int, Vec_IntArray(vFanins)[1], Vec_IntArray(vFanins)[2] ); in Wlc_PrsFindDefinition()
1140 Vec_IntClear( p->vFanins ); in Wlc_PrsDerive()
1179 Vec_IntClear( p->vFanins ); in Wlc_PrsDerive()
[all …]
H A DwlcMem.c82 Vec_IntClear( vFanins ); in Wlc_NtkMemBlast_rec()
116 Vec_IntClear( vFanins ); in Wlc_NtkMemBlast_rec()
138 Vec_Int_t * vFanins; in Wlc_NtkMemBlast() local
141 vFanins = Vec_IntAlloc( 100 ); in Wlc_NtkMemBlast()
157 Vec_IntFree( vFanins ); in Wlc_NtkMemBlast()
317 Vec_IntFill( vFanins, 1, iFanin ); in Wlc_NtkDupOneBuffer()
399 Vec_IntClear( vFanins ); in Wlc_NtkAbsCreateFlopInputs()
624 Vec_IntFill( vFanins, 1, 1 ); in Wlc_NtkAbstractMemory()
650 Vec_IntFree( vFanins ); in Wlc_NtkAbstractMemory()
1367 Vec_IntFree( vFanins ); in Wlc_NtkCreateMemoryConstr()
[all …]
H A DwlcNdr.c198 Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); in Wlc_NtkToNdr() local
212 Vec_IntClear( vFanins ); in Wlc_NtkToNdr()
214 Vec_IntPush( vFanins, iFanin ); in Wlc_NtkToNdr()
232 Vec_IntSize(vFanins), Vec_IntArray(vFanins), 1, &iOutId, pFunction ); in Wlc_NtkToNdr()
239 Vec_IntFill( vFanins, 1, iOutId ); in Wlc_NtkToNdr()
244 Vec_IntFree( vFanins ); in Wlc_NtkToNdr()
393 Vec_IntClear( vFanins ); in Wlc_NtkFromNdr()
394 Vec_IntAppend( vFanins, vTemp ); in Wlc_NtkFromNdr()
400 if ( Vec_IntSize(vFanins) == 2 ) in Wlc_NtkFromNdr()
429 ABC_SWAP( int, Vec_IntEntryP(vFanins, 1)[0], Vec_IntEntryP(vFanins, 2)[0] ); in Wlc_NtkFromNdr()
[all …]
H A DwlcUif.c241 Vec_Int_t * vUifConstrs, * vCompares, * vFanins; in Wlc_NtkUifNodePairs() local
252 vFanins = Vec_IntAlloc( 100 ); in Wlc_NtkUifNodePairs()
266 Vec_IntFillTwo( vFanins, 2, iFanin, iFanin2 ); in Wlc_NtkUifNodePairs()
276 Vec_IntFill( vFanins, 1, iObjNew ); in Wlc_NtkUifNodePairs()
277 iObjNew = Wlc_ObjCreate( p, WLC_OBJ_REDUCT_OR, 0, 0, 0, vFanins ); in Wlc_NtkUifNodePairs()
279 Vec_IntFillTwo( vFanins, 2, iObj, iObj2 ); in Wlc_NtkUifNodePairs()
282 Vec_IntFillTwo( vFanins, 2, iObjNew, iObjNew2 ); in Wlc_NtkUifNodePairs()
283 iObjNew = Wlc_ObjCreate( p, WLC_OBJ_LOGIC_OR, 0, 0, 0, vFanins ); in Wlc_NtkUifNodePairs()
296 Vec_IntFill( vFanins, 1, iObjNew ); in Wlc_NtkUifNodePairs()
303 Vec_IntFillTwo( vFanins, 2, iObj, iObjNew ); in Wlc_NtkUifNodePairs()
[all …]
H A DwlcReadSmt.c321 if (Vec_IntSize(vFanins)<=2 || in Smt_PrsCreateNode()
348 while (Vec_IntSize(vFanins)>2) in Smt_PrsCreateNode()
352 iFanin0 = Vec_IntPop(vFanins); in Smt_PrsCreateNode()
353 iFanin1 = Vec_IntPop(vFanins); in Smt_PrsCreateNode()
369 Vec_IntPush(vFanins, iObj); in Smt_PrsCreateNode()
627 Vec_IntFree( vFanins ); in Smt_PrsBuildConstant()
653 Vec_IntFree( vFanins ); in Smt_PrsBuildConstant()
659 Vec_IntFree( vFanins ); in Smt_PrsBuildConstant()
664 Vec_IntFree( vFanins ); in Smt_PrsBuildConstant()
782 Vec_IntFree( vFanins ); in Smt_PrsBuildNode()
[all …]
H A DwlcNtk.c250 memcpy( Wlc_ObjFanins(pObj), Vec_IntArray(vFanins), sizeof(int) * Vec_IntSize(vFanins) ); in Wlc_ObjAddFanins()
907 Vec_IntClear( vFanins ); in Wlc_ObjCollectCopyFanins()
960 Vec_Int_t * vFanins; in Wlc_NtkDupDfsSimple() local
963 vFanins = Vec_IntAlloc( 100 ); in Wlc_NtkDupDfsSimple()
979 Vec_IntFree( vFanins ); in Wlc_NtkDupDfsSimple()
989 Vec_Int_t * vFanins; in Wlc_NtkDupDfs() local
1028 Vec_IntFree( vFanins ); in Wlc_NtkDupDfs()
1058 Vec_Int_t * vFanins; in Wlc_NtkDupDfsAbs() local
1106 Vec_IntFree( vFanins ); in Wlc_NtkDupDfsAbs()
1234 Vec_Int_t * vFanins; in Wlc_NtkDupSingleNodes() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/rsb/
H A DrsbDec6.c360 p->vFanins->nSize = 1; in Rsb_DecPerformInt()
373 Vec_IntPrint(p->vFanins); in Rsb_DecPerformInt()
391 p->vFanins->nSize = 2; in Rsb_DecPerformInt()
406 Vec_IntPrint(p->vFanins); in Rsb_DecPerformInt()
425 p->vFanins->nSize = 3; in Rsb_DecPerformInt()
442 Vec_IntPrint(p->vFanins); in Rsb_DecPerformInt()
462 p->vFanins->nSize = 4; in Rsb_DecPerformInt()
481 Vec_IntPrint(p->vFanins); in Rsb_DecPerformInt()
571 nSuppSize = Vec_IntSize(p->vFanins); in Rsb_DecVerify()
671 Vec_IntShrink( p->vFanins, 0 ); in Rsb_ManPerform()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/
H A DsfmNtk.c50 Vec_WecForEachLevel( vFanins, vArray, i ) in Sfm_CheckConsistency()
60 if ( i + nPos >= Vec_WecSize(vFanins) ) in Sfm_CheckConsistency()
81 Vec_WecInit( vFanouts, Vec_WecSize(vFanins) ); in Sfm_CreateFanout()
82 Vec_WecForEachLevel( vFanins, vArray, i ) in Sfm_CreateFanout()
92 Vec_WecForEachLevel( vFanins, vArray, i ) in Sfm_CreateFanout()
124 Vec_WecForEachLevel( vFanins, vArray, i ) in Sfm_CreateLevel()
172 p->nObjs = Vec_WecSize( vFanins ); in Sfm_NtkConstruct()
180 p->vFanins = *vFanins; in Sfm_NtkConstruct()
183 ABC_FREE( vFanins ); in Sfm_NtkConstruct()
221 Vec_WecErase( &p->vFanins ); in Sfm_NtkFree()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/
H A DresSat.c61 pObj = (Abc_Obj_t *)Vec_PtrEntry( vFanins, 0 ); in Res_SatProveUnsat()
65 vNodes = Abc_NtkDfsNodes( pAig, (Abc_Obj_t **)vFanins->pArray, vFanins->nSize ); in Res_SatProveUnsat()
93 pObj = (Abc_Obj_t *)Vec_PtrEntry(vFanins, 0); in Res_SatProveUnsat()
95 pObj = (Abc_Obj_t *)Vec_PtrEntry(vFanins, 1); in Res_SatProveUnsat()
102 pObj = (Abc_Obj_t *)Vec_PtrEntry(vFanins, 1); in Res_SatProveUnsat()
144 Vec_Ptr_t * vFanins; in Res_SatSimulateConstr() local
150 vFanins = Vec_PtrAlloc( 2 ); in Res_SatSimulateConstr()
152 Vec_PtrPush( vFanins, pObj ); in Res_SatSimulateConstr()
154 Vec_PtrPush( vFanins, pObj ); in Res_SatSimulateConstr()
157 vNodes = Abc_NtkDfsNodes( pAig, (Abc_Obj_t **)vFanins->pArray, vFanins->nSize ); in Res_SatSimulateConstr()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraCnf.c240 Vec_Ptr_t * vFrontier, * vFanins; in Fra_CnfNodeAddToSolver() local
259 vFanins = Vec_PtrAlloc( 4 ); in Fra_CnfNodeAddToSolver()
260 Vec_PtrPushUnique( vFanins, Aig_ObjFanin0( Aig_ObjFanin0(pNode) ) ); in Fra_CnfNodeAddToSolver()
261 Vec_PtrPushUnique( vFanins, Aig_ObjFanin0( Aig_ObjFanin1(pNode) ) ); in Fra_CnfNodeAddToSolver()
262 Vec_PtrPushUnique( vFanins, Aig_ObjFanin1( Aig_ObjFanin0(pNode) ) ); in Fra_CnfNodeAddToSolver()
264 Vec_PtrForEachEntry( Aig_Obj_t *, vFanins, pFanin, k ) in Fra_CnfNodeAddToSolver()
270 vFanins = Fra_CollectSuper( pNode, fUseMuxes ); in Fra_CnfNodeAddToSolver()
271 Vec_PtrForEachEntry( Aig_Obj_t *, vFanins, pFanin, k ) in Fra_CnfNodeAddToSolver()
273 Fra_AddClausesSuper( p, pNode, vFanins ); in Fra_CnfNodeAddToSolver()
275 assert( Vec_PtrSize(vFanins) > 1 ); in Fra_CnfNodeAddToSolver()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/
H A DfraigSat.c814 if ( pNode->vFanins == NULL ) in Fraig_PrepareCones_rec()
821 pNode->vFanins = Fraig_NodeVecAlloc( 4 ); in Fraig_PrepareCones_rec()
833 assert( pNode->vFanins->nSize > 1 ); in Fraig_PrepareCones_rec()
840 for ( i = 0; i < pNode->vFanins->nSize; i++ ) in Fraig_PrepareCones_rec()
848 for ( i = 0; i < pNode->vFanins->nSize; i++ ) in Fraig_PrepareCones_rec()
912 if ( pNode->vFanins == NULL ) in Fraig_OrderVariables()
936 assert( pNode->vFanins->nSize > 1 ); in Fraig_OrderVariables()
1403 Fraig_NodeVec_t * vFanins; in Fraig_DetectFanoutFreeConeMux() local
1408 vFanins = Fraig_NodeVecAlloc( 8 ); in Fraig_DetectFanoutFreeConeMux()
1417 printf( "%d(%d)", vFanins->nSize, nCubes ); in Fraig_DetectFanoutFreeConeMux()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A DbacOper.c44 int Bac_BoxCreate( Bac_Ntk_t * p, Bac_ObjType_t Type, Vec_Int_t * vFanins, int nInA, int nInB, int … in Bac_BoxCreate() argument
51 assert( 0 == Vec_IntSize(vFanins) ); in Bac_BoxCreate()
58 assert( nInA == Vec_IntSize(vFanins) ); in Bac_BoxCreate()
60 …iObj = Bac_BoxAlloc( p, Type, Vec_IntSize(vFanins), nOuts, Abc_NamStrFindOrAdd(p->pDesign->pMods, … in Bac_BoxCreate()
66 assert( nInA + nInB == Vec_IntSize(vFanins) ); in Bac_BoxCreate()
74 assert( 1 + nInA + nInB == Vec_IntSize(vFanins) ); in Bac_BoxCreate()
82 assert( 3 == Vec_IntSize(vFanins) ); in Bac_BoxCreate()
90 assert( nInA + nInB == Vec_IntSize(vFanins) ); in Bac_BoxCreate()
98 assert( nInA + nInB == Vec_IntSize(vFanins) ); in Bac_BoxCreate()
106 assert( 1 + nInA + nInB == Vec_IntSize(vFanins) ); in Bac_BoxCreate()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/
H A DwlnWlc.c76 Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); in Wln_NtkFromWlc() local
156 Vec_IntClear( vFanins ); in Wln_NtkFromWlc()
158 Vec_IntPush( vFanins, Wlc_ObjCopy(p, iFanin) ); in Wln_NtkFromWlc()
159 Wln_ObjAddFanins( pNew, iOutId, vFanins ); in Wln_NtkFromWlc()
185 Vec_IntClear( vFanins ); in Wln_NtkFromWlc()
186 Vec_IntPush( vFanins, Wlc_ObjCopy(p, Wlc_ObjFaninId0(pObj)) ); in Wln_NtkFromWlc()
188 Vec_IntPush( vFanins, 0 ); in Wln_NtkFromWlc()
189 Vec_IntPush( vFanins, Vec_IntEntry(vInits, i-Wlc_NtkPoNum(p)) ); in Wln_NtkFromWlc()
190 Wln_ObjAddFanins( pNew, Vec_IntEntry(&pNew->vFfs, i-Wlc_NtkPoNum(p)), vFanins ); in Wln_NtkFromWlc()
192 Vec_IntFree( vFanins ); in Wln_NtkFromWlc()
H A DwlnNdr.c47 Vec_Int_t * vFanins; in Wln_NtkToNdr() local
60 vFanins = Vec_IntAlloc( 10 ); in Wln_NtkToNdr()
63 Vec_IntClear( vFanins ); in Wln_NtkToNdr()
65 Vec_IntPush( vFanins, iFanin ); in Wln_NtkToNdr()
68 Vec_IntSize(vFanins), Vec_IntArray(vFanins), 1, &iObj, in Wln_NtkToNdr()
71 Vec_IntFree( vFanins ); in Wln_NtkToNdr()
185 Vec_Int_t * vName2Obj, * vFanins = Vec_IntAlloc( 100 ); in Wln_NtkFromNdr() local
212 Vec_IntClear( vFanins ); in Wln_NtkFromNdr()
213 Vec_IntAppend( vFanins, vTemp ); in Wln_NtkFromNdr()
221 Wln_ObjAddFanins( pNtk, iObj, vFanins ); in Wln_NtkFromNdr()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaFx.c318 Vec_Int_t * vOrder, * vFirst, * vCount, * vFanins, * vCover; in Gia_ManFxInsert() local
342 vFanins = Vec_IntAlloc( 100 ); in Gia_ManFxInsert()
348 Vec_IntClear( vFanins ); in Gia_ManFxInsert()
356 Vec_IntPush( vFanins, Abc_Lit2Var(Lit) ); in Gia_ManFxInsert()
359 if ( Vec_IntSize(vFanins) > 6 ) in Gia_ManFxInsert()
365 for ( v = 0; v < Vec_IntSize(vFanins); v++ ) in Gia_ManFxInsert()
380 Vec_IntForEachEntry( vFanins, Var, v ) in Gia_ManFxInsert()
386 Lit = Gia_ManFactorNode( pNew, Vec_StrArray(vSop), vFanins ); in Gia_ManFxInsert()
407 Vec_IntForEachEntry( vFanins, Var, v ) in Gia_ManFxInsert()
413 Lit = Dsm_ManTruthToGia( pNew, &uTruth, vFanins, vCover ); in Gia_ManFxInsert()
[all …]
H A DgiaClp.c96 int nFanins = Vec_IntSize(vFanins); in Gia_ManRebuildIsop()
146 return Gia_ManFactorNode( pNew, pSop, vFanins ); in Gia_ManRebuildIsop()
160 Vec_IntClear( vFanins ); in Gia_ManRebuildNode()
167 Vec_IntPush( vFanins, iLit ); in Gia_ManRebuildNode()
182 iLit = Gia_ManHashOr( pNew, iLit, Vec_IntEntry(vFanins, i) ); in Gia_ManRebuildNode()
189 iLit = Gia_ManHashXor( pNew, iLit, Vec_IntEntry(vFanins, i) ); in Gia_ManRebuildNode()
198 iLit = Gia_ManRebuildIsop( ddNew, bLocal, pNew, vFanins, vSop, vCube ); in Gia_ManRebuildNode()
218 Vec_Int_t * vFanins; in Gia_ManRebuild() local
220 vFanins = Vec_IntAlloc( 1000 ); in Gia_ManRebuild()
241 iLit = Gia_ManRebuildNode( pManDsd, ppNodesDsd[i], pNew, ddNew, vFanins, vSop, vCube ); in Gia_ManRebuild()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/
H A DmfsResub_.c52 Vec_PtrForEachEntry( vFanins, pFanin, k ) in Abc_NtkMfsUpdateNetwork()
166 Vec_PtrClear( p->vFanins ); in Abc_NtkMfsSolveSatResub()
171 Vec_PtrPush( p->vFanins, pFanin ); in Abc_NtkMfsSolveSatResub()
192 Abc_NtkMfsUpdateNetwork( p, pNode, p->vFanins, pFunc ); in Abc_NtkMfsSolveSatResub()
269 Vec_PtrPush( p->vFanins, Vec_PtrEntry(p->vDivs, iVar) ); in Abc_NtkMfsSolveSatResub()
270 Abc_NtkMfsUpdateNetwork( p, pNode, p->vFanins, pFunc ); in Abc_NtkMfsSolveSatResub()
317 Vec_PtrClear( p->vFanins ); in Abc_NtkMfsSolveSatResub2()
322 Vec_PtrPush( p->vFanins, pFanin ); in Abc_NtkMfsSolveSatResub2()
341 Abc_NtkMfsUpdateNetwork( p, pNode, p->vFanins, pFunc ); in Abc_NtkMfsSolveSatResub2()
417 assert( Vec_PtrSize(p->vFanins) == nCands + 2 ); in Abc_NtkMfsSolveSatResub2()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswCnf.c54 p->vFanins = Vec_PtrAlloc( 100 ); in Ssw_SatStart()
88 Vec_PtrFree( p->vFanins ); in Ssw_SatStop()
369 Vec_PtrClear( p->vFanins ); in Ssw_CnfNodeAddToSolver()
370 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin0( Aig_ObjFanin0(pNode) ) ); in Ssw_CnfNodeAddToSolver()
371 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin0( Aig_ObjFanin1(pNode) ) ); in Ssw_CnfNodeAddToSolver()
372 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin1( Aig_ObjFanin0(pNode) ) ); in Ssw_CnfNodeAddToSolver()
374 Vec_PtrForEachEntry( Aig_Obj_t *, p->vFanins, pFanin, k ) in Ssw_CnfNodeAddToSolver()
380 Ssw_CollectSuper( pNode, fUseMuxes, p->vFanins ); in Ssw_CnfNodeAddToSolver()
381 Vec_PtrForEachEntry( Aig_Obj_t *, p->vFanins, pFanin, k ) in Ssw_CnfNodeAddToSolver()
383 Ssw_AddClausesSuper( p, pNode, p->vFanins ); in Ssw_CnfNodeAddToSolver()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/
H A DdchCnf.c305 Vec_PtrClear( p->vFanins ); in Dch_CnfNodeAddToSolver()
306 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin0( Aig_ObjFanin0(pNode) ) ); in Dch_CnfNodeAddToSolver()
307 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin0( Aig_ObjFanin1(pNode) ) ); in Dch_CnfNodeAddToSolver()
308 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin1( Aig_ObjFanin0(pNode) ) ); in Dch_CnfNodeAddToSolver()
309 Vec_PtrPushUnique( p->vFanins, Aig_ObjFanin1( Aig_ObjFanin1(pNode) ) ); in Dch_CnfNodeAddToSolver()
310 Vec_PtrForEachEntry( Aig_Obj_t *, p->vFanins, pFanin, k ) in Dch_CnfNodeAddToSolver()
316 Dch_CollectSuper( pNode, fUseMuxes, p->vFanins ); in Dch_CnfNodeAddToSolver()
317 Vec_PtrForEachEntry( Aig_Obj_t *, p->vFanins, pFanin, k ) in Dch_CnfNodeAddToSolver()
319 Dch_AddClausesSuper( p, pNode, p->vFanins ); in Dch_CnfNodeAddToSolver()
321 assert( Vec_PtrSize(p->vFanins) > 1 ); in Dch_CnfNodeAddToSolver()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkUtil.c361 Vec_Int_t * vFanins, * vFanouts; in Nwk_ManPrintFanioNew() local
380 vFanins = Vec_IntStart( nSizeMax ); in Nwk_ManPrintFanioNew()
391 Vec_IntAddToEntry( vFanins, nFanins, 1 ); in Nwk_ManPrintFanioNew()
393 Vec_IntAddToEntry( vFanins, 10 + nFanins/10, 1 ); in Nwk_ManPrintFanioNew()
395 Vec_IntAddToEntry( vFanins, 20 + nFanins/100, 1 ); in Nwk_ManPrintFanioNew()
397 Vec_IntAddToEntry( vFanins, 30 + nFanins/1000, 1 ); in Nwk_ManPrintFanioNew()
399 Vec_IntAddToEntry( vFanins, 40 + nFanins/10000, 1 ); in Nwk_ManPrintFanioNew()
401 Vec_IntAddToEntry( vFanins, 50 + nFanins/100000, 1 ); in Nwk_ManPrintFanioNew()
434 if ( vFanins->pArray[k] == 0 ) in Nwk_ManPrintFanioNew()
437 printf( "%12d ", vFanins->pArray[k] ); in Nwk_ManPrintFanioNew()
[all …]

12345