ing,&#8203;<a href="Term.html" title="class in org.jpl7">Term</a>&gt;&nbsp;varnames_to_Terms,
java.util.Map&lt;org.jpl7.fli.term_t,&#8203;<a href="Variable.html" title="class in org.jpl7">Variable</a>&gt;&nbsp;vars_to_Vars)</span></div>
<div class="block">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}.
 O