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

@@ -1,11 +1,12 @@
 module Ravensat
   class VarNode < Node
-    attr_accessor :value
+    attr_accessor :value, :dimacs_name
     def initialize
       @value
       @children = []
+      @dimacs_name
     end
 
     def ~@
       NotNode.new(self)
     end
@@ -14,8 +15,12 @@
       true
     end
 
     def result
       @value
+    end
+
+    def to_dimacs
+      @dimacs_name
     end
   end
 end