./../../index.html">libabsolute</a> &#x00BB; <a href="../../index.html">Libabsolute__</a> &#x00BB; <a href="../index.html">Domains</a> &#x00BB; BoxF</nav><h1>Module <code>Domains.BoxF</code></h1><p>Boxes with floatting point included bounds</p><nav class="toc"><ul><li><a href="#variables-management">Variables management</a></li><li><a href="#measure">Measure</a></li><li><a href="#set-theoretic-operations">Set-theoretic operations</a><ul><li><a href="#constraint-conversion">constraint conversion</a></li></ul