diff options
Diffstat (limited to 'src/decision/justification_heuristic.h')
| -rw-r--r-- | src/decision/justification_heuristic.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h index a70bee02c..0cd45ada7 100644 --- a/src/decision/justification_heuristic.h +++ b/src/decision/justification_heuristic.h @@ -32,6 +32,7 @@ #include "decision/decision_engine.h" #include "decision/decision_strategy.h" #include "expr/node.h" +#include "preprocessing/assertion_pipeline.h" #include "prop/sat_solver_types.h" namespace CVC4 { @@ -119,9 +120,8 @@ public: prop::SatLiteral getNext(bool &stopSearch) override; - void addAssertions(const std::vector<Node> &assertions, - unsigned assertionsEnd, - IteSkolemMap iteSkolemMap) override; + void addAssertions( + const preprocessing::AssertionPipeline &assertions) override; private: /* getNext with an option to specify threshold */ |