lib/ravensat/ast/node.rb in ravensat-1.0.9 vs lib/ravensat/ast/node.rb in ravensat-1.1.0

@@ -85,9 +85,12 @@
 
     def cnf?
       @children.map(&:cnf?).reduce(:&)
     end
 
+    def eval
+    end
+
     def vars
       self.select{|node| node.is_a? VarNode}.uniq
     end
 
     def vars_size