api: Make mkDatatypeDecl argument const&. (#8315)

diff --git a/src/api/cpp/cvc5.cpp b/src/api/cpp/cvc5.cpp
index 4f3a768a16af5fd172b9377459856fcdaf81d39f..dda7aacc73b0c70aaee49b2c8ad000acd57e7c9d 100644 (file)
--- a/src/api/cpp/cvc5.cpp
+++ b/src/api/cpp/cvc5.cpp
@@ -6182,7 +6182,7 @@ DatatypeDecl Solver::mkDatatypeDecl(const std::string& name, bool isCoDatatype)
 }
 
 DatatypeDecl Solver::mkDatatypeDecl(const std::string& name,
-                                    Sort param,
+                                    const Sort& param,
                                     bool isCoDatatype)
 {
   CVC5_API_TRY_CATCH_BEGIN;

diff --git a/src/api/cpp/cvc5.h b/src/api/cpp/cvc5.h
index 1138eafc8878d736018e932dd9a49ea5e1f14eb6..eedc10b809ea4fba410c78e2c1ce7fb50ac24994 100644 (file)
--- a/src/api/cpp/cvc5.h
+++ b/src/api/cpp/cvc5.h
@@ -3718,7 +3718,7 @@ class CVC5_EXPORT Solver
    * @return the DatatypeDecl
    */
   DatatypeDecl mkDatatypeDecl(const std::string& name,
-                              Sort param,
+                              const Sort& param,
                               bool isCoDatatype = false);
 
   /**

diff --git a/src/api/python/cvc5.pxd b/src/api/python/cvc5.pxd
index 9350ca0bf77580dd2de578abc9e7ebea0cd96669..07250f143cb93ee7f56c5ee1a8c6282b6df3d31e 100644 (file)
--- a/src/api/python/cvc5.pxd
+++ b/src/api/python/cvc5.pxd
@@ -247,8 +247,8 @@ cdef extern from "api/cpp/cvc5.h" namespace "cvc5::api":
         DatatypeConstructorDecl mkDatatypeConstructorDecl(const string& name) except +
         DatatypeDecl mkDatatypeDecl(const string& name) except +
         DatatypeDecl mkDatatypeDecl(const string& name, bint isCoDatatype) except +
-        DatatypeDecl mkDatatypeDecl(const string& name, Sort param) except +
-        DatatypeDecl mkDatatypeDecl(const string& name, Sort param, bint isCoDatatype) except +
+        DatatypeDecl mkDatatypeDecl(const string& name, const Sort& param) except +
+        DatatypeDecl mkDatatypeDecl(const string& name, const Sort& param, bint isCoDatatype) except +
         DatatypeDecl mkDatatypeDecl(const string& name, vector[Sort]& params) except +
         DatatypeDecl mkDatatypeDecl(const string& name, vector[Sort]& params, bint isCoDatatype) except +
         # default value for symbol defined in cpp/cvc5.h