Home
last modified time | relevance | path

Searched refs:nObjs (Results 76 – 100 of 238) sorted by relevance

12345678910

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/
H A DmpmPre.c54 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 DmpmMig.h64 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 DaigOper.c412 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 DivyMan.c147 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 DivyMulti8.c62 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 DsclLoad.c172 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 DStats.py28 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 Ddragmt3d.cxx56 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 Ddragmt3d.cxx55 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 DextraUtilPerm.c76 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 DabcIfif.c47 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 DabcOdc.c63 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 DgiaShrink7.c77 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 DgiaCof.c61 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 DgiaGlitch.c63 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 DsscSim.c119 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 DwlnObj.c61 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 DabsVta.c216 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 DfsimInt.h66 int nObjs; // nCis + nNodes + nCos + 2 member
114 i < p->nObjs && Fsim_ManRestoreObj( p, pObj ); i++ )
H A DfsimTsim.c313 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 Daig.h124 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 DaigUtil.c1329 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 Dcplmgr.cc287 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 DcbaNtk.c218 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 DAIGSimplifyPropositionalCore.cpp161 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()

12345678910