Exemple #1
0
 public Term subst(Substitution substitution) {
   return substitution == null ? this : substitution.subst(this);
 }
Exemple #2
0
 public void unify(Term term, Substitution substitution) {
   substitution.put(this, term);
 }