From 9d7766ed1e41da53d59ad16e9ef8be8f522226df Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Fri, 14 Apr 2017 16:34:59 -0500
Subject: Fix nullary operator printers, minor.

---
 src/expr/node.h | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

(limited to 'src/expr/node.h')

diff --git a/src/expr/node.h b/src/expr/node.h
index 6d98b940b..bd1b5e63c 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -457,14 +457,21 @@ public:
   bool isConst() const;
 
   /**
-   * Returns true if this node represents a constant
-   * @return true if const
+   * Returns true if this node represents a variable
    */
   inline bool isVar() const {
     assertTNodeNotExpired();
     return getMetaKind() == kind::metakind::VARIABLE;
   }
-
+  
+  /**
+   * Returns true if this node represents a nullary operator
+   */
+  inline bool isNullaryOp() const {
+    assertTNodeNotExpired();
+    return getMetaKind() == kind::metakind::NULLARY_OPERATOR;
+  }
+  
   inline bool isClosure() const {
     assertTNodeNotExpired();
     return getKind() == kind::LAMBDA ||
-- 
cgit v1.2.3