From 91565cda11ad42082a11055514e12ddeee459460 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 25 Sep 2019 12:09:42 -0500
Subject: Add isParameterized function to Expr (#3303)

---
 src/api/cvc4cpp.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/api/cvc4cpp.cpp')

diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp
index 6a6088007..b40a58e37 100644
--- a/src/api/cvc4cpp.cpp
+++ b/src/api/cvc4cpp.cpp
@@ -1050,6 +1050,12 @@ Kind Term::getKind() const
   return intToExtKind(d_expr->getKind());
 }
 
+bool Term::isParameterized() const
+{
+  CVC4_API_CHECK_NOT_NULL;
+  return d_expr->isParameterized();
+}
+
 Sort Term::getSort() const
 {
   CVC4_API_CHECK_NOT_NULL;
-- 
cgit v1.2.3