diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-30 13:15:49 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-30 13:15:49 -0500 |
commit | 17509acaecf8374b36e2ef27a6aa681cbb847d03 (patch) | |
tree | 701e35044aaeba6b0ef021eb28c02e9f26ac43fe /src/expr/expr_manager_template.h | |
parent | 8f11851e2ba5c70834faa980cb13790a5a828494 (diff) | |
parent | f9e61ad68d6e5811c7471fa36061b50709ab2fa3 (diff) |
Merge branch 'master' into update1.9news
Diffstat (limited to 'src/expr/expr_manager_template.h')
-rw-r--r-- | src/expr/expr_manager_template.h | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h index 1809eb2d0..3a4498ab7 100644 --- a/src/expr/expr_manager_template.h +++ b/src/expr/expr_manager_template.h @@ -36,6 +36,10 @@ ${includes} namespace CVC4 { +namespace api { +class Solver; +} + class Expr; class SmtEngine; class NodeManager; @@ -45,7 +49,8 @@ struct ExprManagerMapCollection; class ResourceManager; class CVC4_PUBLIC ExprManager { -private: + private: + friend api::Solver; /** The internal node manager */ NodeManager* d_nodeManager; @@ -83,7 +88,6 @@ private: /** A list of datatypes owned by this expr manager. */ std::vector<std::unique_ptr<Datatype> > d_ownedDatatypes; - public: /** * Creates an expression manager with default options. */ @@ -97,6 +101,7 @@ private: */ explicit ExprManager(const Options& options); + public: /** * Destroys the expression manager. No will be deallocated at this point, so * any expression references that used to be managed by this expression |