Update reference doc
This commit is contained in:
Mizux Seiha
@@ -1007,57 +1007,57 @@ $(document).ready(function(){initNavTree('integer__expr_8cc_source.html',''); in
|
||||
</div><!-- fragment --></div><!-- contents -->
|
||||
</div><!-- doc-content -->
|
||||
<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="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_adeee4ac52bfe0f1b48ee8958bb88b4e3"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#adeee4ac52bfe0f1b48ee8958bb88b4e3">operations_research::sat::GenericLiteralWatcher::Register</a></div><div class="ttdeci">int Register(PropagatorInterface *propagator)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l01922">integer.cc:1922</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_adeee4ac52bfe0f1b48ee8958bb88b4e3"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#adeee4ac52bfe0f1b48ee8958bb88b4e3">operations_research::sat::GenericLiteralWatcher::Register</a></div><div class="ttdeci">int Register(PropagatorInterface *propagator)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l01910">integer.cc:1910</a></div></div>
|
||||
<div class="ttc" id="aparser_8yy_8cc_html_a33e91cd0cef6786e9e3a27ac67707207"><div class="ttname"><a href="parser_8yy_8cc.html#a33e91cd0cef6786e9e3a27ac67707207">if</a></div><div class="ttdeci">if(!yyg->yy_init)</div><div class="ttdef"><b>Definition:</b> <a href="parser_8yy_8cc_source.html#l00965">parser.yy.cc:965</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>
|
||||
<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#l00518">integer.h:518</a></div></div>
|
||||
<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="abase_2logging_8h_html_afcaa7cadd41741bb855c2ada1d2ef927"><div class="ttname"><a href="base_2logging_8h.html#afcaa7cadd41741bb855c2ada1d2ef927">VLOG</a></div><div class="ttdeci">#define VLOG(verboselevel)</div><div class="ttdef"><b>Definition:</b> <a href="base_2logging_8h_source.html#l00978">base/logging.h:978</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_fixed_division_propagator_html_a6ee8ed57254aec3ae99d399bae5b3736"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_fixed_division_propagator.html#a6ee8ed57254aec3ae99d399bae5b3736">operations_research::sat::FixedDivisionPropagator::RegisterWith</a></div><div class="ttdeci">void RegisterWith(GenericLiteralWatcher *watcher)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00869">integer_expr.cc:869</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="atime__limit_8h_html"><div class="ttname"><a href="time__limit_8h.html">time_limit.h</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_aaede7c755aad90772efda6db087f3413"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#aaede7c755aad90772efda6db087f3413">operations_research::sat::GenericLiteralWatcher::WatchLowerBound</a></div><div class="ttdeci">void WatchLowerBound(IntegerVariable var, int id, int watch_index=-1)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01309">integer.h:1309</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_aaede7c755aad90772efda6db087f3413"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#aaede7c755aad90772efda6db087f3413">operations_research::sat::GenericLiteralWatcher::WatchLowerBound</a></div><div class="ttdeci">void WatchLowerBound(IntegerVariable var, int id, int watch_index=-1)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01356">integer.h:1356</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_html_ab216763dccd16f5060d2fbcfb08173fb"><div class="ttname"><a href="namespaceoperations__research.html#ab216763dccd16f5060d2fbcfb08173fb">operations_research::CapProd</a></div><div class="ttdeci">int64 CapProd(int64 x, int64 y)</div><div class="ttdef"><b>Definition:</b> <a href="saturated__arithmetic_8h_source.html#l00231">saturated_arithmetic.h:231</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a2dbcb7017d468a17bdb30252af5c6c31"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a2dbcb7017d468a17bdb30252af5c6c31">operations_research::sat::kNoLiteralIndex</a></div><div class="ttdeci">const LiteralIndex kNoLiteralIndex(-1)</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>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_affc20db163dca7cacfb4aa97cf8d72b9"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#affc20db163dca7cacfb4aa97cf8d72b9">operations_research::sat::ReifiedBoolOr</a></div><div class="ttdeci">std::function< void(Model *)> ReifiedBoolOr(const std::vector< Literal > &literals, Literal r)</div><div class="ttdef"><b>Definition:</b> <a href="sat__solver_8h_source.html#l00929">sat_solver.h:929</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_aa68cc40c827bff2fb311040e2b848f9b"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#aa68cc40c827bff2fb311040e2b848f9b">operations_research::sat::IntegerTrail::LevelZeroLowerBound</a></div><div class="ttdeci">IntegerValue LevelZeroLowerBound(IntegerVariable var) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01286">integer.h:1286</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_affc20db163dca7cacfb4aa97cf8d72b9"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#affc20db163dca7cacfb4aa97cf8d72b9">operations_research::sat::ReifiedBoolOr</a></div><div class="ttdeci">std::function< void(Model *)> ReifiedBoolOr(const std::vector< Literal > &literals, Literal r)</div><div class="ttdef"><b>Definition:</b> <a href="sat__solver_8h_source.html#l00935">sat_solver.h:935</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_aa68cc40c827bff2fb311040e2b848f9b"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#aa68cc40c827bff2fb311040e2b848f9b">operations_research::sat::IntegerTrail::LevelZeroLowerBound</a></div><div class="ttdeci">IntegerValue LevelZeroLowerBound(IntegerVariable var) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01333">integer.h:1333</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_positive_product_propagator_html_ac1fe9b1f2b978c4283e42f12e586eb1e"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_positive_product_propagator.html#ac1fe9b1f2b978c4283e42f12e586eb1e">operations_research::sat::PositiveProductPropagator::Propagate</a></div><div class="ttdeci">bool Propagate() final</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00632">integer_expr.cc:632</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="aclassoperations__research_1_1sat_1_1_integer_trail_html_aa4c7a44c63bb5d0d0401c9951db2daaa"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#aa4c7a44c63bb5d0d0401c9951db2daaa">operations_research::sat::IntegerTrail::VariableLowerBoundIsFromLevelZero</a></div><div class="ttdeci">bool VariableLowerBoundIsFromLevelZero(IntegerVariable var) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00795">integer.h:795</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_a8963fd33e7bd70e749b2a37060ef1274"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#a8963fd33e7bd70e749b2a37060ef1274">operations_research::sat::GenericLiteralWatcher::RegisterReversibleInt</a></div><div class="ttdeci">void RegisterReversibleInt(int id, int *rev)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l01966">integer.cc:1966</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_aa4c7a44c63bb5d0d0401c9951db2daaa"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#aa4c7a44c63bb5d0d0401c9951db2daaa">operations_research::sat::IntegerTrail::VariableLowerBoundIsFromLevelZero</a></div><div class="ttdeci">bool VariableLowerBoundIsFromLevelZero(IntegerVariable var) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00810">integer.h:810</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_a8963fd33e7bd70e749b2a37060ef1274"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#a8963fd33e7bd70e749b2a37060ef1274">operations_research::sat::GenericLiteralWatcher::RegisterReversibleInt</a></div><div class="ttdeci">void RegisterReversibleInt(int id, int *rev)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l01954">integer.cc:1954</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="abase_2logging_8h_html_a7e03ec13560fa94a8fea569960d7efc6"><div class="ttname"><a href="base_2logging_8h.html#a7e03ec13560fa94a8fea569960d7efc6">CHECK_GT</a></div><div class="ttdeci">#define CHECK_GT(val1, val2)</div><div class="ttdef"><b>Definition:</b> <a href="base_2logging_8h_source.html#l00702">base/logging.h:702</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1_domain_html_a323893786ccc452af69697e1c8564ed3"><div class="ttname"><a href="classoperations__research_1_1_domain.html#a323893786ccc452af69697e1c8564ed3">operations_research::Domain::FromValues</a></div><div class="ttdeci">static Domain FromValues(std::vector< int64 > values)</div><div class="ttdoc">Creates a domain from the union of an unsorted list of integer values.</div><div class="ttdef"><b>Definition:</b> <a href="sorted__interval__list_8cc_source.html#l00137">sorted_interval_list.cc:137</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_square_propagator_html_ac1fe9b1f2b978c4283e42f12e586eb1e"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_square_propagator.html#ac1fe9b1f2b978c4283e42f12e586eb1e">operations_research::sat::SquarePropagator::Propagate</a></div><div class="ttdeci">bool Propagate() final</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00720">integer_expr.cc:720</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#l00301">linear_constraint.cc:301</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="abase_2logging_8h_html_a4bd2e815ca2f702a4b6aa744b1ff3b82"><div class="ttname"><a href="base_2logging_8h.html#a4bd2e815ca2f702a4b6aa744b1ff3b82">CHECK_LT</a></div><div class="ttdeci">#define CHECK_LT(val1, val2)</div><div class="ttdef"><b>Definition:</b> <a href="base_2logging_8h_source.html#l00700">base/logging.h:700</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="aclassoperations__research_1_1_math_util_html_a02deedce87f0c011025ec7716b04e9ea"><div class="ttname"><a href="classoperations__research_1_1_math_util.html#a02deedce87f0c011025ec7716b04e9ea">operations_research::MathUtil::GCD64</a></div><div class="ttdeci">static int64 GCD64(int64 x, int64 y)</div><div class="ttdef"><b>Definition:</b> <a href="mathutil_8h_source.html#l00107">mathutil.h:107</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_a79322fd8dff49ab2eab22c0570aba594"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a79322fd8dff49ab2eab22c0570aba594">operations_research::sat::IntegerTrail::EnqueueLiteral</a></div><div class="ttdeci">void EnqueueLiteral(Literal literal, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l01070">integer.cc:1070</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#l00042">integer.cc:42</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_a79322fd8dff49ab2eab22c0570aba594"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a79322fd8dff49ab2eab22c0570aba594">operations_research::sat::IntegerTrail::EnqueueLiteral</a></div><div class="ttdeci">void EnqueueLiteral(Literal literal, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l01058">integer.cc:1058</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="aclassoperations__research_1_1sat_1_1_fixed_division_propagator_html_a4060aef77bca0c13ada3e5e5c3c5d1ef"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_fixed_division_propagator.html#a4060aef77bca0c13ada3e5e5c3c5d1ef">operations_research::sat::FixedDivisionPropagator::FixedDivisionPropagator</a></div><div class="ttdeci">FixedDivisionPropagator(IntegerVariable a, IntegerValue b, IntegerVariable c, IntegerTrail *integer_trail)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00816">integer_expr.cc:816</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_variables_assignment_html_a5300129913f51dcb0b1c531e3248490e"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_variables_assignment.html#a5300129913f51dcb0b1c531e3248490e">operations_research::sat::VariablesAssignment::LiteralIsTrue</a></div><div class="ttdeci">bool LiteralIsTrue(Literal literal) const</div><div class="ttdef"><b>Definition:</b> <a href="sat__base_8h_source.html#l00150">sat_base.h:150</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#l01216">integer.h:1216</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="aclassoperations__research_1_1sat_1_1_division_propagator_html_afb8f59711ca1ba3bdcd0bee9ef675d3c"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_division_propagator.html#afb8f59711ca1ba3bdcd0bee9ef675d3c">operations_research::sat::DivisionPropagator::DivisionPropagator</a></div><div class="ttdeci">DivisionPropagator(IntegerVariable a, IntegerVariable b, IntegerVariable c, IntegerTrail *integer_trail)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00768">integer_expr.cc:768</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a7f1ac774d4646a83631f8117f4ea03f5"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a7f1ac774d4646a83631f8117f4ea03f5">operations_research::sat::PositiveVariable</a></div><div class="ttdeci">IntegerVariable PositiveVariable(IntegerVariable i)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00134">integer.h:134</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>
|
||||
<div class="ttc" id="aclassoperations__research_1_1_time_limit_html"><div class="ttname"><a href="classoperations__research_1_1_time_limit.html">operations_research::TimeLimit</a></div><div class="ttdoc">A simple class to enforce both an elapsed time limit and a deterministic time limit in the same threa...</div><div class="ttdef"><b>Definition:</b> <a href="time__limit_8h_source.html#l00105">time_limit.h:105</a></div></div>
|
||||
<div class="ttc" id="apack_8cc_html_a750b5d744c39a06bfb13e6eb010e35d0"><div class="ttname"><a href="pack_8cc.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a></div><div class="ttdeci">int index</div><div class="ttdef"><b>Definition:</b> <a href="pack_8cc_source.html#l00508">pack.cc:508</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_af931801f592e954a6623cab8cf9a4485"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#af931801f592e954a6623cab8cf9a4485">operations_research::sat::IntegerTrail::UpdateInitialDomain</a></div><div class="ttdeci">bool UpdateInitialDomain(IntegerVariable var, Domain domain)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l00660">integer.cc:660</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#l01075">integer.h:1075</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_af931801f592e954a6623cab8cf9a4485"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#af931801f592e954a6623cab8cf9a4485">operations_research::sat::IntegerTrail::UpdateInitialDomain</a></div><div class="ttdeci">bool UpdateInitialDomain(IntegerVariable var, Domain domain)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l00648">integer.cc:648</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="anamespaceoperations__research_1_1sat_html_a83f714c395df7a814ed067125f567a0d"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a83f714c395df7a814ed067125f567a0d">operations_research::sat::PositiveRemainder</a></div><div class="ttdeci">IntegerValue PositiveRemainder(IntegerValue dividend, IntegerValue positive_divisor)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00102">integer.h:102</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="aclassoperations__research_1_1sat_1_1_integer_trail_html_ac0a2e8c6619af74b42472bfa9a9e6465"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#ac0a2e8c6619af74b42472bfa9a9e6465">operations_research::sat::IntegerTrail::UpperBoundAsLiteral</a></div><div class="ttdeci">IntegerLiteral UpperBoundAsLiteral(IntegerVariable i) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01271">integer.h:1271</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_aa527950bda17efaeae8589c561d1b453"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#aa527950bda17efaeae8589c561d1b453">operations_research::sat::IntegerTrail::AppendRelaxedLinearReason</a></div><div class="ttdeci">void AppendRelaxedLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, absl::Span< const IntegerVariable > vars, std::vector< IntegerLiteral > *reason) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l00819">integer.cc:819</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#l01339">integer.h:1339</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_a8b6d5a25e6ad3d28a85b1924471e2cac"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a8b6d5a25e6ad3d28a85b1924471e2cac">operations_research::sat::IntegerTrail::UpperBound</a></div><div class="ttdeci">IntegerValue UpperBound(IntegerVariable i) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01240">integer.h:1240</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_a05e837bb93eeabbbd94e8f690dd59d32"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a05e837bb93eeabbbd94e8f690dd59d32">operations_research::sat::IntegerTrail::Enqueue</a></div><div class="ttdeci">ABSL_MUST_USE_RESULT bool Enqueue(IntegerLiteral i_lit, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l01001">integer.cc:1001</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_ac0a2e8c6619af74b42472bfa9a9e6465"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#ac0a2e8c6619af74b42472bfa9a9e6465">operations_research::sat::IntegerTrail::UpperBoundAsLiteral</a></div><div class="ttdeci">IntegerLiteral UpperBoundAsLiteral(IntegerVariable i) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01318">integer.h:1318</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_aa527950bda17efaeae8589c561d1b453"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#aa527950bda17efaeae8589c561d1b453">operations_research::sat::IntegerTrail::AppendRelaxedLinearReason</a></div><div class="ttdeci">void AppendRelaxedLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, absl::Span< const IntegerVariable > vars, std::vector< IntegerLiteral > *reason) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l00807">integer.cc:807</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="aclassoperations__research_1_1sat_1_1_integer_trail_html_a8b6d5a25e6ad3d28a85b1924471e2cac"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a8b6d5a25e6ad3d28a85b1924471e2cac">operations_research::sat::IntegerTrail::UpperBound</a></div><div class="ttdeci">IntegerValue UpperBound(IntegerVariable i) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01287">integer.h:1287</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_a05e837bb93eeabbbd94e8f690dd59d32"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a05e837bb93eeabbbd94e8f690dd59d32">operations_research::sat::IntegerTrail::Enqueue</a></div><div class="ttdeci">ABSL_MUST_USE_RESULT bool Enqueue(IntegerLiteral i_lit, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l00989">integer.cc:989</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_division_propagator_html_ac1fe9b1f2b978c4283e42f12e586eb1e"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_division_propagator.html#ac1fe9b1f2b978c4283e42f12e586eb1e">operations_research::sat::DivisionPropagator::Propagate</a></div><div class="ttdeci">bool Propagate() final</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00777">integer_expr.cc:777</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>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_positive_product_propagator_html_a6ee8ed57254aec3ae99d399bae5b3736"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_positive_product_propagator.html#a6ee8ed57254aec3ae99d399bae5b3736">operations_research::sat::PositiveProductPropagator::RegisterWith</a></div><div class="ttdeci">void RegisterWith(GenericLiteralWatcher *watcher)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00684">integer_expr.cc:684</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_aef66ce77e5b87afecf1c5696f44d4d1c"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#aef66ce77e5b87afecf1c5696f44d4d1c">operations_research::sat::GenericLiteralWatcher::NotifyThatPropagatorMayNotReachFixedPointInOnePass</a></div><div class="ttdeci">void NotifyThatPropagatorMayNotReachFixedPointInOnePass(int id)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l01952">integer.cc:1952</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_aef66ce77e5b87afecf1c5696f44d4d1c"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#aef66ce77e5b87afecf1c5696f44d4d1c">operations_research::sat::GenericLiteralWatcher::NotifyThatPropagatorMayNotReachFixedPointInOnePass</a></div><div class="ttdeci">void NotifyThatPropagatorMayNotReachFixedPointInOnePass(int id)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l01940">integer.cc:1940</a></div></div>
|
||||
<div class="ttc" id="anamespacegtl_html_a288a1dc92da5d3ad62d4bc4cec9e8b1d"><div class="ttname"><a href="namespacegtl.html#a288a1dc92da5d3ad62d4bc4cec9e8b1d">gtl::STLSortAndRemoveDuplicates</a></div><div class="ttdeci">void STLSortAndRemoveDuplicates(T *v, const LessFunc &less_func)</div><div class="ttdef"><b>Definition:</b> <a href="stl__util_8h_source.html#l00058">stl_util.h:58</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a3b4ae0e8f4326c316681a472e623e5d6"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a3b4ae0e8f4326c316681a472e623e5d6">operations_research::sat::IsOneOf</a></div><div class="ttdeci">std::function< void(Model *)> IsOneOf(IntegerVariable var, const std::vector< Literal > &selectors, const std::vector< IntegerValue > &values)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00875">integer_expr.cc:875</a></div></div>
|
||||
<div class="ttc" id="anamespaceoperations__research_1_1sat_html_a1227e67513602591fb959e35c9de66e8"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#a1227e67513602591fb959e35c9de66e8">operations_research::sat::kMaxIntegerValue</a></div><div class="ttdeci">constexpr IntegerValue kMaxIntegerValue(std::numeric_limits< IntegerValue::ValueType >::max() - 1)</div></div>
|
||||
@@ -1066,51 +1066,51 @@ $(document).ready(function(){initNavTree('integer__expr_8cc_source.html',''); in
|
||||
<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="aclassoperations__research_1_1sat_1_1_division_propagator_html_a6ee8ed57254aec3ae99d399bae5b3736"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_division_propagator.html#a6ee8ed57254aec3ae99d399bae5b3736">operations_research::sat::DivisionPropagator::RegisterWith</a></div><div class="ttdeci">void RegisterWith(GenericLiteralWatcher *watcher)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00808">integer_expr.cc:808</a></div></div>
|
||||
<div class="ttc" id="abase_2logging_8h_html_a7c0ce053b28d53aa4eaf3eb7fb71663b"><div class="ttname"><a href="base_2logging_8h.html#a7c0ce053b28d53aa4eaf3eb7fb71663b">CHECK_EQ</a></div><div class="ttdeci">#define CHECK_EQ(val1, val2)</div><div class="ttdef"><b>Definition:</b> <a href="base_2logging_8h_source.html#l00697">base/logging.h:697</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#l00172">linear_constraint.h:172</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="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="aclassoperations__research_1_1sat_1_1_integer_trail_html_a615d87982145007855f2102262cf773c"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a615d87982145007855f2102262cf773c">operations_research::sat::IntegerTrail::LowerBoundAsLiteral</a></div><div class="ttdeci">IntegerLiteral LowerBoundAsLiteral(IntegerVariable i) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01266">integer.h:1266</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_a615d87982145007855f2102262cf773c"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a615d87982145007855f2102262cf773c">operations_research::sat::IntegerTrail::LowerBoundAsLiteral</a></div><div class="ttdeci">IntegerLiteral LowerBoundAsLiteral(IntegerVariable i) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01313">integer.h:1313</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#l01436">integer.h:1436</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="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="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_ab2c396c33db5bd5eab32d398c3d55646"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#ab2c396c33db5bd5eab32d398c3d55646">operations_research::sat::GenericLiteralWatcher::WatchIntegerVariable</a></div><div class="ttdeci">void WatchIntegerVariable(IntegerVariable i, int id, int watch_index=-1)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01324">integer.h:1324</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#l00291">linear_constraint.cc:291</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#l01222">integer.h:1222</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_ab2c396c33db5bd5eab32d398c3d55646"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#ab2c396c33db5bd5eab32d398c3d55646">operations_research::sat::GenericLiteralWatcher::WatchIntegerVariable</a></div><div class="ttdeci">void WatchIntegerVariable(IntegerVariable i, int id, int watch_index=-1)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01380">integer.h:1380</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="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="aclassoperations__research_1_1sat_1_1_fixed_division_propagator_html_ac1fe9b1f2b978c4283e42f12e586eb1e"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_fixed_division_propagator.html#ac1fe9b1f2b978c4283e42f12e586eb1e">operations_research::sat::FixedDivisionPropagator::Propagate</a></div><div class="ttdeci">bool Propagate() final</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00822">integer_expr.cc:822</a></div></div>
|
||||
<div class="ttc" id="asorted__interval__list_8h_html"><div class="ttname"><a href="sorted__interval__list_8h.html">sorted_interval_list.h</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_model_html_a8d72645353ea6770911c4e0724995ed6"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_model.html#a8d72645353ea6770911c4e0724995ed6">operations_research::sat::Model::GetOrCreate</a></div><div class="ttdeci">T * GetOrCreate()</div><div class="ttdoc">Returns an object of type T that is unique to this model (like a "local" singleton).</div><div class="ttdef"><b>Definition:</b> <a href="sat_2model_8h_source.html#l00106">sat/model.h:106</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#l00899">sat_solver.h:899</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="abase_2logging_8h_html_aae2dc65d9ea248d54bf39daa986dd295"><div class="ttname"><a href="base_2logging_8h.html#aae2dc65d9ea248d54bf39daa986dd295">DCHECK_GE</a></div><div class="ttdeci">#define DCHECK_GE(val1, val2)</div><div class="ttdef"><b>Definition:</b> <a href="base_2logging_8h_source.html#l00889">base/logging.h:889</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_1_time_limit_html_af90cfd1fc238433fc303ee28c5914eb9"><div class="ttname"><a href="classoperations__research_1_1_time_limit.html#af90cfd1fc238433fc303ee28c5914eb9">operations_research::TimeLimit::AdvanceDeterministicTime</a></div><div class="ttdeci">void AdvanceDeterministicTime(double deterministic_duration)</div><div class="ttdoc">Advances the deterministic time.</div><div class="ttdef"><b>Definition:</b> <a href="time__limit_8h_source.html#l00226">time_limit.h:226</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_trail_html_ad63c4461a1384629cb99413c6df8b9ca"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_trail.html#ad63c4461a1384629cb99413c6df8b9ca">operations_research::sat::Trail::CurrentDecisionLevel</a></div><div class="ttdeci">int CurrentDecisionLevel() const</div><div class="ttdef"><b>Definition:</b> <a href="sat__base_8h_source.html#l00355">sat_base.h:355</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="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#l01064">integer.h:1064</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="anamespaceoperations__research_1_1sat_html_aed77a1a7675c2f8568529a5a16247ec1"><div class="ttname"><a href="namespaceoperations__research_1_1sat.html#aed77a1a7675c2f8568529a5a16247ec1">operations_research::sat::ToDouble</a></div><div class="ttdeci">double ToDouble(IntegerValue value)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00069">integer.h:69</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_positive_product_propagator_html_adbf2b3395d8cc4ab48472296c82cdd2a"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_positive_product_propagator.html#adbf2b3395d8cc4ab48472296c82cdd2a">operations_research::sat::PositiveProductPropagator::PositiveProductPropagator</a></div><div class="ttdeci">PositiveProductPropagator(IntegerVariable a, IntegerVariable b, IntegerVariable p, IntegerTrail *integer_trail)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00619">integer_expr.cc:619</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="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_a8f6dd74a841475ccb390614d2b212170"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#a8f6dd74a841475ccb390614d2b212170">operations_research::sat::GenericLiteralWatcher::WatchLiteral</a></div><div class="ttdeci">void WatchLiteral(Literal l, int id, int watch_index=-1)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01301">integer.h:1301</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_a6d55b5b9adc499095dd57dd0c2b6c7df"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a6d55b5b9adc499095dd57dd0c2b6c7df">operations_research::sat::IntegerTrail::ReportConflict</a></div><div class="ttdeci">bool ReportConflict(absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00778">integer.h:778</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_a8f6dd74a841475ccb390614d2b212170"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#a8f6dd74a841475ccb390614d2b212170">operations_research::sat::GenericLiteralWatcher::WatchLiteral</a></div><div class="ttdeci">void WatchLiteral(Literal l, int id, int watch_index=-1)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01348">integer.h:1348</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_a6d55b5b9adc499095dd57dd0c2b6c7df"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a6d55b5b9adc499095dd57dd0c2b6c7df">operations_research::sat::IntegerTrail::ReportConflict</a></div><div class="ttdeci">bool ReportConflict(absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00793">integer.h:793</a></div></div>
|
||||
<div class="ttc" id="astl__util_8h_html"><div class="ttname"><a href="stl__util_8h.html">stl_util.h</a></div></div>
|
||||
<div class="ttc" id="aalldiff__cst_8cc_html_a151248525a9e07eb3e6e60ea1c4995eb"><div class="ttname"><a href="alldiff__cst_8cc.html#a151248525a9e07eb3e6e60ea1c4995eb">vars_</a></div><div class="ttdeci">const std::vector< IntVar * > vars_</div><div class="ttdef"><b>Definition:</b> <a href="alldiff__cst_8cc_source.html#l00043">alldiff_cst.cc:43</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="aclassoperations__research_1_1sat_1_1_integer_trail_html_aa981297d0a648cd5c3fef40e2edebf8a"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#aa981297d0a648cd5c3fef40e2edebf8a">operations_research::sat::IntegerTrail::RelaxLinearReason</a></div><div class="ttdeci">void RelaxLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, std::vector< IntegerLiteral > *reason) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l00797">integer.cc:797</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#l01400">integer.h:1400</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_aa981297d0a648cd5c3fef40e2edebf8a"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#aa981297d0a648cd5c3fef40e2edebf8a">operations_research::sat::IntegerTrail::RelaxLinearReason</a></div><div class="ttdeci">void RelaxLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, std::vector< IntegerLiteral > *reason) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l00785">integer.cc:785</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="aclassoperations__research_1_1sat_1_1_square_propagator_html_afaa78d4a7bccd209720f1fa9741f59f0"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_square_propagator.html#afaa78d4a7bccd209720f1fa9741f59f0">operations_research::sat::SquarePropagator::SquarePropagator</a></div><div class="ttdeci">SquarePropagator(IntegerVariable x, IntegerVariable s, IntegerTrail *integer_trail)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00712">integer_expr.cc:712</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_a2df75a6456eaa2a1c2cc3255e4a91f29"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a2df75a6456eaa2a1c2cc3255e4a91f29">operations_research::sat::IntegerTrail::FindTrailIndexOfVarBefore</a></div><div class="ttdeci">int FindTrailIndexOfVarBefore(IntegerVariable var, int threshold) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l00728">integer.cc:728</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_a523501d854b2ca8034d37c15e7c89117"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a523501d854b2ca8034d37c15e7c89117">operations_research::sat::IntegerTrail::IsFixed</a></div><div class="ttdeci">bool IsFixed(IntegerVariable i) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01244">integer.h:1244</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_a2df75a6456eaa2a1c2cc3255e4a91f29"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a2df75a6456eaa2a1c2cc3255e4a91f29">operations_research::sat::IntegerTrail::FindTrailIndexOfVarBefore</a></div><div class="ttdeci">int FindTrailIndexOfVarBefore(IntegerVariable var, int threshold) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8cc_source.html#l00716">integer.cc:716</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_a523501d854b2ca8034d37c15e7c89117"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#a523501d854b2ca8034d37c15e7c89117">operations_research::sat::IntegerTrail::IsFixed</a></div><div class="ttdeci">bool IsFixed(IntegerVariable i) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01291">integer.h:1291</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="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="aclassoperations__research_1_1sat_1_1_integer_trail_html_ab857cd2aead68952d9fe92a8ad8d3ac9"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#ab857cd2aead68952d9fe92a8ad8d3ac9">operations_research::sat::IntegerTrail::LowerBound</a></div><div class="ttdeci">IntegerValue LowerBound(IntegerVariable i) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01236">integer.h:1236</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_trail_html_ab857cd2aead68952d9fe92a8ad8d3ac9"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_trail.html#ab857cd2aead68952d9fe92a8ad8d3ac9">operations_research::sat::IntegerTrail::LowerBound</a></div><div class="ttdeci">IntegerValue LowerBound(IntegerVariable i) const</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01283">integer.h:1283</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_square_propagator_html_a6ee8ed57254aec3ae99d399bae5b3736"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_square_propagator.html#a6ee8ed57254aec3ae99d399bae5b3736">operations_research::sat::SquarePropagator::RegisterWith</a></div><div class="ttdeci">void RegisterWith(GenericLiteralWatcher *watcher)</div><div class="ttdef"><b>Definition:</b> <a href="integer__expr_8cc_source.html#l00761">integer_expr.cc:761</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="aoptimization_8cc_html_af63dcc00f2023fdf498e0829e6fb8a6b"><div class="ttname"><a href="optimization_8cc.html#af63dcc00f2023fdf498e0829e6fb8a6b">literal</a></div><div class="ttdeci">Literal literal</div><div class="ttdef"><b>Definition:</b> <a href="optimization_8cc_source.html#l00084">optimization.cc:84</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1_rev_repository_html_a32476d1fb09b1e06181ee07d30378b02"><div class="ttname"><a href="classoperations__research_1_1_rev_repository.html#a32476d1fb09b1e06181ee07d30378b02">operations_research::RevRepository::SaveState</a></div><div class="ttdeci">void SaveState(T *object)</div><div class="ttdef"><b>Definition:</b> <a href="rev_8h_source.html#l00061">rev.h:61</a></div></div>
|
||||
<div class="ttc" id="abase_2logging_8h_html_a3e1cfef60e774a81f30eaddf26a3a274"><div class="ttname"><a href="base_2logging_8h.html#a3e1cfef60e774a81f30eaddf26a3a274">CHECK</a></div><div class="ttdeci">#define CHECK(condition)</div><div class="ttdef"><b>Definition:</b> <a href="base_2logging_8h_source.html#l00495">base/logging.h:495</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_encoder_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_encoder.html">operations_research::sat::IntegerEncoder</a></div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00262">integer.h:262</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_integer_encoder_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_integer_encoder.html">operations_research::sat::IntegerEncoder</a></div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l00276">integer.h:276</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="aclassoperations__research_1_1sat_1_1_variables_assignment_html_acfd1646011e643f58fd7dc66d9cc90a5"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_variables_assignment.html#acfd1646011e643f58fd7dc66d9cc90a5">operations_research::sat::VariablesAssignment::LiteralIsFalse</a></div><div class="ttdeci">bool LiteralIsFalse(Literal literal) const</div><div class="ttdef"><b>Definition:</b> <a href="sat__base_8h_source.html#l00147">sat_base.h:147</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_ac9d426060b1b7eee72e9e5345379f111"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#ac9d426060b1b7eee72e9e5345379f111">operations_research::sat::GenericLiteralWatcher::WatchUpperBound</a></div><div class="ttdeci">void WatchUpperBound(IntegerVariable var, int id, int watch_index=-1)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01318">integer.h:1318</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_generic_literal_watcher_html_ac9d426060b1b7eee72e9e5345379f111"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_generic_literal_watcher.html#ac9d426060b1b7eee72e9e5345379f111">operations_research::sat::GenericLiteralWatcher::WatchUpperBound</a></div><div class="ttdeci">void WatchUpperBound(IntegerVariable var, int id, int watch_index=-1)</div><div class="ttdef"><b>Definition:</b> <a href="integer_8h_source.html#l01374">integer.h:1374</a></div></div>
|
||||
<div class="ttc" id="aclassoperations__research_1_1sat_1_1_trail_html"><div class="ttname"><a href="classoperations__research_1_1sat_1_1_trail.html">operations_research::sat::Trail</a></div><div class="ttdef"><b>Definition:</b> <a href="sat__base_8h_source.html#l00233">sat_base.h:233</a></div></div>
|
||||
<!-- HTML footer for doxygen 1.8.18-->
|
||||
<!-- start footer part -->
|
||||
|
||||
Reference in New Issue
Block a user