do
var s = new Buffer
s.append(to_dot_header)
- for e in _elements do
+ for e in _elements.values do
s.append(to_dot_node(e.value))
for d in e.direct_greaters do
s.append(to_dot_edge(e.value, d))
protected fun compute_smallers_for(poe: PartialOrderElement[E], set: Set[E])
do
var e = poe.value
- for s in _elements do
+ for s in _elements.values do
if s < e then
set.add(s.value)
end