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));
}
