Home
last modified time | relevance | path

Searched refs:vSupp (Results 1 – 25 of 57) sorted by relevance

123

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcOrder.c49 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 DabcCollapse.c284 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 DabcFpgaFast.c154 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 DacbMfs.c917 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 DacbFunc.c535 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 DabsRpm.c176 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 DgiaMffc.c156 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 DgiaTruth.c189 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 DgiaDfs.c45 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 DaigFact.c310 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 DaigMffc.c150 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 DaigPart.c253 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 DaigSplit.c265 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 DaigScl.c492 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 DcovBuild.c107 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 DcovCore.c284 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 DcovTest.c124 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 DcovMan.c94 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 DacecMult.c455 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 DacecCore.c78 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 DacecCl.c200 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 DsaigCone.c45 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 DabcRefs.c266 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 DabcShow.c451 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 DaigMffc.c158 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()

123