ceph/src/boost/libs/icl/doc/html/boost_icl/function_reference/interval_construction.html

   1 <html>
   2 <head>
   3 <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
   4 <title>Interval Construction</title>
   5 <link rel="stylesheet" href="../../../../../../doc/src/boostbook.css" type="text/css">
   6 <meta name="generator" content="DocBook XSL Stylesheets V1.74.0">
   7 <link rel="home" href="../../index.html" title="Chapter&#160;1.&#160;Boost.Icl">
   8 <link rel="up" href="../function_reference.html" title="Function Reference">
   9 <link rel="prev" href="streaming__conversion.html" title="Streaming, conversion">
  10 <link rel="next" href="additional_interval_orderings.html" title="Additional Interval Orderings">
  11 </head>
  12 <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
  13 <table cellpadding="2" width="100%"><tr>
  14 <td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../../boost.png"></td>
  15 <td align="center"><a href="../../../../../../index.html">Home</a></td>
  16 <td align="center"><a href="../../../../../libraries.htm">Libraries</a></td>
  17 <td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
  18 <td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
  19 <td align="center"><a href="../../../../../../more/index.htm">More</a></td>
  20 </tr></table>
  21 <hr>
  22 <div class="spirit-nav">
  23 <a accesskey="p" href="streaming__conversion.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../function_reference.html"><img src="../../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="additional_interval_orderings.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
  24 </div>
  25 <div class="section boost_icl_function_reference_interval_construction" lang="en">
  26 <div class="titlepage"><div><div><h3 class="title">
  27 <a name="boost_icl.function_reference.interval_construction"></a><a class="link" href="interval_construction.html" title="Interval Construction">Interval
  28       Construction</a>
  29 </h3></div></div></div>
  30 <div class="informaltable"><table class="table">
  31 <colgroup>
  32 <col>
  33 <col>
  34 <col>
  35 <col>
  36 <col>
  37 <col>
  38 <col>
  39 </colgroup>
  40 <thead><tr>
  41 <th>
  42               <p>
  43                 T
  44               </p>
  45               </th>
  46 <th>
  47               <p>
  48                 discrete<br> _interval
  49               </p>
  50               </th>
  51 <th>
  52               <p>
  53                 continuous<br> _interval
  54               </p>
  55               </th>
  56 <th>
  57               <p>
  58                 right_open<br> _interval
  59               </p>
  60               </th>
  61 <th>
  62               <p>
  63                 left_open<br> _interval
  64               </p>
  65               </th>
  66 <th>
  67               <p>
  68                 closed<br> _interval
  69               </p>
  70               </th>
  71 <th>
  72               <p>
  73                 open<br> _interval
  74               </p>
  75               </th>
  76 </tr></thead>
  77 <tbody>
  78 <tr>
  79 <td>
  80               <p>
  81                 Interval bounds
  82               </p>
  83               </td>
  84 <td>
  85               <p>
  86                 dynamic
  87               </p>
  88               </td>
  89 <td>
  90               <p>
  91                 dynamic
  92               </p>
  93               </td>
  94 <td>
  95               <p>
  96                 static
  97               </p>
  98               </td>
  99 <td>
 100               <p>
 101                 static
 102               </p>
 103               </td>
 104 <td>
 105               <p>
 106                 static
 107               </p>
 108               </td>
 109 <td>
 110               <p>
 111                 static
 112               </p>
 113               </td>
 114 </tr>
 115 <tr>
 116 <td>
 117               <p>
 118                 Form
 119               </p>
 120               </td>
 121 <td>
 122               <p>
 123               </p>
 124               </td>
 125 <td>
 126               <p>
 127               </p>
 128               </td>
 129 <td>
 130               <p>
 131                 asymmetric
 132               </p>
 133               </td>
 134 <td>
 135               <p>
 136                 asymmetric
 137               </p>
 138               </td>
 139 <td>
 140               <p>
 141                 symmetric
 142               </p>
 143               </td>
 144 <td>
 145               <p>
 146                 symmetric
 147               </p>
 148               </td>
 149 </tr>
 150 <tr>
 151 <td>
 152               <p>
 153                 <span class="emphasis"><em><span class="bold"><strong>Construct</strong></span></em></span>
 154               </p>
 155               </td>
 156 <td>
 157               <p>
 158               </p>
 159               </td>
 160 <td>
 161               <p>
 162               </p>
 163               </td>
 164 <td>
 165               <p>
 166               </p>
 167               </td>
 168 <td>
 169               <p>
 170               </p>
 171               </td>
 172 <td>
 173               <p>
 174               </p>
 175               </td>
 176 <td>
 177               <p>
 178               </p>
 179               </td>
 180 </tr>
 181 <tr>
 182 <td>
 183               <p>
 184                 <code class="computeroutput"><span class="identifier">T</span> <span class="identifier">singleton</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;)</span></code>
 185               </p>
 186               </td>
 187 <td>
 188               <p>
 189                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 190               </p>
 191               </td>
 192 <td>
 193               <p>
 194                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 195               </p>
 196               </td>
 197 <td>
 198               <p>
 199                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 200               </p>
 201               </td>
 202 <td>
 203               <p>
 204                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 205               </p>
 206               </td>
 207 <td>
 208               <p>
 209                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 210               </p>
 211               </td>
 212 <td>
 213               <p>
 214                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 215               </p>
 216               </td>
 217 </tr>
 218 <tr>
 219 <td>
 220               <p>
 221                 <code class="computeroutput"><span class="identifier">T</span> <span class="identifier">construct</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span>
 222                 <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;)</span></code>
 223               </p>
 224               </td>
 225 <td>
 226               <p>
 227                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 228               </p>
 229               </td>
 230 <td>
 231               <p>
 232                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 233               </p>
 234               </td>
 235 <td>
 236               <p>
 237                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 238                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 239               </p>
 240               </td>
 241 <td>
 242               <p>
 243                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 244                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 245               </p>
 246               </td>
 247 <td>
 248               <p>
 249                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 250               </p>
 251               </td>
 252 <td>
 253               <p>
 254                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 255               </p>
 256               </td>
 257 </tr>
 258 <tr>
 259 <td>
 260               <p>
 261
 262 </p>
 263 <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="identifier">T</span> <span class="identifier">construct</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span>
 264             <span class="identifier">interval_bounds</span>   <span class="special">)</span>
 265 </pre>
 266 <p>
 267               </p>
 268               </td>
 269 <td>
 270               <p>
 271                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 272               </p>
 273               </td>
 274 <td>
 275               <p>
 276                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 277               </p>
 278               </td>
 279 <td>
 280               <p>
 281               </p>
 282               </td>
 283 <td>
 284               <p>
 285               </p>
 286               </td>
 287 <td>
 288               <p>
 289               </p>
 290               </td>
 291 <td>
 292               <p>
 293               </p>
 294               </td>
 295 </tr>
 296 <tr>
 297 <td>
 298               <p>
 299                 <code class="computeroutput"><span class="identifier">T</span> <span class="identifier">hull</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span>
 300                 <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;)</span></code>
 301               </p>
 302               </td>
 303 <td>
 304               <p>
 305                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 306               </p>
 307               </td>
 308 <td>
 309               <p>
 310                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 311               </p>
 312               </td>
 313 <td>
 314               <p>
 315                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 316                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 317               </p>
 318               </td>
 319 <td>
 320               <p>
 321                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 322                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 323               </p>
 324               </td>
 325 <td>
 326               <p>
 327                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 328               </p>
 329               </td>
 330 <td>
 331               <p>
 332                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 333               </p>
 334               </td>
 335 </tr>
 336 <tr>
 337 <td>
 338               <p>
 339                 <code class="computeroutput"><span class="identifier">T</span> <span class="identifier">span</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span>
 340                 <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;)</span></code>
 341               </p>
 342               </td>
 343 <td>
 344               <p>
 345                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 346               </p>
 347               </td>
 348 <td>
 349               <p>
 350                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 351               </p>
 352               </td>
 353 <td>
 354               <p>
 355                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 356                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 357               </p>
 358               </td>
 359 <td>
 360               <p>
 361                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 362                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 363               </p>
 364               </td>
 365 <td>
 366               <p>
 367                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 368               </p>
 369               </td>
 370 <td>
 371               <p>
 372                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 373               </p>
 374               </td>
 375 </tr>
 376 <tr>
 377 <td>
 378               <p>
 379                 <code class="computeroutput"><span class="keyword">static</span> <span class="identifier">T</span>
 380                 <span class="identifier">right_open</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span>
 381                 <span class="identifier">P</span><span class="special">&amp;)</span></code>
 382               </p>
 383               </td>
 384 <td>
 385               <p>
 386                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 387               </p>
 388               </td>
 389 <td>
 390               <p>
 391                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 392               </p>
 393               </td>
 394 <td>
 395               <p>
 396               </p>
 397               </td>
 398 <td>
 399               <p>
 400               </p>
 401               </td>
 402 <td>
 403               <p>
 404               </p>
 405               </td>
 406 <td>
 407               <p>
 408               </p>
 409               </td>
 410 </tr>
 411 <tr>
 412 <td>
 413               <p>
 414                 <code class="computeroutput"><span class="keyword">static</span> <span class="identifier">T</span>
 415                 <span class="identifier">left_open</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span>
 416                 <span class="identifier">P</span><span class="special">&amp;)</span></code>
 417               </p>
 418               </td>
 419 <td>
 420               <p>
 421                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 422               </p>
 423               </td>
 424 <td>
 425               <p>
 426                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 427               </p>
 428               </td>
 429 <td>
 430               <p>
 431               </p>
 432               </td>
 433 <td>
 434               <p>
 435               </p>
 436               </td>
 437 <td>
 438               <p>
 439               </p>
 440               </td>
 441 <td>
 442               <p>
 443               </p>
 444               </td>
 445 </tr>
 446 <tr>
 447 <td>
 448               <p>
 449                 <code class="computeroutput"><span class="keyword">static</span> <span class="identifier">T</span>
 450                 <span class="identifier">closed</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span>
 451                 <span class="identifier">P</span><span class="special">&amp;)</span></code>
 452               </p>
 453               </td>
 454 <td>
 455               <p>
 456                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 457               </p>
 458               </td>
 459 <td>
 460               <p>
 461                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 462               </p>
 463               </td>
 464 <td>
 465               <p>
 466               </p>
 467               </td>
 468 <td>
 469               <p>
 470               </p>
 471               </td>
 472 <td>
 473               <p>
 474               </p>
 475               </td>
 476 <td>
 477               <p>
 478               </p>
 479               </td>
 480 </tr>
 481 <tr>
 482 <td>
 483               <p>
 484                 <code class="computeroutput"><span class="keyword">static</span> <span class="identifier">T</span>
 485                 <span class="identifier">open</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span>
 486                 <span class="identifier">P</span><span class="special">&amp;)</span></code>
 487               </p>
 488               </td>
 489 <td>
 490               <p>
 491                 <a class="link" href="../interface/function_synopsis.html#discrete_types"><span class="bold"><strong>d</strong></span></a>
 492               </p>
 493               </td>
 494 <td>
 495               <p>
 496                 <a class="link" href="../interface/function_synopsis.html#continuous_types"><span class="bold"><strong>c</strong></span></a>
 497               </p>
 498               </td>
 499 <td>
 500               <p>
 501               </p>
 502               </td>
 503 <td>
 504               <p>
 505               </p>
 506               </td>
 507 <td>
 508               <p>
 509               </p>
 510               </td>
 511 <td>
 512               <p>
 513               </p>
 514               </td>
 515 </tr>
 516 </tbody>
 517 </table></div>
 518 <p>
 519         The table above shows the availability of functions, that allow the construction
 520         of intervals. All interval constructin functins are of <span class="emphasis"><em><span class="bold"><strong>constant time and space complexity</strong></span></em></span>.
 521       </p>
 522 <div class="informaltable"><table class="table">
 523 <colgroup>
 524 <col>
 525 <col>
 526 </colgroup>
 527 <thead><tr>
 528 <th>
 529               <p>
 530                 <span class="emphasis"><em><span class="bold"><strong>Construct</strong></span></em></span>
 531               </p>
 532               </th>
 533 <th>
 534               <p>
 535                 Description
 536               </p>
 537               </th>
 538 </tr></thead>
 539 <tbody>
 540 <tr>
 541 <td>
 542               <p>
 543                 <code class="computeroutput"><span class="identifier">T</span> <span class="identifier">singleton</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;</span>
 544                 <span class="identifier">value</span><span class="special">)</span></code>
 545               </p>
 546               </td>
 547 <td>
 548               <p>
 549                 Constructs an interval that contains exactly one element <code class="computeroutput"><span class="identifier">value</span></code>. For all interval types of
 550                 the icl sigletons can be constructed for <span class="emphasis"><em>discrete</em></span>
 551                 domain types. For continuous domain types, only <code class="computeroutput"><a class="link" href="../../boost/icl/continuous_interval.html" title="Class template continuous_interval">continuous_interval</a></code>
 552                 is capable to construct a singleton.
 553               </p>
 554               </td>
 555 </tr>
 556 <tr>
 557 <td>
 558               <p>
 559                 <code class="computeroutput"><span class="identifier">T</span> <span class="identifier">construct</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;</span>
 560                 <span class="identifier">lower</span><span class="special">,</span>
 561                 <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;</span> <span class="identifier">upper</span><span class="special">)</span></code>
 562               </p>
 563               </td>
 564 <td>
 565               <p>
 566                 Contructs an interval with lower bound <code class="computeroutput"><span class="identifier">lower</span></code>
 567                 and upper bound <code class="computeroutput"><span class="identifier">upper</span></code>
 568               </p>
 569               </td>
 570 </tr>
 571 <tr>
 572 <td>
 573               <p>
 574
 575 </p>
 576 <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="identifier">T</span> <span class="identifier">construct</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;</span> <span class="identifier">lower</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;</span> <span class="identifier">upper</span><span class="special">,</span>
 577             <span class="identifier">interval_bounds</span> <span class="identifier">bounds</span>
 578             <span class="special">=</span> <span class="identifier">interval_bounds</span><span class="special">::</span><span class="identifier">right_open</span><span class="special">())</span>
 579 </pre>
 580 <p>
 581               </p>
 582               </td>
 583 <td>
 584               <p>
 585                 For dynamically bounded intervals this function constructs an interval
 586                 with interval bounds specified by the third parameter.
 587               </p>
 588               </td>
 589 </tr>
 590 <tr>
 591 <td>
 592               <p>
 593                 <code class="computeroutput"><span class="identifier">T</span> <span class="identifier">hull</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;</span>
 594                 <span class="identifier">x1</span><span class="special">,</span>
 595                 <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;</span> <span class="identifier">x2</span><span class="special">)</span></code>
 596               </p>
 597               </td>
 598 <td>
 599               <p>
 600                 <code class="computeroutput"><span class="identifier">hull</span><span class="special">(</span><span class="identifier">x1</span><span class="special">,</span><span class="identifier">x2</span><span class="special">)</span></code>
 601                 constructs the smallest interval that contains both <code class="computeroutput"><span class="identifier">x1</span></code> and <code class="computeroutput"><span class="identifier">x2</span></code>.
 602                 <code class="computeroutput"><span class="identifier">x2</span></code> may be smaller
 603                 than <code class="computeroutput"><span class="identifier">x1</span></code>.
 604               </p>
 605               </td>
 606 </tr>
 607 <tr>
 608 <td>
 609               <p>
 610                 <code class="computeroutput"><span class="identifier">T</span> <span class="identifier">span</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;</span>
 611                 <span class="identifier">x1</span><span class="special">,</span>
 612                 <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;</span> <span class="identifier">x2</span><span class="special">)</span></code>
 613               </p>
 614               </td>
 615 <td>
 616               <p>
 617                 <code class="computeroutput"><span class="identifier">span</span><span class="special">(</span><span class="identifier">x1</span><span class="special">,</span><span class="identifier">x2</span><span class="special">)</span></code>
 618                 constructs the interval <code class="computeroutput"><span class="identifier">construct</span><span class="special">(</span><span class="identifier">min</span><span class="special">(</span><span class="identifier">x1</span><span class="special">,</span><span class="identifier">x2</span><span class="special">),</span> <span class="identifier">max</span><span class="special">(</span><span class="identifier">x1</span><span class="special">,</span><span class="identifier">x2</span><span class="special">))</span></code>. Note the differences between
 619                 <code class="computeroutput"><span class="identifier">span</span></code>, <code class="computeroutput"><span class="identifier">hull</span></code> and <code class="computeroutput"><span class="identifier">construct</span></code>:
 620
 621 </p>
 622 <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="identifier">span</span><span class="special">&lt;</span><span class="identifier">right_open_interval</span><span class="special">&lt;</span><span class="keyword">int</span><span class="special">&gt;</span> <span class="special">&gt;(</span><span class="number">2</span><span class="special">,</span><span class="number">1</span><span class="special">)</span>      <span class="special">==</span> <span class="special">[</span><span class="number">1</span><span class="special">,</span><span class="number">2</span><span class="special">)</span> <span class="comment">// does NOT contain 2
 623 </span><span class="identifier">hull</span><span class="special">&lt;</span><span class="identifier">right_open_interval</span><span class="special">&lt;</span><span class="keyword">int</span><span class="special">&gt;</span> <span class="special">&gt;(</span><span class="number">2</span><span class="special">,</span><span class="number">1</span><span class="special">)</span>      <span class="special">==</span> <span class="special">[</span><span class="number">1</span><span class="special">,</span><span class="number">3</span><span class="special">)</span> <span class="comment">// contains 2
 624 </span><span class="identifier">construct</span><span class="special">&lt;</span><span class="identifier">right_open_interval</span><span class="special">&lt;</span><span class="keyword">int</span><span class="special">&gt;</span> <span class="special">&gt;(</span><span class="number">2</span><span class="special">,</span><span class="number">1</span><span class="special">)</span> <span class="special">==</span> <span class="special">[)</span>    <span class="comment">// is empty
 625 </span></pre>
 626 <p>
 627               </p>
 628               </td>
 629 </tr>
 630 <tr>
 631 <td>
 632               <p>
 633
 634 </p>
 635 <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="keyword">static</span> <span class="identifier">T</span> <span class="identifier">right_open</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;)</span>
 636 <span class="keyword">static</span> <span class="identifier">T</span> <span class="identifier">left_open</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;)</span>
 637 <span class="keyword">static</span> <span class="identifier">T</span> <span class="identifier">closed</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;)</span>
 638 <span class="keyword">static</span> <span class="identifier">T</span> <span class="identifier">open</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;)</span>
 639 </pre>
 640 <p>
 641               </p>
 642               </td>
 643 <td>
 644               <p>
 645                 For dynamically bounded intervals there are for static functions
 646                 to construct intervals with the four interval bound types:
 647 </p>
 648 <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="identifier">discrete_interval</span><span class="special">&lt;</span><span class="keyword">int</span><span class="special">&gt;</span>      <span class="identifier">itv1</span> <span class="special">=</span> <span class="identifier">discrete_interval</span><span class="special">&lt;</span><span class="keyword">int</span><span class="special">&gt;::</span><span class="identifier">closed</span><span class="special">(</span><span class="number">0</span><span class="special">,</span><span class="number">42</span><span class="special">);</span>
 649 <span class="identifier">continuous_interval</span><span class="special">&lt;</span><span class="keyword">double</span><span class="special">&gt;</span> <span class="identifier">itv2</span> <span class="special">=</span> <span class="identifier">continuous_interval</span><span class="special">&lt;</span><span class="keyword">double</span><span class="special">&gt;::</span><span class="identifier">right_open</span><span class="special">(</span><span class="number">0.0</span><span class="special">,</span> <span class="number">1.0</span><span class="special">);</span>
 650 </pre>
 651 <p>
 652               </p>
 653               </td>
 654 </tr>
 655 <tr>
 656 <td>
 657               <p>
 658                 <span class="emphasis"><em><span class="bold"><strong>Using the interval default</strong></span></em></span>
 659               </p>
 660               </td>
 661 <td>
 662               <p>
 663               </p>
 664               </td>
 665 </tr>
 666 <tr>
 667 <td>
 668               <p>
 669                 <code class="computeroutput"><span class="identifier">interval</span><span class="special">&lt;</span><span class="identifier">P</span><span class="special">&gt;::</span><span class="identifier">type</span></code>
 670               </p>
 671               </td>
 672 <td>
 673               <p>
 674                 There is a library default, for all interval containers of the <span class="bold"><strong>icl</strong></span>. The intension of the library default
 675                 is to minimize the need for parameter specification, when working
 676                 with <span class="bold"><strong>icl</strong></span> class templates. We can
 677                 get the library default interval type as <code class="computeroutput"><span class="identifier">interval</span><span class="special">&lt;</span><span class="identifier">P</span><span class="special">&gt;::</span><span class="identifier">type</span></code>.
 678                 The library default uses <span class="emphasis"><em><span class="bold"><strong>dynamically
 679                 bounded intervals</strong></span></em></span>. You can switch to <span class="emphasis"><em><span class="bold"><strong>statically bounded intervals</strong></span></em></span> by
 680                 <code class="computeroutput"><span class="preprocessor">#define</span> <span class="identifier">BOOST_ICL_USE_STATIC_BOUNDED_INTERVALS</span></code>
 681                 prior to icl includes.
 682               </p>
 683               </td>
 684 </tr>
 685 <tr>
 686 <td>
 687               <p>
 688
 689 </p>
 690 <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="keyword">static</span> <span class="identifier">T</span> <span class="identifier">right_open</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;)</span>
 691 <span class="keyword">static</span> <span class="identifier">T</span> <span class="identifier">left_open</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;)</span>
 692 <span class="keyword">static</span> <span class="identifier">T</span> <span class="identifier">closed</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;)</span>
 693 <span class="keyword">static</span> <span class="identifier">T</span> <span class="identifier">open</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;,</span> <span class="keyword">const</span> <span class="identifier">P</span><span class="special">&amp;)</span>
 694 </pre>
 695 <p>
 696               </p>
 697               </td>
 698 <td>
 699               <p>
 700                 For template struct <code class="computeroutput"><span class="identifier">interval</span></code>
 701                 that always uses the library default the static functions for the
 702                 four interval bound types are also available.
 703 </p>
 704 <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="identifier">interval</span><span class="special">&lt;</span><span class="keyword">int</span><span class="special">&gt;::</span><span class="identifier">type</span>    <span class="identifier">itv1</span> <span class="special">=</span> <span class="identifier">interval</span><span class="special">&lt;</span><span class="keyword">int</span><span class="special">&gt;::</span><span class="identifier">closed</span><span class="special">(</span><span class="number">0</span><span class="special">,</span><span class="number">42</span><span class="special">);</span>
 705 <span class="identifier">interval</span><span class="special">&lt;</span><span class="keyword">double</span><span class="special">&gt;::</span><span class="identifier">type</span> <span class="identifier">itv2</span> <span class="special">=</span> <span class="identifier">interval</span><span class="special">&lt;</span><span class="keyword">double</span><span class="special">&gt;::</span><span class="identifier">right_open</span><span class="special">(</span><span class="number">0.0</span><span class="special">,</span> <span class="number">1.0</span><span class="special">);</span>
 706 </pre>
 707 <p>
 708                 This works with the statically bounded intervals as well, with the
 709                 restriction that for continuous domain types the matching function
 710                 has to be used:
 711 </p>
 712 <pre xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="table-programlisting"><span class="preprocessor">#define</span> <span class="identifier">BOOST_ICL_USE_STATIC_BOUNDED_INTERVALS</span>
 713 <span class="special">.</span> <span class="special">.</span> <span class="special">.</span>
 714 <span class="comment">// library default is the statically bounded right_open_interval
 715 </span><span class="identifier">interval</span><span class="special">&lt;</span><span class="keyword">int</span><span class="special">&gt;::</span><span class="identifier">type</span>    <span class="identifier">itv1</span> <span class="special">=</span> <span class="identifier">interval</span><span class="special">&lt;</span><span class="keyword">int</span><span class="special">&gt;::</span><span class="identifier">closed</span><span class="special">(</span><span class="number">0</span><span class="special">,</span><span class="number">42</span><span class="special">);</span> <span class="comment">//==[0,43) //ok, bounds are shifted
 716 </span><span class="identifier">interval</span><span class="special">&lt;</span><span class="keyword">double</span><span class="special">&gt;::</span><span class="identifier">type</span> <span class="identifier">itv2</span> <span class="special">=</span> <span class="identifier">interval</span><span class="special">&lt;</span><span class="keyword">double</span><span class="special">&gt;::</span><span class="identifier">right_open</span><span class="special">(</span><span class="number">0.0</span><span class="special">,</span> <span class="number">1.0</span><span class="special">);</span> <span class="comment">//ok. right_open matches
 717 </span><span class="identifier">interval</span><span class="special">&lt;</span><span class="keyword">double</span><span class="special">&gt;::</span><span class="identifier">type</span> <span class="identifier">itv3</span> <span class="special">=</span> <span class="identifier">interval</span><span class="special">&lt;</span><span class="keyword">double</span><span class="special">&gt;::</span><span class="identifier">closed</span><span class="special">(</span><span class="number">0.0</span><span class="special">,</span> <span class="number">1.0</span><span class="special">);</span>     <span class="comment">//will NOT compile
 718 </span></pre>
 719 <p>
 720                 See also examples <a class="link" href="../examples/dynamic_interval.html" title="Dynamic interval">Dynamic
 721                 intervals</a> and <a class="link" href="../examples/static_interval.html" title="Static interval">Static
 722                 intervals</a>
 723               </p>
 724               </td>
 725 </tr>
 726 </tbody>
 727 </table></div>
 728 <p>
 729         <span class="emphasis"><em><span class="bold"><strong>See also . . .</strong></span></em></span>
 730       </p>
 731 <div class="informaltable"><table class="table">
 732 <colgroup><col></colgroup>
 733 <thead><tr></tr></thead>
 734 <tbody>
 735 <tr><td>
 736               <p>
 737                 <a class="link" href="../examples/dynamic_interval.html" title="Dynamic interval"><span class="emphasis"><em><span class="bold"><strong>Example: Dynamically bounded intervals and the library
 738                 default</strong></span></em></span></a>
 739               </p>
 740               </td></tr>
 741 <tr><td>
 742               <p>
 743                 <a class="link" href="../examples/static_interval.html" title="Static interval"><span class="emphasis"><em><span class="bold"><strong>Example: Statically bounded intervals, changing the library
 744                 default</strong></span></em></span></a>
 745               </p>
 746               </td></tr>
 747 </tbody>
 748 </table></div>
 749 <p>
 750         <span class="emphasis"><em><span class="bold"><strong>Back to section . . .</strong></span></em></span>
 751       </p>
 752 <div class="informaltable"><table class="table">
 753 <colgroup><col></colgroup>
 754 <thead><tr></tr></thead>
 755 <tbody>
 756 <tr><td>
 757               <p>
 758                 <a class="link" href="../interface/function_synopsis.html#additional_interval_functions"><span class="emphasis"><em><span class="bold"><strong>Additional interval functions</strong></span></em></span></a>
 759               </p>
 760               </td></tr>
 761 <tr><td>
 762               <p>
 763                 <a class="link" href="../interface/function_synopsis.html#function_synopsis_table"><span class="emphasis"><em><span class="bold"><strong>Function
 764                 Synopsis</strong></span></em></span></a>
 765               </p>
 766               </td></tr>
 767 <tr><td>
 768               <p>
 769                 <a class="link" href="../interface.html" title="Interface"><span class="emphasis"><em><span class="bold"><strong>Interface</strong></span></em></span></a>
 770               </p>
 771               </td></tr>
 772 </tbody>
 773 </table></div>
 774 </div>
 775 <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
 776 <td align="left"></td>
 777 <td align="right"><div class="copyright-footer">Copyright &#169; 2007 -2010 Joachim Faulhaber<br>Copyright &#169; 1999 -2006 Cortex Software GmbH<p>
 778         Distributed under the Boost Software License, Version 1.0. (See accompanying
 779         file LICENSE_1_0.txt or copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>)
 780       </p>
 781 </div></td>
 782 </tr></table>
 783 <hr>
 784 <div class="spirit-nav">
 785 <a accesskey="p" href="streaming__conversion.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../function_reference.html"><img src="../../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="additional_interval_orderings.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
 786 </div>
 787 </body>
 788 </html>