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());
}
//template <typename HashFunction>
public static void abstract_hash_code(StdHashFunction hash, SafraTree t)
{
//todo: implemented this method
t.hashCode(hash, true);
}
