/a> â€“ <a href="../../../index.html">libabsolute</a> &#x00BB; <a href="../../index.html">Libabsolute</a> &#x00BB; <a href="../index.html">Domains</a> &#x00BB; Oct</nav><header class="odoc-preamble"><h1>Module <code><span>Domains.Oct</span></code></h1><p>Apron Octagons</p></header><nav class="odoc-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="#constrain