diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-03-30 08:22:06 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-03-30 08:22:06 +0000 |
| commit | 09d8860f19b928114460386fa17847a8ffb02244 (patch) | |
| tree | 72064c34a09c32b7d52a10c28c2684b28149c100 /src/expr/node_manager.h | |
| parent | 473e87a54cdcff5384ebf09dc433a4c2a0b30c8b (diff) | |
I think this finishes off the CDMap<>/Attribute leaks
Diffstat (limited to 'src/expr/node_manager.h')
| -rw-r--r-- | src/expr/node_manager.h | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 6e24cce74..c51c7fb77 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -421,8 +421,8 @@ inline void NodeManager::setAttribute(TNode n, /** Make a function type from domain to range. * TODO: Function types should be unique for this manager. */ -FunctionType* NodeManager::mkFunctionType(Type* domain, - Type* range) const { +inline FunctionType* NodeManager::mkFunctionType(Type* domain, + Type* range) const { std::vector<Type*> argTypes; argTypes.push_back(domain); return new FunctionType(argTypes, range); @@ -430,13 +430,14 @@ FunctionType* NodeManager::mkFunctionType(Type* domain, /** Make a function type with input types from argTypes. * TODO: Function types should be unique for this manager. */ -FunctionType* NodeManager::mkFunctionType(const std::vector<Type*>& argTypes, - Type* range) const { +inline FunctionType* +NodeManager::mkFunctionType(const std::vector<Type*>& argTypes, + Type* range) const { Assert( argTypes.size() > 0 ); return new FunctionType(argTypes, range); } -Type* NodeManager::mkSort(const std::string& name) const { +inline Type* NodeManager::mkSort(const std::string& name) const { return new SortType(name); } |