# File warshall.rb, line 225
def
nachfolger
(
x
)
@nach
[
x
]
!=
nil
?
@nach
[
x
]
:
Menge
.
new
([])
end