docs: update
This commit is contained in:
Mizux Seiha
@@ -933,7 +933,7 @@ $(document).ready(function(){initNavTree('integer__expr_8h_source.html',''); ini
|
||||
</div><!-- doc-content -->
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a0634ba012cdeb4e4e1d946681acc6feb"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a0634ba012cdeb4e4e1d946681acc6feb">operations_research::sat::ConditionalSum2LowerOrEqual</a></div><div class="ttdeci">std::function< void(Model *)> ConditionalSum2LowerOrEqual(IntegerVariable a, IntegerVariable b, int64 ub, const std::vector< Literal > &enforcement_literals)</div><div class="ttdef"><b>Definition:</b> <a href="precedences_8h_source.html#l00359">precedences.h:359</a></div></div>
|
||||
<div class="ttc" id="aexpr__array_8cc_html_a472a99923cbe11ae7b5a5d157d9ad465"><div class="ttname"><a href="expr__array_8cc.html#a472a99923cbe11ae7b5a5d157d9ad465">var</a></div><div class="ttdeci">IntVar * var</div><div class="ttdef"><b>Definition:</b> <a href="expr__array_8cc_source.html#l01858">expr_array.cc:1858</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a1000a311929a470e5485258d765eeabd"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a1000a311929a470e5485258d765eeabd">operations_research::sat::LowerBound</a></div><div class="ttdeci">std::function< int64(const Model &)> LowerBound(IntegerVariable v)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01450">integer.h:1450</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a1000a311929a470e5485258d765eeabd"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a1000a311929a470e5485258d765eeabd">operations_research::sat::LowerBound</a></div><div class="ttdeci">std::function< int64(const Model &)> LowerBound(IntegerVariable v)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01460">integer.h:1460</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_min_propagator_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_min_propagator.html">operations_research::sat::MinPropagator</a></div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00162">integer_expr.h:162</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_division_propagator_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_division_propagator.html">operations_research::sat::DivisionPropagator</a></div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00239">integer_expr.h:239</a></div></div>
|
||||
<div class="ttc" id="aalldiff__cst_8cc_html_a021e695f54a13bd809c34b2f4ca87c37"><div class="ttname"><a href="alldiff__cst_8cc.html#a021e695f54a13bd809c34b2f4ca87c37">min</a></div><div class="ttdeci">int64 min</div><div class="ttdef"><b>Definition:</b> <a href="alldiff__cst_8cc_source.html#l00138">alldiff_cst.cc:138</a></div></div>
|
||||
@@ -941,8 +941,8 @@ $(document).ready(function(){initNavTree('integer__expr_8h_source.html',''); ini
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html">operations_research::sat::IntegerTrail</a></div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00533">integer.h:533</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a07823d046b027c81155f8a2f322cf813"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a07823d046b027c81155f8a2f322cf813">operations_research::sat::FloorRatio</a></div><div class="ttdeci">IntegerValue FloorRatio(IntegerValue dividend, IntegerValue positive_divisor)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00090">integer.h:90</a></div></div>
|
||||
<div class="ttc" id="aalldiff__cst_8cc_html_a9d0c202d5fdd62f4fa2c613339ff168a"><div class="ttname"><a href="alldiff__cst_8cc.html#a9d0c202d5fdd62f4fa2c613339ff168a">max</a></div><div class="ttdeci">int64 max</div><div class="ttdef"><b>Definition:</b> <a href="alldiff__cst_8cc_source.html#l00139">alldiff_cst.cc:139</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_constraint_html_a73e4094f2d4e2adbe5e8d79a5b61fcd1"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_constraint.html#a73e4094f2d4e2adbe5e8d79a5b61fcd1">operations_research::sat::LinearConstraint::vars</a></div><div class="ttdeci">std::vector< IntegerVariable > vars</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00042">linear_constraint.h:42</a></div></div>
|
||||
<div class="ttc" id="asat_2lp__utils_8cc_html_ab1734711414da2e668957d24a41b1ddf"><div class="ttname"><a href="sat_2lp__utils_8cc.html#ab1734711414da2e668957d24a41b1ddf">coefficients</a></div><div class="ttdeci">std::vector< double > coefficients</div><div class="ttdef"><b>Definition:</b> <a href="sat_2lp__utils_8cc_source.html#l00497">sat/lp_utils.cc:497</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_constraint_html_a73e4094f2d4e2adbe5e8d79a5b61fcd1"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_constraint.html#a73e4094f2d4e2adbe5e8d79a5b61fcd1">operations_research::sat::LinearConstraint::vars</a></div><div class="ttdeci">std::vector< IntegerVariable > vars</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00043">linear_constraint.h:43</a></div></div>
|
||||
<div class="ttc" id="asat_2lp__utils_8cc_html_ab1734711414da2e668957d24a41b1ddf"><div class="ttname"><a href="sat_2lp__utils_8cc.html#ab1734711414da2e668957d24a41b1ddf">coefficients</a></div><div class="ttdeci">std::vector< double > coefficients</div><div class="ttdef"><b>Definition:</b> <a href="sat_2lp__utils_8cc_source.html#l00496">sat/lp_utils.cc:496</a></div></div>
|
||||
<div class="ttc" id="abase_2logging_8h_html_accad43a85d781d53381cd53a9894b6ae"><div class="ttname"><a href="base_2logging_8h.html#accad43a85d781d53381cd53a9894b6ae">LOG</a></div><div class="ttdeci">#define LOG(severity)</div><div class="ttdef"><b>Definition:</b> <a href="base_2logging_8h_source.html#l00420">base/logging.h:420</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_sum_l_e_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_sum_l_e.html">operations_research::sat::IntegerSumLE</a></div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00050">integer_expr.h:50</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a29b96869d2a821cf1d2e6099e7a0f51b"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a29b96869d2a821cf1d2e6099e7a0f51b">operations_research::sat::CeilRatio</a></div><div class="ttdeci">IntegerValue CeilRatio(IntegerValue dividend, IntegerValue positive_divisor)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00081">integer.h:81</a></div></div>
|
||||
@@ -950,18 +950,18 @@ $(document).ready(function(){initNavTree('integer__expr_8h_source.html',''); ini
|
||||
<div class="ttc" id="alinear__constraint_8h_html"><div class="ttname"><a href="linear__constraint_8h.html">linear_constraint.h</a></div></div>
|
||||
<div class="ttc" id="abase_2logging_8h_html_a7cc25402ecd7591b4c39934dd656b1f9"><div class="ttname"><a href="base_2logging_8h.html#a7cc25402ecd7591b4c39934dd656b1f9">CHECK_GE</a></div><div class="ttdeci">#define CHECK_GE(val1, val2)</div><div class="ttdef"><b>Definition:</b> <a href="base_2logging_8h_source.html#l00701">base/logging.h:701</a></div></div>
|
||||
<div class="ttc" id="abase_2logging_8h_html"><div class="ttname"><a href="base_2logging_8h.html">logging.h</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_propagator_interface_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_propagator_interface.html">operations_research::sat::PropagatorInterface</a></div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01043">integer.h:1043</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_sat_solver_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_sat_solver.html">operations_research::sat::SatSolver</a></div><div class="ttdef"><b>Definition:</b> <a href="sat__solver_8h_source.html#l00058">sat_solver.h:58</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_propagator_interface_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_propagator_interface.html">operations_research::sat::PropagatorInterface</a></div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01053">integer.h:1053</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_sat_solver_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_sat_solver.html">operations_research::sat::SatSolver</a></div><div class="ttdef"><b>Definition:</b> <a href="sat__solver_8h_source.html#l00057">sat_solver.h:57</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a68ebf5dc82ddc40059f261c2999c4fe0"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a68ebf5dc82ddc40059f261c2999c4fe0">operations_research::sat::WeightedSumLowerOrEqualReif</a></div><div class="ttdeci">std::function< void(Model *)> WeightedSumLowerOrEqualReif(Literal is_le, const std::vector< IntegerVariable > &vars, const VectorInt &coefficients, int64 upper_bound)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00527">integer_expr.h:527</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_lin_min_propagator_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_lin_min_propagator.html">operations_research::sat::LinMinPropagator</a></div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00183">integer_expr.h:183</a></div></div>
|
||||
<div class="ttc" id="ademon__profiler_8cc_html_a21edc7ca4cc5802c8779d68556bc09cf"><div class="ttname"><a href="demon__profiler_8cc.html#a21edc7ca4cc5802c8779d68556bc09cf">value</a></div><div class="ttdeci">int64 value</div><div class="ttdef"><b>Definition:</b> <a href="demon__profiler_8cc_source.html#l00043">demon_profiler.cc:43</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_ad8620567e3849359ab6deda5f97aef91"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#ad8620567e3849359ab6deda5f97aef91">operations_research::sat::LinExprUpperBound</a></div><div class="ttdeci">IntegerValue LinExprUpperBound(const LinearExpression &expr, const IntegerTrail &integer_trail)</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8cc_source.html#l00302">linear_constraint.cc:302</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_ad8620567e3849359ab6deda5f97aef91"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#ad8620567e3849359ab6deda5f97aef91">operations_research::sat::LinExprUpperBound</a></div><div class="ttdeci">IntegerValue LinExprUpperBound(const LinearExpression &expr, const IntegerTrail &integer_trail)</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8cc_source.html#l00303">linear_constraint.cc:303</a></div></div>
|
||||
<div class="ttc" id="asat_2model_8h_html"><div class="ttname"><a href="sat_2model_8h.html">model.h</a></div></div>
|
||||
<div class="ttc" id="amacros_8h_html"><div class="ttname"><a href="macros_8h.html">macros.h</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a847e8bc51b18a71329b9f0dde2d48293"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a847e8bc51b18a71329b9f0dde2d48293">operations_research::sat::NewWeightedSum</a></div><div class="ttdeci">std::function< IntegerVariable(Model *)> NewWeightedSum(const VectorInt &coefficients, const std::vector< IntegerVariable > &vars)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00641">integer_expr.h:641</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_html"><div class="ttname"><a href="namespaceoperations__research.html">operations_research</a></div><div class="ttdoc">The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...</div><div class="ttdef"><b>Definition:</b> <a href="dense__doubly__linked__list_8h_source.html#l00021">dense_doubly_linked_list.h:21</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_aae43e784db06c0974ce59ebbe8dd2b22"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#aae43e784db06c0974ce59ebbe8dd2b22">operations_research::sat::NegationOf</a></div><div class="ttdeci">std::vector< IntegerVariable > NegationOf(const std::vector< IntegerVariable > &vars)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l00027">integer.cc:27</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_integer_literal_html_a6c233aafac25ea66d69de93a83c9be63"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_integer_literal.html#a6c233aafac25ea66d69de93a83c9be63">operations_research::sat::IntegerLiteral::GreaterOrEqual</a></div><div class="ttdeci">static IntegerLiteral GreaterOrEqual(IntegerVariable i, IntegerValue bound)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01247">integer.h:1247</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_integer_literal_html_a6c233aafac25ea66d69de93a83c9be63"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_integer_literal.html#a6c233aafac25ea66d69de93a83c9be63">operations_research::sat::IntegerLiteral::GreaterOrEqual</a></div><div class="ttdeci">static IntegerLiteral GreaterOrEqual(IntegerVariable i, IntegerValue bound)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01257">integer.h:1257</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_aa2d7b702e17a5cd4108b465385dd9acd"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#aa2d7b702e17a5cd4108b465385dd9acd">operations_research::sat::IntegerTrail::AddIntegerVariable</a></div><div class="ttdeci">IntegerVariable AddIntegerVariable(IntegerValue lower_bound, IntegerValue upper_bound)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l00603">integer.cc:603</a></div></div>
|
||||
<div class="ttc" id="aintegral__types_8h_html_a7cde0074dfd288f2d70c0e035dacb28a"><div class="ttname"><a href="integral__types_8h.html#a7cde0074dfd288f2d70c0e035dacb28a">int64</a></div><div class="ttdeci">int64_t int64</div><div class="ttdef"><b>Definition:</b> <a href="integral__types_8h_source.html#l00034">integral_types.h:34</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_literal_html_a886e9c024f7209181c0a850b6e90c644"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_literal.html#a886e9c024f7209181c0a850b6e90c644">operations_research::sat::Literal::Negated</a></div><div class="ttdeci">Literal Negated() const</div><div class="ttdef"><b>Definition:</b> <a href="sat__base_8h_source.html#l00091">sat_base.h:91</a></div></div>
|
||||
@@ -972,18 +972,18 @@ $(document).ready(function(){initNavTree('integer__expr_8h_source.html',''); ini
|
||||
<div class="ttc" id="asat__base_8h_html"><div class="ttname"><a href="sat__base_8h.html">sat_base.h</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_level_zero_equality_html_ab7be565ae45c1e7171a1975d0055c422"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_level_zero_equality.html#ab7be565ae45c1e7171a1975d0055c422">operations_research::sat::LevelZeroEquality::LevelZeroEquality</a></div><div class="ttdeci">LevelZeroEquality(IntegerVariable target, const std::vector< IntegerVariable > &vars, const std::vector< IntegerValue > &coeffs, Model *model)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00252">integer_expr.cc:252</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_fixed_division_propagator_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_fixed_division_propagator.html">operations_research::sat::FixedDivisionPropagator</a></div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00258">integer_expr.h:258</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html">operations_research::sat::GenericLiteralWatcher</a></div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01091">integer.h:1091</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html">operations_research::sat::GenericLiteralWatcher</a></div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01101">integer.h:1101</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_aacae3ff5d3c450a91ec05d9b2a6568f0"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#aacae3ff5d3c450a91ec05d9b2a6568f0">operations_research::sat::Sum2LowerOrEqual</a></div><div class="ttdeci">std::function< void(Model *)> Sum2LowerOrEqual(IntegerVariable a, IntegerVariable b, int64 ub)</div><div class="ttdef"><b>Definition:</b> <a href="precedences_8h_source.html#l00352">precedences.h:352</a></div></div>
|
||||
<div class="ttc" id="aconstraint__solver_2table_8cc_html_af730895c6c6ef6e03caaf6251192dfd2"><div class="ttname"><a href="constraint__solver_2table_8cc.html#af730895c6c6ef6e03caaf6251192dfd2">a</a></div><div class="ttdeci">int64 a</div><div class="ttdef"><b>Definition:</b> <a href="constraint__solver_2table_8cc_source.html#l00042">constraint_solver/table.cc:42</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_level_zero_equality_html_ac1fe9b1f2b978c4283e42f12e586eb1e"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_level_zero_equality.html#ac1fe9b1f2b978c4283e42f12e586eb1e">operations_research::sat::LevelZeroEquality::Propagate</a></div><div class="ttdeci">bool Propagate() final</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00276">integer_expr.cc:276</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_constraint_html"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_constraint.html">operations_research::sat::LinearConstraint</a></div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00039">linear_constraint.h:39</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_constraint_html"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_constraint.html">operations_research::sat::LinearConstraint</a></div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00040">linear_constraint.h:40</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a1997882201b68c607f2aef7e7369ef67"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a1997882201b68c607f2aef7e7369ef67">operations_research::sat::WeightedSumGreaterOrEqual</a></div><div class="ttdeci">std::function< void(Model *)> WeightedSumGreaterOrEqual(const std::vector< IntegerVariable > &vars, const VectorInt &coefficients, int64 lower_bound)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00404">integer_expr.h:404</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_sum_l_e_html_a79ee9e362d647b6d65cf6d38e3df216d"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_sum_l_e.html#a79ee9e362d647b6d65cf6d38e3df216d">operations_research::sat::IntegerSumLE::PropagateAtLevelZero</a></div><div class="ttdeci">bool PropagateAtLevelZero()</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00194">integer_expr.cc:194</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a38766514ce4824ae1e093a25d7fb43b3"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a38766514ce4824ae1e093a25d7fb43b3">operations_research::sat::NewBooleanVariable</a></div><div class="ttdeci">std::function< BooleanVariable(Model *)> NewBooleanVariable()</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01395">integer.h:1395</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a38766514ce4824ae1e093a25d7fb43b3"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a38766514ce4824ae1e093a25d7fb43b3">operations_research::sat::NewBooleanVariable</a></div><div class="ttdeci">std::function< BooleanVariable(Model *)> NewBooleanVariable()</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01405">integer.h:1405</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a0ecd323ccf9fe1a8c2e35f7ab94674bf"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a0ecd323ccf9fe1a8c2e35f7ab94674bf">operations_research::sat::ConditionalWeightedSumLowerOrEqual</a></div><div class="ttdeci">std::function< void(Model *)> ConditionalWeightedSumLowerOrEqual(const std::vector< Literal > &enforcement_literals, const std::vector< IntegerVariable > &vars, const VectorInt &coefficients, int64 upper_bound)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00426">integer_expr.h:426</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a79dd91110f5d70b761738e261bc56ed4"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a79dd91110f5d70b761738e261bc56ed4">operations_research::sat::NewIntegerVariable</a></div><div class="ttdeci">std::function< IntegerVariable(Model *)> NewIntegerVariable(int64 lb, int64 ub)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01409">integer.h:1409</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a79dd91110f5d70b761738e261bc56ed4"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a79dd91110f5d70b761738e261bc56ed4">operations_research::sat::NewIntegerVariable</a></div><div class="ttdeci">std::function< IntegerVariable(Model *)> NewIntegerVariable(int64 lb, int64 ub)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01419">integer.h:1419</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_ada9b43433f6e57ecf64d1419ccaae5d8"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#ada9b43433f6e57ecf64d1419ccaae5d8">operations_research::sat::FixedWeightedSumReif</a></div><div class="ttdeci">std::function< void(Model *)> FixedWeightedSumReif(Literal is_eq, const std::vector< IntegerVariable > &vars, const VectorInt &coefficients, int64 value)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00602">integer_expr.h:602</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_expression_html_acd07f8397a2e61932c8ee17a4e300e23"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_expression.html#acd07f8397a2e61932c8ee17a4e300e23">operations_research::sat::LinearExpression::offset</a></div><div class="ttdeci">IntegerValue offset</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00176">linear_constraint.h:176</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_expression_html_acd07f8397a2e61932c8ee17a4e300e23"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_expression.html#acd07f8397a2e61932c8ee17a4e300e23">operations_research::sat::LinearExpression::offset</a></div><div class="ttdeci">IntegerValue offset</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00177">linear_constraint.h:177</a></div></div>
|
||||
<div class="ttc" id="aint__type_8h_html"><div class="ttname"><a href="int__type_8h.html">int_type.h</a></div></div>
|
||||
<div class="ttc" id="aprecedences_8h_html"><div class="ttname"><a href="precedences_8h.html">precedences.h</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_min_propagator_html_a6ee8ed57254aec3ae99d399bae5b3736"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_min_propagator.html#a6ee8ed57254aec3ae99d399bae5b3736">operations_research::sat::MinPropagator::RegisterWith</a></div><div class="ttdeci">void RegisterWith(GenericLiteralWatcher *watcher)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00404">integer_expr.cc:404</a></div></div>
|
||||
@@ -993,51 +993,51 @@ $(document).ready(function(){initNavTree('integer__expr_8h_source.html',''); ini
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_lin_min_propagator_html_a5c9a05236b650f49c2012f279d1376ed"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_lin_min_propagator.html#a5c9a05236b650f49c2012f279d1376ed">operations_research::sat::LinMinPropagator::LinMinPropagator</a></div><div class="ttdeci">LinMinPropagator(const LinMinPropagator &)=delete</div></div>
|
||||
<div class="ttc" id="amathutil_8h_html"><div class="ttname"><a href="mathutil_8h.html">mathutil.h</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_lin_min_propagator_html_a6ee8ed57254aec3ae99d399bae5b3736"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_lin_min_propagator.html#a6ee8ed57254aec3ae99d399bae5b3736">operations_research::sat::LinMinPropagator::RegisterWith</a></div><div class="ttdeci">void RegisterWith(GenericLiteralWatcher *watcher)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00602">integer_expr.cc:602</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_expression_html"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_expression.html">operations_research::sat::LinearExpression</a></div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00173">linear_constraint.h:173</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_constraint_html_a0ee34e5c6fbf075def1a6c2f0c42d040"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_constraint.html#a0ee34e5c6fbf075def1a6c2f0c42d040">operations_research::sat::LinearConstraint::lb</a></div><div class="ttdeci">IntegerValue lb</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00040">linear_constraint.h:40</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a85f779432cdf63a07905deaae7fd0041"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a85f779432cdf63a07905deaae7fd0041">operations_research::sat::LoadLinearConstraint</a></div><div class="ttdeci">void LoadLinearConstraint(const ConstraintProto &ct, Model *m)</div><div class="ttdef"><b>Definition:</b> <a href="cp__model__loader_8cc_source.html#l01055">cp_model_loader.cc:1055</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_expression_html"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_expression.html">operations_research::sat::LinearExpression</a></div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00174">linear_constraint.h:174</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_constraint_html_a0ee34e5c6fbf075def1a6c2f0c42d040"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_constraint.html#a0ee34e5c6fbf075def1a6c2f0c42d040">operations_research::sat::LinearConstraint::lb</a></div><div class="ttdeci">IntegerValue lb</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00041">linear_constraint.h:41</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a85f779432cdf63a07905deaae7fd0041"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a85f779432cdf63a07905deaae7fd0041">operations_research::sat::LoadLinearConstraint</a></div><div class="ttdeci">void LoadLinearConstraint(const ConstraintProto &ct, Model *m)</div><div class="ttdef"><b>Definition:</b> <a href="cp__model__loader_8cc_source.html#l01074">cp_model_loader.cc:1074</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_model_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_model.html">operations_research::sat::Model</a></div><div class="ttdoc">Class that owns everything related to a particular optimization model.</div><div class="ttdef"><b>Definition:</b> <a href="sat_2model_8h_source.html#l00038">sat/model.h:38</a></div></div>
|
||||
<div class="ttc" id="ademon__profiler_8cc_html_a05da18ca9c7b657a4a6ea24e07c9b695"><div class="ttname"><a href="demon__profiler_8cc.html#a05da18ca9c7b657a4a6ea24e07c9b695">ct</a></div><div class="ttdeci">const Constraint * ct</div><div class="ttdef"><b>Definition:</b> <a href="demon__profiler_8cc_source.html#l00042">demon_profiler.cc:42</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_integer_literal_html"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_integer_literal.html">operations_research::sat::IntegerLiteral</a></div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00153">integer.h:153</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_ad48b274dddb22fb445d5ab6edbf222df"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#ad48b274dddb22fb445d5ab6edbf222df">operations_research::sat::LowerOrEqual</a></div><div class="ttdeci">std::function< void(Model *)> LowerOrEqual(IntegerVariable v, int64 ub)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01492">integer.h:1492</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_ad48b274dddb22fb445d5ab6edbf222df"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#ad48b274dddb22fb445d5ab6edbf222df">operations_research::sat::LowerOrEqual</a></div><div class="ttdeci">std::function< void(Model *)> LowerOrEqual(IntegerVariable v, int64 ub)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01502">integer.h:1502</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_min_propagator_html_a7adb3d82f96ba9699d1e1e1b399134ec"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_min_propagator.html#a7adb3d82f96ba9699d1e1e1b399134ec">operations_research::sat::MinPropagator::MinPropagator</a></div><div class="ttdeci">MinPropagator(const std::vector< IntegerVariable > &vars, IntegerVariable min_var, IntegerTrail *integer_trail)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00321">integer_expr.cc:321</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_lin_min_propagator_html_ac1fe9b1f2b978c4283e42f12e586eb1e"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_lin_min_propagator.html#ac1fe9b1f2b978c4283e42f12e586eb1e">operations_research::sat::LinMinPropagator::Propagate</a></div><div class="ttdeci">bool Propagate() final</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00516">integer_expr.cc:516</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a949fa684e53fd6a18a2d1f79133fd80a"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a949fa684e53fd6a18a2d1f79133fd80a">operations_research::sat::WeightedSumLowerOrEqual</a></div><div class="ttdeci">std::function< void(Model *)> WeightedSumLowerOrEqual(const std::vector< IntegerVariable > &vars, const VectorInt &coefficients, int64 upper_bound)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00299">integer_expr.h:299</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a9e8e2172cc33d047f83ef321ab747138"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a9e8e2172cc33d047f83ef321ab747138">operations_research::sat::Sum3LowerOrEqual</a></div><div class="ttdeci">std::function< void(Model *)> Sum3LowerOrEqual(IntegerVariable a, IntegerVariable b, IntegerVariable c, int64 ub)</div><div class="ttdef"><b>Definition:</b> <a href="precedences_8h_source.html#l00370">precedences.h:370</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a14ed349a41e2b31bb1c15ea3c44a6bc0"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a14ed349a41e2b31bb1c15ea3c44a6bc0">operations_research::sat::LinExprLowerBound</a></div><div class="ttdeci">IntegerValue LinExprLowerBound(const LinearExpression &expr, const IntegerTrail &integer_trail)</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8cc_source.html#l00292">linear_constraint.cc:292</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a14ed349a41e2b31bb1c15ea3c44a6bc0"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a14ed349a41e2b31bb1c15ea3c44a6bc0">operations_research::sat::LinExprLowerBound</a></div><div class="ttdeci">IntegerValue LinExprLowerBound(const LinearExpression &expr, const IntegerTrail &integer_trail)</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8cc_source.html#l00293">linear_constraint.cc:293</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a1f38cd9af4ce815d3bf7b46e617cebd9"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a1f38cd9af4ce815d3bf7b46e617cebd9">operations_research::sat::ConditionalSum3LowerOrEqual</a></div><div class="ttdeci">std::function< void(Model *)> ConditionalSum3LowerOrEqual(IntegerVariable a, IntegerVariable b, IntegerVariable c, int64 ub, const std::vector< Literal > &enforcement_literals)</div><div class="ttdef"><b>Definition:</b> <a href="precedences_8h_source.html#l00381">precedences.h:381</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_integer_literal_html_a3e2eb445631727dd4abf1d5343f16b2f"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_integer_literal.html#a3e2eb445631727dd4abf1d5343f16b2f">operations_research::sat::IntegerLiteral::LowerOrEqual</a></div><div class="ttdeci">static IntegerLiteral LowerOrEqual(IntegerVariable i, IntegerValue bound)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01253">integer.h:1253</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_integer_literal_html_a3e2eb445631727dd4abf1d5343f16b2f"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_integer_literal.html#a3e2eb445631727dd4abf1d5343f16b2f">operations_research::sat::IntegerLiteral::LowerOrEqual</a></div><div class="ttdeci">static IntegerLiteral LowerOrEqual(IntegerVariable i, IntegerValue bound)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01263">integer.h:1263</a></div></div>
|
||||
<div class="ttc" id="arev_8h_html"><div class="ttname"><a href="rev_8h.html">rev.h</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a1655a9b9673e7c4de940ca6e5e3cf936"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a1655a9b9673e7c4de940ca6e5e3cf936">operations_research::sat::ClauseConstraint</a></div><div class="ttdeci">std::function< void(Model *)> ClauseConstraint(absl::Span< const Literal > literals)</div><div class="ttdef"><b>Definition:</b> <a href="sat__solver_8h_source.html#l00905">sat_solver.h:905</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a1655a9b9673e7c4de940ca6e5e3cf936"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a1655a9b9673e7c4de940ca6e5e3cf936">operations_research::sat::ClauseConstraint</a></div><div class="ttdeci">std::function< void(Model *)> ClauseConstraint(absl::Span< const Literal > literals)</div><div class="ttdef"><b>Definition:</b> <a href="sat__solver_8h_source.html#l00904">sat_solver.h:904</a></div></div>
|
||||
<div class="ttc" id="agurobi__interface_8cc_html_a0728f23c9a47655d38e0bf1a2f200bcf"><div class="ttname"><a href="gurobi__interface_8cc.html#a0728f23c9a47655d38e0bf1a2f200bcf">model</a></div><div class="ttdeci">GRBmodel * model</div><div class="ttdef"><b>Definition:</b> <a href="gurobi__interface_8cc_source.html#l00269">gurobi_interface.cc:269</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_square_propagator_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_square_propagator.html">operations_research::sat::SquarePropagator</a></div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00277">integer_expr.h:277</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_literal_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_literal.html">operations_research::sat::Literal</a></div><div class="ttdef"><b>Definition:</b> <a href="sat__base_8h_source.html#l00064">sat_base.h:64</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a847b5dc3a771fd495c86f086e8b5d6ca"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a847b5dc3a771fd495c86f086e8b5d6ca">operations_research::sat::FixedWeightedSum</a></div><div class="ttdeci">std::function< void(Model *)> FixedWeightedSum(const std::vector< IntegerVariable > &vars, const VectorInt &coefficients, int64 value)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00415">integer_expr.h:415</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_rev_integer_value_repository_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_rev_integer_value_repository.html">operations_research::sat::RevIntegerValueRepository</a></div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01080">integer.h:1080</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_rev_integer_value_repository_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_rev_integer_value_repository.html">operations_research::sat::RevIntegerValueRepository</a></div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01090">integer.h:1090</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_level_zero_equality_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_level_zero_equality.html">operations_research::sat::LevelZeroEquality</a></div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00119">integer_expr.h:119</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_min_propagator_html_ac1fe9b1f2b978c4283e42f12e586eb1e"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_min_propagator.html#ac1fe9b1f2b978c4283e42f12e586eb1e">operations_research::sat::MinPropagator::Propagate</a></div><div class="ttdeci">bool Propagate() final</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00326">integer_expr.cc:326</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a355a62f25cfadeccfb164ab9fb867c81"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a355a62f25cfadeccfb164ab9fb867c81">operations_research::sat::kMinIntegerValue</a></div><div class="ttdeci">constexpr IntegerValue kMinIntegerValue(-kMaxIntegerValue)</div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a82440fdc41975175a20f334ea8767f0a"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a82440fdc41975175a20f334ea8767f0a">operations_research::sat::ConditionalWeightedSumGreaterOrEqual</a></div><div class="ttdeci">std::function< void(Model *)> ConditionalWeightedSumGreaterOrEqual(const std::vector< Literal > &enforcement_literals, const std::vector< IntegerVariable > &vars, const VectorInt &coefficients, int64 lower_bound)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00514">integer_expr.h:514</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_acb6021b325a62a7c9bd759f52111a887"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#acb6021b325a62a7c9bd759f52111a887">operations_research::sat::GreaterOrEqual</a></div><div class="ttdeci">std::function< void(Model *)> GreaterOrEqual(IntegerVariable v, int64 lb)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01478">integer.h:1478</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_acb6021b325a62a7c9bd759f52111a887"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#acb6021b325a62a7c9bd759f52111a887">operations_research::sat::GreaterOrEqual</a></div><div class="ttdeci">std::function< void(Model *)> GreaterOrEqual(IntegerVariable v, int64 lb)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01488">integer.h:1488</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_sum_l_e_html_aec1aae1092c281971431aac37d923b60"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_sum_l_e.html#aec1aae1092c281971431aac37d923b60">operations_research::sat::IntegerSumLE::IntegerSumLE</a></div><div class="ttdeci">IntegerSumLE(const std::vector< Literal > &enforcement_literals, const std::vector< IntegerVariable > &vars, const std::vector< IntegerValue > &coeffs, IntegerValue upper_bound, Model *model)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00030">integer_expr.cc:30</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a950da19798dc78760bff02703c431692"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a950da19798dc78760bff02703c431692">operations_research::sat::UpperBound</a></div><div class="ttdeci">std::function< int64(const Model &)> UpperBound(IntegerVariable v)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01456">integer.h:1456</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_expression_html_a4053d5aed2a34995e0aeb2042878ca7a"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_expression.html#a4053d5aed2a34995e0aeb2042878ca7a">operations_research::sat::LinearExpression::coeffs</a></div><div class="ttdeci">std::vector< IntegerValue > coeffs</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00175">linear_constraint.h:175</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a950da19798dc78760bff02703c431692"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a950da19798dc78760bff02703c431692">operations_research::sat::UpperBound</a></div><div class="ttdeci">std::function< int64(const Model &)> UpperBound(IntegerVariable v)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01466">integer.h:1466</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_expression_html_a4053d5aed2a34995e0aeb2042878ca7a"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_expression.html#a4053d5aed2a34995e0aeb2042878ca7a">operations_research::sat::LinearExpression::coeffs</a></div><div class="ttdeci">std::vector< IntegerValue > coeffs</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00176">linear_constraint.h:176</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_positive_product_propagator_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_positive_product_propagator.html">operations_research::sat::PositiveProductPropagator</a></div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00215">integer_expr.h:215</a></div></div>
|
||||
<div class="ttc" id="aconstraint__solver_2table_8cc_html_a344010e26426d6a13411648d988bc9b6"><div class="ttname"><a href="constraint__solver_2table_8cc.html#a344010e26426d6a13411648d988bc9b6">b</a></div><div class="ttdeci">int64 b</div><div class="ttdef"><b>Definition:</b> <a href="constraint__solver_2table_8cc_source.html#l00043">constraint_solver/table.cc:43</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_ab316e19c73976fdd6381a93d1458699f"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#ab316e19c73976fdd6381a93d1458699f">operations_research::sat::IsEqualToMinOf</a></div><div class="ttdeci">std::function< void(Model *)> IsEqualToMinOf(IntegerVariable min_var, const std::vector< IntegerVariable > &vars)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00672">integer_expr.h:672</a></div></div>
|
||||
<div class="ttc" id="amacros_8h_html_af8df3547bfde53a5acb93e2607b0034a"><div class="ttname"><a href="macros_8h.html#af8df3547bfde53a5acb93e2607b0034a">DISALLOW_COPY_AND_ASSIGN</a></div><div class="ttdeci">#define DISALLOW_COPY_AND_ASSIGN(TypeName)</div><div class="ttdef"><b>Definition:</b> <a href="macros_8h_source.html#l00029">macros.h:29</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a21cd443822d7670052ac766e731d3ea0"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a21cd443822d7670052ac766e731d3ea0">operations_research::sat::DivisionConstraint</a></div><div class="ttdeci">std::function< void(Model *)> DivisionConstraint(IntegerVariable a, IntegerVariable b, IntegerVariable c)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00810">integer_expr.h:810</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a8a0620c105ec05f1b42bcde3a9380872"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a8a0620c105ec05f1b42bcde3a9380872">operations_research::sat::Implication</a></div><div class="ttdeci">std::function< void(Model *)> Implication(const std::vector< Literal > &enforcement_literals, IntegerLiteral i)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01520">integer.h:1520</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_expression_html_a73e4094f2d4e2adbe5e8d79a5b61fcd1"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_expression.html#a73e4094f2d4e2adbe5e8d79a5b61fcd1">operations_research::sat::LinearExpression::vars</a></div><div class="ttdeci">std::vector< IntegerVariable > vars</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00174">linear_constraint.h:174</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a8a0620c105ec05f1b42bcde3a9380872"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a8a0620c105ec05f1b42bcde3a9380872">operations_research::sat::Implication</a></div><div class="ttdeci">std::function< void(Model *)> Implication(const std::vector< Literal > &enforcement_literals, IntegerLiteral i)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01530">integer.h:1530</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_expression_html_a73e4094f2d4e2adbe5e8d79a5b61fcd1"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_expression.html#a73e4094f2d4e2adbe5e8d79a5b61fcd1">operations_research::sat::LinearExpression::vars</a></div><div class="ttdeci">std::vector< IntegerVariable > vars</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00175">linear_constraint.h:175</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_sum_l_e_html_ac1fe9b1f2b978c4283e42f12e586eb1e"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_sum_l_e.html#ac1fe9b1f2b978c4283e42f12e586eb1e">operations_research::sat::IntegerSumLE::Propagate</a></div><div class="ttdeci">bool Propagate() final</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00078">integer_expr.cc:78</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a4b4da650bfcb86c00bee1df0ab0cc953"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a4b4da650bfcb86c00bee1df0ab0cc953">operations_research::sat::LoadConditionalLinearConstraint</a></div><div class="ttdeci">void LoadConditionalLinearConstraint(const absl::Span< const Literal > enforcement_literals, const LinearConstraint &cst, Model *model)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00572">integer_expr.h:572</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a838ae1c98a62762620ef82e362c4ad8c"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a838ae1c98a62762620ef82e362c4ad8c">operations_research::sat::RegisterAndTransferOwnership</a></div><div class="ttdeci">void RegisterAndTransferOwnership(Model *model, T *ct)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00764">integer_expr.h:764</a></div></div>
|
||||
<div class="ttc" id="abase_2logging_8h_html_ab25e01a2942b821d66371fc68d53f2eb"><div class="ttname"><a href="base_2logging_8h.html#ab25e01a2942b821d66371fc68d53f2eb">CHECK_NE</a></div><div class="ttdeci">#define CHECK_NE(val1, val2)</div><div class="ttdef"><b>Definition:</b> <a href="base_2logging_8h_source.html#l00698">base/logging.h:698</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_constraint_html_a4053d5aed2a34995e0aeb2042878ca7a"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_constraint.html#a4053d5aed2a34995e0aeb2042878ca7a">operations_research::sat::LinearConstraint::coeffs</a></div><div class="ttdeci">std::vector< IntegerValue > coeffs</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00043">linear_constraint.h:43</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_constraint_html_a4053d5aed2a34995e0aeb2042878ca7a"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_constraint.html#a4053d5aed2a34995e0aeb2042878ca7a">operations_research::sat::LinearConstraint::coeffs</a></div><div class="ttdeci">std::vector< IntegerValue > coeffs</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00044">linear_constraint.h:44</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_lin_min_propagator_html_a3b562468ef8cc634a83e3ac7240a43da"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_lin_min_propagator.html#a3b562468ef8cc634a83e3ac7240a43da">operations_research::sat::LinMinPropagator::LinMinPropagator</a></div><div class="ttdeci">LinMinPropagator(const std::vector< LinearExpression > &exprs, IntegerVariable min_var, Model *model)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00412">integer_expr.cc:412</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a14d3bed64d7fdf5b081c349270c4cf11"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a14d3bed64d7fdf5b081c349270c4cf11">operations_research::sat::IsEqualToMaxOf</a></div><div class="ttdeci">std::function< void(Model *)> IsEqualToMaxOf(IntegerVariable max_var, const std::vector< IntegerVariable > &vars)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00741">integer_expr.h:741</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_aa874aee040980146062498b87e8fb956"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#aa874aee040980146062498b87e8fb956">operations_research::sat::ReifiedBoolAnd</a></div><div class="ttdeci">std::function< void(Model *)> ReifiedBoolAnd(const std::vector< Literal > &literals, Literal r)</div><div class="ttdef"><b>Definition:</b> <a href="sat__solver_8h_source.html#l00969">sat_solver.h:969</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_constraint_html_a6e2915dc7e5345d6959390b53f026c5f"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_constraint.html#a6e2915dc7e5345d6959390b53f026c5f">operations_research::sat::LinearConstraint::ub</a></div><div class="ttdeci">IntegerValue ub</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00041">linear_constraint.h:41</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_aa874aee040980146062498b87e8fb956"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#aa874aee040980146062498b87e8fb956">operations_research::sat::ReifiedBoolAnd</a></div><div class="ttdeci">std::function< void(Model *)> ReifiedBoolAnd(const std::vector< Literal > &literals, Literal r)</div><div class="ttdef"><b>Definition:</b> <a href="sat__solver_8h_source.html#l00968">sat_solver.h:968</a></div></div>
|
||||
<div class="ttc" id="astructoperations__research_1_1sat_1_1_linear_constraint_html_a6e2915dc7e5345d6959390b53f026c5f"><div class="ttname"><a href="structoperations__research_1_1sat_1_1_linear_constraint.html#a6e2915dc7e5345d6959390b53f026c5f">operations_research::sat::LinearConstraint::ub</a></div><div class="ttdeci">IntegerValue ub</div><div class="ttdef"><b>Definition:</b> <a href="linear__constraint_8h_source.html#l00042">linear_constraint.h:42</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_ae3dc489becb957e8bc67715667f55407"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#ae3dc489becb957e8bc67715667f55407">operations_research::sat::ProductConstraint</a></div><div class="ttdeci">std::function< void(Model *)> ProductConstraint(IntegerVariable a, IntegerVariable b, IntegerVariable p)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00769">integer_expr.h:769</a></div></div>
|
||||
<div class="ttc" id="ainteger_8h_html"><div class="ttname"><a href="integer_8h.html">integer.h</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a2c30f635470afcc9e02f8d231137787d"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a2c30f635470afcc9e02f8d231137787d">operations_research::sat::WeightedSumGreaterOrEqualReif</a></div><div class="ttdeci">std::function< void(Model *)> WeightedSumGreaterOrEqualReif(Literal is_ge, const std::vector< IntegerVariable > &vars, const VectorInt &coefficients, int64 lower_bound)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8h_source.html#l00540">integer_expr.h:540</a></div></div>
|
||||
|
||||
Reference in New Issue
Block a user