Commit 1baa36f7 authored by Romain WALLON's avatar Romain WALLON
Browse files

Adds private modifier

parent e49f712a
...@@ -1205,7 +1205,7 @@ public class Solver<D extends DataStructureFactory> ...@@ -1205,7 +1205,7 @@ public class Solver<D extends DataStructureFactory>
private IVecInt unsatExplanationInTermsOfAssumptions; private IVecInt unsatExplanationInTermsOfAssumptions;
Lbool search(IVecInt assumps) { private Lbool search(IVecInt assumps) {
assert this.rootLevel == decisionLevel(); assert this.rootLevel == decisionLevel();
this.stats.starts++; this.stats.starts++;
int backjumpLevel; int backjumpLevel;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment