Eertree: Difference between revisions

Content added Content deleted

Inline

@@ Line 47: / Line 47: @@
          n = tree[n].suffix
-      I c C tree[n].edges
+      V? edge = tree[n].edges.find(c)
-         suffix = tree[n].edges[c]
+      I edge != N
+         suffix = edge
          L.continue