"../../index.html">infer</a> &#x00BB; <a href="../index.html">BO__BufferOverrunDomain</a> &#x00BB; PrunePairs</nav><h1>Module <code>BO__BufferOverrunDomain.PrunePairs</code></h1><p><code>PrunePairs</code> is a map from abstract locations to abstract values that represents pruned results in the latest pruning. It uses <code>InvertedMap</code> because more pruning means smaller abstract states.</p></header><div><div class="spec include"><div class="doc"><details open="open"><summary><span class="def"><code><s