UndoTreeValueNode<E> constructor

UndoTreeValueNode<E>(
  1. UndoHeader<E> curr
)

Implementation

UndoTreeValueNode(UndoHeader<E> curr) : header = curr {
  if (curr.next == null) {
    return;
  }
  edges.addAll(curr.next!.altIter().map((e) => UndoTreeValueNode(e)));
}