Home
last modified time | relevance | path

Searched refs:nRefs (Results 1 – 25 of 198) sorted by relevance

12345678

/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/cnf/
H A DcnfMap.c68 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 DcnfPost.c72 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 DcnfUtil.c65 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 DcnfMap.c54 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 DcnfPost.c57 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 DaigMffc.c68 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 DaigPart.c59 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 DaigMffc.c56 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 DgiaShrink7.c124 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 DivyFastMap.c463 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 Dnochaos.cxx140 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 Dnochaos.cxx141 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 DfpgaSwitch.c76 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 DfpgaMatch.c132 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 DfpgaCutUtils.c291 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 DsaigRetFwd.c31 …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 DifUtil.c110 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 DifCut.c1032 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 DamapGraph.c117 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 DFunctionKey.cpp146 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 DcswCore.c59 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 Dac3d.cpp742 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 Dac3d.cpp731 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 DpdrUtil.c73 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 DlstClose.c16 hLst->nRefs--; in lstClose()
23 if ( hLst->nRefs > 0 ) in lstClose()

12345678