he current set.</p></dd>

</dl><p></div></p>
<h3>Returns</h3>
<p>Nothing, just updates the internal matrices for LHS and RHS.</p>
<p><hr>
<a id="method-cardinality"></a></p><h3>Method <code>cardinality()</code></h3>
<p>Cardinality: Number of implications in the set</p><h3>Usage</h3>
<p><div class="r"></p><pre>ImplicationSet$cardinality()</pre><p></div></p>

<h3>Returns</h3>
<p>The cardinality of the implication set.</p>
<p><hr>
<a id="method-is_empty"></a></p><h3>Method <code>is_empty()</code></h3>
<p>Empty