591 lines
31 KiB
HTML
591 lines
31 KiB
HTML
<!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"/>-->
|
|
<link rel="stylesheet" type="text/css" href="ortools.css" title="default" media="screen,print" />
|
|
<script type="text/javascript" src="jquery.js"></script>
|
|
<script type="text/javascript" src="dynsections.js"></script>
|
|
</head>
|
|
<body>
|
|
<div id="banner-container">
|
|
<div id="banner">
|
|
<span id="sfml">Google OR-Tools 7.7</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.18 -->
|
|
<div id="navrow1" class="tabs">
|
|
<ul class="tablist">
|
|
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
|
|
<li class="current"><a href="annotated.html"><span>Classes</span></a></li>
|
|
<li><a href="files.html"><span>Files</span></a></li>
|
|
</ul>
|
|
</div>
|
|
<div id="navrow3" class="tabs2">
|
|
<ul class="tablist">
|
|
<li class="current"><a href="functions.html"><span>All</span></a></li>
|
|
<li><a href="functions_func.html"><span>Functions</span></a></li>
|
|
<li><a href="functions_vars.html"><span>Variables</span></a></li>
|
|
<li><a href="functions_type.html"><span>Typedefs</span></a></li>
|
|
<li><a href="functions_enum.html"><span>Enumerations</span></a></li>
|
|
<li><a href="functions_eval.html"><span>Enumerator</span></a></li>
|
|
<li><a href="functions_rela.html"><span>Related Functions</span></a></li>
|
|
</ul>
|
|
</div>
|
|
<div id="navrow4" class="tabs3">
|
|
<ul class="tablist">
|
|
<li><a href="functions.html#index_:"><span>:</span></a></li>
|
|
<li><a href="functions__.html#index__5F"><span>_</span></a></li>
|
|
<li><a href="functions_a.html#index_a"><span>a</span></a></li>
|
|
<li><a href="functions_b.html#index_b"><span>b</span></a></li>
|
|
<li><a href="functions_c.html#index_c"><span>c</span></a></li>
|
|
<li><a href="functions_d.html#index_d"><span>d</span></a></li>
|
|
<li><a href="functions_e.html#index_e"><span>e</span></a></li>
|
|
<li><a href="functions_f.html#index_f"><span>f</span></a></li>
|
|
<li><a href="functions_g.html#index_g"><span>g</span></a></li>
|
|
<li><a href="functions_h.html#index_h"><span>h</span></a></li>
|
|
<li><a href="functions_i.html#index_i"><span>i</span></a></li>
|
|
<li><a href="functions_k.html#index_k"><span>k</span></a></li>
|
|
<li><a href="functions_l.html#index_l"><span>l</span></a></li>
|
|
<li><a href="functions_m.html#index_m"><span>m</span></a></li>
|
|
<li><a href="functions_n.html#index_n"><span>n</span></a></li>
|
|
<li><a href="functions_o.html#index_o"><span>o</span></a></li>
|
|
<li><a href="functions_p.html#index_p"><span>p</span></a></li>
|
|
<li><a href="functions_r.html#index_r"><span>r</span></a></li>
|
|
<li class="current"><a href="functions_s.html#index_s"><span>s</span></a></li>
|
|
<li><a href="functions_t.html#index_t"><span>t</span></a></li>
|
|
<li><a href="functions_u.html#index_u"><span>u</span></a></li>
|
|
<li><a href="functions_v.html#index_v"><span>v</span></a></li>
|
|
<li><a href="functions_w.html#index_w"><span>w</span></a></li>
|
|
<li><a href="functions_x.html#index_x"><span>x</span></a></li>
|
|
<li><a href="functions_y.html#index_y"><span>y</span></a></li>
|
|
<li><a href="functions_~.html#index__7E"><span>~</span></a></li>
|
|
</ul>
|
|
</div>
|
|
</div><!-- top -->
|
|
<div class="contents">
|
|
<div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
|
|
|
|
<h3><a id="index_s"></a>- s -</h3><ul>
|
|
<li>ScaleObjectiveBy()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a7555c0d6582783a6778bf209acc737e9">CpModelBuilder</a>
|
|
</li>
|
|
<li>scaling_factor()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9e32504c3f1bddb0f25f1386ecf7987b">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>ScalProd()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1LinearExpr.html#a16e8537a019c3aa686e290a82d68356e">LinearExpr</a>
|
|
</li>
|
|
<li>search_strategy()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9f9f8b7283e6c1dbf90ede34ec5e58eb">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>search_strategy_size()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a118165c6c3490f78382f6d7bcfae2ad9">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>SELECT_LOWER_HALF
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a589e76667051686a2283e65f3e60e0e7">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>SELECT_MAX_VALUE
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ae3acd86d1b2b05ac02ecf83435960187">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>SELECT_MEDIAN_VALUE
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a22463fe396c2544b83d01af86055398f">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>SELECT_MIN_VALUE
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a0b7a68283890b7485208eb4c6be21f17">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>SELECT_UPPER_HALF
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a7a1e59a703c49b1ab7de34b4f7798181">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>serialization_table
|
|
: <a class="el" href="structTableStruct__ortools__2fsat__2fboolean__5fproblem__2eproto.html#a807eed5c615caffbff3960079ef76239">TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto</a>
|
|
, <a class="el" href="structTableStruct__ortools__2fsat__2fcp__5fmodel__2eproto.html#a807eed5c615caffbff3960079ef76239">TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto</a>
|
|
</li>
|
|
<li>set_actives()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a8ce9ffcf15aec19a0b89c4c2de382ab8">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_all_solutions_were_found()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#abac2a38fb6aadfde0e58610d51acae51">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_all_diff()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ab4f9b013bace8a39ecce0f4c8c713f4c">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_assignment()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a8e1e432654e065c8832b4a582166e826">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_at_most_one()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a93369fa83a3c200b82fd8804d6bea22d">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_automaton()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9b4aa780b837bd4bcf4034b319f8e659">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_bool_and()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#addede66cc7c35b088bb6e8f865bf9d5e">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_bool_or()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a0b3f277775dd6baa45eaf8a13a1ed6a8">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_bool_xor()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a877082ad59a59b473b0b2ca7e04e3848">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_circuit()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ad97cfbf092cc4f431384c8d661dd30ac">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_circuit_covering()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a23163dd944165cc0d4a5f11e1a672aad">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_cumulative()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ade7a9393c23d517710bb7648520cadce">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_element()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a51908d6c73001035a715a5b6f1b4c41a">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_int_div()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a7147ecc4bcf3373b5fdbb892de3312f9">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_int_max()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a0221aa44405ebe70f00eaeac2a31004a">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_int_min()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ab3782aaed8cca1f51a770b4408d2b442">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_int_mod()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a96dc2be4da74b4f790936dff6622ae4a">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_int_prod()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aba274af39f122fa935198cb15689002f">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_interval()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a787415f6fe87fcc3804204af13731c4e">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_inverse()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a632ec67f9ed4874873a48769b3270bd3">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_lin_max()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aa80b7cd93c1a52617088c1a42a4e208f">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_lin_min()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#afe7bb0259a13d0564335aaded49fc246">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_linear()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ade2b4c96026bfecca4f425474dafd0f8">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_name()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aebef205a40e296437d69fd2e4d3ef2be">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_no_overlap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a34734dfe99546940f386b037fd59fe95">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_no_overlap_2d()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a28363d2eca5255a3042ba4f552861b27">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_objective()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ad0e7274dcfa7de64d6dbb3f62d0a3228">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_reservoir()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a69493dd1e2fdb3de9e3b15fd7fa1e5aa">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_routes()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a2d500ab8593541c7af3f0127cf069a16">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_solution_hint()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ab93cc31d54546a85e6b4844292676584">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_solution_info()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a0bae5a260b28c7bc5ad83c206e346fa8">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_table()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#af7d068b54849a714f16a4cb2f790f37c">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_allocated_target()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ae8206557fa68c3cdff563d1d7cc054c5">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_assumptions()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aeaf00fd4c94e4044231f395ddf0ac13a">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_best_objective_bound()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a014418b870b720fe0d79575ecf434880">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_boxes_with_null_area_can_overlap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a624955fe72913bed851a748564b3d727">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_capacity()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ad87e04082640fb8153cc2dd33e42d033">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_coefficients()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a8ea5f7d547274f1569f73876a65e615e">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_coeffs()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aea26cc5f90bd58c25ba2484404e42286">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_demands()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#afa0f83112f351a47a7407e6e0c5f9a49">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_deterministic_time()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aec3907e50cb04959e80ad40ee0d154ac">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_distinguished_nodes()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ab5e1f7bfea035d10f658c5a7b10b271f">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_domain()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ac20e43676899f3e4be9cf8b2eeb9ed99">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_domain_reduction_strategy()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ade45633e4aadb2efc557388046f4be59">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_end()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#afd3e7ac4df984d62ea752e6ac66bddff">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_enforcement_literal()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#afe90915ee336db0a7230014f76ce2588">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_f_direct()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a0e32dd4c902a4359fa6afefedcd36e62">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_f_inverse()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#afc5daf2e908b67326e88ae91fb9c4235">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_final_states()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9dabe006795915fe08da2e5fe68590f0">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_heads()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a24080c755f42f8a99768b64d06bc287e">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_index()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ad9f1f0fbafb188e2f728d172ab88dc8f">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_intervals()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ad4a8c543adbca0fac330a4474f7537d2">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_literals()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9193927d79de018fddced78664bf54ed">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_lower_bound()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a7bfd395572164d0db0b65e1f0c3e0f70">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_max_level()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a1cb6cd47b17aa205e27952313e508942">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_min_level()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a6e50a045775e5407d7fb667b1919c362">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_name()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a336315ca9f7f163ce71f854c1d331abd">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_negated()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aaf485aceb0bfa50506ce538a438df137">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_nexts()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a3f2cb0e10b05e5e7ef0db38655b44914">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_num_binary_propagations()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a82c911917947178fe3d041bf8c8ae253">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_num_booleans()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#abca832c427e9fab19e03e96b24870139">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_num_branches()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a0abe593525e5080953426d932d55ed9f">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_num_conflicts()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a2fbce431dcb3c3e03d424e880a80cd57">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_num_integer_propagations()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a36dcc81f2d597b9aeddbc94f2f999b1d">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_num_variables()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9c49f41aac27b985f50e0205c845a572">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_objective_value()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a71a3a7fbc5152e2ebff28db19f303fdc">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_offset()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ac7453c28e1da85ea4728b31419c0d6b7">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_original_num_variables()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a76e70b61e7d7ff843bc66c8a14f017a8">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_positive_coeff()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aa87b9dca0aa886c5a96c51d6473c0f27">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_primal_integral()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ada280373dce092f67fbfbe6ffdd2b2d4">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_scaling_factor()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#af02334eb54337092e11b9a74312a4c25">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_size()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a329a531e035bde6a6880a3ce013348f4">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_solution()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ad496dd42544d0d0567cea950235d7064">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_solution_info()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a23704831a6a0f4ddf478932ddc8ca3d0">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_solution_lower_bounds()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a76e123e4dee87181dcaac22be86ab4ce">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_solution_upper_bounds()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ab15db161cdf5d881497ef073ffd10ba6">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_start()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ab4e53a24e9917bd4320e2edb984b08a5">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_starting_state()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4290e4a16ab8557489049ab8509de9ef">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_status()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a6aa6a7f94ef5e2b8b93abb50a9951066">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_sufficient_assumptions_for_infeasibility()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aa7922c19e8882f501b1c9fb26afdfef0">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_tails()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ac2352034b6709d00df0edd40e0f03171">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_target()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#af3be2b6dac25bcb1e8e45cc41c5795f6">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_times()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a6aef62b630113cc40fda112979d72182">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_transition_head()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a939b12edbf8ad166309291406c4ed6b6">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_transition_label()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#abf42c734c786106a079346c67f6c42e5">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_transition_tail()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a59053577176e1accd5ca751dea49f266">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_upper_bound()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a686d9582678106855c2cb13931813662">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_user_time()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ad776cc8071131553d51802f67f9b7d9e">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_values()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a1c207c1bc53807c1c2d7c795bdb27987">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_var()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a41152379fe192a94dd27ff6d994b6602">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_var_names()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ae67fef07473581947996f2845ee2b56b">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_variable_selection_strategy()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a62fe79346083e7c84f14d0564ee7d6d7">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_variables()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ad977faac73af4376e77f16e7334d4673">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_vars()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a7122a1b5e0cfa809e71e6a4669babc32">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_wall_time()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ae1fc6638d8c9966768e5ebe01a3ae826">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_x_intervals()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a427205183ee11401bc3eff531e988df2">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>set_y_intervals()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a5b1feb162c78f2b83710b52a4507d465">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>SetInstructionLimit()
|
|
: <a class="el" href="classoperations__research_1_1TimeLimit.html#a43229b9a540c5b4c3751ebb13e73ace8">TimeLimit</a>
|
|
</li>
|
|
<li>SharedTimeLimit()
|
|
: <a class="el" href="classoperations__research_1_1SharedTimeLimit.html#ab93548508ad14a5cecdaafa67db47cd9">SharedTimeLimit</a>
|
|
</li>
|
|
<li>SimplifyUsingImpliedDomain()
|
|
: <a class="el" href="classoperations__research_1_1Domain.html#aee800549042643f64022ca6a1e554fa4">Domain</a>
|
|
</li>
|
|
<li>Size()
|
|
: <a class="el" href="classoperations__research_1_1Domain.html#a354dd8c252cf59b748602b342db6019d">Domain</a>
|
|
</li>
|
|
<li>size()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a91b2e44d0063ec4bb6620dbe83576e02">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>SizeVar()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1IntervalVar.html#a7414f9395b4bafa9c58fe865b68165dd">IntervalVar</a>
|
|
</li>
|
|
<li>solution()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a38e37eec5cd8ee37f7aa24da6a01231c">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>solution_hint()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a73e0aa3749393b114f0d54fddec39bc9">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>solution_info()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a7f99dec03298164a9013e3dc990e914f">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>solution_lower_bounds()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a103d31fb6eba94de9a25b6b82ee02701">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>solution_lower_bounds_size()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a98bbfb6489e312fbedd99bb10f7695e0">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>solution_size()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4b6c78ce9ae112cc350427c1f4adbffe">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>solution_upper_bounds()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#af6797052f937bf09539e9357751a9665">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>solution_upper_bounds_size()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a47c71890f743188dc922d9283c8f5639">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>SolutionBooleanValue
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1BoolVar.html#a8391a20c25890ccbf3f5e3982afed236">BoolVar</a>
|
|
</li>
|
|
<li>SolutionIntegerMax
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1IntVar.html#a79061f94ca7a97d0616f8b270358c771">IntVar</a>
|
|
</li>
|
|
<li>SolutionIntegerMin
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1IntVar.html#a8ec929aea42c9e50e2f1daf56525e379">IntVar</a>
|
|
</li>
|
|
<li>SolutionIntegerValue
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1IntVar.html#a64bd6fadf44a9840c837cc701b2b9043">IntVar</a>
|
|
</li>
|
|
<li>SortedDisjointIntervalList()
|
|
: <a class="el" href="classoperations__research_1_1SortedDisjointIntervalList.html#aef48aa3016a83095c08b5f59b92e1870">SortedDisjointIntervalList</a>
|
|
</li>
|
|
<li>start
|
|
: <a class="el" href="structoperations__research_1_1ClosedInterval.html#aef464a1de282efb030bd7e4148dcd1e4">ClosedInterval</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ac308f296702b8e069991680bb0924c3b">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>starting_state()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4847f2e4dfbee9108dee626c407dcc0d">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>StartVar()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1IntervalVar.html#afeafd91b6c39ca5733228cd0e3a78cab">IntervalVar</a>
|
|
</li>
|
|
<li>status()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#abd9f23c7acd0b2ee340980e71008ce6a">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Stop()
|
|
: <a class="el" href="classoperations__research_1_1SharedTimeLimit.html#a17a237457e57625296e6b24feb19c60a">SharedTimeLimit</a>
|
|
</li>
|
|
<li>sufficient_assumptions_for_infeasibility()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a952a14800253404cc8339d2b1b750b34">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>sufficient_assumptions_for_infeasibility_size()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a6f1453006e99346a1b64ec01558706b6">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Sum()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1LinearExpr.html#a899dd96359ab1e4f8a0589439db9c619">LinearExpr</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aabd9aa50228fae717e9aabf279e070e5">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a71adf5341b0819b253d99239ca112882">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#acfd202ff58fd87038a27b2130a413097">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ab0dd101b8dd8fccb304d0faf7c0a0645">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a5de194fae79eeb9b54d960d21d113787">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ab1de41e204aed91cbe60db5a89f20602">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aaa3305f1fd5a03f4eb7996c2a2aba0a9">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a98bcca19aadc709037c42250a518fdd7">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a18137eef7618a47d519524eaca7eb565">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ae8693eb1efd5097bb5fe47602439a56a">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a88e40540b7363ae519958485bef87b7e">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ac7caf1a731f00343e5056d464e74a50b">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a3f29fae2e2b1458bafebce6492c8350a">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#af3e2af1de0683107a3895df6b8575792">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a934d9868f4bfcada979a310ea97ce987">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a8f51c53b724abc63e605389e8a4bded5">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a6a4b23a149db96745f82f89624196f9c">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a99d3e197fb4e74ab4e35335c2b1e6af6">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aa06405236ef94f8f4ebdc39946746a13">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a26ae5ac37f78e1d01789839076efe0b5">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#afe5304b03b26f7f806e85d9af6e439ab">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a1ff68ea7450881202b110db4a1ff096e">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a1361231b3d221b29dac4390b00b0baec">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aab4625750c75f0bbd009d31b0c527af1">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a3d2e4c9a5495ee646ed491c114f81529">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a8cc62506ff3700f89a01e6e50d0a1082">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#adb928cd62412b93fef5e35aaa9723660">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>Swap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a87b469042c0e28b75f71e14ac8bde0d4">PROTOBUF_FINAL</a>
|
|
</li>
|
|
<li>swap()
|
|
: <a class="el" href="classoperations__research_1_1SortedDisjointIntervalList.html#a6f34f4c564f6a8d5b9f7e10dd5e20d07">SortedDisjointIntervalList</a>
|
|
</li>
|
|
</ul>
|
|
</div><!-- contents -->
|
|
</div>
|
|
</div>
|
|
<div id="footer-container">
|
|
<div id="footer">
|
|
</div>
|
|
</div>
|
|
</body>
|
|
</html>
|