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