2023-08-23 12:51:25 +02:00
|
|
|
function show(io::IO, ops::PossibleOperations)
|
|
|
|
print(io, length(ops.nodeFusions))
|
|
|
|
println(io, " Node Fusions: ")
|
|
|
|
for nf in ops.nodeFusions
|
|
|
|
println(io, " - ", nf)
|
|
|
|
end
|
|
|
|
print(io, length(ops.nodeReductions))
|
|
|
|
println(io, " Node Reductions: ")
|
|
|
|
for nr in ops.nodeReductions
|
|
|
|
println(io, " - ", nr)
|
|
|
|
end
|
|
|
|
print(io, length(ops.nodeSplits))
|
|
|
|
println(io, " Node Splits: ")
|
|
|
|
for ns in ops.nodeSplits
|
|
|
|
println(io, " - ", ns)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function show(io::IO, op::NodeReduction)
|
|
|
|
print(io, "NR: ")
|
|
|
|
print(io, length(op.input))
|
|
|
|
print(io, "x")
|
2023-08-25 10:48:22 +02:00
|
|
|
return print(io, op.input[1].task)
|
2023-08-23 12:51:25 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
function show(io::IO, op::NodeSplit)
|
|
|
|
print(io, "NS: ")
|
2023-08-25 10:48:22 +02:00
|
|
|
return print(io, op.input.task)
|
2023-08-23 12:51:25 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
function show(io::IO, op::NodeFusion)
|
|
|
|
print(io, "NF: ")
|
|
|
|
print(io, op.input[1].task)
|
|
|
|
print(io, "->")
|
|
|
|
print(io, op.input[2].task)
|
|
|
|
print(io, "->")
|
2023-08-25 10:48:22 +02:00
|
|
|
return print(io, op.input[3].task)
|
2023-08-23 12:51:25 +02:00
|
|
|
end
|