Home
last modified time | relevance | path

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 DcnfData.c4677 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 DcnfData.c4662 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 DabcNames.c533 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 Dpicture.c1570 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 DverCore.c2624 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 DgiaEra2.c1478 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 DdauDsd.c808 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()