예제 #1
0
파일: Variable.java 프로젝트: davidar/datum 
 public Term subst(Substitution substitution) {
   return substitution == null ? this : substitution.subst(this);
 }
예제 #2
0
파일: Variable.java 프로젝트: davidar/datum 
 public void unify(Term term, Substitution substitution) {
   substitution.put(this, term);
 }