2023-08-24 15:11:54 +02:00
|
|
|
function show(io::IO, diff::Diff)
|
2023-08-25 10:48:22 +02:00
|
|
|
print(io, "Nodes: ")
|
|
|
|
|
print(io, length(diff.addedNodes) + length(diff.removedNodes))
|
|
|
|
|
print(io, " Edges: ")
|
|
|
|
|
return print(io, length(diff.addedEdges) + length(diff.removedEdges))
|
2023-08-24 15:11:54 +02:00
|
|
|
end
|
