public override bool Equals(object obj) { var other = obj as SymbolicValueConstraints; return(other != null && DictionaryHelper.DictionaryEquals(constraints, other.constraints)); }
public bool Equals(ProgramState other) { if (other == null) { return(false); } return(DictionaryHelper.DictionaryEquals(Values, other.Values) && DictionaryHelper.DictionaryEquals(Constraints, other.Constraints) && Enumerable.SequenceEqual(ExpressionStack, other.ExpressionStack) && Relationships.SetEquals(other.Relationships)); }
public override bool Equals(object obj) { return(obj is SymbolicValueConstraints other && DictionaryHelper.DictionaryEquals(this.constraints, other.constraints)); }