diff options
Diffstat (limited to 'src/decision/justification_heuristic.h')
| -rw-r--r-- | src/decision/justification_heuristic.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h index 5ecb5eb08..81b08f1a6 100644 --- a/src/decision/justification_heuristic.h +++ b/src/decision/justification_heuristic.h @@ -121,8 +121,9 @@ public: prop::SatLiteral getNext(bool &stopSearch) override; - void addAssertions( - const preprocessing::AssertionPipeline &assertions) override; + void addAssertions(const std::vector<Node>& assertions, + const std::vector<Node>& ppLemmas, + const std::vector<Node>& ppSkolems) override; private: /* getNext with an option to specify threshold */ |