C# (CSharp) ObjectVariable.Equals Examples

Example #1

File: ObjectVariableTerm.cs Project: romarioGI/Coursework2k19-2k20

 public bool Equals(ObjectVariableTerm other)
 {
     if (other is null)
     {
         return(false);
     }
     if (ReferenceEquals(this, other))
     {
         return(true);
     }
     return(ObjectVariable.Equals(other.ObjectVariable));
 }

Example #2

File: QuantifierFormula.cs Project: romarioGI/Coursework2k19-2k20

 public bool Equals(QuantifierFormula other)
 {
     if (other is null)
     {
         return(false);
     }
     if (ReferenceEquals(this, other))
     {
         return(true);
     }
     return(Quantifier.Equals(other.Quantifier) &&
            ObjectVariable.Equals(other.ObjectVariable) &&
            SubFormula.Equals(other.SubFormula));
 }