public override string ToString() { return string.Format("{0} → {1} [{2}]", this.Lhs, this.Rhs, this.Weight); } public string ToStringNoWeight() {