New C++ API: Rename Solver::mkTermInternal. (#4217)

This is for consistency with the other helper functions.

diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp
index ba42c4a9304d055ccb7555cdd4529c68a8001bc3..8d6de0ade76596985f0f156154c96182bafe30a3 100644 (file)
--- a/src/api/cvc4cpp.cpp
+++ b/src/api/cvc4cpp.cpp
@@ -2386,7 +2386,7 @@ Term Solver::mkTermFromKind(Kind kind) const
   CVC4_API_SOLVER_TRY_CATCH_END;
 }
 
-Term Solver::mkTermInternal(Kind kind, const std::vector<Term>& children) const
+Term Solver::mkTermHelper(Kind kind, const std::vector<Term>& children) const
 {
   CVC4_API_SOLVER_TRY_CATCH_BEGIN;
   for (size_t i = 0, size = children.size(); i < size; ++i)
@@ -3259,12 +3259,12 @@ Term Solver::mkTerm(Kind kind, Term child1, Term child2) const
 Term Solver::mkTerm(Kind kind, Term child1, Term child2, Term child3) const
 {
   // need to use internal term call to check e.g. associative construction
-  return mkTermInternal(kind, std::vector<Term>{child1, child2, child3});
+  return mkTermHelper(kind, std::vector<Term>{child1, child2, child3});
 }
 
 Term Solver::mkTerm(Kind kind, const std::vector<Term>& children) const
 {
-  return mkTermInternal(kind, children);
+  return mkTermHelper(kind, children);
 }
 
 Term Solver::mkTerm(Op op) const

diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h
index a2683e77302ce668cc94fad8a6c1d9d9381f4504..5c435d93e344ae36991050cf4d7c2bb86c2c3416 100644 (file)
--- a/src/api/cvc4cpp.h
+++ b/src/api/cvc4cpp.h
@@ -2852,7 +2852,7 @@ class CVC4_PUBLIC Solver
    * @param children the children of the term
    * @return the Term
    */
-  Term mkTermInternal(Kind kind, const std::vector<Term>& children) const;
+  Term mkTermHelper(Kind kind, const std::vector<Term>& children) const;
 
   /**
    * Create a vector of datatype sorts, using unresolved sorts.