Searched refs:hasAddedLemma (Results 1 – 4 of 4) sorted by relevance
66 doCheck = quant_e == QEFFORT_STANDARD && d_quantEngine->hasAddedLemma(); in check()71 fullEffort = !d_quantEngine->hasAddedLemma(); in check()
142 }else if( d_quantEngine->hasAddedLemma() ){ in check()
72 doCheck = quant_e == QEFFORT_STANDARD && d_quantEngine->hasAddedLemma(); in check()
217 bool hasAddedLemma() { return !d_lemmas_waiting.empty() || d_hasAddedLemma; } in hasAddedLemma() function