1 files changed, 39 insertions, 0 deletions
diff --git a/src/smt/expr_names.cpp b/src/smt/expr_names.cpp
new file mode 100644
index 000000000..78c0346e4
--- /dev/null
+++ b/src/smt/expr_names.cpp
@@ -0,0 +1,39 @@
+/*********************                                                        */
+/*! \file expr_names.cpp
+ ** \verbatim
+ ** Top contributors (to current version):
+ **   Andrew Reynolds
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+ ** in the top-level source directory) and their institutional affiliations.
+ ** All rights reserved.  See the file COPYING in the top-level source
+ ** directory for licensing information.\endverbatim
+ **
+ ** \brief Utility for maintaining expression names.
+ **/
+
+#include "smt/expr_names.h"
+
+namespace CVC4 {
+namespace smt {
+
+ExprNames::ExprNames(context::UserContext* u)
+    : d_exprNames(u)
+{
+}
+
+void ExprNames::setExpressionName(const Node& e, const std::string& name) {
+  d_exprNames[e] = name;
+}
+
+bool ExprNames::getExpressionName(const Node& e, std::string& name) const {
+  auto it = d_exprNames.find(e);
+  if(it!=d_exprNames.end()) {
+    name = (*it).second;
+    return true;
+  }
+  return false;
+}
+
+}  // namespace smt
+}  // namespace CVC4