diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-02-05 13:08:13 -0800 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-02-05 13:08:13 -0800 |
| commit | b96d64bf23a53bd630bd822ff534517157ee08fd (patch) | |
| tree | 4f9a322c76b8979d81511c88de368733c520947f | |
| parent | 03e330b938f04eab6ad9123ee7b50b34a0a00eb6 (diff) | |
| parent | 78fc27358e6b6aae27b11528be54003022b1f663 (diff) | |
Merge pull request #3 from kbansal/1.0.x
decision/ : save d_prvsIndex in JH
| -rw-r--r-- | src/decision/justification_heuristic.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h index de6bf5095..5d13d2dd2 100644 --- a/src/decision/justification_heuristic.h +++ b/src/decision/justification_heuristic.h @@ -130,8 +130,10 @@ public: return prop::undefSatLiteral; } - if(litDecision != undefSatLiteral) + if(litDecision != undefSatLiteral) { + d_prvsIndex = i; return litDecision; + } } Trace("decision") << "jh: Nothing to split on " << std::endl; |