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

@@ -20,7 +20,11 @@
     end
 
     def to_dimacs
       @dimacs_name
     end
+
+    def eval
+      @value
+    end
   end
 end