Searched refs:CounterAll (Results 1 – 3 of 3) sorted by relevance
74 int i, Counter = 0, CounterAll = 0; in Abc_SclSclGates2MioGates() local83 CounterAll++; in Abc_SclSclGates2MioGates()86 … printf( "Could not find %d (out of %d) gates in the current library.\n", Counter, CounterAll ); in Abc_SclSclGates2MioGates()
532 int CounterAll; in Fxu_SelectSCD() local537 CounterAll = 0; in Fxu_SelectSCD()556 CounterAll++; in Fxu_SelectSCD()
1488 int i, Count, Count0, Count1, CounterAll = 0; in Extra_bddCountCubes() local1510 CounterAll += Count; in Extra_bddCountCubes()1515 return i == nFuncs ? CounterAll : -1; in Extra_bddCountCubes()