Searched refs:needAddLemma (Results 1 – 1 of 1) sorted by relevance
637 bool needAddLemma = false; in check() local683 needAddLemma = true; in check()756 …f negated assertions, addedLemma=" << addedLemma << ", needAddLemma=" << needAddLemma << std::endl; in check()771 needAddLemma = true; in check()816 if( needAddLemma ){ in check()