/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
H A D | mpmPre.c | 54 int nObjs; member 103 p->nObjs = 2; in Ifd_ManStart() 115 Vec_IntPush( p->vMarks, p->nObjs ); in Ifd_ManStart() 184 for ( i = 0; i < p->nObjs; i++ ) in Ifd_ManPrint2() 194 for ( i = 0; i < p->nObjs; i++ ) in Ifd_ManPrint() 273 for ( i = 0; i < p->nObjs; i++ ) in Ifd_ManTruthAll() 403 if ( p->nObjs == p->nObjsAlloc ) in Ifd_ManHashFindOrAdd() 405 assert( p->nObjs < p->nObjsAlloc ); in Ifd_ManHashFindOrAdd() 406 iObj = p->nObjs; in Ifd_ManHashFindOrAdd() 407 pObj = Ifd_ManObj( p, p->nObjs++ ); in Ifd_ManHashFindOrAdd() [all …]
|
H A D | mpmMig.h | 64 int nObjs; // number of objects member 109 static inline int Mig_ManObjNum( Mig_Man_t * p ) { return p->nObjs; … in Mig_ManObjNum() 110 static inline int Mig_ManNodeNum( Mig_Man_t * p ) { return p->nObjs - Vec_IntSize(&p->… in Mig_ManNodeNum() 116 static inline Mig_Obj_t * Mig_ManObj( Mig_Man_t * p, int v ) { assert(v >= 0 && v < p->nObjs); r… in Mig_ManObj() 220 assert( p->nObjs < MIG_NONE ); in Mig_ManAppendObj() 221 if ( p->nObjs >= (Vec_PtrSize(&p->vPages) << MIG_BASE) ) in Mig_ManAppendObj() 224 assert( p->nObjs == (Vec_PtrSize(&p->vPages) << MIG_BASE) ); in Mig_ManAppendObj() 233 pObj = Mig_ManObj( p, p->nObjs++ ); in Mig_ManAppendObj() 235 Mig_ObjSetId( pObj, p->nObjs-1 ); in Mig_ManAppendObj()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigOper.c | 412 Aig_Obj_t * Aig_Multi_rec( Aig_Man_t * p, Aig_Obj_t ** ppObjs, int nObjs, Aig_Type_t Type ) in Aig_Multi_rec() argument 415 if ( nObjs == 1 ) in Aig_Multi_rec() 417 pObj1 = Aig_Multi_rec( p, ppObjs, nObjs/2, Type ); in Aig_Multi_rec() 418 pObj2 = Aig_Multi_rec( p, ppObjs + nObjs/2, nObjs - nObjs/2, Type ); in Aig_Multi_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyMan.c | 147 pNew->nObjs[IVY_PI] -= Ivy_ManLatchNum(p); in Ivy_ManDup() 148 pNew->nObjs[IVY_LATCH] += Ivy_ManLatchNum(p); in Ivy_ManDup() 347 p->nObjs[pObj->Type]--; in Ivy_ManCleanupSeq() 519 p->nObjs[IVY_PI] -= nLatches; in Ivy_ManMakeSeq() 520 p->nObjs[IVY_PO] -= nLatches; in Ivy_ManMakeSeq() 521 p->nObjs[IVY_BUF] += nLatches; in Ivy_ManMakeSeq()
|
H A D | ivyMulti8.c | 62 Ivy_Obj_t * Ivy_Multi_rec( Ivy_Obj_t ** ppObjs, int nObjs, Ivy_Type_t Type ) in Ivy_Multi_rec() argument 65 if ( nObjs == 1 ) in Ivy_Multi_rec() 67 pObj1 = Ivy_Multi_rec( ppObjs, nObjs/2, Type ); in Ivy_Multi_rec() 68 pObj2 = Ivy_Multi_rec( ppObjs + nObjs/2, nObjs - nObjs/2, Type ); in Ivy_Multi_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/scl/ |
H A D | sclLoad.c | 172 int nObjs = 0; in Abc_SclComputeLoad() local 177 nObjs++; in Abc_SclComputeLoad() 183 nObjs++; in Abc_SclComputeLoad() 185 p->EstLoadAve = (float)(TotalLoad / nObjs); in Abc_SclComputeLoad()
|
/dports/science/rdkit/rdkit-Release_2021_03_5/rdkit/ML/Data/ |
H A D | Stats.py | 28 nObjs = len(mat) 29 avgs = sum(mat, 0) / float(nObjs) 31 devs = math.sqrt(sum(mat * mat, 0) / (float(nObjs - 1)))
|
/dports/editors/libreoffice/libreoffice-7.2.6.2/svx/source/engine3d/ |
H A D | dragmt3d.cxx | 56 for(size_t nObjs = 0; nObjs < nCnt; ++nObjs) in E3dDragMethod() local 58 … E3dObject* pE3dObj = dynamic_cast< E3dObject* >(rMark.GetMark(nObjs)->GetMarkedSdrObj()); in E3dDragMethod() 71 for(size_t nObjs = 0; nObjs < nCnt; ++nObjs) in E3dDragMethod() local 73 E3dObject* pE3dObj = dynamic_cast< E3dObject* >(rMark.GetMark(nObjs)->GetMarkedSdrObj()); in E3dDragMethod()
|
/dports/editors/libreoffice6/libreoffice-6.4.7.2/svx/source/engine3d/ |
H A D | dragmt3d.cxx | 55 for(size_t nObjs = 0; nObjs < nCnt; ++nObjs) in E3dDragMethod() local 57 … E3dObject* pE3dObj = dynamic_cast< E3dObject* >(rMark.GetMark(nObjs)->GetMarkedSdrObj()); in E3dDragMethod() 70 for(size_t nObjs = 0; nObjs < nCnt; ++nObjs) in E3dDragMethod() local 72 E3dObject* pE3dObj = dynamic_cast< E3dObject* >(rMark.GetMark(nObjs)->GetMarkedSdrObj()); in E3dDragMethod()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
H A D | extraUtilPerm.c | 76 int nObjs; member 153 if ( p->nObjs == p->nObjsAlloc ) in Abc_ZddUniqueCreate() 155 assert( p->nObjs < p->nObjsAlloc ); in Abc_ZddUniqueCreate() 156 *q = p->nObjs++; in Abc_ZddUniqueCreate() 184 Abc_ZddMan * Abc_ZddManAlloc( int nVars, int nObjs ) in Abc_ZddManAlloc() argument 189 p->nObjsAlloc = nObjs; in Abc_ZddManAlloc() 190 p->nUniqueMask = (1 << Abc_Base2Log(nObjs)) - 1; in Abc_ZddManAlloc() 191 p->nCacheMask = (1 << Abc_Base2Log(nObjs)) - 1; in Abc_ZddManAlloc() 196 p->nObjs = 2; in Abc_ZddManAlloc() 202 assert( p->nObjs == nVars + 2 ); in Abc_ZddManAlloc() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcIfif.c | 47 int nObjs; member 51 …Man_t * p, int i ) { assert( i >= 0 && i < p->nObjs ); return p->pObjs… in Abc_IffObj() 76 p->nObjs = Abc_NtkObjNumMax( pNtk ); in Abc_NtkIfifStart() 77 p->pObjs = ABC_CALLOC( Abc_IffObj_t, p->nObjs ); in Abc_NtkIfifStart()
|
H A D | abcOdc.c | 63 int nObjs; // number of objects (Const1, PIs, ANDs) member 102 static inline int Odc_NodeNum( Odc_Man_t * p ) { return p->nObjs - p->n… in Odc_NodeNum() 103 static inline int Odc_ObjNum( Odc_Man_t * p ) { return p->nObjs; … in Odc_ObjNum() 119 …w( Odc_Man_t * p ) { assert( p->nObjs < p->nObjsAlloc ); return p->pObjs + p->n… in Odc_ObjNew() 121 …_Man_t * p, Odc_Lit_t Lit ) { assert( !(Lit & 1) && (int)(Lit>>1) < p->nObjs ); return p->pObjs… in Odc_Lit2Obj() 190 p->nObjs = 1 + p->nPis; in Abc_NtkDontCareAlloc() 191 memset( p->pObjs, 0, p->nObjs * sizeof(Odc_Obj_t) ); in Abc_NtkDontCareAlloc() 256 p->nObjs = 1 + p->nPis; in Abc_NtkDontCareClear() 801 assert( p->nObjs <= p->nObjsAlloc ); in Abc_NtkDontCareQuantify()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaShrink7.c | 77 p->pNew->nObjs = p->nNewSize; in Unm_ManAlloc() 79 p->pNew->nObjs = 1; in Unm_ManAlloc() 208 Vec_Int_t * Unm_ManFindUsedNodes( Vec_Int_t * vPairs, int nObjs ) in Unm_ManFindUsedNodes() argument 211 Vec_Str_t * vMarks = Vec_StrStart( nObjs ); int i; in Unm_ManFindUsedNodes() 214 for ( i = 0; i < nObjs; i++ ) in Unm_ManFindUsedNodes()
|
H A D | giaCof.c | 61 int nObjs; // the number of objects member 91 … Cof_ManObjNum( Cof_Man_t * p ) { return p->nObjs; … in Cof_ManObjNum() 178 p->nObjs++; in Cof_ManCreateLogicSimple() 250 int Cof_ManTfoSize( Cof_Man_t * p, Cof_Obj_t ** ppObjs, int nObjs ) in Cof_ManTfoSize() argument 254 for ( i = 0; i < nObjs; i++ ) in Cof_ManTfoSize() 296 int Cof_ManTfiSize( Cof_Man_t * p, Cof_Obj_t ** ppObjs, int nObjs ) in Cof_ManTfiSize() argument 300 for ( i = 0; i < nObjs; i++ ) in Cof_ManTfiSize() 345 int Cof_ManSuppSize( Cof_Man_t * p, Cof_Obj_t ** ppObjs, int nObjs ) in Cof_ManSuppSize() argument 349 for ( i = 0; i < nObjs; i++ ) in Cof_ManSuppSize()
|
H A D | giaGlitch.c | 63 int nObjs; // the number of objects member 78 static inline int Gli_ManObjNum( Gli_Man_t * p ) { return p->nObjs; … in Gli_ManObjNum() 79 static inline int Gli_ManNodeNum( Gli_Man_t * p ) { return p->nObjs - Vec_IntSize(… in Gli_ManNodeNum() 144 Gli_Man_t * Gli_ManAlloc( int nObjs, int nRegs, int nFanioPairs ) in Gli_ManAlloc() argument 147 …p = (Gli_Man_t *)ABC_CALLOC( int, (sizeof(Gli_Man_t) / 4) + (sizeof(Gli_Obj_t) / 4) * nObjs + 2 * … in Gli_ManAlloc() 154 p->nObjData = (sizeof(Gli_Obj_t) / 4) * nObjs + 2 * nFanioPairs; in Gli_ManAlloc() 273 p->nObjs++; in Gli_ObjAlloc()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/ |
H A D | sscSim.c | 119 void Vec_WrdDoubleSimInfo( Vec_Wrd_t * p, int nObjs ) in Vec_WrdDoubleSimInfo() argument 122 int i, nWords = Vec_WrdSize(p) / nObjs; in Vec_WrdDoubleSimInfo() 123 assert( Vec_WrdSize(p) % nObjs == 0 ); in Vec_WrdDoubleSimInfo() 124 for ( i = 0; i < nObjs; i++ ) in Vec_WrdDoubleSimInfo() 127 p->nSize = p->nCap = 2*nWords*nObjs; in Vec_WrdDoubleSimInfo()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/ |
H A D | wlnObj.c | 61 p->nObjs[Wln_ObjType(p, iObj)]--; in Wln_ObjUpdateType() 63 p->nObjs[Wln_ObjType(p, iObj)]++; in Wln_ObjUpdateType() 122 p->nObjs[Type]++; in Wln_ObjAlloc()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absVta.c | 216 int i, w, nObjs = Vec_IntSize(p) / nWords; in Vta_ManDeriveAbsAll() local 218 vRes = Vec_IntAlloc( nObjs ); in Vta_ManDeriveAbsAll() 219 for ( i = 0; i < nObjs; i++ ) in Vta_ManDeriveAbsAll() 244 int i, w, nObjs = Vec_IntSize(p) / nWords; in Vec_IntDoubleWidth() local 246 for ( i = 0; i < nObjs; i++ ) in Vec_IntDoubleWidth() 294 if ( p->nObjs == p->nObjsAlloc ) in Vga_ManFindOrAdd() 315 *pPlace = p->nObjs++; in Vga_ManFindOrAdd() 992 p->nObjs = 1; in Vga_ManStart() 1363 p->nObjs = nObjOld; in Vga_ManRollBack() 1365 if ( Entry < p->nObjs ) in Vga_ManRollBack() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fsim/ |
H A D | fsimInt.h | 66 int nObjs; // nCis + nNodes + nCos + 2 member 114 i < p->nObjs && Fsim_ManRestoreObj( p, pObj ); i++ )
|
H A D | fsimTsim.c | 313 pEnd = p->pDataAig2 + 3 * p->nObjs; in Fsim_ManTerSimulateRound() 353 p->nObjs, p->nCis + p->nNodes, p->nCrossCutMax, p->nFront, in Fsim_ManTerSimulate() 365 1.0*(p->pDataCur-p->pDataAig)/p->nObjs ); in Fsim_ManTerSimulate() 400 p->pDataAig2? 12.0*p->nObjs/(1<<20) : 1.0*(p->pDataCur-p->pDataAig)/(1<<20), in Fsim_ManTerSimulate()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
H A D | aig.h | 124 int nObjs[AIG_OBJ_VOID];// the number of objects by type member 223 static inline int Aig_ManPiNum( Aig_Man_t * p ) { return p->nObjs[AIG_OBJ_PI]; … in Aig_ManPiNum() 224 static inline int Aig_ManPoNum( Aig_Man_t * p ) { return p->nObjs[AIG_OBJ_PO]; … in Aig_ManPoNum() 225 static inline int Aig_ManBufNum( Aig_Man_t * p ) { return p->nObjs[AIG_OBJ_BUF]; … in Aig_ManBufNum() 226 static inline int Aig_ManAndNum( Aig_Man_t * p ) { return p->nObjs[AIG_OBJ_AND]; … in Aig_ManAndNum() 227 static inline int Aig_ManExorNum( Aig_Man_t * p ) { return p->nObjs[AIG_OBJ_EXOR]; … in Aig_ManExorNum() 228 static inline int Aig_ManLatchNum( Aig_Man_t * p ) { return p->nObjs[AIG_OBJ_LATCH];… in Aig_ManLatchNum() 229 …nt Aig_ManNodeNum( Aig_Man_t * p ) { return p->nObjs[AIG_OBJ_AND]+p->nObjs[AIG_OBJ… in Aig_ManNodeNum() 230 …t Aig_ManGetCost( Aig_Man_t * p ) { return p->nObjs[AIG_OBJ_AND]+3*p->nObjs[AIG_OB… in Aig_ManGetCost()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigUtil.c | 1329 int Val0, Val1, nObjs, i, k, iBit = 0; in Aig_ManCounterExampleValueStart() local 1338 nObjs = Aig_ManObjNumMax(pAig); in Aig_ManCounterExampleValueStart() 1342 Abc_InfoSetBit( (unsigned *)pAig->pData2, nObjs * i + 0 ); in Aig_ManCounterExampleValueStart() 1346 Abc_InfoSetBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjId(pObj) ); in Aig_ManCounterExampleValueStart() 1350 Val0 = Abc_InfoHasBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjFaninId0(pObj) ); in Aig_ManCounterExampleValueStart() 1351 Val1 = Abc_InfoHasBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjFaninId1(pObj) ); in Aig_ManCounterExampleValueStart() 1353 Abc_InfoSetBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjId(pObj) ); in Aig_ManCounterExampleValueStart() 1358 Val0 = Abc_InfoHasBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjFaninId0(pObj) ); in Aig_ManCounterExampleValueStart() 1360 Abc_InfoSetBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjId(pObj) ); in Aig_ManCounterExampleValueStart() 1366 if ( Abc_InfoHasBit( (unsigned *)pAig->pData2, nObjs * i + Aig_ObjId(pObjRi) ) ) in Aig_ManCounterExampleValueStart() [all …]
|
/dports/math/dune-uggrid/dune-uggrid-bc2d1229420367563410ce9e519f5ff82b45266f/dune/uggrid/parallel/ddd/mgr/ |
H A D | cplmgr.cc | 287 context.nObjs(context.nObjs() + 1); in AddCoupling() 459 context.nObjs(context.nObjs() - 1); in DelCoupling() 460 assert(context.nObjs() == ctx.nCpls); in DelCoupling()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/ |
H A D | cbaNtk.c | 218 if ( p->pDesign->nObjs[i] == 0 ) in Cba_NtkPrintDistrib() 289 if ( !p->pDesign->nObjs[i] ) in Cba_NtkPrintStatsFull() 294 printf( "%2d : %-8s %6d\n", i, pTypeNames[i], p->pDesign->nObjs[i] ); in Cba_NtkPrintStatsFull() 603 int Cba_NtkFindMissing( Vec_Int_t * vObjs, int nObjs ) in Cba_NtkFindMissing() argument 605 Vec_Int_t * vMap = Vec_IntStartFull( nObjs + 1 ); in Cba_NtkFindMissing() 708 void Cba_ManGetClpStats( Cba_Man_t * p, int * nObjs, int * nFins, int * nFons ) in Cba_ManGetClpStats() argument 715 *nObjs = Cba_NtkPioNum(pRoot) + pCountN[Cba_NtkId(pRoot)]; in Cba_ManGetClpStats() 793 int i, iObj, iObjNew, iFon, nObjs = 0, nFins = 0, nFons = 0; in Cba_ManCollapse() local 795 Cba_ManGetClpStats( p, &nObjs, &nFins, &nFons ); in Cba_ManCollapse() 965 int nObjs, nFins, nFons; in Cba_ManExtractGroup() local [all …]
|
/dports/math/stp/stp-2.3.3/lib/Simplifier/ |
H A D | AIGSimplifyPropositionalCore.cpp | 161 int initial_nodeCount = mgr.aigMgr->nObjs[AIG_OBJ_AND]; in topLevel() 187 if (lastNodeCount == mgr.aigMgr->nObjs[AIG_OBJ_AND]) in topLevel() 189 lastNodeCount = mgr.aigMgr->nObjs[AIG_OBJ_AND]; in topLevel()
|