public override Atom Negate() { return(new FaceSum(countComparator.GetNegation(), amount)); }
public override Atom Negate() { return(new PropertyCount(this.propertyCheck, countComparator.GetNegation(), amount)); }