lib/ravensat/ast/or_node.rb in ravensat-0.3.2 vs lib/ravensat/ast/or_node.rb in ravensat-1.0.0

@@ -1,8 +1,17 @@
 module Ravensat
   class OrNode < OprNode
+    def |(object)
+      @children.append object
+      self
+    end
+
     def cnf?
       return false if @children.any?{|node| node.is_a? AndNode}
       @children.map(&:cnf?).reduce(:&)
+    end
+
+    def to_dimacs
+      " "
     end
   end
 end