Method getSubst

src/main/java/org/jpl7/Variable.java:155–162

This can be used to get the current solution binding of the Variable instance. So we are calling when the goal is in a solution This method returns nothing but modifies the argument mappings, by filling them with the current solution binding of the Variable instance. If Variable instance is anon

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

	 *            A Map from Prolog variables to JPL Variables.
	 */
	protected final void getSubst(Map<String, Term> varnames_to_Terms, Map<term_t, Variable> vars_to_Vars) {
		// NB a Variable.name cannot be "" i.e. of 0 length
		// if (!(this.name.charAt(0) == '_') && varnames_to_Terms.get(this.name)
		// == null) {
		if (tellThem() && varnames_to_Terms.get(this.name) == null) {
			varnames_to_Terms.put(this.name, Term.getTerm(vars_to_Vars, this.term_));
		}
	}

	/* (non-Javadoc)
	 * @see org.jpl7.Term#hasFunctor(java.math.BigInteger, int)