functions_func_c.html 58.1 KB
Newer Older
Valentin Platzgummer's avatar
Valentin Platzgummer committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
    <head>
        <title>OR-Tools</title>
        <meta http-equiv="Content-Type" content="text/html;"/>
        <meta charset="utf-8"/>
        <!--<link rel='stylesheet' type='text/css' href="https://fonts.googleapis.com/css?family=Ubuntu:400,700,400italic"/>-->
        <script type="text/javascript" src="jquery.js"></script>
        <script type="text/javascript" src="dynsections.js"></script>
        <link href="doxygen.css" rel="stylesheet" type="text/css" />
        <link href="styleSheet.tmp.css" rel="stylesheet" type="text/css"/>
    </head>
    <body>
        <div id="banner-container">
            <div id="banner">
                <span id="sfml">Google OR-Tools 8.1</span>
            </div>
        </div>
        <div id="content" style="width: 100%; overflow: hidden;">
        <div style="margin-left: 15px; margin-top: 5px; float: left; color: #145A32;">
        <h2>C++ Reference</h2>
        <ul>
          <li><a href="../cpp_algorithms/annotated.html">Algorithms</a></li>
          <li><a href="../cpp_sat/annotated.html">CP-SAT</a></li>
          <li><a href="../cpp_graph/annotated.html">Graph</a></li>
          <li><a href="../cpp_routing/annotated.html">Routing</a></li>
          <li><a href="../cpp_linear/annotated.html">Linear solver</a></li>
        </ul>
        </div>
        <div id="content">
            <div align="center">
                <h1 style="color: #145A32;">C++ Reference: CP-SAT</h1>
            </div>
<!-- Generated by Doxygen 1.8.20 -->
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
var searchBox = new SearchBox("searchBox", "search",false,'Search');
/* @license-end */
</script>
<script type="text/javascript" src="menudata.js"></script>
<script type="text/javascript" src="menu.js"></script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
$(function() {
  initMenu('',true,false,'search.php','Search');
  $(document).ready(function() { init_search(); });
});
/* @license-end */</script>
<div id="main-nav"></div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
$(document).ready(function(){initNavTree('functions_func_c.html',''); initResizable(); });
/* @license-end */
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
</div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="contents">
&#160;

<h3><a id="index_c"></a>- c -</h3><ul>
<li>capacity()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ad9e3e107008d32a3d02495f468eba5d3">PROTOBUF_FINAL</a>
</li>
<li>catch_sigint_signal()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a5d891b47a0c12aa67a45c025148ef0f1">PROTOBUF_FINAL</a>
</li>
<li>circuit()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#abaef6814707be24b7f077120f136e5a6">PROTOBUF_FINAL</a>
</li>
<li>CircuitConstraintProto()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#accd8cdf02d46b6bc4a57c4e5bc1d1a3c">PROTOBUF_FINAL</a>
</li>
<li>clause_activity_decay()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a1f7f655f288a181b1688c4cb0057b3d6">PROTOBUF_FINAL</a>
</li>
<li>clause_cleanup_lbd_bound()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aa138ff6231e5be60298d9e2e7e1afbd5">PROTOBUF_FINAL</a>
</li>
<li>clause_cleanup_ordering()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a95c29df2c292b38be96f453a6cabc3cd">PROTOBUF_FINAL</a>
</li>
<li>clause_cleanup_period()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac707f8e1e79071fe63d3ecff55291c73">PROTOBUF_FINAL</a>
</li>
<li>clause_cleanup_protection()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a54564812104b146c0a4c83b46a3d410e">PROTOBUF_FINAL</a>
</li>
<li>clause_cleanup_target()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af3b10cd79cc5ee91b3c00853299cdec7">PROTOBUF_FINAL</a>
</li>
<li>ClauseOrdering_descriptor()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aa072de0bfc5629492cb434b94ca92cc7">PROTOBUF_FINAL</a>
</li>
<li>ClauseOrdering_IsValid()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a18c4e206af0a3225c1d0dff23496ddac">PROTOBUF_FINAL</a>
</li>
<li>ClauseOrdering_Name()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af3a2b7d150ea22c1e6e38d8b268524dc">PROTOBUF_FINAL</a>
</li>
<li>ClauseOrdering_Parse()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a5f1923fc034feb91b3c3b1af52c00319">PROTOBUF_FINAL</a>
</li>
<li>ClauseProtection_descriptor()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a160002f7ec2f844e5b147b1a0b2be42c">PROTOBUF_FINAL</a>
</li>
<li>ClauseProtection_IsValid()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a4099a5eb3f4614d1ec3c7e418f4c9abf">PROTOBUF_FINAL</a>
</li>
<li>ClauseProtection_Name()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a7c9ff5b0264c5c58f20fc27c109de075">PROTOBUF_FINAL</a>
</li>
<li>ClauseProtection_Parse()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ae55c1769e96cba1277698a4de4cd3dc0">PROTOBUF_FINAL</a>
</li>
<li>Clear()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a1e436b607da362266ed7e00d18cd6ac7">PROTOBUF_FINAL</a>
</li>
<li>clear()
: <a class="el" href="classoperations__research_1_1_sorted_disjoint_interval_list.html#ac8bb3912a3ce86b15842e79d0b421204">SortedDisjointIntervalList</a>
</li>
<li>clear_absolute_gap_limit()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aee7c4ba8cc8694b7de2e838c3f6b9f85">PROTOBUF_FINAL</a>
</li>
<li>clear_actives()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a93fb666117e26372fb91f66f4d763249">PROTOBUF_FINAL</a>
</li>
<li>clear_add_cg_cuts()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aaaa0d7aaf05ff0306f3da74ec2238ef0">PROTOBUF_FINAL</a>
</li>
<li>clear_add_clique_cuts()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#acbade70bfb081cce909b56fb13375fc6">PROTOBUF_FINAL</a>
</li>
<li>clear_add_knapsack_cuts()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#abdb2a3b9344fca3fcca5b6b1836d63df">PROTOBUF_FINAL</a>
</li>
<li>clear_add_lin_max_cuts()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a5f23a5d566d9e232419c6db198f790b7">PROTOBUF_FINAL</a>
</li>
<li>clear_add_lp_constraints_lazily()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#acc32d12c0b463c0e086634ddbcfecb54">PROTOBUF_FINAL</a>
</li>
<li>clear_add_mir_cuts()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a475b2b4c705d8af765ca6e28a7c9192b">PROTOBUF_FINAL</a>
</li>
<li>clear_add_zero_half_cuts()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a14ef95b14621903e9aa3facecb49943c">PROTOBUF_FINAL</a>
</li>
<li>clear_all_diff()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af2cc1a5e2cd2573e45270dac0b3f707c">PROTOBUF_FINAL</a>
</li>
<li>clear_all_solutions_were_found()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a1336ba000535d8e9f234605a462b15c4">PROTOBUF_FINAL</a>
</li>
<li>clear_also_bump_variables_in_conflict_reasons()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a21e0607dc8ec32ec527a352fc10aa272">PROTOBUF_FINAL</a>
</li>
<li>clear_assignment()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac74ccc0766e571919f47e66c9bc4a98e">PROTOBUF_FINAL</a>
</li>
<li>clear_assumptions()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a410ca03165cba9eab8c0d22d290a9d70">PROTOBUF_FINAL</a>
</li>
<li>clear_at_most_one()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a75e4a19dd7bc64ef7ada6f80703d3ffc">PROTOBUF_FINAL</a>
</li>
<li>clear_auto_detect_greater_than_at_least_one_of()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a712c5cd7b5adf11761f88a6cfb71aaf9">PROTOBUF_FINAL</a>
</li>
<li>clear_automaton()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a866f59df664641b2ff2830b9e53970b8">PROTOBUF_FINAL</a>
</li>
<li>clear_best_objective_bound()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9ce43a595ad994c67ebd4cc3a5cda0df">PROTOBUF_FINAL</a>
</li>
<li>clear_binary_minimization_algorithm()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a2e71ebc635d110cc60ca179b8834343a">PROTOBUF_FINAL</a>
</li>
<li>clear_binary_search_num_conflicts()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a3dfa69772a42268e528a3b085971240d">PROTOBUF_FINAL</a>
</li>
<li>clear_blocking_restart_multiplier()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a4d3a633c8360da664b27630b6d613185">PROTOBUF_FINAL</a>
</li>
<li>clear_blocking_restart_window_size()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ad2f98c43cebda51bdaf979ad4baf4526">PROTOBUF_FINAL</a>
</li>
<li>clear_bool_and()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aea1e3a66dd07f85502f09f3a30c7cb47">PROTOBUF_FINAL</a>
</li>
<li>clear_bool_or()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a0fe5125fa5b34e5e6d6b59b9155d884f">PROTOBUF_FINAL</a>
</li>
<li>clear_bool_xor()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a6970ab8f6fceaf431cfe7e1615b0308c">PROTOBUF_FINAL</a>
</li>
<li>clear_boolean_encoding_level()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ae78eca04c1293154553ea08758e75717">PROTOBUF_FINAL</a>
</li>
<li>clear_boxes_with_null_area_can_overlap()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#adf5eea97f516b03194c39bb0d386bb74">PROTOBUF_FINAL</a>
</li>
<li>clear_capacity()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a5f7eed65007d1ae5558b58c478f69f12">PROTOBUF_FINAL</a>
</li>
<li>clear_catch_sigint_signal()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a06774d7861158f37b76304175ac2f570">PROTOBUF_FINAL</a>
</li>
<li>clear_circuit()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a8a9bf5a3548ae56e7cc4cb665da0caa6">PROTOBUF_FINAL</a>
</li>
<li>clear_clause_activity_decay()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a44de8d2d4f851b99ac6737beffaf69cc">PROTOBUF_FINAL</a>
</li>
<li>clear_clause_cleanup_lbd_bound()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a59bbbb9b453ba0f64649761465c0a600">PROTOBUF_FINAL</a>
</li>
<li>clear_clause_cleanup_ordering()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a37a979b8ae8c96fdd770c7ef3665eb60">PROTOBUF_FINAL</a>
</li>
<li>clear_clause_cleanup_period()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a66a61ebd38c90b3b8181c5e0c7608549">PROTOBUF_FINAL</a>
</li>
<li>clear_clause_cleanup_protection()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a6076a15a62462b9c2ad9ad037a8fd427">PROTOBUF_FINAL</a>
</li>
<li>clear_clause_cleanup_target()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a7ad0a8d6d540cce747d1d1194082fe18">PROTOBUF_FINAL</a>
</li>
<li>clear_coefficients()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a28b4ad4a2515668720c4d8c4a52ef2dc">PROTOBUF_FINAL</a>
</li>
<li>clear_coeffs()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a06a99a40cbd48fec5a10b7096f0a027d">PROTOBUF_FINAL</a>
</li>
<li>clear_constraint()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac50e81736f68bb14d369831ccb7d1000">PROTOBUF_FINAL</a>
</li>
<li>clear_constraints()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a638ebfa975d8dc9f1da7611384c62ecd">PROTOBUF_FINAL</a>
</li>
<li>clear_count_assumption_levels_in_lbd()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a30d60b5a684038ce7e558e1c0be4a2a7">PROTOBUF_FINAL</a>
</li>
<li>clear_cover_optimization()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9d5dc3e60373f2426b27c0d2baff7d5c">PROTOBUF_FINAL</a>
</li>
<li>clear_cp_model_max_num_presolve_operations()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af457776579f60285233ce268ee7e2db5">PROTOBUF_FINAL</a>
</li>
<li>clear_cp_model_postsolve_with_full_solver()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac64235aa50e750774c20b3fc56c70db7">PROTOBUF_FINAL</a>
</li>
<li>clear_cp_model_presolve()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a085e9669298103dd554621a2024679e4">PROTOBUF_FINAL</a>
</li>
<li>clear_cp_model_probing_level()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a4e4662730ab5c8f864db433d1f4a7eb2">PROTOBUF_FINAL</a>
</li>
<li>clear_cp_model_use_sat_presolve()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac673ba09b01347ccc14ba6823885784c">PROTOBUF_FINAL</a>
</li>
<li>clear_cumulative()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a50e29927c000e76c054ce0661fd0569e">PROTOBUF_FINAL</a>
</li>
<li>clear_cut_active_count_decay()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af3d501e9dab1536971b901aed689735e">PROTOBUF_FINAL</a>
</li>
<li>clear_cut_cleanup_target()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a7e613c02edd415e2b437b77737a92273">PROTOBUF_FINAL</a>
</li>
<li>clear_cut_max_active_count_value()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab0ec9e4151a0cade86dcc43b5a52f8ec">PROTOBUF_FINAL</a>
</li>
<li>clear_default_restart_algorithms()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a234277310bbeff82b5b2a31f1963c735">PROTOBUF_FINAL</a>
</li>
<li>clear_demands()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a56748cec196d5b2109d6de39b87e6429">PROTOBUF_FINAL</a>
</li>
<li>clear_deterministic_time()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af7993b6578277f2a5cb166704460ef09">PROTOBUF_FINAL</a>
</li>
<li>clear_diversify_lns_params()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aa225da2419482b815702190263fa8a2b">PROTOBUF_FINAL</a>
</li>
<li>clear_domain()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a44f2e1631cdbf3b9a89a8afa8acb8ebd">PROTOBUF_FINAL</a>
</li>
<li>clear_domain_reduction_strategy()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab7f01db58bcd22e6bef966a5c3f7bcec">PROTOBUF_FINAL</a>
</li>
<li>clear_element()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a67dfc3726c2f38d3bd122d026271b8bf">PROTOBUF_FINAL</a>
</li>
<li>clear_end()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab2d257bb30e71c68ed7df44dc93dbdaa">PROTOBUF_FINAL</a>
</li>
<li>clear_enforcement_literal()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9f475a487bdda96e086bd50d6e546a2b">PROTOBUF_FINAL</a>
</li>
<li>clear_enumerate_all_solutions()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af2dcab9e56fa8d1d831e48bb29dac30a">PROTOBUF_FINAL</a>
</li>
<li>clear_expand_alldiff_constraints()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a7b8bf23b917ea5669452b021090072a6">PROTOBUF_FINAL</a>
</li>
<li>clear_expand_automaton_constraints()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a3d75132128aab32c591e00f30d4a3ad3">PROTOBUF_FINAL</a>
</li>
<li>clear_expand_element_constraints()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9d86fc4f4aa9c876dfdc75b794bc3568">PROTOBUF_FINAL</a>
</li>
<li>clear_expand_table_constraints()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a90520b4f0d49918e835e9b3d03f2c435">PROTOBUF_FINAL</a>
</li>
<li>clear_exploit_all_lp_solution()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a33ffb112589bdd7be93bb1d2f310eca2">PROTOBUF_FINAL</a>
</li>
<li>clear_exploit_best_solution()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a49631fadfd9d3d4f3018e97e43019bc6">PROTOBUF_FINAL</a>
</li>
<li>clear_exploit_integer_lp_solution()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aad59e31c510dbbe077cdacf2d2e99933">PROTOBUF_FINAL</a>
</li>
<li>clear_exploit_objective()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a6ec81e675365162b0450af8407fa7388">PROTOBUF_FINAL</a>
</li>
<li>clear_exploit_relaxation_solution()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a4a81b02cffd7a926981d3310d7775141">PROTOBUF_FINAL</a>
</li>
<li>clear_exprs()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aff44c8cf7d4fe0db73df78a810cd0b6b">PROTOBUF_FINAL</a>
</li>
<li>clear_f_direct()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a656b876a64d4bac0eb300b7e534ce56e">PROTOBUF_FINAL</a>
</li>
<li>clear_f_inverse()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9b0406cc54c4e8116153bdb7f13c7981">PROTOBUF_FINAL</a>
</li>
<li>clear_fill_tightened_domains_in_response()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#abf024894b9595a50b16206dd6fbcc2fb">PROTOBUF_FINAL</a>
</li>
<li>clear_final_states()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac6866d2614beea7195581e349d61e177">PROTOBUF_FINAL</a>
</li>
<li>clear_find_multiple_cores()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a302b021741636029ca5d0bfdb47d922e">PROTOBUF_FINAL</a>
</li>
<li>clear_fp_rounding()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac016344e5a6198aa0087ceb0ece7a5cf">PROTOBUF_FINAL</a>
</li>
<li>clear_glucose_decay_increment()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af4e77bb6e5e0946149bea50925bcc2bb">PROTOBUF_FINAL</a>
</li>
<li>clear_glucose_decay_increment_period()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a8a6bd4a261cca4253b49e01a5ab2f73b">PROTOBUF_FINAL</a>
</li>
<li>clear_glucose_max_decay()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a35e462ec4c03914cad0eb76f725ea424">PROTOBUF_FINAL</a>
</li>
<li>clear_heads()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a357ebf6824ee207e4ba2f0606f7dc688">PROTOBUF_FINAL</a>
</li>
<li>clear_hint_conflict_limit()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aa516f510bc2d8309266ae93eb5c38853">PROTOBUF_FINAL</a>
</li>
<li>clear_index()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af95d92b789c99a4424e8c4e03a63a2d5">PROTOBUF_FINAL</a>
</li>
<li>clear_initial_polarity()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a431026c5bde7c1fa991303c4d7d9c54a">PROTOBUF_FINAL</a>
</li>
<li>clear_initial_variables_activity()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a179b37bf1be9d6164ea0f56827e4bff3">PROTOBUF_FINAL</a>
</li>
<li>clear_instantiate_all_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aeb28ed921e52e32bd120aeae71612ba7">PROTOBUF_FINAL</a>
</li>
<li>clear_int_div()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a3cbf54c236573a92d66940085523c920">PROTOBUF_FINAL</a>
</li>
<li>clear_int_max()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a7b7664f65bd8688c73062db990a3e667">PROTOBUF_FINAL</a>
</li>
<li>clear_int_min()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a67bef12e38624ead7d3f0e94c31377e7">PROTOBUF_FINAL</a>
</li>
<li>clear_int_mod()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac5c18acf48b44935e225e0186bbe139c">PROTOBUF_FINAL</a>
</li>
<li>clear_int_prod()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac9e41101c222b342c5a0063a7537dd76">PROTOBUF_FINAL</a>
</li>
<li>clear_interleave_batch_size()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af9db6dab5664d75868c2534d94cf4501">PROTOBUF_FINAL</a>
</li>
<li>clear_interleave_search()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af2f7387db447010232a8375034efef0d">PROTOBUF_FINAL</a>
</li>
<li>clear_interval()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a5cb8715bb303f72eb9bedb44d2291a45">PROTOBUF_FINAL</a>
</li>
<li>clear_intervals()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a3da3f464558e8b4bc34a3a57885b2904">PROTOBUF_FINAL</a>
</li>
<li>clear_inverse()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a6069c6d8a6f5dcc7fc4f53c35640fbb9">PROTOBUF_FINAL</a>
</li>
<li>clear_keep_all_feasible_solutions_in_presolve()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a226b16b7cfd584186543ed4c0b4a7dd3">PROTOBUF_FINAL</a>
</li>
<li>clear_lin_max()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a2ed8794ebb54d1f903a9f72ad04df533">PROTOBUF_FINAL</a>
</li>
<li>clear_lin_min()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a0d74b4fc892b01d6ddfd4617a1938115">PROTOBUF_FINAL</a>
</li>
<li>clear_linear()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a50810cff40eae745697501e4e1338cdd">PROTOBUF_FINAL</a>
</li>
<li>clear_linearization_level()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a5a3e4396b29748e1605f42ac8eed7d25">PROTOBUF_FINAL</a>
</li>
<li>clear_literals()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a5339b1584860029bfdb4f080683852f5">PROTOBUF_FINAL</a>
</li>
<li>clear_lns_focus_on_decision_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a96f4d1f5ff6df9fdad40cb7f9c4f5572">PROTOBUF_FINAL</a>
</li>
<li>clear_log_search_progress()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aa73a835265c3a75f68fbb08ea75f379f">PROTOBUF_FINAL</a>
</li>
<li>clear_lower_bound()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#adf1d4d075084f1ee1369adfc5ac67d76">PROTOBUF_FINAL</a>
</li>
<li>clear_max_all_diff_cut_size()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a709dc6c1ccc25c6aec44e4965294b7bf">PROTOBUF_FINAL</a>
</li>
<li>clear_max_clause_activity_value()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a152fc46f0c054f6e076a3b1a903ecb70">PROTOBUF_FINAL</a>
</li>
<li>clear_max_consecutive_inactive_count()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a26921f892aab1266609b7e85fe3b6cea">PROTOBUF_FINAL</a>
</li>
<li>clear_max_cut_rounds_at_level_zero()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a31fb82300fdd66b0c8406f0f60183cd2">PROTOBUF_FINAL</a>
</li>
<li>clear_max_deterministic_time()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a2250376209fc364c3b242f443e86e328">PROTOBUF_FINAL</a>
</li>
<li>clear_max_integer_rounding_scaling()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a96ec46dccf92291700d53ab15dd2e68c">PROTOBUF_FINAL</a>
</li>
<li>clear_max_level()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af46c210dcb7e5a99eb85803a509590b3">PROTOBUF_FINAL</a>
</li>
<li>clear_max_memory_in_mb()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#acdae9c03ac7def5f6ecd0761d549af85">PROTOBUF_FINAL</a>
</li>
<li>clear_max_num_cuts()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a13c4b4423933d47b53791b8e0ea4bad5">PROTOBUF_FINAL</a>
</li>
<li>clear_max_number_of_conflicts()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a35dbb74538b1e3a1c720c48619368aba">PROTOBUF_FINAL</a>
</li>
<li>clear_max_presolve_iterations()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ae9f09898112611796e96e2ef021f3cef">PROTOBUF_FINAL</a>
</li>
<li>clear_max_sat_assumption_order()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a40e6b265d856305c2fcc381414092661">PROTOBUF_FINAL</a>
</li>
<li>clear_max_sat_reverse_assumption_order()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab350f7fd5f12be9c5cc9445fab8e9705">PROTOBUF_FINAL</a>
</li>
<li>clear_max_sat_stratification()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a1d24dd772870746deabbbbd6d059cfd2">PROTOBUF_FINAL</a>
</li>
<li>clear_max_time_in_seconds()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab9b337954b1aa24c33dca8d43e2696cf">PROTOBUF_FINAL</a>
</li>
<li>clear_max_variable_activity_value()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a3873dd0c6f34c4f35a0ddf7fcaf8f836">PROTOBUF_FINAL</a>
</li>
<li>clear_merge_at_most_one_work_limit()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a82f394898d0be453120811d8202009ea">PROTOBUF_FINAL</a>
</li>
<li>clear_merge_no_overlap_work_limit()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a17289452b3a57bcc619e13b183843fc3">PROTOBUF_FINAL</a>
</li>
<li>clear_min_level()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ae1c1230009fac9c09d2f98caa44ca961">PROTOBUF_FINAL</a>
</li>
<li>clear_min_orthogonality_for_lp_constraints()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af686202427f35b14264ddb1ac71f873b">PROTOBUF_FINAL</a>
</li>
<li>clear_minimization_algorithm()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a7c5541d26af8a3368661900e74aa41c2">PROTOBUF_FINAL</a>
</li>
<li>clear_minimize_core()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aa3173e3bd543d2336cc2158b5ea11cd4">PROTOBUF_FINAL</a>
</li>
<li>clear_minimize_reduction_during_pb_resolution()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#afd07cf6fc22f9e7e7ee402e4ca77240d">PROTOBUF_FINAL</a>
</li>
<li>clear_minimize_with_propagation_num_decisions()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af98e5d4d59a30389550d6f91761bcd9a">PROTOBUF_FINAL</a>
</li>
<li>clear_minimize_with_propagation_restart_period()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#adb91cf355601321d5e7539dd6b0e2408">PROTOBUF_FINAL</a>
</li>
<li>clear_mip_automatically_scale_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a43de9330fb2954d394036b97737330cb">PROTOBUF_FINAL</a>
</li>
<li>clear_mip_check_precision()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a67330f02657c68841843369fc114035a">PROTOBUF_FINAL</a>
</li>
<li>clear_mip_max_activity_exponent()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab68c8aabf2be5cedeb00e2853527b7bc">PROTOBUF_FINAL</a>
</li>
<li>clear_mip_max_bound()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a5f4c0ece57e3e010b314cad66f95f917">PROTOBUF_FINAL</a>
</li>
<li>clear_mip_var_scaling()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#acfb6c877cdd87b718ca3dc6d963d3b6f">PROTOBUF_FINAL</a>
</li>
<li>clear_mip_wanted_precision()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a20dfdf182937c8fc44878284c1b3fa86">PROTOBUF_FINAL</a>
</li>
<li>clear_name()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a458dd99a041a02e37d5b249201b18050">PROTOBUF_FINAL</a>
</li>
<li>clear_negated()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ad00fa4ffb9de0e8fcdb4c5da37a8a242">PROTOBUF_FINAL</a>
</li>
<li>clear_new_constraints_batch_size()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a37b81b6a7179849a99d95e7ac95c1920">PROTOBUF_FINAL</a>
</li>
<li>clear_no_overlap()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a90fe8fd99ba6ce12d6596fc018969d94">PROTOBUF_FINAL</a>
</li>
<li>clear_no_overlap_2d()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac090117e96deae0549345dee408dec9c">PROTOBUF_FINAL</a>
</li>
<li>clear_num_binary_propagations()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ad9e9e965e1a64457043558b8e843f787">PROTOBUF_FINAL</a>
</li>
<li>clear_num_booleans()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac75a80b4be662a00351a815a829f1e33">PROTOBUF_FINAL</a>
</li>
<li>clear_num_branches()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a51124c9f2f7fcbc20af1bde3339576d5">PROTOBUF_FINAL</a>
</li>
<li>clear_num_conflicts()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a8930d410c7141adab598bfae8c1225ac">PROTOBUF_FINAL</a>
</li>
<li>clear_num_conflicts_before_strategy_changes()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af93f0cfeaaaba3300292c5396b307aa0">PROTOBUF_FINAL</a>
</li>
<li>clear_num_integer_propagations()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a8c8bcb046e9eaa54045cfcfa3ebf1c5d">PROTOBUF_FINAL</a>
</li>
<li>clear_num_lp_iterations()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9c242c50bc315348281b4100cadd6a2f">PROTOBUF_FINAL</a>
</li>
<li>clear_num_restarts()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#addf2043f2da0cd624150e901f5b02e6b">PROTOBUF_FINAL</a>
</li>
<li>clear_num_search_workers()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a67ada6d7051c3b087f4add78ebfb4b8b">PROTOBUF_FINAL</a>
</li>
<li>clear_num_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ad6517d79296bf6a44c284c32f104ffe6">PROTOBUF_FINAL</a>
</li>
<li>clear_objective()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ad97af219ab4d62c806c052848a69dab3">PROTOBUF_FINAL</a>
</li>
<li>clear_objective_value()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af79b8b18aa9538006bab8757590540b4">PROTOBUF_FINAL</a>
</li>
<li>clear_offset()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#acb29ebc510348e4a2cd531a7c3f57c9c">PROTOBUF_FINAL</a>
</li>
<li>clear_only_add_cuts_at_level_zero()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a5dcbee3529e3d71e0f6490260fa19194">PROTOBUF_FINAL</a>
</li>
<li>clear_optimize_with_core()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a3cab6ddd914d2c023ef7527cfc3e9ecd">PROTOBUF_FINAL</a>
</li>
<li>clear_optimize_with_max_hs()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a270abe2b5263c11dc815ec3571b38ec9">PROTOBUF_FINAL</a>
</li>
<li>clear_original_num_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#addc11a509acc184aee1dad11bb519cff">PROTOBUF_FINAL</a>
</li>
<li>clear_pb_cleanup_increment()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aaaadcce57ef339cfa5cf50c6a8204310">PROTOBUF_FINAL</a>
</li>
<li>clear_pb_cleanup_ratio()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aeba82ef55aa081cbb990f69aba0b186e">PROTOBUF_FINAL</a>
</li>
<li>clear_polarity_rephase_increment()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#afdd56646c4a7c32205d6aa482bd80769">PROTOBUF_FINAL</a>
</li>
<li>clear_polish_lp_solution()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a18e3f759fed435d58fde62e0b536dc6e">PROTOBUF_FINAL</a>
</li>
<li>clear_positive_coeff()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ae0aceb21ea92f19442d56647304976b6">PROTOBUF_FINAL</a>
</li>
<li>clear_preferred_variable_order()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a879f78e3312e1f51c5775eed2a1f867a">PROTOBUF_FINAL</a>
</li>
<li>clear_presolve_blocked_clause()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a035f27d44346b2e7666fcfb827410ace">PROTOBUF_FINAL</a>
</li>
<li>clear_presolve_bva_threshold()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aeb101d338ae684d73dcea8d93b80d479">PROTOBUF_FINAL</a>
</li>
<li>clear_presolve_bve_clause_weight()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a68f81cbb5b64789f026b6b58ff80e0c0">PROTOBUF_FINAL</a>
</li>
<li>clear_presolve_bve_threshold()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a1e70717c27e236816e990cc62e6f10ee">PROTOBUF_FINAL</a>
</li>
<li>clear_presolve_extract_integer_enforcement()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aa2a2f805201264d584d0e75e0b62f226">PROTOBUF_FINAL</a>
</li>
<li>clear_presolve_probing_deterministic_time_limit()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a08a51fcadc9ec51678aed12cc5ba46d6">PROTOBUF_FINAL</a>
</li>
<li>clear_presolve_substitution_level()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#abfc3a6b1573520f44662587148a266a0">PROTOBUF_FINAL</a>
</li>
<li>clear_presolve_use_bva()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab575003120f43b2815675386e9e606af">PROTOBUF_FINAL</a>
</li>
<li>clear_primal_integral()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aae280f6928c10e6c41e6cb9f5b34c909">PROTOBUF_FINAL</a>
</li>
<li>clear_probing_period_at_root()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ad197fa611b15f9888ae6ceb5002e263e">PROTOBUF_FINAL</a>
</li>
<li>clear_pseudo_cost_reliability_threshold()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a05b9d638d6f58365c21935eafa520d31">PROTOBUF_FINAL</a>
</li>
<li>clear_random_branches_ratio()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#acea4398fba42bd17f7c69379775f4c2d">PROTOBUF_FINAL</a>
</li>
<li>clear_random_polarity_ratio()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#accc4501db02de18024791627290da53f">PROTOBUF_FINAL</a>
</li>
<li>clear_random_seed()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a85679ee5edd2c73b66f6a7c35fd3bada">PROTOBUF_FINAL</a>
</li>
<li>clear_randomize_search()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a74ba3b6b8df9701b5cdc3d5c63753d43">PROTOBUF_FINAL</a>
</li>
<li>clear_reduce_memory_usage_in_interleave_mode()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a34db4462cefa1e65dc65634c10cd671a">PROTOBUF_FINAL</a>
</li>
<li>clear_relative_gap_limit()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab7220ed89a19e6f6b2440df4010381b3">PROTOBUF_FINAL</a>
</li>
<li>clear_repair_hint()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac498127cf65a1446ade8a7cfd6b91bc5">PROTOBUF_FINAL</a>
</li>
<li>clear_reservoir()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a6c1441b3d10dc7ee7814b37fed4c1cc6">PROTOBUF_FINAL</a>
</li>
<li>clear_restart_algorithms()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a0310f80eae4bf7ab576f7ca92c236510">PROTOBUF_FINAL</a>
</li>
<li>clear_restart_dl_average_ratio()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ae90ca8253641da69b272f3a2aeb1ab0b">PROTOBUF_FINAL</a>
</li>
<li>clear_restart_lbd_average_ratio()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab0d54c64552d8d6f4a8a5eb9c5bb4ecc">PROTOBUF_FINAL</a>
</li>
<li>clear_restart_period()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#acbe9461888fcaad02df35a74e68a838b">PROTOBUF_FINAL</a>
</li>
<li>clear_restart_running_window_size()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab0494a1922e0aa616117720042ecd13c">PROTOBUF_FINAL</a>
</li>
<li>clear_routes()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af82e2a57ee8b583c00602dc9f113f2af">PROTOBUF_FINAL</a>
</li>
<li>clear_scaling_factor()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ade736c97b0c7be8494137304c1c81e3c">PROTOBUF_FINAL</a>
</li>
<li>clear_search_branching()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af713e53f2efebe0d355542ce40ee7375">PROTOBUF_FINAL</a>
</li>
<li>clear_search_randomization_tolerance()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ad9a96c22b1d1632d33407726fbb54248">PROTOBUF_FINAL</a>
</li>
<li>clear_search_strategy()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a4742b5ae01f6b077a2a6ec7f600d7c4f">PROTOBUF_FINAL</a>
</li>
<li>clear_share_level_zero_bounds()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a999f746a35b3fc59ab1ae71c6a43913e">PROTOBUF_FINAL</a>
</li>
<li>clear_share_objective_bounds()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aafb0ec70826319c658b8804c2ea929ee">PROTOBUF_FINAL</a>
</li>
<li>clear_size()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af944daa8260f5b30fc30dd8f70643710">PROTOBUF_FINAL</a>
</li>
<li>clear_solution()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a83793a11cefa7a61bc496ac153a9b7a1">PROTOBUF_FINAL</a>
</li>
<li>clear_solution_hint()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#adaf32afeab55a0b5babdf8688dd84616">PROTOBUF_FINAL</a>
</li>
<li>clear_solution_info()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aadc81f8fe1ef7dba16e87cb3bf1d2231">PROTOBUF_FINAL</a>
</li>
<li>clear_solution_lower_bounds()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a198eab6e90987a37e2d031822b329028">PROTOBUF_FINAL</a>
</li>
<li>clear_solution_upper_bounds()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a2d05bc585c3ea183b952bd2d48381412">PROTOBUF_FINAL</a>
</li>
<li>clear_start()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a724b9a0468b077f592553861769cc5d4">PROTOBUF_FINAL</a>
</li>
<li>clear_starting_state()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac4010681113971e96805102a05520c37">PROTOBUF_FINAL</a>
</li>
<li>clear_status()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac5b45785286d1161eb772146a1311c5a">PROTOBUF_FINAL</a>
</li>
<li>clear_stop_after_first_solution()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#abd7142dc5ee8c7ab35b99f51b30be6b2">PROTOBUF_FINAL</a>
</li>
<li>clear_stop_after_presolve()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a73fecd3403e334c7a1ac70690f8a55ff">PROTOBUF_FINAL</a>
</li>
<li>clear_strategy_change_increase_ratio()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a76d22718eb4736de5a71e581daa0b25e">PROTOBUF_FINAL</a>
</li>
<li>clear_subsumption_during_conflict_analysis()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#adb6e9f083ea840571f7ceaf2167b78db">PROTOBUF_FINAL</a>
</li>
<li>clear_sufficient_assumptions_for_infeasibility()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a0522d1237042155f77d8b426dac80903">PROTOBUF_FINAL</a>
</li>
<li>clear_table()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9b22a7e9289238870e2009f6078a6f03">PROTOBUF_FINAL</a>
</li>
<li>clear_tails()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ad2b545a6c52e40dbe620f8163bce15ae">PROTOBUF_FINAL</a>
</li>
<li>clear_target()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9ee236434540a0639967f738885d638d">PROTOBUF_FINAL</a>
</li>
<li>clear_tightened_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a4c6244ce151d7dd4d9e7bbd6d82531f2">PROTOBUF_FINAL</a>
</li>
<li>clear_times()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac9080ac5ccf1a206021c14f5289661f3">PROTOBUF_FINAL</a>
</li>
<li>clear_transformations()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ada097d8f84f670146e8b7b78cbfa0e7a">PROTOBUF_FINAL</a>
</li>
<li>clear_transition_head()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a2c2a67b783ebd0fdb83756a55ff2f6a5">PROTOBUF_FINAL</a>
</li>
<li>clear_transition_label()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9dfaa9bebfefb4c19c2599bdd236c056">PROTOBUF_FINAL</a>
</li>
<li>clear_transition_tail()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aa220e57a4617b172cb0546066812eb8e">PROTOBUF_FINAL</a>
</li>
<li>clear_treat_binary_clauses_separately()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aa520778556ee73d8652be32fcba35f05">PROTOBUF_FINAL</a>
</li>
<li>clear_upper_bound()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ae5c5344ca6ac45c916e8d18d3e1ada5d">PROTOBUF_FINAL</a>
</li>
<li>clear_use_blocking_restart()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a6403178f08b7cab354a7809587561f4c">PROTOBUF_FINAL</a>
</li>
<li>clear_use_branching_in_lp()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a4466962462cc23f12949c41972e0eb21">PROTOBUF_FINAL</a>
</li>
<li>clear_use_combined_no_overlap()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a2453d8fc7bc50f5f8787d7a45a319cdf">PROTOBUF_FINAL</a>
</li>
<li>clear_use_disjunctive_constraint_in_cumulative_constraint()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aa9c5aa85a11db830596dc97ff188e157">PROTOBUF_FINAL</a>
</li>
<li>clear_use_erwa_heuristic()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#af1d552140b5873cc13983f4ad120ef28">PROTOBUF_FINAL</a>
</li>
<li>clear_use_exact_lp_reason()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a5804029b2838c430b0d5f48169a26e27">PROTOBUF_FINAL</a>
</li>
<li>clear_use_feasibility_pump()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aae01b553258eecf899c0549ad11186c8">PROTOBUF_FINAL</a>
</li>
<li>clear_use_implied_bounds()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a2f6fa3ef4246f7a8e94ba7ca0c0432d3">PROTOBUF_FINAL</a>
</li>
<li>clear_use_lns_only()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a60870942f47f56f17a14f69f6c803dd5">PROTOBUF_FINAL</a>
</li>
<li>clear_use_optimization_hints()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ae4fc0a82836b47e25690e247eb31173e">PROTOBUF_FINAL</a>
</li>
<li>clear_use_optional_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a57c04bea9076b384f8be334f49c2b8b3">PROTOBUF_FINAL</a>
</li>
<li>clear_use_overload_checker_in_cumulative_constraint()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#adbbab2a9ffb67724304e7a71bc6a0bc1">PROTOBUF_FINAL</a>
</li>
<li>clear_use_pb_resolution()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a73cf9ac246bce1bf8047febbd6af8e87">PROTOBUF_FINAL</a>
</li>
<li>clear_use_phase_saving()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab35ec530215088393068a2e6a72e7ea0">PROTOBUF_FINAL</a>
</li>
<li>clear_use_precedences_in_disjunctive_constraint()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a329c87837191a22bd1fb7a282cdf949a">PROTOBUF_FINAL</a>
</li>
<li>clear_use_probing_search()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab5c36a2977f1f28445392f351fb0137d">PROTOBUF_FINAL</a>
</li>
<li>clear_use_relaxation_lns()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a2041f2a48545a45fd1e386fdc3f6d309">PROTOBUF_FINAL</a>
</li>
<li>clear_use_rins_lns()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a2f24a22ae53c5246bd9e7c3d5b6d71e0">PROTOBUF_FINAL</a>
</li>
<li>clear_use_sat_inprocessing()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a549d961e51adabe946cb0e2af5fff6b2">PROTOBUF_FINAL</a>
</li>
<li>clear_use_timetable_edge_finding_in_cumulative_constraint()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a1b8dfb85b10c8d33abb62b8b310564df">PROTOBUF_FINAL</a>
</li>
<li>clear_user_time()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ad722ad2cfd3e72602807265d50d42497">PROTOBUF_FINAL</a>
</li>
<li>clear_values()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ad0b1d578b64fd9f38010f0fb630a55e6">PROTOBUF_FINAL</a>
</li>
<li>clear_var()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aee9ca957709adadb30e033e55ab28e2e">PROTOBUF_FINAL</a>
</li>
<li>clear_var_names()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac10895f5fea7aa28b7d68ae1a3d8d14d">PROTOBUF_FINAL</a>
</li>
<li>clear_variable_activity_decay()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a236050e753d8065f9c6927b206809cc3">PROTOBUF_FINAL</a>
</li>
<li>clear_variable_selection_strategy()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a18d3fd4f45934ff9433167dc48db5fac">PROTOBUF_FINAL</a>
</li>
<li>clear_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a97c353c23050b2faebd883435f73aa6e">PROTOBUF_FINAL</a>
</li>
<li>clear_vars()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ab1a05788afa206a0fd73ba052ac18520">PROTOBUF_FINAL</a>
</li>
<li>clear_wall_time()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a37c3b0a18a88fa2e6c9ee65366ee0de6">PROTOBUF_FINAL</a>
</li>
<li>clear_x_intervals()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ac13cd058e45b42c4addb61e014ad7cbc">PROTOBUF_FINAL</a>
</li>
<li>clear_y_intervals()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a5a875cdd4807f9320da67c93c4fc530c">PROTOBUF_FINAL</a>
</li>
<li>ClosedInterval()
: <a class="el" href="structoperations__research_1_1_closed_interval.html#a8551c3beeba009ed1c258385ca5e6826">ClosedInterval</a>
</li>
<li>coefficients()
: <a class="el" href="classoperations__research_1_1sat_1_1_linear_expr.html#ad93e8152b59e0db58d7e5ba4a525dd81">LinearExpr</a>
, <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9684cff868469997ef61cf9d881721a8">PROTOBUF_FINAL</a>
</li>
<li>coefficients_size()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#afddea8f1f515fb9507a2e5c2ceb1b29e">PROTOBUF_FINAL</a>
</li>
<li>coeffs()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9eedda51d7ca509266d101226eb6b226">PROTOBUF_FINAL</a>
</li>
<li>coeffs_size()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a7b556cd1b51adc0393fa36e82c11cd7e">PROTOBUF_FINAL</a>
</li>
<li>Complement()
: <a class="el" href="classoperations__research_1_1_domain.html#a1f1de3874966a137f140748498f43e0c">Domain</a>
</li>
<li>ConflictMinimizationAlgorithm_descriptor()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a6fb491673b794c2def1f69ef7f2dff2d">PROTOBUF_FINAL</a>
</li>
<li>ConflictMinimizationAlgorithm_IsValid()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a45863eada89a2ac0f0c1d39afab0f38a">PROTOBUF_FINAL</a>
</li>
<li>ConflictMinimizationAlgorithm_Name()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#acdf13a9c6b9620dcd42473bf64fe42a8">PROTOBUF_FINAL</a>
</li>
<li>ConflictMinimizationAlgorithm_Parse()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a6e269571b785658d38ab111f81b2e562">PROTOBUF_FINAL</a>
</li>
<li>constant()
: <a class="el" href="classoperations__research_1_1sat_1_1_linear_expr.html#ae5d09f03aa97474f2893f9fc46a496ec">LinearExpr</a>
</li>
<li>Constraint()
: <a class="el" href="classoperations__research_1_1sat_1_1_constraint.html#ad26730509027a6151e72620d34a2c8e2">Constraint</a>
</li>
<li>constraint_case()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a57d00eb8d2e139d731fcf379ed3a8673">PROTOBUF_FINAL</a>
</li>
<li>ConstraintProto()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9b5b838b09fc5a2c553f7e0cd5703ed1">PROTOBUF_FINAL</a>
</li>
<li>constraints()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#adf13e3cc54eee4c13a0c22b3c3084a45">PROTOBUF_FINAL</a>
</li>
<li>constraints_size()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aeaf0da781ca9b370d96b7fbd3f74266a">PROTOBUF_FINAL</a>
</li>
<li>Contains()
: <a class="el" href="classoperations__research_1_1_domain.html#ab5228a93ebd3b866fc792ad8e5fe8fdc">Domain</a>
</li>
<li>ContinuousMultiplicationBy()
: <a class="el" href="classoperations__research_1_1_domain.html#a5d13edb7ad8134b452ecbfa400052e0c">Domain</a>
</li>
<li>CopyFrom()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a8833e075ef8f8090c75efbe0ada224f7">PROTOBUF_FINAL</a>
</li>
<li>count_assumption_levels_in_lbd()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aff5ca32f7d933142f074bedbf7f51a84">PROTOBUF_FINAL</a>
</li>
<li>cover_optimization()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a767ec8a1eb70a96791e5f1789464be03">PROTOBUF_FINAL</a>
</li>
<li>cp_model_max_num_presolve_operations()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ae4afbfaaed362e413e5f8abf3434604d">PROTOBUF_FINAL</a>
</li>
<li>cp_model_postsolve_with_full_solver()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ae83a992838b7286b0dc4ced5f58af44c">PROTOBUF_FINAL</a>
</li>
<li>cp_model_presolve()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a9af17b6ddda9a6cc8d20fb3a19d9135f">PROTOBUF_FINAL</a>
</li>
<li>cp_model_probing_level()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a2af936cf21b59c4082fc0680cc03ee54">PROTOBUF_FINAL</a>
</li>
<li>cp_model_use_sat_presolve()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a182ebf1d57d890d4cb639e5dbaaafd0d">PROTOBUF_FINAL</a>
</li>
<li>CpModelProto()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a4982c4f08b8a12594b2ed11d75c6c9f1">PROTOBUF_FINAL</a>
</li>
<li>CpObjectiveProto()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a4137a60491ec29a2fb702c8b0350052f">PROTOBUF_FINAL</a>
</li>
<li>CpSolverResponse()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a1f239a9ff39ea8e833ba1bac3031a8fa">PROTOBUF_FINAL</a>
</li>
<li>Create()
: <a class="el" href="classoperations__research_1_1sat_1_1_model.html#a572e6368e1bf222cda8edfe559ec686b">Model</a>
</li>
<li>cumulative()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a20870ebc47eae6d3cfda9fc1fd1b12f9">PROTOBUF_FINAL</a>
</li>
<li>CumulativeConstraintProto()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aa7bd1e8fc57074b6d1248cb3433151bb">PROTOBUF_FINAL</a>
</li>
<li>cut_active_count_decay()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#aa8e8f4eb07daa86658c61d91a007be8f">PROTOBUF_FINAL</a>
</li>
<li>cut_cleanup_target()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#ae743e3382a0e1e1ddf4b5bc027470acb">PROTOBUF_FINAL</a>
</li>
<li>cut_max_active_count_value()
: <a class="el" href="classoperations__research_1_1sat_1_1_p_r_o_t_o_b_u_f___f_i_n_a_l.html#a90a9f9da96d5f2e6fd110aca794e1531">PROTOBUF_FINAL</a>
</li>
</ul>
</div><!-- contents -->
</div><!-- doc-content -->
        </div>
        </div>
        <div id="footer-container">
            <div id="footer">
            </div>
        </div>
    </body>
</html>