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