public bool Equals(DnfClause <T_Identifier> other) { if (other != null) { return(other.Literals.SetEquals(this.Literals)); } return(false); }
public bool Equals(DnfClause <T_Identifier> other) { return(null != other && other.Literals.SetEquals(Literals)); }