/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcFxu.c | 176 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 D | absRefSelect.c | 72 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 D | abcMinBase.c | 78 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 D | abcFanOrder.c | 146 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 D | abcFanio.c | 93 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 D | wlcReadVer.c | 41 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 D | wlcMem.c | 82 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 D | wlcNdr.c | 198 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 D | wlcUif.c | 241 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 D | wlcReadSmt.c | 321 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 D | wlcNtk.c | 250 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 D | rsbDec6.c | 360 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 D | sfmNtk.c | 50 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 D | resSat.c | 61 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 D | fraCnf.c | 240 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 D | fraigSat.c | 814 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 D | bacOper.c | 44 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 D | wlnWlc.c | 76 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 D | wlnNdr.c | 47 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 D | giaFx.c | 318 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 D | giaClp.c | 96 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 D | mfsResub_.c | 52 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 D | sswCnf.c | 54 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 D | dchCnf.c | 305 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 D | nwkUtil.c | 361 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 …]
|