From dc4b8296ded0a2288fbfeb71b9ded9217bad6b86 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Thu, 4 Feb 2010 23:50:23 +0000
Subject: beautification of the prop engine

---
 src/expr/node.cpp | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

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

diff --git a/src/expr/node.cpp b/src/expr/node.cpp
index 72ad61e95..6f1c525ca 100644
--- a/src/expr/node.cpp
+++ b/src/expr/node.cpp
@@ -37,6 +37,23 @@ bool Node::isNull() const {
   return d_ev == &NodeValue::s_null;
 }
 
+////FIXME: This function is a major hack! Should be changed ASAP
+////TODO: Should use positive definition, i.e. what kinds are atomic.
+bool Node::isAtomic() const {
+  switch(getKind()) {
+  case NOT:
+  case XOR:
+  case ITE:
+  case IFF:
+  case IMPLIES:
+  case OR:
+  case AND:
+    return false;
+  default:
+    return true;
+  }
+}
+
 Node::Node() :
   d_ev(&NodeValue::s_null) {
   // No refcount needed
-- 
cgit v1.2.3