diff options
Diffstat (limited to 'src/smt/abduction_solver.h')
-rw-r--r-- | src/smt/abduction_solver.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/smt/abduction_solver.h b/src/smt/abduction_solver.h index c7f9db035..b408fe060 100644 --- a/src/smt/abduction_solver.h +++ b/src/smt/abduction_solver.h @@ -23,6 +23,7 @@ namespace cvc5 { +class Env; class SmtEngine; namespace smt { @@ -37,7 +38,7 @@ namespace smt { class AbductionSolver { public: - AbductionSolver(SmtEngine* parent); + AbductionSolver(Env& env, SmtEngine* parent); ~AbductionSolver(); /** * This method asks this SMT engine to find an abduct with respect to the @@ -84,6 +85,8 @@ class AbductionSolver * problems. */ bool getAbductInternal(Node& abd); + /** Reference to the env */ + Env& d_env; /** The parent SMT engine */ SmtEngine* d_parent; /** The SMT engine subsolver |