3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-10-06 16:07:25 +01:00
parent 578b1e4684
commit 31c6b3eb5b
2 changed files with 5 additions and 3 deletions

View file

@ -152,6 +152,10 @@ void expr_dominators::reset() {
// -----------------------
// dom_simplify_tactic
dom_simplify_tactic::~dom_simplify_tactic() {
dealloc(m_simplifier);
}
tactic * dom_simplify_tactic::translate(ast_manager & m) {
return alloc(dom_simplify_tactic, m, m_simplifier->translate(m), m_params);
}

View file

@ -83,8 +83,6 @@ class dom_simplifier {
};
class dom_simplify_tactic : public tactic {
public:
private:
ast_manager& m;
dom_simplifier* m_simplifier;
params_ref m_params;
@ -126,7 +124,7 @@ public:
m_scope_level(0), m_depth(0), m_max_depth(1024), m_forward(true) {}
virtual ~dom_simplify_tactic() {}
virtual ~dom_simplify_tactic();
virtual tactic * translate(ast_manager & m);
virtual void updt_params(params_ref const & p) {}