Searched refs:learnNegUb (Results 1 – 1 of 1) sorted by relevance
769 bool learnNegUb = !(negUb->hasProof()); in AssertLower() local770 if(learnNegUb){ in AssertLower()777 }else if(learnNegUb){ in AssertLower()