Searched refs:nRefis (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraClass.c | 460 int nRefis; in Fra_RefineClassLastIter() local
462 for ( nRefis = 0; (pClass2 = Fra_RefineClassOne( p, pClass )); nRefis++ ) in Fra_RefineClassLastIter()
470 nRefis++; in Fra_RefineClassLastIter()
478 return nRefis; in Fra_RefineClassLastIter()
497 int i, nRefis; in Fra_ClassesRefine() local
499 nRefis = 0; in Fra_ClassesRefine()
507 nRefis += Fra_RefineClassLastIter( p, p->vClassesTemp ); in Fra_ClassesRefine()
513 return nRefis; in Fra_ClassesRefine()
530 int i, k, nRefis = 1; in Fra_ClassesRefine1() local
573 nRefis += Fra_RefineClassLastIter( p, p->vClasses ); in Fra_ClassesRefine1()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswClass.c | 1037 int i, nRefis = 0; in Ssw_ClassesRefine() local
1039 nRefis += Ssw_ClassesRefineOneClass( p, ppClass[0], fRecursive ); in Ssw_ClassesRefine()
1040 return nRefis; in Ssw_ClassesRefine()
1057 int i, nRefis = 0; in Ssw_ClassesRefineGroup() local
1059 nRefis += Ssw_ClassesRefineOneClass( p, pObj, fRecursive ); in Ssw_ClassesRefineGroup()
1060 return nRefis; in Ssw_ClassesRefineGroup()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
| H A D | dchClass.c | 507 int i, nRefis = 0; in Dch_ClassesRefine() local
509 nRefis += Dch_ClassesRefineOneClass( p, ppClass[0], 0 ); in Dch_ClassesRefine()
510 return nRefis; in Dch_ClassesRefine()
|