public sealed override int GetHashCode() { var left = LeftOperand.GetHashCode(); var right = RightOperand.GetHashCode(); return(EqualsRelationship.GetHashCodeMinMaxOrdered(left, right, GetType().GetHashCode())); }
protected NotEqualsRelationship(SymbolicValue leftOperand, SymbolicValue rightOperand) : base(leftOperand, rightOperand) { this.hash = new Lazy <int>(() => { var left = LeftOperand.GetHashCode(); var right = RightOperand.GetHashCode(); return(EqualsRelationship.GetHashCodeMinMaxOrdered(left, right, GetType().GetHashCode())); }); }