public int compareTo(Object object) {
    if (!(object instanceof CycVariable)) {
      throw new ClassCastException("Must be a CycVariable object");
    }
    return this.name.compareTo(((CycVariable) object).name);
  }