Searched refs:implCnt (Results 1 – 1 of 1) sorted by relevance
300 int implCnt; // for statistics only in generateInterpolant() member305 …InterpolantBuilder() : implCnt(0), lastCol(COLOR_LEFT), conjuncts(FormulaList::empty()), aside(nul… in generateInterpolant()316 implCnt++; in generateInterpolant()417 cout << "Nestedness: " << justOneNoodle.implCnt << endl; in generateInterpolant()