just updates the internal matrices for LHS and RHS.</p>
<p><hr>
<a id="method-append_implications"></a></p><h3>Method <code>append_implications()</code></h3>
<p>Append implications to the current ones.</p><h3>Usage</h3>
<p><div class="r"></p><pre>ImplicationSet$append_implications(implications)</pre><p></div></p>

<h3>Arguments</h3>
<p><div class="arguments"></p><dl class='dl-horizontal'>
<dt><code>implications</code></dt><dd><p>(<code>ImplicationSet</code>) The set of implications to append at the end of t