,java.util.Map,org.jpl7.Term%5B%5D)">getSubsts</a></span>&#8203;(java.util.Map&lt;java.lang.String,&#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,
<a href="Term.html" title="class in org.jpl7">Term</a>[]&nbsp;args)</code></th>
<td class="colLast">
<div class="block">Just calls computeSubstitution for each Term in the array.</div>
</td>
</