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/expr/expr_template.cpp | |
parent | 4f384b6fadd999324d83b4c4ea900de2a0e13dd7 (diff) |
Add isParameterized function to Expr (#3303)
Diffstat (limited to 'src/expr/expr_template.cpp')
-rw-r--r-- | src/expr/expr_template.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index d6a6f47bb..04466a4c6 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -410,6 +410,13 @@ Expr Expr::getOperator() const { return Expr(d_exprManager, new Node(d_node->getOperator())); } +bool Expr::isParameterized() const +{ + ExprManagerScope ems(*this); + Assert(d_node != NULL, "Unexpected NULL expression pointer!"); + return d_node->getMetaKind() == kind::metakind::PARAMETERIZED; +} + Type Expr::getType(bool check) const { ExprManagerScope ems(*this); |