Searched refs:CountConst0 (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswPairs.c | 48 int i, CountConst0 = 0, CountNonConst0 = 0, CountUndecided = 0; in Ssw_MiterStatus() local
57 CountConst0++; in Ssw_MiterStatus()
84 Abc_Print( 1, "Const0 = %d. ", CountConst0 ); in Ssw_MiterStatus()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraCore.c | 65 int i, CountConst0 = 0, CountNonConst0 = 0, CountUndecided = 0; in Fra_FraigMiterStatus() local
74 CountConst0++; in Fra_FraigMiterStatus()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyFraig.c | 1818 int i, CountConst0 = 0, CountNonConst0 = 0, CountUndecided = 0; in Ivy_FraigMiterStatus() local
1833 CountConst0++; in Ivy_FraigMiterStatus()
|