[API] Avoid copying values (#7666)

diff --git a/src/api/cpp/cvc5.cpp b/src/api/cpp/cvc5.cpp
index d6980e45e468ae54f59abd5ffcdf03a82f3391d5..38cbdd7a6b245a7c932c5c310df31d86cb40067c 100644 (file)
--- a/src/api/cpp/cvc5.cpp
+++ b/src/api/cpp/cvc5.cpp
@@ -5033,7 +5033,7 @@ void Solver::increment_vars_consts_stats(const Sort& sort, bool is_var) const
 /* .......................................................................... */
 
 template <typename T>
-Term Solver::mkValHelper(T t) const
+Term Solver::mkValHelper(const T& t) const
 {
   //////// all checks before this line
   Node res = getNodeManager()->mkConst(t);

diff --git a/src/api/cpp/cvc5.h b/src/api/cpp/cvc5.h
index ad6f4c7df71c36a8be935d77bf8fbc315f8151d0..cd448123a8f7a0549239b7bbbe0c6b8e43d67e45 100644 (file)
--- a/src/api/cpp/cvc5.h
+++ b/src/api/cpp/cvc5.h
@@ -4504,7 +4504,7 @@ class CVC5_EXPORT Solver
   void checkMkTerm(Kind kind, uint32_t nchildren) const;
   /** Helper for mk-functions that call d_nodeMgr->mkConst(). */
   template <typename T>
-  Term mkValHelper(T t) const;
+  Term mkValHelper(const T& t) const;
   /** Helper for making rational values. */
   Term mkRationalValHelper(const Rational& r) const;
   /** Helper for mkReal functions that take a string as argument. */