2020-09-01 16:00:33 +02:00
<!-- HTML header for doxygen 1.8.18 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
< html xmlns = "http://www.w3.org/1999/xhtml" >
< head >
< meta http-equiv = "Content-Type" content = "text/xhtml;charset=UTF-8" / >
< meta http-equiv = "X-UA-Compatible" content = "IE=9" / >
2022-01-16 18:02:36 +01:00
< meta name = "generator" content = "Doxygen 1.8.15" / >
2020-09-01 16:00:33 +02:00
< meta name = "viewport" content = "width=device-width, initial-scale=1" / >
< title > OR-Tools: cp_model_loader.cc Source File< / title >
< link href = "tabs.css" rel = "stylesheet" type = "text/css" / >
< script type = "text/javascript" src = "jquery.js" > < / script >
< script type = "text/javascript" src = "dynsections.js" > < / script >
< link href = "navtree.css" rel = "stylesheet" type = "text/css" / >
< script type = "text/javascript" src = "resize.js" > < / script >
< script type = "text/javascript" src = "navtreedata.js" > < / script >
< script type = "text/javascript" src = "navtree.js" > < / script >
2022-01-16 18:02:36 +01:00
< script type = "text/javascript" >
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3& dn=gpl-2.0.txt GPL-v2 */
$(document).ready(initResizable);
/* @license-end */< / script >
2020-09-01 16:00:33 +02:00
< link href = "search/search.css" rel = "stylesheet" type = "text/css" / >
< script type = "text/javascript" src = "search/searchdata.js" > < / script >
< script type = "text/javascript" src = "search/search.js" > < / script >
< link href = "doxygen.css" rel = "stylesheet" type = "text/css" / >
< link href = "styleSheet.tmp.css" rel = "stylesheet" type = "text/css" / >
< / head >
< body >
< div id = "top" > <!-- do not remove this div, it is closed by doxygen! -->
< div id = "titlearea" >
< table cellspacing = "0" cellpadding = "0" >
< tbody >
< tr style = "height: 56px;" >
< td id = "projectlogo" > < img alt = "Logo" src = "orLogo.png" / > < / td >
< td id = "projectalign" style = "padding-left: 0.5em;" >
< div id = "projectname" > OR-Tools
2021-12-14 13:41:01 +01:00
  < span id = "projectnumber" > 9.2< / span >
2020-09-01 16:00:33 +02:00
< / div >
< / td >
< / tr >
< / tbody >
< / table >
< / div >
<!-- end header part -->
2022-01-16 18:02:36 +01:00
<!-- Generated by Doxygen 1.8.15 -->
2020-09-01 16:00:33 +02:00
< script type = "text/javascript" >
2022-01-16 18:02:36 +01:00
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3& dn=gpl-2.0.txt GPL-v2 */
var searchBox = new SearchBox("searchBox", "search",false,'Search');
2020-09-01 16:00:33 +02:00
/* @license-end */
< / script >
< script type = "text/javascript" src = "menudata.js" > < / script >
< script type = "text/javascript" src = "menu.js" > < / script >
< script type = "text/javascript" >
2022-01-16 18:02:36 +01:00
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3& dn=gpl-2.0.txt GPL-v2 */
2020-09-01 16:00:33 +02:00
$(function() {
initMenu('',true,false,'search.php','Search');
$(document).ready(function() { init_search(); });
});
2022-01-16 18:02:36 +01:00
/* @license-end */< / script >
2020-09-01 16:00:33 +02:00
< div id = "main-nav" > < / div >
< / div > <!-- top -->
< div id = "side-nav" class = "ui-resizable side-nav-resizable" >
< div id = "nav-tree" >
< div id = "nav-tree-contents" >
< div id = "nav-sync" class = "sync" > < / div >
< / div >
< / div >
< div id = "splitbar" style = "-moz-user-select:none;"
class="ui-resizable-handle">
< / div >
< / div >
< script type = "text/javascript" >
2022-01-16 18:02:36 +01:00
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3& dn=gpl-2.0.txt GPL-v2 */
$(document).ready(function(){initNavTree('cp__model__loader_8cc_source.html','');});
2020-09-01 16:00:33 +02:00
/* @license-end */
< / script >
< div id = "doc-content" >
<!-- window showing the filter options -->
< div id = "MSearchSelectWindow"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
onkeydown="return searchBox.OnSearchSelectKey(event)">
< / div >
<!-- iframe showing the search results (closed by default) -->
< div id = "MSearchResultsWindow" >
< iframe src = "javascript:void(0)" frameborder = "0"
name="MSearchResults" id="MSearchResults">
< / iframe >
< / div >
< div class = "header" >
2022-01-16 18:02:36 +01:00
< div class = "headertitle" >
< div class = "title" > cp_model_loader.cc< / div > < / div >
2020-09-01 16:00:33 +02:00
< / div > <!-- header -->
< div class = "contents" >
2022-01-16 18:02:36 +01:00
< a href = "cp__model__loader_8cc.html" > Go to the documentation of this file.< / a > < div class = "fragment" > < div class = "line" > < a name = "l00001" > < / a > < span class = "lineno" > 1< / span >   < span class = "comment" > // Copyright 2010-2021 Google LLC< / span > < / div > < div class = "line" > < a name = "l00002" > < / a > < span class = "lineno" > 2< / span >   < span class = "comment" > // Licensed under the Apache License, Version 2.0 (the " License" );< / span > < / div > < div class = "line" > < a name = "l00003" > < / a > < span class = "lineno" > 3< / span >   < span class = "comment" > // you may not use this file except in compliance with the License.< / span > < / div > < div class = "line" > < a name = "l00004" > < / a > < span class = "lineno" > 4< / span >   < span class = "comment" > // You may obtain a copy of the License at< / span > < / div > < div class = "line" > < a name = "l00005" > < / a > < span class = "lineno" > 5< / span >   < span class = "comment" > //< / span > < / div > < div class = "line" > < a name = "l00006" > < / a > < span class = "lineno" > 6< / span >   < span class = "comment" > // http://www.apache.org/licenses/LICENSE-2.0< / span > < / div > < div class = "line" > < a name = "l00007" > < / a > < span class = "lineno" > 7< / span >   < span class = "comment" > //< / span > < / div > < div class = "line" > < a name = "l00008" > < / a > < span class = "lineno" > 8< / span >   < span class = "comment" > // Unless required by applicable law or agreed to in writing, software< / span > < / div > < div class = "line" > < a name = "l00009" > < / a > < span class = "lineno" > 9< / span >   < span class = "comment" > // distributed under the License is distributed on an " AS IS" BASIS,< / span > < / div > < div class = "line" > < a name = "l00010" > < / a > < span class = "lineno" > 10< / span >   < span class = "comment" > // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.< / span > < / div > < div class = "line" > < a name = "l00011" > < / a > < span class = "lineno" > 11< / span >   < span class = "comment" > // See the License for the specific language governing permissions and< / span > < / div > < div class = "line" > < a name = "l00012" > < / a > < span class = "lineno" > 12< / span >   < span class = "comment" > // limitations under the License.< / span > < / div > < div class = "line" > < a name = "l00013" > < / a > < span class = "lineno" > 13< / span >   < / div > < div class = "line" > < a name = "l00014" > < / a > < span class = "lineno" > 14< / span >   < span class = "preprocessor" > #include " < a class = "code" href = "cp__model__loader_8h.html" > ortools/sat/cp_model_loader.h< / a > " < / span > < / div > < div class = "line" > < a name = "l00015" > < / a > < span class = "lineno" > 15< / span >   < / div > < div class = "line" > < a name = "l00016" > < / a > < span class = "lineno" > 16< / span >   < span class = "preprocessor" > #include < algorithm> < / span > < / div > < div class = "line" > < a name = "l00017" > < / a > < span class = "lineno" > 17< / span >   < span class = "preprocessor" > #include < cstdint> < / span > < / div > < div class = "line" > < a name = "l00018" > < / a > < span class = "lineno" > 18< / span >   < span class = "preprocessor" > #include < limits> < / span > < / div > < div class = "line" > < a name = "l00019" > < / a > < span class = "lineno" > 19< / span >   < span class = "preprocessor" > #include < map> < / span > < / div > < div class = "line" > < a name = "l00020" > < / a > < span class = "lineno" > 20< / span >   < span class = "preprocessor" > #include < memory> < / span > < / div > < div class = "line" > < a name = "l00021" > < / a > < span class = "lineno" > 21< / span >   < span class = "preprocessor" > #include < set> < / span > < / div > < div class = "line" > < a name = "l00022" > < / a > < span class = "lineno" > 22< / span >   < span class = "preprocessor" > #include < string> < / span > < / div > < div class = "line" > < a name = "l00023" > < / a > < span class = "lineno" > 23< / span >   < span class = "preprocessor" > #include < utility> < / span > < / div > < div class = "line" > < a name = "l00024" > < / a > < span class = "lineno" > 24< / span >   < span class = "preprocessor" > #include < vector> < / span > < / div > < div class = "line" > < a name = "l00025" > < / a > < span class = "lineno" > 25< / span >   < / div > < div class = "line" > < a name = "l00026" > < / a > < span class = "lineno" > 26< / span >   < span class = "preprocessor" > #include " absl/container/flat_hash_map.h" < / span > < / div > < div class = "line" > < a name = "l00027" > < / a > < span class = "lineno" > 27< / span >   < span class = "preprocessor" > #include " absl/contain
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_aa3361a48335b9de95fcefa9dc5dc3e22" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#aa3361a48335b9de95fcefa9dc5dc3e22" > operations_research::sat::DetectOptionalVariables< / a > < / div > < div class = "ttdeci" > void DetectOptionalVariables(const CpModelProto & model_proto, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l00761" > cp_model_loader.cc:761< / a > < / div > < / div >
< div class = "ttc" id = "base_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 = "classoperations__research_1_1sat_1_1_constraint_proto_html_ada030f50fcddb646af448ac7c5705e35ac188c019178783e5be55110601309d7d" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35ac188c019178783e5be55110601309d7d" > operations_research::sat::ConstraintProto::kLinear< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l03825" > cp_model.pb.h:3825< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__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#l01598" > integer.h:1598< / a > < / div > < / div >
< div class = "ttc" id = "structoperations__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#l00168" > integer.h:168< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a94d028de71e81b94a1e49ed6a22e1881" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a94d028de71e81b94a1e49ed6a22e1881" > operations_research::sat::WeightedSumLowerOrEqual< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> WeightedSumLowerOrEqual(const std::vector< IntegerVariable > & vars, const VectorInt & coefficients, int64_t upper_bound)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "integer__expr_8h_source.html#l00361" > integer_expr.h:361< / a > < / div > < / div >
< div class = "ttc" id = "alldiff__cst_8cc_html_ad10edae0a852d72fb76afb1c77735045" > < div class = "ttname" > < a href = "alldiff__cst_8cc.html#ad10edae0a852d72fb76afb1c77735045" > min< / a > < / div > < div class = "ttdeci" > int64_t min< / 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 = "classoperations__research_1_1sat_1_1_cp_model_mapping_html_a0f4307fe0ec0a2e2803a15a2f17aa394" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_mapping.html#a0f4307fe0ec0a2e2803a15a2f17aa394" > operations_research::sat::CpModelMapping::Literals< / a > < / div > < div class = "ttdeci" > std::vector< sat::Literal > Literals(const ProtoIndices & indices) const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__mapping_8h_source.html#l00118" > cp_model_mapping.h:118< / a > < / div > < / div >
< div class = "ttc" id = "util_2logging_8h_html_a5f67b653dd99ddbe5e3367e3b4b7b532" > < div class = "ttname" > < a href = "util_2logging_8h.html#a5f67b653dd99ddbe5e3367e3b4b7b532" > SOLVER_LOG< / a > < / div > < div class = "ttdeci" > #define SOLVER_LOG(logger,...)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "util_2logging_8h_source.html#l00069" > util/logging.h:69< / a > < / div > < / div >
< div class = "ttc" id = "timetable_8h_html" > < div class = "ttname" > < a href = "timetable_8h.html" > timetable.h< / a > < / div > < / div >
< div class = "ttc" id = "cp__constraints_8h_html" > < div class = "ttname" > < a href = "cp__constraints_8h.html" > cp_constraints.h< / a > < / div > < / div >
< div class = "ttc" id = "stl__util_8h_html" > < div class = "ttname" > < a href = "stl__util_8h.html" > stl_util.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__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 = "classoperations__research_1_1sat_1_1_literal_html_a03f5ae0ce9819070959d97a8ba3fafeb" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_literal.html#a03f5ae0ce9819070959d97a8ba3fafeb" > operations_research::sat::Literal::Literal< / a > < / div > < div class = "ttdeci" > Literal(int signed_value)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__base_8h_source.html#l00070" > sat_base.h:70< / a > < / div > < / div >
< div class = "ttc" id = "symmetry_8h_html" > < div class = "ttname" > < a href = "symmetry_8h.html" > symmetry.h< / a > < / div > < / div >
< div class = "ttc" id = "integer__expr_8h_html" > < div class = "ttname" > < a href = "integer__expr_8h.html" > integer_expr.h< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a6bded303c37dabc35958dcc4a22d4949" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a6bded303c37dabc35958dcc4a22d4949" > operations_research::sat::LoadIntDivConstraint< / a > < / div > < div class = "ttdeci" > void LoadIntDivConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l01157" > cp_model_loader.cc:1157< / a > < / div > < / div >
< div class = "ttc" id = "disjunctive_8h_html" > < div class = "ttname" > < a href = "disjunctive_8h.html" > disjunctive.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_decision_strategy_proto_html_a714ed0d3d67bec4d88cadc7f32e59f3e" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_decision_strategy_proto.html#a714ed0d3d67bec4d88cadc7f32e59f3e" > operations_research::sat::DecisionStrategyProto::SELECT_MEDIAN_VALUE< / a > < / div > < div class = "ttdeci" > static constexpr DomainReductionStrategy SELECT_MEDIAN_VALUE< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l05274" > cp_model.pb.h:5274< / a > < / div > < / div >
< div class = "ttc" id = "int__type_8h_html" > < div class = "ttname" > < a href = "int__type_8h.html" > int_type.h< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a596a1b4122eff430a59beb743ed942cd" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a596a1b4122eff430a59beb743ed942cd" > operations_research::sat::LoadLinMaxConstraint< / a > < / div > < div class = "ttdeci" > void LoadLinMaxConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l01188" > cp_model_loader.cc:1188< / a > < / div > < / div >
< div class = "ttc" id = "structoperations__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#l01383" > integer.h:1383< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_model_mapping_html_a33762da266ed3af8b408930cbe82701f" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_mapping.html#a33762da266ed3af8b408930cbe82701f" > operations_research::sat::CpModelMapping::Affines< / a > < / div > < div class = "ttdeci" > std::vector< AffineExpression > Affines(const List & list) const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__mapping_8h_source.html#l00125" > cp_model_mapping.h:125< / a > < / div > < / div >
< div class = "ttc" id = "base_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#l00983" > base/logging.h:983< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__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 = "namespaceoperations__research_1_1math__opt_html_a5de89a1f6e3f80a49a0d76136d8044e2" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1math__opt.html#a5de89a1f6e3f80a49a0d76136d8044e2" > operations_research::math_opt::swap< / a > < / div > < div class = "ttdeci" > void swap(IdMap< K, V > & a, IdMap< K, V > & b)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "id__map_8h_source.html#l00263" > id_map.h:263< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a520c2f743c9adfde168689908851dfee" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a520c2f743c9adfde168689908851dfee" > 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_t lower_bound)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "integer__expr_8h_source.html#l00578" > integer_expr.h:578< / a > < / div > < / div >
< div class = "ttc" id = "structoperations__research_1_1sat_1_1_index_references_html" > < div class = "ttname" > < a href = "structoperations__research_1_1sat_1_1_index_references.html" > operations_research::sat::IndexReferences< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__utils_8h_source.html#l00054" > cp_model_utils.h:54< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a5a6444401c2185cb6968a3a526951d23" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a5a6444401c2185cb6968a3a526951d23" > operations_research::sat::LoadIntModConstraint< / a > < / div > < div class = "ttdeci" > void LoadIntModConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l01176" > cp_model_loader.cc:1176< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_acdbc8ad33149d45a6e6fcd8b72fd68ed" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#acdbc8ad33149d45a6e6fcd8b72fd68ed" > operations_research::sat::PositiveRef< / a > < / div > < div class = "ttdeci" > int PositiveRef(int ref)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__utils_8h_source.html#l00035" > cp_model_utils.h:35< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_literal_html_a4a11c7c4d7706c09de5e18707c3b5c62" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_literal.html#a4a11c7c4d7706c09de5e18707c3b5c62" > operations_research::sat::Literal::Index< / a > < / div > < div class = "ttdeci" > LiteralIndex Index() const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__base_8h_source.html#l00086" > sat_base.h:86< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__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#l00093" > sat_base.h:93< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a7bdbe585d50d5454b69069c6fbdcc32e" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a7bdbe585d50d5454b69069c6fbdcc32e" > operations_research::sat::ProductConstraint< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> ProductConstraint(AffineExpression a, AffineExpression b, AffineExpression p)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "integer__expr_8h_source.html#l00834" > integer_expr.h:834< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__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#l00066" > sat_base.h:66< / a > < / div > < / div >
< div class = "ttc" id = "structoperations__research_1_1sat_1_1_integer_literal_html_ab6516f556b715738034b30d290c40214" > < div class = "ttname" > < a href = "structoperations__research_1_1sat_1_1_integer_literal.html#ab6516f556b715738034b30d290c40214" > operations_research::sat::IntegerLiteral::var< / a > < / div > < div class = "ttdeci" > IntegerVariable var< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "integer_8h_source.html#l00211" > integer.h:211< / a > < / div > < / div >
< div class = "ttc" id = "namespacegtl_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 = "namespaceoperations__research_1_1sat_html_a8d19e8d5e074feb1e673e585b3a04266" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a8d19e8d5e074feb1e673e585b3a04266" > operations_research::sat::DetectLinearEncodingOfProducts< / a > < / div > < div class = "ttdeci" > bool DetectLinearEncodingOfProducts(const AffineExpression & left, const AffineExpression & right, Model *model, LinearConstraintBuilder *builder)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "implied__bounds_8cc_source.html#l00320" > implied_bounds.cc:320< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a238dd948ee65a553d4617753c0d44d7b" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a238dd948ee65a553d4617753c0d44d7b" > operations_research::sat::ExtractElementEncoding< / a > < / div > < div class = "ttdeci" > void ExtractElementEncoding(const CpModelProto & model_proto, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l00620" > cp_model_loader.cc:620< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_model_proto_html_abef5f55c3278c137faca92b8e433f8ea" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_proto.html#abef5f55c3278c137faca92b8e433f8ea" > operations_research::sat::CpModelProto::variables_size< / a > < / div > < div class = "ttdeci" > int variables_size() const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l12225" > cp_model.pb.h:12225< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_implied_bounds_html" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_implied_bounds.html" > operations_research::sat::ImpliedBounds< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "implied__bounds_8h_source.html#l00079" > implied_bounds.h:79< / a > < / div > < / div >
< div class = "ttc" id = "structoperations__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 = "sat_2linear__constraint_8h_source.html#l00088" > sat/linear_constraint.h:88< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_ad78bf6fcea4b54f750e2457e47b4f46a" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#ad78bf6fcea4b54f750e2457e47b4f46a" > operations_research::sat::ExtractEncoding< / a > < / div > < div class = "ttdeci" > void ExtractEncoding(const CpModelProto & model_proto, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l00351" > cp_model_loader.cc:351< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a1c3fa75911c74ce485e62814484c7ae7" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a1c3fa75911c74ce485e62814484c7ae7" > operations_research::sat::LoadConstraint< / a > < / div > < div class = "ttdeci" > bool LoadConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l01259" > cp_model_loader.cc:1259< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a9fe5ef73b556d8c0de4dd3b791a636ff" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a9fe5ef73b556d8c0de4dd3b791a636ff" > operations_research::sat::DivisionConstraint< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> DivisionConstraint(AffineExpression num, AffineExpression denom, AffineExpression div)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "integer__expr_8h_source.html#l00857" > integer_expr.h:857< / a > < / div > < / div >
< div class = "ttc" id = "vlog__is__on_8h_html" > < div class = "ttname" > < a href = "vlog__is__on_8h.html" > vlog_is_on.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1_domain_html_aa74ea8cd1b0767659f704b482d07c103" > < div class = "ttname" > < a href = "classoperations__research_1_1_domain.html#aa74ea8cd1b0767659f704b482d07c103" > operations_research::Domain::Max< / a > < / div > < div class = "ttdeci" > int64_t Max() const< / div > < div class = "ttdoc" > Returns the max value of the domain.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sorted__interval__list_8cc_source.html#l00219" > sorted_interval_list.cc:219< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a5190bd84fe4e628ebde4007e970f84ce" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a5190bd84fe4e628ebde4007e970f84ce" > operations_research::sat::LoadRoutesConstraint< / a > < / div > < div class = "ttdeci" > void LoadRoutesConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l01246" > cp_model_loader.cc:1246< / a > < / div > < / div >
< div class = "ttc" id = "util_2logging_8h_html" > < div class = "ttname" > < a href = "util_2logging_8h.html" > logging.h< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a9a75e5a5c8a2be39edaf66f75618704a" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a9a75e5a5c8a2be39edaf66f75618704a" > operations_research::sat::LoadAtMostOneConstraint< / a > < / div > < div class = "ttdeci" > void LoadAtMostOneConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l00887" > cp_model_loader.cc:887< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_symmetry_proto_html" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_symmetry_proto.html" > operations_research::sat::SymmetryProto< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l05936" > cp_model.pb.h:5936< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a50082c82c7d605e10de47911f0485526" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a50082c82c7d605e10de47911f0485526" > operations_research::sat::LoadCumulativeConstraint< / a > < / div > < div class = "ttdeci" > void LoadCumulativeConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l01224" > cp_model_loader.cc:1224< / a > < / div > < / div >
< div class = "ttc" id = "cumulative_8h_html" > < div class = "ttname" > < a href = "cumulative_8h.html" > cumulative.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1_solver_logger_html" > < div class = "ttname" > < a href = "classoperations__research_1_1_solver_logger.html" > operations_research::SolverLogger< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "util_2logging_8h_source.html#l00033" > util/logging.h:33< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_model_mapping_html" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_mapping.html" > operations_research::sat::CpModelMapping< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__mapping_8h_source.html#l00065" > cp_model_mapping.h:65< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_model_proto_html_ab1fa807713e298b5262f1b6085834b69" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_proto.html#ab1fa807713e298b5262f1b6085834b69" > operations_research::sat::CpModelProto::symmetry< / a > < / div > < div class = "ttdeci" > const ::operations_research::sat::SymmetryProto & symmetry() const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l12676" > cp_model.pb.h:12676< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a8f4f9889ab3527ce5381ed32e2fae25a" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a8f4f9889ab3527ce5381ed32e2fae25a" > operations_research::sat::ReindexArcs< / a > < / div > < div class = "ttdeci" > int ReindexArcs(IntContainer *tails, IntContainer *heads)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "circuit_8h_source.html#l00168" > circuit.h:168< / a > < / div > < / div >
< div class = "ttc" id = "alldiff__cst_8cc_html_a26e6db9bcc64b584051ecc28171ed11f" > < div class = "ttname" > < a href = "alldiff__cst_8cc.html#a26e6db9bcc64b584051ecc28171ed11f" > max< / a > < / div > < div class = "ttdeci" > int64_t max< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "alldiff__cst_8cc_source.html#l00140" > alldiff_cst.cc:140< / a > < / div > < / div >
< div class = "ttc" id = "strong__vector_8h_html" > < div class = "ttname" > < a href = "strong__vector_8h.html" > strong_vector.h< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__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#l00737" > integer_expr.h:737< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_ab8221efb0cc3dd5059674845b4db7fed" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#ab8221efb0cc3dd5059674845b4db7fed" > operations_research::sat::AtMostOneConstraint< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> AtMostOneConstraint(const std::vector< Literal > & literals)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__solver_8h_source.html#l00892" > sat_solver.h:892< / a > < / div > < / div >
< div class = "ttc" id = "map__util_8h_html" > < div class = "ttname" > < a href = "map__util_8h.html" > map_util.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_model_proto_html_a6a4544ca20489d70e302f5d6d374a012" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_proto.html#a6a4544ca20489d70e302f5d6d374a012" > operations_research::sat::CpModelProto::variables< / a > < / div > < div class = "ttdeci" > const ::operations_research::sat::IntegerVariableProto & variables(int index) const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l12243" > cp_model.pb.h:12243< / a > < / div > < / div >
< div class = "ttc" id = "cp__model__fz__solver_8cc_html_aed003f5eb5197bc586b7ef2c36a63da2" > < div class = "ttname" > < a href = "cp__model__fz__solver_8cc.html#aed003f5eb5197bc586b7ef2c36a63da2" > proto< / a > < / div > < div class = "ttdeci" > CpModelProto proto< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__fz__solver_8cc_source.html#l00119" > cp_model_fz_solver.cc:119< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_constraint_proto_html" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_constraint_proto.html" > operations_research::sat::ConstraintProto< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l03772" > cp_model.pb.h:3772< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1_domain_html_a8cf21a67f7d81a800ff912239bb2db64" > < div class = "ttname" > < a href = "classoperations__research_1_1_domain.html#a8cf21a67f7d81a800ff912239bb2db64" > operations_research::Domain::Min< / a > < / div > < div class = "ttdeci" > int64_t Min() const< / div > < div class = "ttdoc" > Returns the min value of the domain.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sorted__interval__list_8cc_source.html#l00214" > sorted_interval_list.cc:214< / a > < / div > < / div >
< div class = "ttc" id = "intervals_8h_html" > < div class = "ttname" > < a href = "intervals_8h.html" > intervals.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__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#l00356" > integer.h:356< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_add67896a84f6372a648154c5770a0ae0" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#add67896a84f6372a648154c5770a0ae0" > operations_research::sat::kNoBooleanVariable< / a > < / div > < div class = "ttdeci" > const BooleanVariable kNoBooleanVariable(-1)< / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a8e68578cea7b3d6179f8fb95373b1c54" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a8e68578cea7b3d6179f8fb95373b1c54" > operations_research::sat::BooleanLinearConstraint< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> BooleanLinearConstraint(int64_t lower_bound, int64_t upper_bound, std::vector< LiteralWithCoeff > *cst)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__solver_8h_source.html#l00853" > sat_solver.h:853< / a > < / div > < / div >
< div class = "ttc" id = "all__different_8h_html" > < div class = "ttname" > < a href = "all__different_8h.html" > all_different.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_objective_proto_html_a81a65d7e582fb45427e0ffe69666bad9" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_objective_proto.html#a81a65d7e582fb45427e0ffe69666bad9" > operations_research::sat::CpObjectiveProto::vars< / a > < / div > < div class = "ttdeci" > int32_t vars(int index) const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l11234" > cp_model.pb.h:11234< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_model_proto_html" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_proto.html" > operations_research::sat::CpModelProto< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l06111" > cp_model.pb.h:6111< / a > < / div > < / div >
< div class = "ttc" id = "sorted__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 = "sat__solver_8h_html" > < div class = "ttname" > < a href = "sat__solver_8h.html" > sat_solver.h< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_ab716457062d8500d7315cfe29646de6b" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#ab716457062d8500d7315cfe29646de6b" > operations_research::sat::LoadNoOverlap2dConstraint< / a > < / div > < div class = "ttdeci" > void LoadNoOverlap2dConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l01211" > cp_model_loader.cc:1211< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__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#l00613" > integer.h:613< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_sat_parameters_html_a81e1f7c86b59fd7eea21210d68504efb" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_sat_parameters.html#a81e1f7c86b59fd7eea21210d68504efb" > operations_research::sat::SatParameters::boolean_encoding_level< / a > < / div > < div class = "ttdeci" > int32_t boolean_encoding_level() const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__parameters_8pb_8h_source.html#l06201" > sat_parameters.pb.h:6201< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_constraint_proto_html_ada030f50fcddb646af448ac7c5705e35ad60570d9bed938f8b11385a7ba7f3508" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35ad60570d9bed938f8b11385a7ba7f3508" > operations_research::sat::ConstraintProto::kExactlyOne< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l03819" > cp_model.pb.h:3819< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_model_proto_html_afce66afa8ae7776a449bba7313ea3559" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_proto.html#afce66afa8ae7776a449bba7313ea3559" > operations_research::sat::CpModelProto::constraints< / a > < / div > < div class = "ttdeci" > const ::operations_research::sat::ConstraintProto & constraints(int index) const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l12283" > cp_model.pb.h:12283< / a > < / div > < / div >
< div class = "ttc" id = "namespacegtl_html_aae28e97bd1fa93cb0032642550da7455" > < div class = "ttname" > < a href = "namespacegtl.html#aae28e97bd1fa93cb0032642550da7455" > gtl::ContainsKey< / a > < / div > < div class = "ttdeci" > bool ContainsKey(const Collection & collection, const Key & key)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "map__util_8h_source.html#l00200" > map_util.h:200< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a9f7dc553b18e0a44b713b2513f29a26f" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a9f7dc553b18e0a44b713b2513f29a26f" > operations_research::sat::LoadNoOverlapConstraint< / a > < / div > < div class = "ttdeci" > void LoadNoOverlapConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l01206" > cp_model_loader.cc:1206< / a > < / div > < / div >
< div class = "ttc" id = "cp__model__utils_8h_html" > < div class = "ttname" > < a href = "cp__model__utils_8h.html" > cp_model_utils.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_model_proto_html_a2787b866382b560920d55ce5cf129920" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_proto.html#a2787b866382b560920d55ce5cf129920" > operations_research::sat::CpModelProto::objective< / a > < / div > < div class = "ttdeci" > const ::operations_research::sat::CpObjectiveProto & objective() const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l12319" > cp_model.pb.h:12319< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a6ff77d5023ff68e4bd9958c53c88a99b" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a6ff77d5023ff68e4bd9958c53c88a99b" > operations_research::sat::Disjunctive< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> Disjunctive(const std::vector< IntervalVariable > & vars)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "disjunctive_8h_source.html#l00039" > disjunctive.h:39< / a > < / div > < / div >
< div class = "ttc" id = "routing__flow_8cc_html_a2acb49f4df5288066c43610bede123ec" > < div class = "ttname" > < a href = "routing__flow_8cc.html#a2acb49f4df5288066c43610bede123ec" > capacity< / a > < / div > < div class = "ttdeci" > int64_t capacity< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "routing__flow_8cc_source.html#l00151" > routing_flow.cc:151< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a1537797d4a741397c8630b739c021ddd" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a1537797d4a741397c8630b739c021ddd" > operations_research::sat::LoadExactlyOneConstraint< / a > < / div > < div class = "ttdeci" > void LoadExactlyOneConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l00893" > cp_model_loader.cc:893< / a > < / div > < / div >
< div class = "ttc" id = "precedences_8h_html" > < div class = "ttname" > < a href = "precedences_8h.html" > precedences.h< / a > < / div > < / div >
< div class = "ttc" id = "circuit_8h_html" > < div class = "ttname" > < a href = "circuit_8h.html" > circuit.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1_domain_html_a835826c4c5129b74553042a357a721ff" > < div class = "ttname" > < a href = "classoperations__research_1_1_domain.html#a835826c4c5129b74553042a357a721ff" > operations_research::Domain::IntersectionWith< / a > < / div > < div class = "ttdeci" > Domain IntersectionWith(const Domain & domain) const< / div > < div class = "ttdoc" > Returns the intersection of D and domain.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sorted__interval__list_8cc_source.html#l00303" > sorted_interval_list.cc:303< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_symmetry_propagator_html" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_symmetry_propagator.html" > operations_research::sat::SymmetryPropagator< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "symmetry_8h_source.html#l00061" > symmetry.h:61< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a64b1b8d5018080ad3e7dd7eb6df42274" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a64b1b8d5018080ad3e7dd7eb6df42274" > operations_research::sat::EnforcedClause< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> EnforcedClause(absl::Span< const Literal > enforcement_literals, absl::Span< const Literal > clause)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__solver_8h_source.html#l00952" > sat_solver.h:952< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a22d7b811bf8e75458bbfebd39fe5b8d0" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a22d7b811bf8e75458bbfebd39fe5b8d0" > 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_t upper_bound)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "integer__expr_8h_source.html#l00490" > integer_expr.h:490< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_model_proto_html_aeaf0da781ca9b370d96b7fbd3f74266a" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_proto.html#aeaf0da781ca9b370d96b7fbd3f74266a" > operations_research::sat::CpModelProto::constraints_size< / a > < / div > < div class = "ttdeci" > int constraints_size() const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l12265" > cp_model.pb.h:12265< / a > < / div > < / div >
< div class = "ttc" id = "structoperations__research_1_1sat_1_1_affine_expression_html" > < div class = "ttname" > < a href = "structoperations__research_1_1sat_1_1_affine_expression.html" > operations_research::sat::AffineExpression< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "integer_8h_source.html#l00227" > integer.h:227< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_sat_parameters_html_af31c9504e00da3cb14683cf746c309b9" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_sat_parameters.html#af31c9504e00da3cb14683cf746c309b9" > operations_research::sat::SatParameters::use_optional_variables< / a > < / div > < div class = "ttdeci" > bool use_optional_variables() const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__parameters_8pb_8h_source.html#l07883" > sat_parameters.pb.h:7883< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_linear_constraint_builder_html" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_linear_constraint_builder.html" > operations_research::sat::LinearConstraintBuilder< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat_2linear__constraint_8h_source.html#l00153" > sat/linear_constraint.h:153< / a > < / div > < / div >
< div class = "ttc" id = "saturated__arithmetic_8h_html" > < div class = "ttname" > < a href = "saturated__arithmetic_8h.html" > saturated_arithmetic.h< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_acb008be02076a99a06ab2a7da13afe66" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#acb008be02076a99a06ab2a7da13afe66" > operations_research::sat::FixedModuloConstraint< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> FixedModuloConstraint(AffineExpression a, IntegerValue b, AffineExpression c)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "integer__expr_8h_source.html#l00890" > integer_expr.h:890< / a > < / div > < / div >
< div class = "ttc" id = "base_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#l00702" > base/logging.h:702< / a > < / div > < / div >
< div class = "ttc" id = "sat__base_8h_html" > < div class = "ttname" > < a href = "sat__base_8h.html" > sat_base.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_model_proto_html_a777a6e330a22a8889389cb9b9c9f12d6" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_proto.html#a777a6e330a22a8889389cb9b9c9f12d6" > operations_research::sat::CpModelProto::has_objective< / a > < / div > < div class = "ttdeci" > bool has_objective() const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l12305" > cp_model.pb.h:12305< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__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 = "namespaceoperations__research_1_1sat_html_a467d0c8bf263413aae5e5e530d4c5259" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a467d0c8bf263413aae5e5e530d4c5259" > operations_research::sat::AllDifferentOnBounds< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> AllDifferentOnBounds(const std::vector< IntegerVariable > & vars)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "all__different_8h_source.html#l00046" > all_different.h:46< / a > < / div > < / div >
< div class = "ttc" id = "sat__parameters_8pb_8h_html" > < div class = "ttname" > < a href = "sat__parameters_8pb_8h.html" > sat_parameters.pb.h< / a > < / div > < / div >
< div class = "ttc" id = "cp__model__solver_8cc_html_a6ac76d8a372013f67c4973012948ec84" > < div class = "ttname" > < a href = "cp__model__solver_8cc.html#a6ac76d8a372013f67c4973012948ec84" > model_proto< / a > < / div > < div class = "ttdeci" > CpModelProto const * model_proto< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__solver_8cc_source.html#l01949" > cp_model_solver.cc:1949< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a1bf9586612493e7cfcc892c54fecf49a" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a1bf9586612493e7cfcc892c54fecf49a" > operations_research::sat::LoadIntProdConstraint< / a > < / div > < div class = "ttdeci" > void LoadIntProdConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l01140" > cp_model_loader.cc:1140< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_integer_variable_proto_html" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_integer_variable_proto.html" > operations_research::sat::IntegerVariableProto< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l00272" > cp_model.pb.h:272< / a > < / div > < / div >
< div class = "ttc" id = "base_2logging_8h_html" > < div class = "ttname" > < a href = "base_2logging_8h.html" > logging.h< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__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#l00030" > integer.cc:30< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_sat_parameters_html_a180d2b6ac73a2f0e7c2162f1083d34eb" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_sat_parameters.html#a180d2b6ac73a2f0e7c2162f1083d34eb" > operations_research::sat::SatParameters::enumerate_all_solutions< / a > < / div > < div class = "ttdeci" > bool enumerate_all_solutions() const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__parameters_8pb_8h_source.html#l07238" > sat_parameters.pb.h:7238< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__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#l01724" > integer.h:1724< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_sat_parameters_html_ace8789134615e7fc516814ea2d6cb298" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_sat_parameters.html#ace8789134615e7fc516814ea2d6cb298" > operations_research::sat::SatParameters::max_domain_size_when_encoding_eq_neq_constraints< / a > < / div > < div class = "ttdeci" > int32_t max_domain_size_when_encoding_eq_neq_constraints() const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__parameters_8pb_8h_source.html#l06229" > sat_parameters.pb.h:6229< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a9e9bd05a784d4b295ed4da47278990e1" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a9e9bd05a784d4b295ed4da47278990e1" > operations_research::sat::LoadCircuitConstraint< / a > < / div > < div class = "ttdeci" > void LoadCircuitConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l01234" > cp_model_loader.cc:1234< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1_domain_html" > < div class = "ttname" > < a href = "classoperations__research_1_1_domain.html" > operations_research::Domain< / a > < / div > < div class = "ttdoc" > We call domain any subset of Int64 = [kint64min, kint64max].< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sorted__interval__list_8h_source.html#l00081" > sorted_interval_list.h:81< / a > < / div > < / div >
< div class = "ttc" id = "implied__bounds_8h_html" > < div class = "ttname" > < a href = "implied__bounds_8h.html" > implied_bounds.h< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_ae2f799895718aafaf91c458512b0cd70" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#ae2f799895718aafaf91c458512b0cd70" > operations_research::sat::FullyEncodeVariable< / a > < / div > < div class = "ttdeci" > std::function< std::vector< ValueLiteralPair > Model *)> FullyEncodeVariable(IntegerVariable var)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "integer_8h_source.html#l01773" > integer.h:1773< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a5abc4e5241889a4b795ad21041866252" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a5abc4e5241889a4b795ad21041866252" > operations_research::sat::SubcircuitConstraint< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> SubcircuitConstraint(int num_nodes, const std::vector< int > & tails, const std::vector< int > & heads, const std::vector< Literal > & literals, bool multiple_subcircuit_through_zero=false)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "circuit_8h_source.html#l00201" > circuit.h:201< / a > < / div > < / div >
< div class = "ttc" id = "diffn_8h_html" > < div class = "ttname" > < a href = "diffn_8h.html" > diffn.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_decision_strategy_proto_html" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_decision_strategy_proto.html" > operations_research::sat::DecisionStrategyProto< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l05108" > cp_model.pb.h:5108< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_acbee1df94bc06fb7ca19708cd82a21e3" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#acbee1df94bc06fb7ca19708cd82a21e3" > operations_research::sat::AddFullEncodingFromSearchBranching< / a > < / div > < div class = "ttdeci" > void AddFullEncodingFromSearchBranching(const CpModelProto & model_proto, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l00840" > cp_model_loader.cc:840< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__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#l00092" > integer.h:92< / a > < / div > < / div >
< div class = "ttc" id = "pb__constraint_8h_html" > < div class = "ttname" > < a href = "pb__constraint_8h.html" > pb_constraint.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_model_html_a7b8d774b566431b8932ba0f3c921ec7d" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_model.html#a7b8d774b566431b8932ba0f3c921ec7d" > operations_research::sat::Model::Add< / a > < / div > < div class = "ttdeci" > T Add(std::function< T(Model *)> f)< / div > < div class = "ttdoc" > This makes it possible to have a nicer API on the client side, and it allows both of these forms:< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat_2model_8h_source.html#l00081" > sat/model.h:81< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1_domain_html_a22c6c2f121586b5d76feb4b0e536dfde" > < div class = "ttname" > < a href = "classoperations__research_1_1_domain.html#a22c6c2f121586b5d76feb4b0e536dfde" > operations_research::Domain::Contains< / a > < / div > < div class = "ttdeci" > bool Contains(int64_t value) const< / div > < div class = "ttdoc" > Returns true iff value is in Domain.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sorted__interval__list_8cc_source.html#l00242" > sorted_interval_list.cc:242< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_literal_html_a9784d5d367dedd98ed04e2fa348f074f" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_literal.html#a9784d5d367dedd98ed04e2fa348f074f" > operations_research::sat::Literal::Literal< / a > < / div > < div class = "ttdeci" > Literal()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__base_8h_source.html#l00076" > sat_base.h:76< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a42a3b266d8c6dfab1c14baa6c04e2333" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a42a3b266d8c6dfab1c14baa6c04e2333" > operations_research::sat::HasEnforcementLiteral< / a > < / div > < div class = "ttdeci" > bool HasEnforcementLiteral(const ConstraintProto & ct)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__utils_8h_source.html#l00039" > cp_model_utils.h:39< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_adfbeb7391a9578a4cdba60c46b05e19e" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#adfbeb7391a9578a4cdba60c46b05e19e" > operations_research::sat::PropagateEncodingFromEquivalenceRelations< / a > < / div > < div class = "ttdeci" > void PropagateEncodingFromEquivalenceRelations(const CpModelProto & model_proto, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l00677" > cp_model_loader.cc:677< / a > < / div > < / div >
< div class = "ttc" id = "cp__model_8pb_8h_html" > < div class = "ttname" > < a href = "cp__model_8pb_8h.html" > cp_model.pb.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_model_proto_html_a6e5a7240e89f8a6665de1da5554603ec" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_proto.html#a6e5a7240e89f8a6665de1da5554603ec" > operations_research::sat::CpModelProto::search_strategy< / a > < / div > < div class = "ttdeci" > const ::operations_research::sat::DecisionStrategyProto & search_strategy(int index) const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l12503" > cp_model.pb.h:12503< / a > < / div > < / div >
< div class = "ttc" id = "cp__model__loader_8h_html" > < div class = "ttname" > < a href = "cp__model__loader_8h.html" > cp_model_loader.h< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a59ba67bcf20a8657c8d0e6c3f120121f" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a59ba67bcf20a8657c8d0e6c3f120121f" > operations_research::sat::LoadBoolXorConstraint< / a > < / div > < div class = "ttdeci" > void LoadBoolXorConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l00899" > cp_model_loader.cc:899< / a > < / div > < / div >
< div class = "ttc" id = "table_8h_html" > < div class = "ttname" > < a href = "table_8h.html" > table.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_sat_solver_html_af67fe279478772a6d1492a7f673bda5d" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_sat_solver.html#af67fe279478772a6d1492a7f673bda5d" > operations_research::sat::SatSolver::AddProblemClause< / a > < / div > < div class = "ttdeci" > bool AddProblemClause(absl::Span< const Literal > literals)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__solver_8cc_source.html#l00204" > sat_solver.cc:204< / a > < / div > < / div >
< div class = "ttc" id = "integer_8h_html" > < div class = "ttname" > < a href = "integer_8h.html" > integer.h< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_cp_model_mapping_html_a39bcc12f6eb31e15986f6a824e9bae8c" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_cp_model_mapping.html#a39bcc12f6eb31e15986f6a824e9bae8c" > operations_research::sat::CpModelMapping::Intervals< / a > < / div > < div class = "ttdeci" > std::vector< IntervalVariable > Intervals(const ProtoIndices & indices) const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__mapping_8h_source.html#l00132" > cp_model_mapping.h:132< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_html" > < div class = "ttname" > < a href = "namespaceoperations__research.html" > operations_research< / a > < / div > < div class = "ttdoc" > Collection of objects used to extend the Constraint Solver library.< / 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 = "namespaceoperations__research_1_1sat_html_a5bd8c44473618b7eafd33ba978db2f06" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a5bd8c44473618b7eafd33ba978db2f06" > operations_research::sat::kNoIntegerVariable< / a > < / div > < div class = "ttdeci" > const IntegerVariable kNoIntegerVariable(-1)< / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a3784d1f3239b842751828e471e1886c8" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a3784d1f3239b842751828e471e1886c8" > operations_research::sat::LiteralXorIs< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> LiteralXorIs(const std::vector< Literal > & literals, bool value)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__constraints_8h_source.html#l00112" > cp_constraints.h:112< / a > < / div > < / div >
< div class = "ttc" id = "structoperations__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#l01377" > integer.h:1377< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_abd70206879e5ffd6799cf17695651e5a" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#abd70206879e5ffd6799cf17695651e5a" > operations_research::sat::NonOverlappingRectangles< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> NonOverlappingRectangles(const std::vector< IntervalVariable > & x, const std::vector< IntervalVariable > & y, bool is_strict, bool add_cumulative_relaxation=true)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "diffn_8h_source.html#l00145" > diffn.h:145< / a > < / div > < / div >
< div class = "ttc" id = "cp__model__fz__solver_8cc_html_a10a1eab179b472c030bdc2a2efef7219" > < div class = "ttname" > < a href = "cp__model__fz__solver_8cc.html#a10a1eab179b472c030bdc2a2efef7219" > parameters< / a > < / div > < div class = "ttdeci" > SatParameters parameters< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__fz__solver_8cc_source.html#l00120" > cp_model_fz_solver.cc:120< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_aa6b56b8b36d20c0da816098cc486a821" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#aa6b56b8b36d20c0da816098cc486a821" > operations_research::sat::FixedDivisionConstraint< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> FixedDivisionConstraint(AffineExpression a, IntegerValue b, AffineExpression c)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "integer__expr_8h_source.html#l00876" > integer_expr.h:876< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_af68f789cce73e17fbe614888479c3f0d" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#af68f789cce73e17fbe614888479c3f0d" > operations_research::sat::WeightedSumGreaterOrEqual< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> WeightedSumGreaterOrEqual(const std::vector< IntegerVariable > & vars, const VectorInt & coefficients, int64_t lower_bound)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "integer__expr_8h_source.html#l00468" > integer_expr.h:468< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a217338425de4389014563f1f24331713" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a217338425de4389014563f1f24331713" > operations_research::sat::RefIsPositive< / a > < / div > < div class = "ttdeci" > bool RefIsPositive(int ref)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__utils_8h_source.html#l00036" > cp_model_utils.h:36< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__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 = "structoperations__research_1_1sat_1_1_index_references_html_a0821f58cb944376b1f8919327f202443" > < div class = "ttname" > < a href = "structoperations__research_1_1sat_1_1_index_references.html#a0821f58cb944376b1f8919327f202443" > operations_research::sat::IndexReferences::variables< / a > < / div > < div class = "ttdeci" > std::vector< int > variables< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__utils_8h_source.html#l00055" > cp_model_utils.h:55< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_integer_trail_html_a267d05a02fdcc9439a5a54bf9f0ccd3c" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_integer_trail.html#a267d05a02fdcc9439a5a54bf9f0ccd3c" > operations_research::sat::IntegerTrail::ReserveSpaceForNumVariables< / a > < / div > < div class = "ttdeci" > void ReserveSpaceForNumVariables(int num_vars)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "integer_8cc_source.html#l00611" > integer.cc:611< / a > < / div > < / div >
< div class = "ttc" id = "expr__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#l01874" > expr_array.cc:1874< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a1e0082b201a54cee7bf210998888c328" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a1e0082b201a54cee7bf210998888c328" > operations_research::sat::LoadBoolOrConstraint< / a > < / div > < div class = "ttdeci" > void LoadBoolOrConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l00864" > cp_model_loader.cc:864< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_aa5832284102731626af241e30ed9134f" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#aa5832284102731626af241e30ed9134f" > operations_research::sat::LoadAllDiffConstraint< / a > < / div > < div class = "ttdeci" > void LoadAllDiffConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l01133" > cp_model_loader.cc:1133< / a > < / div > < / div >
< div class = "ttc" id = "vlog__is__on_8h_html_a956152cad330225654d128f35c00efce" > < div class = "ttname" > < a href = "vlog__is__on_8h.html#a956152cad330225654d128f35c00efce" > VLOG_IS_ON< / a > < / div > < div class = "ttdeci" > #define VLOG_IS_ON(verboselevel)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "vlog__is__on_8h_source.html#l00044" > vlog_is_on.h:44< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__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#l00906" > sat_solver.h:906< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a1b1462c55662c1263c0e1f54ed6e06cd" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a1b1462c55662c1263c0e1f54ed6e06cd" > operations_research::sat::ExactlyOneConstraint< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> ExactlyOneConstraint(const std::vector< Literal > & literals)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__solver_8h_source.html#l00878" > sat_solver.h:878< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_ab1240060466ba48a36a4b36379bce26a" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#ab1240060466ba48a36a4b36379bce26a" > operations_research::sat::ReadDomainFromProto< / a > < / div > < div class = "ttdeci" > Domain ReadDomainFromProto(const ProtoWithDomain & proto)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__utils_8h_source.html#l00104" > cp_model_utils.h:104< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_sat_parameters_html" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_sat_parameters.html" > operations_research::sat::SatParameters< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sat__parameters_8pb_8h_source.html#l00347" > sat_parameters.pb.h:347< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_intervals_repository_html" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_intervals_repository.html" > operations_research::sat::IntervalsRepository< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "intervals_8h_source.html#l00047" > intervals.h:47< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1_domain_html_a8e12342fc420701fbffd97025421575a" > < div class = "ttname" > < a href = "classoperations__research_1_1_domain.html#a8e12342fc420701fbffd97025421575a" > operations_research::Domain::IsEmpty< / a > < / div > < div class = "ttdeci" > bool IsEmpty() const< / div > < div class = "ttdoc" > Returns true if this is the empty set.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "sorted__interval__list_8cc_source.html#l00198" > sorted_interval_list.cc:198< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__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#l00979" > cp_model_loader.cc:979< / a > < / div > < / div >
< div class = "ttc" id = "demon__profiler_8cc_html_ac072af30c4ffbc834bb4c681f6ecb514" > < div class = "ttname" > < a href = "demon__profiler_8cc.html#ac072af30c4ffbc834bb4c681f6ecb514" > value< / a > < / div > < div class = "ttdeci" > int64_t value< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "demon__profiler_8cc_source.html#l00044" > demon_profiler.cc:44< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_ac6a1be9a6c43165f51a69d15c90d7567" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#ac6a1be9a6c43165f51a69d15c90d7567" > operations_research::sat::Cumulative< / a > < / div > < div class = "ttdeci" > std::function< void(Model *)> Cumulative(const std::vector< IntervalVariable > & vars, const std::vector< AffineExpression > & demands, AffineExpression capacity, SchedulingConstraintHelper *helper=nullptr)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cumulative_8h_source.html#l00045" > cumulative.h:45< / a > < / div > < / div >
< div class = "ttc" id = "optimization_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#l00085" > optimization.cc:85< / a > < / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_sparse_permutation_proto_html" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_sparse_permutation_proto.html" > operations_research::sat::SparsePermutationProto< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l05569" > cp_model.pb.h:5569< / a > < / div > < / div >
< div class = "ttc" id = "demon__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#l00043" > demon_profiler.cc:43< / a > < / div > < / div >
< div class = "ttc" id = "base_2logging_8h_html_ab62f5ed8f2d48e29802be0cbbcd1359a" > < div class = "ttname" > < a href = "base_2logging_8h.html#ab62f5ed8f2d48e29802be0cbbcd1359a" > DCHECK_LT< / a > < / div > < div class = "ttdeci" > #define DCHECK_LT(val1, val2)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "base_2logging_8h_source.html#l00893" > base/logging.h:893< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_aba8e3465fc58d3b287e05451d5230bae" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#aba8e3465fc58d3b287e05451d5230bae" > operations_research::sat::GetReferencesUsedByConstraint< / a > < / div > < div class = "ttdeci" > IndexReferences GetReferencesUsedByConstraint(const ConstraintProto & ct)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__utils_8cc_source.html#l00045" > cp_model_utils.cc:45< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a1a6eefe7a5bfd8bdf83407c9e6af56f5" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a1a6eefe7a5bfd8bdf83407c9e6af56f5" > operations_research::sat::LoadVariables< / a > < / div > < div class = "ttdeci" > void LoadVariables(const CpModelProto & model_proto, bool view_all_booleans_as_integers, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l00119" > cp_model_loader.cc:119< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a55c57c1725f5333ffe73f0fefc377bb8" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a55c57c1725f5333ffe73f0fefc377bb8" > operations_research::sat::LoadBoolAndConstraint< / a > < / div > < div class = "ttdeci" > void LoadBoolAndConstraint(const ConstraintProto & ct, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l00873" > cp_model_loader.cc:873< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a4af0100d434de55ff841156fdac6d180" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a4af0100d434de55ff841156fdac6d180" > operations_research::sat::LoadBooleanSymmetries< / a > < / div > < div class = "ttdeci" > void LoadBooleanSymmetries(const CpModelProto & model_proto, Model *m)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model__loader_8cc_source.html#l00261" > cp_model_loader.cc:261< / a > < / div > < / div >
< div class = "ttc" id = "namespaceoperations__research_1_1sat_html_a5dcbeecb5d63f15f9f4c79c2ffa08777" > < div class = "ttname" > < a href = "namespaceoperations__research_1_1sat.html#a5dcbeecb5d63f15f9f4c79c2ffa08777" > operations_research::sat::kNoIntervalVariable< / a > < / div > < div class = "ttdeci" > const IntervalVariable kNoIntervalVariable(-1)< / div > < / div >
< div class = "ttc" id = "classoperations__research_1_1sat_1_1_integer_variable_proto_html_a7d8011ca186f4ad850fcd0e2278d278c" > < div class = "ttname" > < a href = "classoperations__research_1_1sat_1_1_integer_variable_proto.html#a7d8011ca186f4ad850fcd0e2278d278c" > operations_research::sat::IntegerVariableProto::domain< / a > < / div > < div class = "ttdeci" > int64_t domain(int index) const< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "cp__model_8pb_8h_source.html#l07102" > cp_model.pb.h:7102< / a > < / div > < / div >
2021-01-26 11:28:50 +01:00
< / div > <!-- fragment --> < / div > <!-- contents -->
< / div > <!-- doc - content -->
2020-09-01 16:00:33 +02:00
<!-- HTML footer for doxygen 1.8.18 -->
<!-- start footer part -->
< div id = "nav-path" class = "navpath" > <!-- id is needed for treeview function! -->
< ul >
< li class = "navelem" > < a class = "el" href = "dir_a7cc1eeded8f693d0da6c729bc88c45a.html" > ortools< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_dddac007a45022d9da6ea1dee012c3b9.html" > sat< / a > < / li > < li class = "navelem" > < a class = "el" href = "cp__model__loader_8cc.html" > cp_model_loader.cc< / a > < / li >
< li class = "footer" > Generated by
< a href = "http://www.doxygen.org/index.html" >
2022-01-16 18:02:36 +01:00
< img class = "footer" src = "doxygen.png" alt = "doxygen" / > < / a > 1.8.15 < / li >
2020-09-01 16:00:33 +02:00
< / ul >
< / div >
< / body >
< / html >
