/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcOrder.c | 49 Vec_Ptr_t * vSupp; in Abc_NtkFindCiOrder() local 50 vSupp = Abc_NtkSupport( pNtk ); in Abc_NtkFindCiOrder() 51 Abc_NtkChangeCiOrder( pNtk, vSupp, fReverse ); in Abc_NtkFindCiOrder() 52 Vec_PtrFree( vSupp ); in Abc_NtkFindCiOrder() 70 Vec_Ptr_t * vSupp; in Abc_NtkImplementCiOrder() local 73 vSupp = Vec_PtrAlloc( Abc_NtkCiNum(pNtk) ); in Abc_NtkImplementCiOrder() 80 Vec_PtrFree( vSupp ); in Abc_NtkImplementCiOrder() 84 Vec_PtrPush( vSupp, pObj ); in Abc_NtkImplementCiOrder() 90 Vec_PtrFree( vSupp ); in Abc_NtkImplementCiOrder() 93 Abc_NtkChangeCiOrder( pNtk, vSupp, fReverse ); in Abc_NtkImplementCiOrder() [all …]
|
H A D | abcCollapse.c | 284 Vec_IntForEachEntry( vSupp, iCi, i ) 310 Vec_IntClear(vSupp); 411 Vec_IntForEachEntry( vSupp, iCi, i ) 631 vSupp = Vec_WecEntry( vSupps, iCo ); in Abc_NtkCollapseReduce() 635 Vec_IntShrink( vSupp, j ); in Abc_NtkCollapseReduce() 666 Vec_IntForEachEntry( vSupp, iObj, k ) in Abc_NtkClpDeriveSatSolver() 731 …printf( "Supp new = %4d. Sop = %4d. ", Vec_IntSize(vSupp), Vec_StrSize(vSop)/(Vec_IntSize(vSupp) … in Abc_NtkClpGiaOne() 770 …printf( "Supp new = %4d. Sop = %4d. ", Vec_IntSize(vSupp), Vec_StrSize(vSop)/(Vec_IntSize(vSupp) … in Abc_NtkClpGiaOne2() 814 if ( Vec_IntSize(vSupp) < 2 ) in Abc_GiaDeriveSops() 864 Vec_Int_t * vSupp; in Abc_NtkFromSopsInt() local [all …]
|
H A D | abcFpgaFast.c | 154 Vec_Int_t Supp, * vSupp = &Supp; in Ivy_ManToAbcFast_rec() local 164 Ivy_FastMapReadSupp( pMan, pObjIvy, vSupp ); in Ivy_ManToAbcFast_rec() 167 Vec_IntForEachEntry( vSupp, Entry, i ) in Ivy_ManToAbcFast_rec() 173 Ivy_ManCollectCut( pMan, pObjIvy, vSupp, vNodes ); in Ivy_ManToAbcFast_rec() 177 if ( i < Vec_IntSize(vSupp) ) in Ivy_ManToAbcFast_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbMfs.c | 917 Vec_IntClear( vSupp ); in Acb_NtkFindSupp1() 923 status = sat_solver_solve( pSat, Vec_IntArray(vSupp), Vec_IntLimit(vSupp), 0, 0, 0, 0 ); in Acb_NtkFindSupp1() 945 Vec_IntClear( vSupp ); in Acb_NtkFindSupp2() 966 status = sat_solver_solve( pSat, Vec_IntArray(vSupp), Vec_IntLimit(vSupp), 0, 0, 0, 0 ); in Acb_NtkFindSupp2() 981 Vec_IntClear( vSupp ); in Acb_NtkFindSupp2() 989 Vec_IntSelectSortCost( Vec_IntArray(vSupp), Vec_IntSize(vSupp), &p->vLevelD ); in Acb_NtkFindSupp2() 994 status = sat_solver_solve( pSat, Vec_IntArray(vSupp), Vec_IntLimit(vSupp), 0, 0, 0, 0 ); in Acb_NtkFindSupp2() 1195 Vec_IntFree( p->vSupp ); in Acb_MfsStop() 1284 printf( "%c", Vec_IntFind(vSupp, s) >= 0 ? 'a' + Vec_IntFind(vSupp, s) : ' ' ); in Acb_NtkOptNodeAnalyze() 1524 Vec_IntForEachEntryStart( p->vSupp, Var, i, Vec_IntSize(p->vSupp)-Result ) in Acb_NtkOptNode() [all …]
|
H A D | acbFunc.c | 535 Vec_IntSort( vSupp, 0 ); in Acb_NtkFindSupp() 537 return vSupp; in Acb_NtkFindSupp() 917 Vec_IntSort( vSupp, 0 ); in Acb_FindSupportStart() 918 return vSupp; in Acb_FindSupportStart() 1008 Vec_IntSort( vSupp, 0 ); in Acb_FindSupportNext() 1009 return vSupp; in Acb_FindSupportNext() 1035 return vSupp; in Acb_FindSupportMinOne() 1048 return vSupp; in Acb_FindSupportMin() 1321 if ( vSupp ) Vec_IntSort( vSupp, 0 ); in Acb_DerivePatchSupport() 1322 return vSupp; in Acb_DerivePatchSupport() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absRpm.c | 176 Vec_IntFree( vSupp ); in Gia_ManDomTest() 428 int nSize = Vec_IntSize(vSupp); in Abs_GiaSortNodes() 441 memmove( Vec_IntArray(vSupp), Vec_IntArray(vSupp) + nSize, sizeof(int) * nSize ); in Abs_GiaSortNodes() 442 Vec_IntShrink( vSupp, nSize ); in Abs_GiaSortNodes() 475 Vec_IntClear( vSupp ); in Abs_ManSupport1() 478 return Vec_IntSize(vSupp); in Abs_ManSupport1() 509 Vec_IntClear( vSupp ); in Abs_ManSupport2() 514 return Vec_IntSize(vSupp); in Abs_ManSupport2() 533 Abs_ManSupport2( p, pObj, vSupp ); in Abs_ManSupport3() 579 return Vec_IntSize(vSupp); in Abs_ManSupport3() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaMffc.c | 156 Vec_IntPush( vSupp, Gia_ObjId(p, pNode) ); in Gia_NodeCollect_rec() 169 Vec_IntClear( vSupp ); in Gia_NodeMffcSizeSupp() 179 Vec_IntForEachEntry( vSupp, iObj, i ) in Gia_NodeMffcSizeSupp() 216 for ( i = 0; i < Vec_IntSize(vSupp); i++ ) in Gia_ManDomDerive() 222 Gia_ManForEachObjVec( vSupp, p, pObj, i ) in Gia_ManDomDerive() 254 Vec_Int_t * vSupp, * vSuppRefs; in Gia_ManComputeDomsTry() local 264 vSupp = Vec_IntAlloc( 1000 ); in Gia_ManComputeDomsTry() 280 Vec_IntSelectSortCost2( Vec_IntArray(vSupp), Vec_IntSize(vSupp), Vec_IntArray(vSuppRefs) ); in Gia_ManComputeDomsTry() 284 printf( "Supp = %4d ", Vec_IntSize(vSupp) ); in Gia_ManComputeDomsTry() 290 for ( k = 0; k < Vec_IntSize(vSupp); k++ ) in Gia_ManComputeDomsTry() [all …]
|
H A D | giaTruth.c | 189 assert( Vec_IntSize(vSupp) <= 6 ); in Gia_ObjComputeTruth6() 191 Vec_IntForEachEntry( vSupp, Fanin, i ) in Gia_ObjComputeTruth6() 207 Vec_IntPushOrder( vSupp, iObj ); in Gia_ObjComputeTruth6CisSupport_rec() 211 Gia_ObjComputeTruth6CisSupport_rec( p, Gia_ObjFaninId0p(p, pObj), vSupp ); in Gia_ObjComputeTruth6CisSupport_rec() 212 Gia_ObjComputeTruth6CisSupport_rec( p, Gia_ObjFaninId1p(p, pObj), vSupp ); in Gia_ObjComputeTruth6CisSupport_rec() 217 Vec_IntClear( vSupp ); in Gia_ObjComputeTruth6Cis() 220 Gia_ObjComputeTruth6CisSupport_rec( p, iObj, vSupp ); in Gia_ObjComputeTruth6Cis() 221 if ( Vec_IntSize(vSupp) > 6 ) in Gia_ObjComputeTruth6Cis() 223 Gia_ObjComputeTruth6( p, iObj, vSupp, vTemp ); in Gia_ObjComputeTruth6Cis() 259 assert( Vec_IntSize(vSupp) <= 6 ); in Gia_ObjComputeTruthTable6() [all …]
|
H A D | giaDfs.c | 45 void Gia_ManCollectCis_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSupp ) in Gia_ManCollectCis_rec() argument 52 Vec_IntPush( vSupp, Gia_ObjId(p, pObj) ); in Gia_ManCollectCis_rec() 56 Gia_ManCollectCis_rec( p, Gia_ObjFanin0(pObj), vSupp ); in Gia_ManCollectCis_rec() 57 Gia_ManCollectCis_rec( p, Gia_ObjFanin1(pObj), vSupp ); in Gia_ManCollectCis_rec() 71 void Gia_ManCollectCis( Gia_Man_t * p, int * pNodes, int nNodes, Vec_Int_t * vSupp ) in Gia_ManCollectCis() argument 75 Vec_IntClear( vSupp ); in Gia_ManCollectCis() 82 Gia_ManCollectCis_rec( p, Gia_ObjFanin0(pObj), vSupp ); in Gia_ManCollectCis() 84 Gia_ManCollectCis_rec( p, pObj, vSupp ); in Gia_ManCollectCis()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigFact.c | 310 Kit_TruthClear( uCare, Vec_PtrSize(vSupp) ); in Aig_SuppMinPerform() 404 Vec_Ptr_t * vSupp; in Aig_SuppMinCollectSupport() local 407 vSupp = Vec_PtrAlloc( 4 ); in Aig_SuppMinCollectSupport() 416 Vec_PtrPush( vSupp, pFanin ); in Aig_SuppMinCollectSupport() 422 Vec_PtrPush( vSupp, pFanin ); in Aig_SuppMinCollectSupport() 425 return vSupp; in Aig_SuppMinCollectSupport() 631 if ( Vec_PtrSize(vSupp) > nSuppMax ) in Aig_ManSupportMinimization() 635 Vec_PtrFree( vSupp ); in Aig_ManSupportMinimization() 645 Vec_PtrFree( vSupp ); in Aig_ManSupportMinimization() 657 Vec_PtrFree( vSupp ); in Aig_ManSupportMinimization() [all …]
|
H A D | aigMffc.c | 150 void Aig_NodeMffcSupp_rec( Aig_Man_t * p, Aig_Obj_t * pNode, unsigned LevelMin, Vec_Ptr_t * vSupp, … in Aig_NodeMffcSupp_rec() argument 159 if ( vSupp ) Vec_PtrPush( vSupp, pNode ); in Aig_NodeMffcSupp_rec() 164 Aig_NodeMffcSupp_rec( p, Aig_ObjFanin0(pNode), LevelMin, vSupp, 0, pObjSkip ); in Aig_NodeMffcSupp_rec() 165 Aig_NodeMffcSupp_rec( p, Aig_ObjFanin1(pNode), LevelMin, vSupp, 0, pObjSkip ); in Aig_NodeMffcSupp_rec() 179 int Aig_NodeMffcSupp( Aig_Man_t * p, Aig_Obj_t * pNode, int LevelMin, Vec_Ptr_t * vSupp ) in Aig_NodeMffcSupp() argument 182 if ( vSupp ) Vec_PtrClear( vSupp ); in Aig_NodeMffcSupp() 185 if ( Aig_ObjIsCi(pNode) && vSupp ) in Aig_NodeMffcSupp() 186 Vec_PtrPush( vSupp, pNode ); in Aig_NodeMffcSupp() 193 Aig_NodeMffcSupp_rec( p, pNode, LevelMin, vSupp, 1, NULL ); in Aig_NodeMffcSupp()
|
H A D | aigPart.c | 253 Vec_Int_t * vSupp; in Part_ManTransferEntry() local 258 return vSupp; in Part_ManTransferEntry() 276 Vec_Int_t * vSupp; in Aig_ManSupports() local 388 Vec_Int_t * vSupp; in Aig_ManSupportsInverse() local 421 Vec_Int_t * vSupp; in Aig_ManSupportsRegisters() local 434 Vec_IntFree( vSupp ); in Aig_ManSupportsRegisters() 447 Vec_IntShrink( vSupp, m ); in Aig_ManSupportsRegisters() 455 assert( vSupp != NULL ); in Aig_ManSupportsRegisters() 1530 Vec_Ptr_t * vSupp; in Aig_ManChoiceEval() local 1534 vSupp = Vec_PtrAlloc( 100 ); in Aig_ManChoiceEval() [all …]
|
H A D | aigSplit.c | 265 Vec_Ptr_t * vSupp, * vSubs, * vCofs; in Aig_ManSplit() local 283 vSupp = Aig_Support( p, Aig_ObjFanin0(Aig_ManCo(p,0)) ); in Aig_ManSplit() 284 if ( Vec_PtrSize(vSupp) == 0 ) in Aig_ManSplit() 287 Vec_PtrFree( vSupp ); in Aig_ManSplit() 292 printf( "Support =%5d. BDD size =%6d. ", Vec_PtrSize(vSupp), Cudd_DagSize(bFunc) ); in Aig_ManSplit() 293 vSubs = Aig_ManVecRandSubset( vSupp, nVars ); in Aig_ManSplit() 300 Vec_PtrFree( vSupp ); in Aig_ManSplit()
|
H A D | aigScl.c | 492 Vec_Int_t * vSupp, * vSupp2, * vComp; in Aig_ManComputeSccs() local 504 Vec_PtrForEachEntry( Vec_Int_t *, vSupports, vSupp, i ) in Aig_ManComputeSccs() 507 iOut = Vec_IntPop( vSupp ); in Aig_ManComputeSccs() 513 Vec_IntForEachEntry( vSupp, iIn, k ) in Aig_ManComputeSccs() 519 Vec_IntWriteEntry( vSupp, m++, iIn ); in Aig_ManComputeSccs() 521 Vec_IntShrink( vSupp, m ); in Aig_ManComputeSccs() 524 Vec_PtrWriteEntry( vMatrix, iOut, vSupp ); in Aig_ManComputeSccs() 530 Vec_PtrForEachEntry( Vec_Int_t *, vMatrix, vSupp, i ) in Aig_ManComputeSccs() 532 Vec_IntForEachEntry( vSupp, iIn, k ) in Aig_ManComputeSccs() 556 vSupp = (Vec_Int_t *)Vec_PtrEntry( vMatrix, iOut ); in Aig_ManComputeSccs() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/cov/ |
H A D | covBuild.c | 107 Vec_Int_t * vSupp; in Abc_NtkCovDeriveNode_rec() local 118 vSupp = Abc_ObjGetSupp( pObj ); in Abc_NtkCovDeriveNode_rec() 120 assert( vSupp ); in Abc_NtkCovDeriveNode_rec() 136 Vec_IntForEachEntry( vSupp, Entry, i ) in Abc_NtkCovDeriveNode_rec() 304 Vec_Int_t * vSupp; in Abc_NtkCovDeriveNodeInv_rec() local 313 vSupp = Abc_ObjGetSupp( pObj ); in Abc_NtkCovDeriveNodeInv_rec() 315 assert( vSupp ); in Abc_NtkCovDeriveNodeInv_rec() 318 Vec_IntForEachEntry( vSupp, Entry, i ) in Abc_NtkCovDeriveNodeInv_rec() 401 Vec_Int_t * vSupp; in Abc_NtkCovDerive_rec() local 409 vSupp = Abc_ObjGetSupp( pObj ); in Abc_NtkCovDerive_rec() [all …]
|
H A D | covCore.c | 284 Vec_Int_t * vSupp; in Abc_NodeCovSupport() local 345 return vSupp; in Abc_NodeCovSupport() 381 Vec_IntFree( vSupp ); in Abc_NodeCovPropagate() 438 Vec_IntFree( vSupp ); in Abc_NodeCovPropagate() 444 Abc_ObjSetSupp( pObj, vSupp ); in Abc_NodeCovPropagate() 690 Vec_IntFree( vSupp ); 719 Vec_IntFree( vSupp ); 731 Vec_IntFree( vSupp ); 741 Abc_ObjSetSupp( pObj, vSupp ); 774 Vec_IntFree( vSupp ); [all …]
|
H A D | covTest.c | 124 Vec_PtrForEachEntry( Abc_Obj_t *, vSupp, pObj, i ) in Abc_NodeDeriveSops() 173 Vec_PtrForEachEntry( Abc_Obj_t *, vSupp, pObj, i ) in Abc_NodeDeriveSops() 201 Vec_Ptr_t * vSupp, * vNodes; in Abc_NtkTestSop() local 216 vSupp = Abc_NtkNodeSupport( pNtk, &pObj, 1 ); in Abc_NtkTestSop() 223 p = Min_ManAlloc( vSupp->nSize ); in Abc_NtkTestSop() 232 Vec_PtrFree( vSupp ); in Abc_NtkTestSop() 319 Vec_PtrForEachEntry( Abc_Obj_t *, vSupp, pObj, i ) in Abc_NodeDeriveEsops() 359 Vec_PtrForEachEntry( Abc_Obj_t *, vSupp, pObj, i ) in Abc_NodeDeriveEsops() 381 Vec_Ptr_t * vSupp, * vNodes; in Abc_NtkTestEsop() local 402 p = Min_ManAlloc( vSupp->nSize ); in Abc_NtkTestEsop() [all …]
|
H A D | covMan.c | 94 Vec_Int_t * vSupp; in Cov_ManFree() local 98 vSupp = ((Cov_Obj_t *)p->vObjStrs->pArray[i])->vSupp; in Cov_ManFree() 99 if ( vSupp ) Vec_IntFree( vSupp ); in Cov_ManFree()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecMult.c | 455 if ( Vec_IntSize(vSupp) >= 0 ) in Acec_MultDetectInputs() 465 Vec_IntPrint( vSupp ); in Acec_MultDetectInputs() 491 Vec_IntFree( vSupp ); in Acec_MultDetectInputs() 542 if ( Vec_IntSize(vSupp) > 6 ) in Acec_MultMarkPPs() 544 vSupp->nSize = Abc_Tt6MinBase( &Truth, vSupp->pArray, vSupp->nSize ); in Acec_MultMarkPPs() 545 if ( Vec_IntSize(vSupp) > 5 ) in Acec_MultMarkPPs() 559 Vec_IntFree( vSupp ); in Acec_MultMarkPPs() 621 if ( Vec_IntSize(vSupp) > 6 ) in Acec_MultFindPPs() 623 vSupp->nSize = Abc_Tt6MinBase( &Truth, vSupp->pArray, vSupp->nSize ); in Acec_MultFindPPs() 624 if ( Vec_IntSize(vSupp) > 5 ) in Acec_MultFindPPs() [all …]
|
H A D | acecCore.c | 78 Vec_Int_t * vSupp = Vec_IntAlloc( 100 ); in Acec_VerifyClasses() local 88 if ( Vec_IntSize(vSupp) > 6 ) in Acec_VerifyClasses() 94 vSupp->nSize = Abc_Tt6MinBase( &Truth, vSupp->pArray, vSupp->nSize ); in Acec_VerifyClasses() 95 if ( Vec_IntSize(vSupp) > 5 ) in Acec_VerifyClasses() 107 Vec_IntFree( vSupp ); in Acec_VerifyClasses() 226 Vec_Int_t * vSupp; in Acec_MatchPrintEquivLits() local 242 vSupp = Vec_IntAlloc( 100 ); in Acec_MatchPrintEquivLits() 263 if ( Vec_IntSize(vSupp) > 6 ) in Acec_MatchPrintEquivLits() 268 vSupp->nSize = Abc_Tt6MinBase( &Truth, vSupp->pArray, vSupp->nSize ); in Acec_MatchPrintEquivLits() 279 Vec_IntPrint( vSupp ); in Acec_MatchPrintEquivLits() [all …]
|
H A D | acecCl.c | 200 Vec_IntPush( vSupp, Gia_ObjId(p, pObj) ); in Acec_DetectComputeSuppOne_rec() 204 Acec_DetectComputeSuppOne_rec( p, Gia_ObjFanin0(pObj), vSupp, vNods ); in Acec_DetectComputeSuppOne_rec() 205 Acec_DetectComputeSuppOne_rec( p, Gia_ObjFanin1(pObj), vSupp, vNods ); in Acec_DetectComputeSuppOne_rec() 212 Vec_Int_t * vSupp = Vec_IntAlloc( 100 ); int i, k, Node, Pol; in Acec_DetectComputeSupports() local 221 Vec_IntClear( vSupp ); in Acec_DetectComputeSupports() 228 Vec_IntSort( vSupp, 0 ); in Acec_DetectComputeSupports() 231 Vec_IntPrint( vSupp ); in Acec_DetectComputeSupports() 239 Vec_IntForEachEntry( vSupp, Node, k ) in Acec_DetectComputeSupports() 242 Vec_IntForEachEntryTwo( vSupp, vPols, Node, Pol, k ) in Acec_DetectComputeSupports() 247 Vec_IntPrint( vSupp ); in Acec_DetectComputeSupports() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigCone.c | 45 void Saig_ManSupport_rec( Aig_Man_t * p, Aig_Obj_t * pObj, Vec_Ptr_t * vSupp ) in Saig_ManSupport_rec() argument 57 Vec_PtrPush( vSupp, pObj ); in Saig_ManSupport_rec() 62 Saig_ManSupport_rec( p, Aig_ObjFanin0(pObj), vSupp ); in Saig_ManSupport_rec() 63 Saig_ManSupport_rec( p, Aig_ObjFanin1(pObj), vSupp ); in Saig_ManSupport_rec() 79 Vec_Ptr_t * vSupp; in Saig_ManSupport() local 82 vSupp = Vec_PtrAlloc( 100 ); in Saig_ManSupport() 87 Saig_ManSupport_rec( p, Aig_ObjFanin0(pObj), vSupp ); in Saig_ManSupport() 89 return vSupp; in Saig_ManSupport()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcRefs.c | 266 void Abc_NodeMffcConeSupp_rec( Abc_Obj_t * pNode, Vec_Ptr_t * vCone, Vec_Ptr_t * vSupp, int fTopmos… in Abc_NodeMffcConeSupp_rec() argument 277 if ( vSupp ) Vec_PtrPush( vSupp, pNode ); in Abc_NodeMffcConeSupp_rec() 282 Abc_NodeMffcConeSupp_rec( pFanin, vCone, vSupp, 0 ); in Abc_NodeMffcConeSupp_rec() 299 void Abc_NodeMffcConeSupp( Abc_Obj_t * pNode, Vec_Ptr_t * vCone, Vec_Ptr_t * vSupp ) in Abc_NodeMffcConeSupp() argument 304 if ( vSupp ) Vec_PtrClear( vSupp ); in Abc_NodeMffcConeSupp() 306 Abc_NodeMffcConeSupp_rec( pNode, vCone, vSupp, 1 ); in Abc_NodeMffcConeSupp() 323 Vec_Ptr_t * vCone, * vSupp; in Abc_NodeMffcConeSuppPrint() local 327 vSupp = Vec_PtrAlloc( 100 ); in Abc_NodeMffcConeSuppPrint() 329 Abc_NodeMffcConeSupp( pNode, vCone, vSupp ); in Abc_NodeMffcConeSuppPrint() 332 Abc_ObjName(pNode), Vec_PtrSize(vSupp), Vec_PtrSize(vCone) ); in Abc_NodeMffcConeSuppPrint() [all …]
|
H A D | abcShow.c | 451 Vec_Ptr_t * vSupp; in Abc_NtkWriteFlopDependency() local 470 vSupp = Abc_NtkNodeSupport( pNtk, &pObj, 1 ); in Abc_NtkWriteFlopDependency() 472 Vec_PtrForEachEntry( Abc_Obj_t *, vSupp, pTemp, k ) in Abc_NtkWriteFlopDependency() 474 Vec_PtrFree( vSupp ); in Abc_NtkWriteFlopDependency() 479 vSupp = Abc_NtkNodeSupport( pNtk, &pObj, 1 ); in Abc_NtkWriteFlopDependency() 481 Vec_PtrForEachEntry( Abc_Obj_t *, vSupp, pTemp, k ) in Abc_NtkWriteFlopDependency() 484 Vec_PtrFree( vSupp ); in Abc_NtkWriteFlopDependency()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigMffc.c | 158 void Aig_NodeMffsSupp_rec( Aig_Man_t * p, Aig_Obj_t * pNode, unsigned LevelMin, Vec_Ptr_t * vSupp, … in Aig_NodeMffsSupp_rec() argument 167 if ( vSupp ) Vec_PtrPush( vSupp, pNode ); in Aig_NodeMffsSupp_rec() 172 Aig_NodeMffsSupp_rec( p, Aig_ObjFanin0(pNode), LevelMin, vSupp, 0, pObjSkip ); in Aig_NodeMffsSupp_rec() 173 Aig_NodeMffsSupp_rec( p, Aig_ObjFanin1(pNode), LevelMin, vSupp, 0, pObjSkip ); in Aig_NodeMffsSupp_rec() 187 int Aig_NodeMffsSupp( Aig_Man_t * p, Aig_Obj_t * pNode, int LevelMin, Vec_Ptr_t * vSupp ) in Aig_NodeMffsSupp() argument 192 if ( vSupp ) Vec_PtrClear( vSupp ); in Aig_NodeMffsSupp() 195 Aig_NodeMffsSupp_rec( p, pNode, LevelMin, vSupp, 1, NULL ); in Aig_NodeMffsSupp()
|