diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-01 13:20:49 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-01 13:20:49 -0500 |
| commit | 8e0fce94790249ff7aff84ff4500bb96e2ebb9e9 (patch) | |
| tree | 25e65718cff712f13688e452ffc1d4b459cd7367 /src/expr/expr_manager_template.h | |
| parent | 3506b13f4d298095e8405b32b05e838f17dbe809 (diff) | |
Working memory leak free version, changes interface to pointers.
Diffstat (limited to 'src/expr/expr_manager_template.h')
| -rw-r--r-- | src/expr/expr_manager_template.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h index 95b9c60bf..3f29396a3 100644 --- a/src/expr/expr_manager_template.h +++ b/src/expr/expr_manager_template.h @@ -87,6 +87,9 @@ private: ExprManager(const ExprManager&) CVC4_UNDEFINED; ExprManager& operator=(const ExprManager&) CVC4_UNDEFINED; + std::vector<DatatypeType> d_keep_dtt; + std::vector<Datatype> d_keep_dt; + public: /** @@ -371,14 +374,13 @@ public: SetType mkSetType(Type elementType) const; /** Make a type representing the given datatype. */ - DatatypeType mkDatatypeType(const Datatype& datatype); + DatatypeType mkDatatypeType(Datatype*& datatype); /** * Make a set of types representing the given datatypes, which may be * mutually recursive. */ - std::vector<DatatypeType> - mkMutualDatatypeTypes(const std::vector<Datatype>& datatypes); + void mkMutualDatatypeTypes(std::vector<Datatype*>& datatypes, std::vector<DatatypeType>& dtts); /** * Make a set of types representing the given datatypes, which may @@ -409,9 +411,7 @@ public: * then no complicated Type needs to be created, and the above, * simpler form of mkMutualDatatypeTypes() is enough. */ - std::vector<DatatypeType> - mkMutualDatatypeTypes(const std::vector<Datatype>& datatypes, - const std::set<Type>& unresolvedTypes); + void mkMutualDatatypeTypes(std::vector<Datatype*>& datatypes, std::set<Type>& unresolvedTypes, std::vector<DatatypeType>& dtts); /** * Make a type representing a constructor with the given parameterization. |