Searched refs:CountCur (Results 1 – 7 of 7) sorted by relevance
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/cnf/ |
H A D | cnfData.c | 4677 int CountCur, Counter = 0, nLines = 0; 4710 CountCur = 0; 4730 Sop[CountCur] = cCube; 4731 CountCur++; 4734 Sop[CountCur] = 0; 4752 Counter += CountCur; 4753 pNums[uTruth] = CountCur; 4773 CountCur = pNums[i]; 4774 assert( CountCur > 0 ); 4775 for ( k = 0; k <= CountCur; k++ ) [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/ |
H A D | cnfData.c | 4662 int CountCur, Counter = 0, nLines = 0; 4695 CountCur = 0; 4715 Sop[CountCur] = cCube; 4716 CountCur++; 4719 Sop[CountCur] = 0; 4737 Counter += CountCur; 4738 pNums[uTruth] = CountCur; 4758 CountCur = pNums[i]; 4759 assert( CountCur > 0 ); 4760 for ( k = 0; k <= CountCur; k++ ) [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcNames.c | 533 int nDigits, i, k, CountCur, CountMax = 0; in Abc_NtkAddDummyBoxNames() local 538 CountCur = 0; in Abc_NtkAddDummyBoxNames() 542 CountCur++; in Abc_NtkAddDummyBoxNames() 545 CountMax = Abc_MaxInt( CountMax, CountCur ); in Abc_NtkAddDummyBoxNames() 549 CountCur = 0; in Abc_NtkAddDummyBoxNames() 553 CountCur++; in Abc_NtkAddDummyBoxNames() 556 CountMax = Abc_MaxInt( CountMax, CountCur ); in Abc_NtkAddDummyBoxNames()
|
/dports/archivers/deutex/deutex-5.2.2/src/ |
H A D | picture.c | 1570 static int32_t CountCur = 0; variable 1574 if (CountCur >= CountTop) in NextPixel() 1576 c = Raw[CountCur]; in NextPixel() 1577 CountCur++; in NextPixel() 1612 CountCur = 0; in RAWtoGIF()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/ver/ |
H A D | verCore.c | 2624 int i, k, j, m, CountCur, CountTotal = -1; in Ver_ParseDriveInputs() local 2632 CountCur = 0; in Ver_ParseDriveInputs() 2634 CountCur += (pBundle != NULL); in Ver_ParseDriveInputs() 2636 CountTotal = CountCur; in Ver_ParseDriveInputs() 2637 else if ( CountTotal != CountCur ) in Ver_ParseDriveInputs() 2640 CountCur, CountTotal, pNtk->pName, Abc_ObjName(pBox) ); in Ver_ParseDriveInputs()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaEra2.c | 1478 int i, CountCur, CountMax = 0; in Gia_ManCheckPOs() local 1483 CountCur = 0; in Gia_ManCheckPOs() 1487 CountCur = Gia_ManCheckPOs_rec( p->pNew, pObjNew ); in Gia_ManCheckPOs() 1489 CountMax = Abc_MaxInt( CountMax, CountCur ); in Gia_ManCheckPOs()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
H A D | dauDsd.c | 808 int CountCur = 0; in Dau_DsdPerform_rec() local 811 CountCur++; in Dau_DsdPerform_rec() 812 if ( CountBest > CountCur ) in Dau_DsdPerform_rec() 814 CountBest = CountCur; in Dau_DsdPerform_rec() 817 if ( CountCur == 0 ) in Dau_DsdPerform_rec()
|