Searched refs:nCands1 (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswClass.c | 261 return p->nCands1; in Ssw_ClassesCand1Num()
373 nCands1 = 0; in Ssw_ClassesCheck()
377 assert( p->nCands1 == nCands1 ); in Ssw_ClassesCheck()
420 p->nCands1, p->nClasses, p->nCands1+p->nLits ); in Ssw_ClassesPrint()
461 p->nCands1--; in Ssw_ClassesRemoveNode()
514 p->nCands1 = 0; in Ssw_ClassesPrepareRehash()
732 p->nCands1 = 0; in Ssw_ClassesPrepareSimple()
749 p->nCands1++; in Ssw_ClassesPrepareSimple()
778 p->nCands1 = 0; in Ssw_ClassesPrepareFromReprs()
839 p->nCands1 = 0; in Ssw_ClassesPrepareTargets()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
| H A D | dchClass.c | 44 int nCands1; // the total number of const candidates member
244 int i, k, nLits, nClasses, nCands1; in Dch_ClassesCheck() local
263 nCands1 = 0; in Dch_ClassesCheck()
265 nCands1 += Dch_ObjIsConst1Cand( p->pAig, pObj ); in Dch_ClassesCheck()
267 assert( p->nCands1 == nCands1 ); in Dch_ClassesCheck()
309 p->nCands1, p->nClasses, p->nLits ); in Dch_ClassesPrint()
368 p->nCands1++; in Dch_ClassesPrepare()
396 p->pMemClasses = ABC_ALLOC( Aig_Obj_t *, nEntries + p->nCands1 ); in Dch_ClassesPrepare()
584 p->nCands1 -= Vec_PtrSize(p->vClassNew); in Dch_ClassesRefineConst1Group()
|