| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxu/ |
| H A D | fxu.c | 80 pData->nNodesNew = 0; in Fxu_FastExtract()
91 while ( ++pData->nNodesNew < pData->nNodesExt ); in Fxu_FastExtract()
95 pData->nNodesNew = 0; in Fxu_FastExtract()
106 while ( ++pData->nNodesNew < pData->nNodesExt ); in Fxu_FastExtract()
110 pData->nNodesNew = 0; in Fxu_FastExtract()
135 while ( ++pData->nNodesNew < pData->nNodesExt ); in Fxu_FastExtract()
139 pData->nNodesNew = 0; in Fxu_FastExtract()
156 while ( ++pData->nNodesNew < pData->nNodesExt ); in Fxu_FastExtract()
164 if ( pData->nNodesNew ) in Fxu_FastExtract()
168 if ( pData->nNodesNew == pData->nNodesExt ) in Fxu_FastExtract()
[all …]
|
| H A D | fxu.h | 70 int nNodesNew; // the number of divisors actually extracted member
|
| H A D | fxuCreate.c | 306 for ( n = 0; n < pData->nNodesNew; n++ ) in Fxu_CreateCovers()
421 for ( v = iVar; v < pData->nNodesOld + pData->nNodesNew; v++ ) in Fxu_CreateCoversFirstCube()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/bdc/ |
| H A D | bdcInt.h | 93 int nNodesNew; // the number of new AND nodes created so far member
128 …p->nNodes >= p->nNodesAlloc || p->nNodesNew >= p->nNodesMax ) return NULL; pRes = p->pNodes + p->n… in Bdc_FunNew()
|
| H A D | bdcCore.c | 156 p->nNodesNew = - 1 - p->nVars - (vDivs? Vec_PtrSize(vDivs) : 0); in Bdc_ManPrepare()
185 assert( p->nNodesNew == 0 ); in Bdc_ManPrepare()
323 p->numNodes += p->nNodesNew; in Bdc_ManDecompose()
329 return p->nNodesNew; in Bdc_ManDecompose()
|
| H A D | bdcDec.c | 732 p->nNodesNew--; in Bdc_ManDecompose_rec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyRwr.c | 521 int nNodesNew, nNodesOld, Required; in Ivy_GraphUpdateNetwork() local
542 nNodesNew = Ivy_ManNodeNum(p); in Ivy_GraphUpdateNetwork()
543 assert( nGain <= nNodesOld - nNodesNew ); in Ivy_GraphUpdateNetwork()
562 int nNodesNew, nNodesOld, i, nRefsOld; in Ivy_GraphUpdateNetwork3() local
607 nNodesNew = Ivy_ManNodeNum(p); in Ivy_GraphUpdateNetwork3()
608 assert( nGain <= nNodesOld - nNodesNew ); in Ivy_GraphUpdateNetwork3()
|
| H A D | ivySeq.c | 529 int nNodesNew, nNodesOld; in Ivy_GraphUpdateNetworkSeq() local
535 nNodesNew = Ivy_ManNodeNum(p); in Ivy_GraphUpdateNetworkSeq()
536 assert( nGain <= nNodesOld - nNodesNew ); in Ivy_GraphUpdateNetworkSeq()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcQuant.c | 330 int i, v, nVars, nNodesOld, nNodesNew, nNodesPrev; in Abc_NtkReachability() local
396 nNodesNew = Abc_NtkNodeNum(pNtkFront); in Abc_NtkReachability()
401 …i + 1, Abc_NtkNodeNum(pNtkReached), nNodesOld, nNodesNew, 100.0*(nNodesNew-nNodesPrev)/nNodesPrev … in Abc_NtkReachability()
|
| H A D | abcFxu.c | 242 for ( i = p->vFanins->nSize; i < p->vFanins->nSize + p->nNodesNew; i++ ) in Abc_NtkFxuReconstruct()
269 for ( i = p->vFanins->nSize; i < p->vFanins->nSize + p->nNodesNew; i++ ) in Abc_NtkFxuReconstruct()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSpeedup.c | 633 int iObj, iFanin, iFanin2, nNodesNew; in Gia_ManSpeedup() local
681 nNodesNew = 1000 + 3 * Gia_ManObjNum(pNew); in Gia_ManSpeedup()
682 pNew->pNexts = ABC_CALLOC( int, nNodesNew ); in Gia_ManSpeedup()
683 pNew->pReprs = ABC_CALLOC( Gia_Rpr_t, nNodesNew ); in Gia_ManSpeedup()
684 for ( i = 0; i < nNodesNew; i++ ) in Gia_ManSpeedup()
770 if ( Gia_ManObjNum(pNew) > nNodesNew - 100 ) in Gia_ManSpeedup()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/dec/ |
| H A D | decAbc.c | 245 int nNodesNew, nNodesOld; in Dec_GraphUpdateNetwork() local
252 nNodesNew = Abc_NtkNodeNum(pNtk); in Dec_GraphUpdateNetwork()
|
| /dports/science/lammps/lammps-stable_29Sep2021/lib/atc/ |
| H A D | FE_Mesh.cpp | 1984 int nNodesNew = coordinates.nCols() + nNodesAdded; in cut_mesh() local
1985 coordinates.resize(nsd,nNodesNew,true); in cut_mesh()
1986 node_map.resize(nNodesNew,true); in cut_mesh()
2048 int nNodesNew = newToOld.size(); in delete_elements() local
2055 DENS_MAT *newCoords = new DENS_MAT(nSD_,nNodesNew); in delete_elements()
2056 Array<int> *newNodeMap = new Array<int> (nNodesNew); in delete_elements()
|
| /dports/science/liggghts/LIGGGHTS-PUBLIC-3.8.0-26-g6e873439/lib/atc/ |
| H A D | FE_Mesh.cpp | 1969 int nNodesNew = coordinates.nCols() + nNodesAdded; in cut_mesh() local
1970 coordinates.resize(nsd,nNodesNew,true); in cut_mesh()
1971 node_map.resize(nNodesNew,true); in cut_mesh()
2033 int nNodesNew = newToOld.size(); in delete_elements() local
2040 DENS_MAT *newCoords = new DENS_MAT(nSD_,nNodesNew); in delete_elements()
2041 Array<int> *newNodeMap = new Array<int> (nNodesNew); in delete_elements()
|