# Return the element associed with the item
meth [](e: E): PartialOrderElement[E]
do
- if _elements.has_key(e) then
- return _elements[e]
- else
- return null
- end
+ return _elements[e]
end
# Return a dot representation
meth to_dot: String
do
- var s = new String
+ var s = new Buffer
s.append(to_dot_header)
for e in _elements do
s.append(to_dot_node(e.value))
end
end
s.append("}\n")
- return s
+ return s.to_s
end
# Called to display the header