Home
last modified time | relevance | path

Searched refs:lastDecisionLevel (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/
H A DGlucose.cpp582 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()
H A DSolver.h251 vec<Lit> lastDecisionLevel; variable
/dports/math/glucose/glucose-syrup-4.1/core/
H A DSolver.cc805 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()
H A DSolver.h357 vec<Lit> lastDecisionLevel; variable