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

@@ -14,7 +14,11 @@
     end
 
     def to_dimacs
       " "
     end
+
+    def eval
+      @children.map(&:eval).reduce(:|)
+    end
   end
 end