/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/cnf/ |
H A D | cnfMap.c | 68 pCut->Value += pLeaf->nRefs; in Cnf_CutAssignAreaFlow() 71 assert( pLeaf->nRefs > 0 ); in Cnf_CutAssignAreaFlow() 72 pCut->uSign += pAreaFlows[pLeaf->Id] / (pLeaf->nRefs? pLeaf->nRefs : 1); in Cnf_CutAssignAreaFlow() 97 assert( pLeaf->nRefs > 0 ); in Cnf_CutSuperAreaFlow() 98 nAreaFlow += pAreaFlows[pLeaf->Id] / (pLeaf->nRefs? pLeaf->nRefs : 1); in Cnf_CutSuperAreaFlow() 192 assert( pLeaf->nRefs > 0 ); 216 assert( pLeaf->nRefs >= 0 ); 316 if ( pLeaf->nRefs == 0 ) 326 pCut->FanRefs += pLeaf->nRefs; 354 if ( pObj->nRefs ) [all …]
|
H A D | cnfPost.c | 72 if ( pObj->nRefs == 0 ) in Cnf_ManPostprocess_old() 81 assert( pFan->nRefs != 0 ); in Cnf_ManPostprocess_old() 82 if ( pFan->nRefs != 1 ) in Cnf_ManPostprocess_old() 139 if ( Aig_ObjIsNode(pObj) && pObj->nRefs > 0 ) in Cnf_ManTransferCuts() 189 if ( pObj->nRefs == 0 ) 220 assert( pFan->nRefs != 0 ); 221 if ( pFan->nRefs != 1 ) 240 assert( pFan->nRefs == 0 );
|
H A D | cnfUtil.c | 65 if ( pObj->nRefs++ || Aig_ObjIsPi(pObj) || Aig_ObjIsConst1(pObj) ) in Aig_ManScanMapping_rec() 111 pObj->nRefs = 0; in Aig_ManScanMapping() 139 if ( pObj->nRefs++ || Aig_ObjIsPi(pObj) || Aig_ObjIsConst1(pObj) ) in Cnf_ManScanMapping_rec() 190 pObj->nRefs = 0; in Cnf_ManScanMapping()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/ |
H A D | cnfMap.c | 54 pCut->Value += pLeaf->nRefs; in Cnf_CutAssignAreaFlow() 57 assert( pLeaf->nRefs > 0 ); in Cnf_CutAssignAreaFlow() 58 pCut->uSign += pAreaFlows[pLeaf->Id] / (pLeaf->nRefs? pLeaf->nRefs : 1); in Cnf_CutAssignAreaFlow() 83 assert( pLeaf->nRefs > 0 ); in Cnf_CutSuperAreaFlow() 84 nAreaFlow += pAreaFlows[pLeaf->Id] / (pLeaf->nRefs? pLeaf->nRefs : 1); in Cnf_CutSuperAreaFlow() 174 assert( pLeaf->nRefs > 0 ); 198 assert( pLeaf->nRefs >= 0 ); 298 if ( pLeaf->nRefs == 0 ) 308 pCut->FanRefs += pLeaf->nRefs; 336 if ( pObj->nRefs ) [all …]
|
H A D | cnfPost.c | 57 if ( pObj->nRefs == 0 ) in Cnf_ManPostprocess_old() 66 assert( pFan->nRefs != 0 ); in Cnf_ManPostprocess_old() 67 if ( pFan->nRefs != 1 ) in Cnf_ManPostprocess_old() 124 if ( Aig_ObjIsNode(pObj) && pObj->nRefs > 0 ) in Cnf_ManTransferCuts() 173 if ( pObj->nRefs == 0 ) in Cnf_ManPostprocess() 204 assert( pFan->nRefs != 0 ); in Cnf_ManPostprocess() 205 if ( pFan->nRefs != 1 ) in Cnf_ManPostprocess() 224 assert( pFan->nRefs == 0 ); in Cnf_ManPostprocess()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigMffc.c | 68 assert( pFanin->nRefs > 0 ); in Aig_NodeDeref_rec() 69 if ( --pFanin->nRefs == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeDeref_rec() 77 assert( pFanin->nRefs > 0 ); in Aig_NodeDeref_rec() 78 if ( --pFanin->nRefs == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeDeref_rec() 102 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRef_rec() 110 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRef_rec() 135 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRefLabel_rec() 142 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRefLabel_rec() 165 …if ( !fTopmost && pNode != pObjSkip && (Aig_ObjIsPi(pNode) || pNode->nRefs > 0 || pNode->Level <= … in Aig_NodeMffsSupp_rec() 245 pObj->nRefs++; in Aig_NodeMffsLabelCut() [all …]
|
H A D | aigPart.c | 59 int nRefs; // the number of references member 190 pPart->nRefs = nRefs; in Part_ManFetchEntry() 310 assert( pPart0->nRefs > 0 ); in Aig_ManSupports() 311 if ( --pPart0->nRefs == 0 ) in Aig_ManSupports() 313 assert( pPart1->nRefs > 0 ); in Aig_ManSupports() 314 if ( --pPart1->nRefs == 0 ) in Aig_ManSupports() 324 assert( pPart0->nRefs > 0 ); in Aig_ManSupports() 325 if ( --pPart0->nRefs == 0 ) in Aig_ManSupports() 331 if ( pObj->nRefs ) in Aig_ManSupports() 341 if ( pObj->nRefs ) in Aig_ManSupports() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigMffc.c | 56 assert( pFanin->nRefs > 0 ); in Aig_NodeDeref_rec() 57 if ( --pFanin->nRefs == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeDeref_rec() 67 assert( pFanin->nRefs > 0 ); in Aig_NodeDeref_rec() 68 if ( --pFanin->nRefs == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeDeref_rec() 94 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRef_rec() 102 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRef_rec() 127 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRefLabel_rec() 134 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRefLabel_rec() 157 …if ( !fTopmost && pNode != pObjSkip && (Aig_ObjIsCi(pNode) || pNode->nRefs > 0 || pNode->Level <= … in Aig_NodeMffcSupp_rec() 244 pObj->nRefs++; in Aig_NodeMffcLabelCut() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaShrink7.c | 124 nRefs = Abc_MinInt( 20, Hash_IntObjData2(pHash, i) ); in Unm_ManPrintPairStats() 125 nTotal += nRefs; in Unm_ManPrintPairStats() 126 Counter[nRefs]++; in Unm_ManPrintPairStats() 127 nPairs += (nRefs > 1); in Unm_ManPrintPairStats() 160 int i, k, j, FanK, FanJ, Num, nRefs; in Unm_ManComputePairs() local 181 nRefs = Hash_Int2ObjInc(pHash, Num); in Unm_ManComputePairs() 182 if ( nRefs == 0 ) in Unm_ManComputePairs() 189 if ( nRefs == 1 ) in Unm_ManComputePairs() 290 nRefs = Hash_Int2ObjInc(p->pHash, Num); in Unm_ManCollectDecomp() 291 if ( nRefs == 0 ) in Unm_ManCollectDecomp() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyFastMap.c | 463 if ( pSupp->nRefs == 0 ) in Ivy_FastMapNodeArea() 471 if ( pSupp->nRefs != 0 ) in Ivy_FastMapNodeArea() 511 RefsOld = pSupp->nRefs; pSupp->nRefs = 0; in Ivy_FastMapNodeArea() 513 pSupp->nRefs = RefsOld; in Ivy_FastMapNodeArea() 526 if ( pSupp->nRefs != 0 ) in Ivy_FastMapNodeArea() 848 pSupp->nRefs = 0; in Ivy_FastMapRequired() 854 pSupp->nRefs = 0; in Ivy_FastMapRequired() 861 pSupp->nRefs++; in Ivy_FastMapRequired() 875 pSuppF->nRefs++; in Ivy_FastMapRequired() 1447 pSupp->nRefs = 0; in Ivy_FastMapNodeRecover2() [all …]
|
/dports/editors/libreoffice/libreoffice-7.2.6.2/sfx2/source/explorer/ |
H A D | nochaos.cxx | 140 sal_uInt16& nRefs = _pThePool->_nRefs; in Release() local 142 if ( nRefs ) in Release() 143 --nRefs; in Release() 145 if ( !nRefs ) in Release() 154 return nRefs; in Release()
|
/dports/editors/libreoffice6/libreoffice-6.4.7.2/sfx2/source/explorer/ |
H A D | nochaos.cxx | 141 sal_uInt16& nRefs = _pThePool->_nRefs; in Release() local 143 if ( nRefs ) in Release() 144 --nRefs; in Release() 146 if ( !nRefs ) in Release() 153 return nRefs; in Release()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/ |
H A D | fpgaSwitch.c | 76 assert( pNodeChild->nRefs >= 0 ); in Fpga_CutRefSwitch() 77 if ( pNodeChild->nRefs++ > 0 ) in Fpga_CutRefSwitch() 108 assert( pNodeChild->nRefs > 0 ); in Fpga_CutDerefSwitch() 109 if ( --pNodeChild->nRefs > 0 ) in Fpga_CutDerefSwitch() 139 assert( pNode->nRefs > 0 ); in Fpga_MappingGetSwitching()
|
H A D | fpgaMatch.c | 132 pNode->aEstFanouts = (float)pNode->nRefs; in Fpga_MatchNode() 283 if ( pNode->nRefs ) in Fpga_MatchNodeArea() 318 if ( pNode->nRefs ) in Fpga_MatchNodeArea() 326 if ( pNode->nRefs ) in Fpga_MatchNodeArea() 404 if ( pNode->nRefs ) in Fpga_MatchNodeSwitch() 439 if ( pNode->nRefs ) in Fpga_MatchNodeSwitch() 447 if ( pNode->nRefs ) in Fpga_MatchNodeSwitch() 513 if ( pNode->nRefs == 0 ) 592 assert( pNode->nRefs > 0 ); 625 printf( "%d ", pNode->nRefs ); [all …]
|
H A D | fpgaCutUtils.c | 291 if ( pCut->ppLeaves[i]->nRefs == 0 ) in Fpga_CutGetParameters() 324 pCut->aFlow += pCutFanin->aFlow / pCut->ppLeaves[i]->nRefs; in Fpga_CutGetAreaFlow() 400 assert( pNodeChild->nRefs >= 0 ); in Fpga_CutRef() 401 if ( pNodeChild->nRefs++ > 0 ) in Fpga_CutRef() 437 assert( pNodeChild->nRefs > 0 ); in Fpga_CutDeref() 438 if ( --pNodeChild->nRefs > 0 ) in Fpga_CutDeref()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigRetFwd.c | 31 …Static( Aig_Obj_t * pObj, Aig_Obj_t * pFan ) { ((Aig_Obj_t **)pObj->pData)[pObj->nRefs++] = pFan; } in Aig_ObjSetFanoutStatic() 34 for ( i = 0; (i < (int)(pObj)->nRefs) && ((pFan) = Aig_ObjFanoutStatic(pObj, i)); i++ ) 63 nFanouts += pObj->nRefs; in Aig_ManStaticFanoutStart() 64 pObj->nRefs = 0; in Aig_ManStaticFanoutStart() 120 pObjLi->nRefs = 1; in Saig_ManMarkAutonomous() 132 assert( pObjLo->pFanin0 && pObjLi->nRefs == 1 ); in Saig_ManMarkAutonomous() 134 pObjLi->nRefs = 0; in Saig_ManMarkAutonomous()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifUtil.c | 110 if ( pObj->nRefs++ || If_ObjIsCi(pObj) || If_ObjIsConst1(pObj) ) 149 pObj->nRefs = 0; 190 pObj->nRefs = 0; 264 pObj->nRefs = 0; 292 pObj->nRefs = 0; in If_ManResetOriginalRefs() 297 pObj->pFanin0->nRefs++; in If_ManResetOriginalRefs() 298 pObj->pFanin1->nRefs++; in If_ManResetOriginalRefs() 301 pObj->pFanin0->nRefs++; in If_ManResetOriginalRefs() 442 pObj->nRefs = 0; in If_ManMarkMapping() 470 if ( If_ObjIsAnd(pObj) && pObj->nRefs ) in If_ManCollectMappingDirect() [all …]
|
H A D | ifCut.c | 1032 nRefsTotal += pLeaf->nRefs; in If_CutAverageRefs() 1056 assert( pLeaf->nRefs > 0 ); in If_CutAreaDeref() 1057 if ( --pLeaf->nRefs > 0 || !If_ObjIsAnd(pLeaf) ) in If_CutAreaDeref() 1083 assert( pLeaf->nRefs >= 0 ); in If_CutAreaRef() 1157 assert( pLeaf->nRefs > 0 ); in If_CutEdgeDeref() 1184 assert( pLeaf->nRefs >= 0 ); in If_CutEdgeRef() 1259 assert( pLeaf->nRefs > 0 ); in If_CutPowerDeref() 1287 assert( pLeaf->nRefs >= 0 ); in If_CutPowerRef() 1416 if ( If_ObjIsAnd(pObj) && pObj->nRefs ) in If_CutGetCones() 1441 if ( pObj->nRefs || If_ObjIsCi(pObj) ) in If_CutFoundFanins_rec() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/ |
H A D | amapGraph.c | 117 pObj->Fan[0] = Amap_ObjToLit(pFan0); Amap_Regular(pFan0)->nRefs++; in Amap_ManCreatePo() 142 pObj->Fan[0] = Amap_ObjToLit(pFan0); Amap_Regular(pFan0)->nRefs++; in Amap_ManCreateAnd() 143 pObj->Fan[1] = Amap_ObjToLit(pFan1); Amap_Regular(pFan1)->nRefs++; in Amap_ManCreateAnd() 170 pObj->Fan[0] = Amap_ObjToLit(pFan0); Amap_Regular(pFan0)->nRefs++; in Amap_ManCreateXor() 171 pObj->Fan[1] = Amap_ObjToLit(pFan1); Amap_Regular(pFan1)->nRefs++; in Amap_ManCreateXor() 197 pObj->Fan[0] = Amap_ObjToLit(pFan0); Amap_Regular(pFan0)->nRefs++; in Amap_ManCreateMux() 198 pObj->Fan[1] = Amap_ObjToLit(pFan1); Amap_Regular(pFan1)->nRefs++; in Amap_ManCreateMux() 199 pObj->Fan[2] = Amap_ObjToLit(pFanC); Amap_Regular(pFanC)->nRefs++; in Amap_ManCreateMux()
|
/dports/textproc/xalan-c/xalan_c-1.12/src/xalanc/XSLT/ |
H A D | FunctionKey.cpp | 146 const NodeRefListBase::size_type nRefs = theNodeSet.getLength(); in execute() local 148 if (nRefs == 1) in execute() 158 else if (nRefs > 1) in execute() 164 for(NodeRefListBase::size_type i = 0; i < nRefs; i++) in execute()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/csw/ |
H A D | cswCore.c | 59 Csw_ObjAddRefs( p, pObj, Aig_ManCi(p->pManAig,i)->nRefs ); in Csw_Sweep() 71 pObjRes = Csw_ObjSweep( p, Aig_Regular(pObjNew), pObj->nRefs > 1 ); in Csw_Sweep() 78 Csw_ObjAddRefs( p, Aig_Regular(pObjRes), pObj->nRefs ); in Csw_Sweep()
|
/dports/graphics/osg/OpenSceneGraph-OpenSceneGraph-3.6.5/src/osgPlugins/ac/ |
H A D | ac3d.cpp | 742 if (nRefs < 2) { in beginPrimitive() 747 _refs.reserve(nRefs); in beginPrimitive() 770 unsigned nRefs = _refs.size(); in endPrimitive() local 772 for (unsigned i = 0; i < nRefs; ++i) { in endPrimitive() 830 _refs.reserve(nRefs); in beginPrimitive() 834 if (nRefs < 3) { in beginPrimitive() 850 unsigned nRefs = _refs.size(); in endPrimitive() local 898 else if (nRefs == 3) in endPrimitive() 908 else if (nRefs == 4) in endPrimitive() 1336 unsigned nRefs = 0; in readObject() local [all …]
|
/dports/graphics/osg34/OpenSceneGraph-OpenSceneGraph-3.4.1/src/osgPlugins/ac/ |
H A D | ac3d.cpp | 731 if (nRefs < 2) { in beginPrimitive() 736 _refs.reserve(nRefs); in beginPrimitive() 759 unsigned nRefs = _refs.size(); in endPrimitive() local 761 for (unsigned i = 0; i < nRefs; ++i) { in endPrimitive() 819 _refs.reserve(nRefs); in beginPrimitive() 823 if (nRefs < 3) { in beginPrimitive() 839 unsigned nRefs = _refs.size(); in endPrimitive() local 887 else if (nRefs == 3) in endPrimitive() 897 else if (nRefs == 4) in endPrimitive() 1321 unsigned nRefs = 0; in readObject() local [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
H A D | pdrUtil.c | 73 p->nRefs = 1; in Pdr_SetCreate() 106 p->nRefs = 1; in Pdr_SetCreateFrom() 140 p->nRefs = 1; in Pdr_SetCreateSubset() 173 p->nRefs = 1; in Pdr_SetDup() 193 p->nRefs++; in Pdr_SetRef() 210 if ( --p->nRefs == 0 ) in Pdr_SetDeref() 521 p->nRefs = 1; in Pdr_OblStart() 541 p->nRefs++; in Pdr_OblRef() 558 if ( --p->nRefs == 0 ) in Pdr_OblDeref()
|
/dports/databases/unixODBC/unixODBC-2.3.9/lst/ |
H A D | lstClose.c | 16 hLst->nRefs--; in lstClose() 23 if ( hLst->nRefs > 0 ) in lstClose()
|