public override int GetHashCode()
{
StdHashFunction hash = new StdHashFunction();
hashCode(hash);
return(hash.value());
}
public int hashCode()
{
StdHashFunction hash = new StdHashFunction();
SafraTreeCandidateMatcher.abstract_hash_code(hash, _key);
return(hash.value());
}
public override int GetHashCode()
{
//int hash = 17; // Suitable nullity checks etc, of course :)
//hash = hash * 23 + da_state_1.GetHashCode();
//hash = hash * 23 + da_state_2.GetHashCode();
//return hash;
StdHashFunction hash = new StdHashFunction();
hashCode(hash);
return(hash.value());
}
