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