private String toStringRoute() {
    String route = "";

    if (parent != null) {
      route += parent.toStringRoute() + ",";
    }

    route += value;

    return route;
  }
  private void fillUsed() {
    if (parent != null) parent.fillUsed();

    if (k != EMPTY) used[value] = true;
  }