Java Term.resolveTerm Exemples

Exemple #1

Fichier : Var.java Projet : wvelandia/tuprolog

 /** Resolve the occurence of variables in a Term */
 long resolveTerm(long count) {
   Term tt = getTerm();
   if (tt != this) {
     return tt.resolveTerm(count);
   } else {
     timestamp = count;
     return count++;
   }
 }