public override int GetHashCode()
{
const int prime = 31;
int result = base.GetHashCode();
result = prime * result + MaxEdits_Renamed;
result = prime * result + PrefixLength_Renamed;
result = prime * result + MaxExpansions;
result = prime * result + (Transpositions_Renamed ? 0 : 1);
result = prime * result + ((Term_Renamed == null) ? 0 : Term_Renamed.GetHashCode());
return result;
}