2023-08-29 12:57:46 +02:00
|
|
|
"""
|
|
|
|
show(io::IO, n::Node)
|
|
|
|
|
|
|
|
Print a short string representation of the node to io.
|
|
|
|
"""
|
2023-08-24 15:11:54 +02:00
|
|
|
function show(io::IO, n::Node)
|
2023-08-25 10:48:22 +02:00
|
|
|
return print(io, "Node(", n.task, ")")
|
2023-08-24 15:11:54 +02:00
|
|
|
end
|
|
|
|
|
2023-08-29 12:57:46 +02:00
|
|
|
"""
|
|
|
|
show(io::IO, e::Edge)
|
|
|
|
|
|
|
|
Print a short string representation of the edge to io.
|
|
|
|
"""
|
2023-08-24 15:11:54 +02:00
|
|
|
function show(io::IO, e::Edge)
|
2023-08-25 10:48:22 +02:00
|
|
|
return print(io, "Edge(", e.edge[1], ", ", e.edge[2], ")")
|
2023-08-24 15:11:54 +02:00
|
|
|
end
|