public override bool Equals(Object o) { if (this == o) { return true; } if ((o == null) || !(o is TermEquality)) { return false; } TermEquality te = (TermEquality)o; return te.getTerm1().Equals(term1) && te.getTerm2().Equals(term2); }