Searched refs:lastDecisionLevel (Results 1 – 4 of 4) sorted by relevance
582 lastDecisionLevel.push(q); in analyze()688 if(lastDecisionLevel.size()>0) { in analyze()689 for(int i = 0;i<lastDecisionLevel.size();i++) { in analyze()690 if(ca[reason(var(lastDecisionLevel[i]))].lbd()<lbd) in analyze()691 varBumpActivity(var(lastDecisionLevel[i])); in analyze()693 lastDecisionLevel.clear(); in analyze()1493 lastDecisionLevel.clear(false); in reset()
251 vec<Lit> lastDecisionLevel; variable
805 lastDecisionLevel.push(q); in analyze()909 if(lastDecisionLevel.size() > 0) { in analyze()910 for(int i = 0; i < lastDecisionLevel.size(); i++) { in analyze()911 if(ca[reason(var(lastDecisionLevel[i]))].lbd() < lbd) in analyze()912 varBumpActivity(var(lastDecisionLevel[i])); in analyze()914 lastDecisionLevel.clear(); in analyze()
357 vec<Lit> lastDecisionLevel; variable