# File lib/rgl/rdot.rb, line 257
257:     def push (thing)
258:       @nodes.push( thing )
259:     end