First draft implementation of mkAssociative

1 files changed, 7 insertions, 0 deletions

diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp
index 5c4e30a0c..edd49f032 100644
--- a/src/expr/expr_template.cpp
+++ b/src/expr/expr_template.cpp
@@ -140,6 +140,13 @@ size_t Expr::getNumChildren() const {
   return d_node->getNumChildren();
 }
 
+Expr Expr::getChild(unsigned int i) const {
+  ExprManagerScope ems(*this);
+  Assert(d_node != NULL, "Unexpected NULL expression pointer!");
+  Assert(i >= 0 && i < d_node->getNumChildren(), "Child index out of bounds");
+  return Expr(d_exprManager,new Node((*d_node)[i]));
+}
+
 bool Expr::hasOperator() const {
   ExprManagerScope ems(*this);
   Assert(d_node != NULL, "Unexpected NULL expression pointer!");