public override double Dist(object a, object b) { this.numdist++; return StringSpace.Levenshtein (a as string, b as string); }