ref="../../index.html">infer</a> &#x00BB; <a href="../index.html">BO__BufferOverrunDomain</a> &#x00BB; ModeledRange</nav><h1>Module <code>BO__BufferOverrunDomain.ModeledRange</code></h1><p><code>ModeledRange</code> represents how many times the interval value can be updated by modeled functions. This domain is to support the case where there are mismatches between value of a control variable and actual number of loop iterations. For example,</p><p><code>while((c = file_channel.read(buf)) != -1) { ... }</cod