public int hashCode()
{
StdHashFunction hash = new StdHashFunction();
SafraTreeCandidateMatcher.abstract_hash_code(hash, _key);
return hash.value();
}
public override int GetHashCode()
{
StdHashFunction hash = new StdHashFunction();
hashCode(hash);
int value = hash.value();
return value;
}