From 4202ac9f0d871336efdf444d87e44d114ffa57d4 Mon Sep 17 00:00:00 2001 From: Arijit Shaw Date: Sat, 23 Nov 2024 19:43:20 -0500 Subject: [PATCH] move projvars to stpmanager --- include/stp/STPManager/STPManager.h | 15 +++++++++++++++ lib/Interface/cpp_interface.cpp | 2 +- 2 files changed, 16 insertions(+), 1 deletion(-) diff --git a/include/stp/STPManager/STPManager.h b/include/stp/STPManager/STPManager.h index 31ca6ebd..67d71af6 100644 --- a/include/stp/STPManager/STPManager.h +++ b/include/stp/STPManager/STPManager.h @@ -72,6 +72,8 @@ class STPMgr // Table for variable names, let names etc. ASTSymbolSet _symbol_unique_table; + ASTNodeSet _proj_symbol_list; + // Table to uniquefy bvconst ASTBVConstSet _bvconst_unique_table; @@ -391,6 +393,19 @@ class STPMgr return CurrentSymbol; } + bool addProjSymbol(ASTNode& s) + { + _proj_symbol_list.insert(s); + std::cout << "Adding proj symbol: " << s << std::endl; + return true; + } + + bool isProjSymbol(ASTNode& s) + { + return _proj_symbol_list.find(s) != _proj_symbol_list.end(); + } + + bool FoundIntroducedSymbolSet(const ASTNode& in) { if (Introduced_SymbolsSet.find(in) != Introduced_SymbolsSet.end()) diff --git a/lib/Interface/cpp_interface.cpp b/lib/Interface/cpp_interface.cpp index 3ca7a5b6..44113353 100644 --- a/lib/Interface/cpp_interface.cpp +++ b/lib/Interface/cpp_interface.cpp @@ -341,7 +341,7 @@ void Cpp_interface::addSymbol(ASTNode& s) void Cpp_interface::addProjSymbol(ASTNode& s) { - getCurrentSymbols().push_back(s); + bm.addProjSymbol(s); } void Cpp_interface::success()