n 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)</code></th>
<td class="colLast">
<div class="block">This method computes a substitution from a Term (the current object).</div>
</td>
</tr>
<tr class="rowColor" id="i9">
<td class="colFirst"><code>protected static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getSubsts(java.util.Map