diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-02-16 19:22:31 -0500 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2013-02-16 19:22:47 -0500 |
| commit | 8f341b6dc401a780f4a84fd4c51063242e885149 (patch) | |
| tree | db5e6c86ad632015edd4e3dac6f1812a53291c17 /src/decision/justification_heuristic.h | |
| parent | 518ef0afb92533cfb059b05b4af3e2882d24c5a7 (diff) | |
decision/: justification: refactor ITE out
Diffstat (limited to 'src/decision/justification_heuristic.h')
| -rw-r--r-- | src/decision/justification_heuristic.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h index b0f42c583..a1a39cd6a 100644 --- a/src/decision/justification_heuristic.h +++ b/src/decision/justification_heuristic.h @@ -233,7 +233,7 @@ private: TNode node2, SatValue desiredVal2); bool handleBinaryHard(TNode node1, SatValue desiredVal1, TNode node2, SatValue desiredVal2); - + bool handleITE(TNode node, SatValue desiredVal); };/* class JustificationHeuristic */ }/* namespace decision */ |