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

@@ -9,7 +9,11 @@
     end
 
     def to_dimacs
       " 0\n"
     end
+
+    def eval
+      @children.map(&:eval).reduce(:&)
+    end
   end
 end