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

@@ -1,4 +1,12 @@
 module Ravensat
   class AndNode < OprNode
+    def &(object)
+      @children.append object
+      self
+    end
+
+    def to_dimacs
+      " 0\n"
+    end
   end
 end