add_implication"></a></p><h3>Method <code>add_implication()</code></h3>
<p>Add new implication to the set</p><h3>Usage</h3>
<p><div class="r"></p><pre>ImplicationSet$add_implication(lhs, rhs)</pre><p></div></p>

<h3>Arguments</h3>
<p><div class="arguments"></p><dl class='dl-horizontal'>
<dt><code>lhs</code></dt><dd><p>(a sparse matrix) The LHS of the rule to add.</p></dd>

<dt><code>rhs</code></dt><dd><p>(a sparse matrix) The RHS of the rule to add.</p></dd>

</dl><p></div></p>
<h3>Returns</h3>
<p>Nothing, 