Exemple #1
0
 public boolean isEqual(Term t) {
   Term tt = getTerm();
   if (tt == this) {
     t = t.getTerm();
     return (t instanceof Var && timestamp == ((Var) t).timestamp);
   } else {
     return tt.isEqual(t);
   }
 }