Method hashCode

src/tree/Leaf.java:96–99

@return Hash code of the display name field

()

  
  /** @return Hash code of the display name field */
  @Override
  public int hashCode() {
    return display_name.hashCode();
  }
  
  /**
   * Just compares the TSUID of the two objects as we don't care about the rest