diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-25 12:09:42 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-25 12:09:42 -0500 |
| commit | 91565cda11ad42082a11055514e12ddeee459460 (patch) | |
| tree | 56df21e0a0c5d0734cd40b3ce93ced2c2beac54d /src/api/cvc4cpp.cpp | |
| parent | 4f384b6fadd999324d83b4c4ea900de2a0e13dd7 (diff) | |
Add isParameterized function to Expr (#3303)
Diffstat (limited to 'src/api/cvc4cpp.cpp')
| -rw-r--r-- | src/api/cvc4cpp.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
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; |