Searched refs:nFilterTruth (Results 1 – 1 of 1) sorted by relevance
80 int nFilterTruth; member538 …y TT redundancy = %10d. (%6.2f %%)\n", p->nFilterTruth, !p->nTried? 0 : 100.0*p->nFilter… in Lms_ManPrint()661 p->nFilterTruth++; in Abc_NtkRecLibMerge3()807 p->nFilterTruth++; in Abc_NtkRecAddCut3()