jpl7.Term%5B%5D)">toString</a></span>&#8203;(<a href="Term.html" title="class in org.jpl7">Term</a>[]&nbsp;args)</code></th>
<td class="colLast">
<div class="block">Converts a list of Terms to a String.</div>
</td>
</tr>
<tr class="altColor" id="i60">
<td class="colFirst"><code><a href="Term.html" title="class in org.jpl7">Term</a>[]</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#toTermArray()">toTermArray</a></span>()</code></th>
<td class="colLast">
<div class="