public override int GetHashCode()
{
unchecked {
var hash = 27;
hash = (13 * hash) + RightSubformula.GetHashCode();
hash = (13 * hash) + LeftSubformula.GetHashCode();
return(hash);
}
}
public override bool Equals(object obj)
{
if (!(obj is BinaryFormula other))
{
return(false);
}
return(RightSubformula.Equals(other.RightSubformula) &&
LeftSubformula.Equals(other.LeftSubformula));
}
