Method getSubst

src/main/java/org/jpl7/Term.java:834–836

This method computes a substitution from a Term (the current object). The bindings Map varnames_to_Terms maps names of Variables to Terms. Thus, a substitution is as it is in mathematical logic, a sequence of the form \sigma = {t_0/x_0, ..., t_n/x_n}. Once the substitution is computed, the substitut

(Map<String, Term> varnames_to_Terms, Map<term_t, Variable> vars_to_Vars)

	 *            A Map holding the Variables that occur thus far in the term; keyed by internal (Prolog) string rep.
	 */
	protected void getSubst(Map<String, Term> varnames_to_Terms, Map<term_t, Variable> vars_to_Vars) {
		// overridden in Compound, Variable
	}

	/**
	 * Just calls computeSubstitution for each Term in the array.