From b0b712b2f6de048d9d0c939988c31f5b42dc4ae6 Mon Sep 17 00:00:00 2001
From: Matej Focko <mfocko@redhat.com>
Date: Thu, 5 May 2022 20:28:58 +0200
Subject: [PATCH] fix: switch naming of nodes in dot to just values

Signed-off-by: Matej Focko <mfocko@redhat.com>
---
 ranked_tree.js | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/ranked_tree.js b/ranked_tree.js
index 1e3499e..a68a028 100644
--- a/ranked_tree.js
+++ b/ranked_tree.js
@@ -35,9 +35,8 @@ class RankedTree {
                 continue;
             }
 
-            result.push(
-                `\t"${node.toString()}" [label="${node.value}, ${node.rank}"];`
-            );
+            let [value, rank] = [node.value, node.rank];
+            result.push(`\t"Node(${value})" [label="${value}, ${rank}"];`);
 
             [node.left, node.right]
                 .filter((child) => child)
@@ -52,9 +51,9 @@ class RankedTree {
         edges.forEach((vertices) => {
             let [u, v] = vertices;
             result.push(
-                `\t"${u.toString()}" -> "${v.toString()}" [label="${nodeDifference(
-                    v
-                )}"]`
+                `\t"Node(${u.value})" -> "Node(${
+                    v.value
+                })" [label="${nodeDifference(v)}"]`
             );
         });