/// <summary>
/// Gets a unique interger value that describes this object that is garenteed not to change.
/// </summary>
/// <returns></returns>
public override int GetHashCode()
{
if (InnerValue != null)
{
return(base.GetHashCode());
}
return(Negated.GetHashCode());
}
public int GetHashCode(VariableRelation obj)
{
return
(obj.A.GetHashCode() ^ obj.Rel.GetHashCode() ^ obj.B.GetHashCode() ^ Negated.GetHashCode());
}
/// <summary>
/// Gets a unique hash code describing this object that is guarenteed to not change over the lifetime
/// of this object.
/// </summary>
/// <returns></returns>
public override int GetHashCode()
{
return(Name.GetHashCode() ^ Negated.GetHashCode());
}
