diff options
Diffstat (limited to 'src/expr/node_manager.h')
-rw-r--r-- | src/expr/node_manager.h | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index cfe771ca5..592b5e7e9 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -91,10 +91,6 @@ class NodeManager { friend Expr ExprManager::mkVar(const std::string&, Type, uint32_t flags); friend Expr ExprManager::mkVar(Type, uint32_t flags); - // friend so it can access NodeManager's d_listeners and notify clients - friend std::vector<DatatypeType> ExprManager::mkMutualDatatypeTypes( - std::vector<Datatype>&, std::set<Type>&, uint32_t); - /** Predicate for use with STL algorithms */ struct NodeValueReferenceCountNonZero { bool operator()(expr::NodeValue* nv) { return nv->d_rc > 0; } @@ -380,8 +376,8 @@ class NodeManager { /** Create a variable with the given type. */ Node mkVar(const TypeNode& type, uint32_t flags = ExprManager::VAR_FLAG_NONE); Node* mkVarPtr(const TypeNode& type, uint32_t flags = ExprManager::VAR_FLAG_NONE); - -public: + + public: explicit NodeManager(ExprManager* exprManager); ~NodeManager(); |