| public TermEquality ( Term term1, Term term2 ) : System | ||
| term1 | Term | |
| term2 | Term | |
| return | System | |
public TermEquality(Term term1, Term term2)
{
this.term1 = term1;
this.term2 = term2;
terms.Add(term1);
terms.Add(term2);
}
