Files
ortools-clone/docs/cpp_sat/functions_func.html
2019-06-13 15:51:12 +02:00

372 lines
24 KiB
HTML

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>OR-Tools</title>
<meta http-equiv="Content-Type" content="text/html;"/>
<meta charset="utf-8"/>
<!--<link rel='stylesheet' type='text/css' href="https://fonts.googleapis.com/css?family=Ubuntu:400,700,400italic"/>-->
<link rel="stylesheet" type="text/css" href="doxygen.css" title="default" media="screen,print" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
</head>
<body>
<div id="banner-container">
<div id="banner">
<span id="sfml">OR-Tools 7.1@</span>
</div>
</div>
<div id="content">
<!-- Generated by Doxygen 1.8.15 -->
<div id="navrow1" class="tabs">
<ul class="tablist">
<li><a href="index.html"><span>Main&#160;Page</span></a></li>
<li><a href="pages.html"><span>Related&#160;Pages</span></a></li>
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
<li class="current"><a href="annotated.html"><span>Classes</span></a></li>
<li><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div id="navrow2" class="tabs2">
<ul class="tablist">
<li><a href="annotated.html"><span>Class&#160;List</span></a></li>
<li><a href="classes.html"><span>Class&#160;Index</span></a></li>
<li><a href="inherits.html"><span>Class&#160;Hierarchy</span></a></li>
<li class="current"><a href="functions.html"><span>Class&#160;Members</span></a></li>
</ul>
</div>
<div id="navrow3" class="tabs2">
<ul class="tablist">
<li><a href="functions.html"><span>All</span></a></li>
<li class="current"><a href="functions_func.html"><span>Functions</span></a></li>
<li><a href="functions_vars.html"><span>Variables</span></a></li>
<li><a href="functions_type.html"><span>Typedefs</span></a></li>
<li><a href="functions_enum.html"><span>Enumerations</span></a></li>
<li><a href="functions_eval.html"><span>Enumerator</span></a></li>
<li><a href="functions_rela.html"><span>Related&#160;Functions</span></a></li>
</ul>
</div>
<div id="navrow4" class="tabs3">
<ul class="tablist">
<li class="current"><a href="functions_func.html#index_a"><span>a</span></a></li>
<li><a href="functions_func_b.html#index_b"><span>b</span></a></li>
<li><a href="functions_func_c.html#index_c"><span>c</span></a></li>
<li><a href="functions_func_d.html#index_d"><span>d</span></a></li>
<li><a href="functions_func_e.html#index_e"><span>e</span></a></li>
<li><a href="functions_func_f.html#index_f"><span>f</span></a></li>
<li><a href="functions_func_g.html#index_g"><span>g</span></a></li>
<li><a href="functions_func_h.html#index_h"><span>h</span></a></li>
<li><a href="functions_func_i.html#index_i"><span>i</span></a></li>
<li><a href="functions_func_l.html#index_l"><span>l</span></a></li>
<li><a href="functions_func_m.html#index_m"><span>m</span></a></li>
<li><a href="functions_func_n.html#index_n"><span>n</span></a></li>
<li><a href="functions_func_o.html#index_o"><span>o</span></a></li>
<li><a href="functions_func_p.html#index_p"><span>p</span></a></li>
<li><a href="functions_func_r.html#index_r"><span>r</span></a></li>
<li><a href="functions_func_s.html#index_s"><span>s</span></a></li>
<li><a href="functions_func_t.html#index_t"><span>t</span></a></li>
<li><a href="functions_func_u.html#index_u"><span>u</span></a></li>
<li><a href="functions_func_v.html#index_v"><span>v</span></a></li>
<li><a href="functions_func_w.html#index_w"><span>w</span></a></li>
<li><a href="functions_func_x.html#index_x"><span>x</span></a></li>
<li><a href="functions_func_y.html#index_y"><span>y</span></a></li>
<li><a href="functions_func_~.html#index__7E"><span>~</span></a></li>
</ul>
</div>
</div><!-- top -->
<div class="contents">
&#160;
<h3><a id="index_a"></a>- a -</h3><ul>
<li>actives()
: <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraintProto.html#acecfe2d5a55deaa5b06992a93d6484c9">operations_research::sat::ReservoirConstraintProto</a>
</li>
<li>actives_size()
: <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraintProto.html#aaee8b2a879ba80aa472b95820de3b6f3">operations_research::sat::ReservoirConstraintProto</a>
</li>
<li>Add()
: <a class="el" href="classoperations__research_1_1sat_1_1Model.html#a059b9d223761f2b9cc82df4871ae36fa">operations_research::sat::Model</a>
</li>
<li>add_actives()
: <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraintProto.html#ab9cbf0a91106598317a46cad679c260c">operations_research::sat::ReservoirConstraintProto</a>
</li>
<li>add_cg_cuts()
: <a class="el" href="classoperations__research_1_1sat_1_1SatParameters.html#a05b0283ab0ec514dc5491661dbc2e34b">operations_research::sat::SatParameters</a>
</li>
<li>add_coeffs()
: <a class="el" href="classoperations__research_1_1sat_1_1CpObjectiveProto.html#ac0a8b1e3648120495074c53a53c7f853">operations_research::sat::CpObjectiveProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1LinearConstraintProto.html#a16ded2172bd8e0eb24b8d6ddec8ed509">operations_research::sat::LinearConstraintProto</a>
</li>
<li>add_constraints()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelProto.html#a78bf9851b0383163d8c329d5e2e49d29">operations_research::sat::CpModelProto</a>
</li>
<li>add_demands()
: <a class="el" href="classoperations__research_1_1sat_1_1CumulativeConstraintProto.html#a646544a220adb95bc37ff6bad40b533f">operations_research::sat::CumulativeConstraintProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraintProto.html#aec1a9af37b5eda800df7954c397af66a">operations_research::sat::ReservoirConstraintProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1RoutesConstraintProto.html#a63a12f09c4bc8fdde43ac4b559763a89">operations_research::sat::RoutesConstraintProto</a>
</li>
<li>add_distinguished_nodes()
: <a class="el" href="classoperations__research_1_1sat_1_1CircuitCoveringConstraintProto.html#adf3da7be113000ed83607e3116ce8741">operations_research::sat::CircuitCoveringConstraintProto</a>
</li>
<li>add_domain()
: <a class="el" href="classoperations__research_1_1sat_1_1CpObjectiveProto.html#af22e8e07cea0ee83e347e83ad4afcc91">operations_research::sat::CpObjectiveProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1IntegerVariableProto.html#a6a5111609ed5868ec8e9e94ea3b97112">operations_research::sat::IntegerVariableProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1LinearConstraintProto.html#aea11befb2a8995c54d9f9aec3e0ddd1f">operations_research::sat::LinearConstraintProto</a>
</li>
<li>add_enforcement_literal()
: <a class="el" href="classoperations__research_1_1sat_1_1ConstraintProto.html#ad436d37ed3f40815cc2c988656940a13">operations_research::sat::ConstraintProto</a>
</li>
<li>add_f_direct()
: <a class="el" href="classoperations__research_1_1sat_1_1InverseConstraintProto.html#aab56f0400d82e12b68f0b7a2551a5b94">operations_research::sat::InverseConstraintProto</a>
</li>
<li>add_f_inverse()
: <a class="el" href="classoperations__research_1_1sat_1_1InverseConstraintProto.html#a26393486a91d83ad6d2c167cd027b139">operations_research::sat::InverseConstraintProto</a>
</li>
<li>add_final_states()
: <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a0dff0dadcfc0fa8c28c8ac1fa094b778">operations_research::sat::AutomatonConstraintProto</a>
</li>
<li>add_heads()
: <a class="el" href="classoperations__research_1_1sat_1_1CircuitConstraintProto.html#a934fa3aeaeb55e19742e07813cd283ef">operations_research::sat::CircuitConstraintProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1RoutesConstraintProto.html#a2a657c65614fd2013ddbcd59a116159d">operations_research::sat::RoutesConstraintProto</a>
</li>
<li>add_intervals()
: <a class="el" href="classoperations__research_1_1sat_1_1CumulativeConstraintProto.html#ac77f7363de61db1fcbe7386938da6dfc">operations_research::sat::CumulativeConstraintProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1NoOverlapConstraintProto.html#a31a037f85fee9f86f38ed200709a20ad">operations_research::sat::NoOverlapConstraintProto</a>
</li>
<li>add_knapsack_cuts()
: <a class="el" href="classoperations__research_1_1sat_1_1SatParameters.html#aa9d1f7d5ab75524506aa61259a9def86">operations_research::sat::SatParameters</a>
</li>
<li>add_literals()
: <a class="el" href="classoperations__research_1_1sat_1_1BoolArgumentProto.html#a749ebb82bf43204a4e1ea9cb17c533cc">operations_research::sat::BoolArgumentProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1CircuitConstraintProto.html#af9a48fb2a07e20f850c529f7a76aa26f">operations_research::sat::CircuitConstraintProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1RoutesConstraintProto.html#a730a4d2d29418698249237a9dc6542e4">operations_research::sat::RoutesConstraintProto</a>
</li>
<li>add_lp_constraints_lazily()
: <a class="el" href="classoperations__research_1_1sat_1_1SatParameters.html#a2019d199f858dd546ccd593b26ab198c">operations_research::sat::SatParameters</a>
</li>
<li>add_mir_cuts()
: <a class="el" href="classoperations__research_1_1sat_1_1SatParameters.html#ab8cb2bad5c31fe58b2ee94344891f60e">operations_research::sat::SatParameters</a>
</li>
<li>add_nexts()
: <a class="el" href="classoperations__research_1_1sat_1_1CircuitCoveringConstraintProto.html#a5db8ca7f4e96ce3b3a3396aa397f5351">operations_research::sat::CircuitCoveringConstraintProto</a>
</li>
<li>add_restart_algorithms()
: <a class="el" href="classoperations__research_1_1sat_1_1SatParameters.html#a649423537b705b6efaea2c2049bffa58">operations_research::sat::SatParameters</a>
</li>
<li>add_search_strategy()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelProto.html#a7dd859d4f12c6eb072d4bde18c079eb8">operations_research::sat::CpModelProto</a>
</li>
<li>add_solution()
: <a class="el" href="classoperations__research_1_1sat_1_1CpSolverResponse.html#a146a48ba2588d930b60a2322b25cb941">operations_research::sat::CpSolverResponse</a>
</li>
<li>add_solution_lower_bounds()
: <a class="el" href="classoperations__research_1_1sat_1_1CpSolverResponse.html#a7530e4b6478cda7692ba9abed5bd83da">operations_research::sat::CpSolverResponse</a>
</li>
<li>add_solution_upper_bounds()
: <a class="el" href="classoperations__research_1_1sat_1_1CpSolverResponse.html#afd43c080ad197f5f2b56c6e02b7892e9">operations_research::sat::CpSolverResponse</a>
</li>
<li>add_tails()
: <a class="el" href="classoperations__research_1_1sat_1_1CircuitConstraintProto.html#a34bd0d3c0fcf3bc84a925c6043e333ff">operations_research::sat::CircuitConstraintProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1RoutesConstraintProto.html#a9dc96a8d328728424eef7c1bc39f55e6">operations_research::sat::RoutesConstraintProto</a>
</li>
<li>add_tightened_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1CpSolverResponse.html#ae3a8d933bc96bc411aa283b0a5ae53a5">operations_research::sat::CpSolverResponse</a>
</li>
<li>add_times()
: <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraintProto.html#a4ad9c91833bd1b77bc51f2fd075732b7">operations_research::sat::ReservoirConstraintProto</a>
</li>
<li>add_transformations()
: <a class="el" href="classoperations__research_1_1sat_1_1DecisionStrategyProto.html#a0c7fb75bffeee9198040855658bb140d">operations_research::sat::DecisionStrategyProto</a>
</li>
<li>add_transition_head()
: <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a58a98d5c7fd069b1b2951b8239db3006">operations_research::sat::AutomatonConstraintProto</a>
</li>
<li>add_transition_label()
: <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a073dbd97e67b045e5a92e5e3839be2b5">operations_research::sat::AutomatonConstraintProto</a>
</li>
<li>add_transition_tail()
: <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a59b9541b95f5f3f798dbecd104e31a11">operations_research::sat::AutomatonConstraintProto</a>
</li>
<li>add_values()
: <a class="el" href="classoperations__research_1_1sat_1_1PartialVariableAssignment.html#ab6137cdf2d56c02368f0e391290f0a40">operations_research::sat::PartialVariableAssignment</a>
, <a class="el" href="classoperations__research_1_1sat_1_1TableConstraintProto.html#a5b3b062000ff1eccafe2da65be87ec2c">operations_research::sat::TableConstraintProto</a>
</li>
<li>add_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelProto.html#ae13cc27e3f950e477d93af7243678eed">operations_research::sat::CpModelProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1DecisionStrategyProto.html#a0be21f9fe3ee6280fb456838bb99d6a0">operations_research::sat::DecisionStrategyProto</a>
</li>
<li>add_vars()
: <a class="el" href="classoperations__research_1_1sat_1_1AllDifferentConstraintProto.html#a5e343db89b4f96f073219ff96cbf1ed1">operations_research::sat::AllDifferentConstraintProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#ae831863cb9f82a9ec4ac78ae8d2eabee">operations_research::sat::AutomatonConstraintProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1CpObjectiveProto.html#a3bfff65947efdceb3cb71aee6277321a">operations_research::sat::CpObjectiveProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1ElementConstraintProto.html#a46c2fea6c935fd20d8a2f3d9de11a6e7">operations_research::sat::ElementConstraintProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1IntegerArgumentProto.html#ac063816c65abd07aa7e4032be313e41b">operations_research::sat::IntegerArgumentProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1LinearConstraintProto.html#aa32001e1d34909075d470e6c340f23f9">operations_research::sat::LinearConstraintProto</a>
, <a class="el" href="classoperations__research_1_1sat_1_1PartialVariableAssignment.html#a4c3a9db1e8c4cf4af54ae5ea107aa360">operations_research::sat::PartialVariableAssignment</a>
, <a class="el" href="classoperations__research_1_1sat_1_1TableConstraintProto.html#a7816ae8513ee482a4388cb15208a2482">operations_research::sat::TableConstraintProto</a>
</li>
<li>add_x_intervals()
: <a class="el" href="classoperations__research_1_1sat_1_1NoOverlap2DConstraintProto.html#aa3c5873d02689551bd0fce71e2a6da68">operations_research::sat::NoOverlap2DConstraintProto</a>
</li>
<li>add_y_intervals()
: <a class="el" href="classoperations__research_1_1sat_1_1NoOverlap2DConstraintProto.html#a8a18ca5d782eed72f077a109a68c2ae1">operations_research::sat::NoOverlap2DConstraintProto</a>
</li>
<li>AddAbsEquality()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#aa1eae45130c127fe6cac9805736216ef">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddAllDifferent()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a605cc0b904f4d9b2de5fffbf6fa40c68">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddAllowedAssignments()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a7d05d91ffdd70f16ad170e25fd47e200">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddArc()
: <a class="el" href="classoperations__research_1_1sat_1_1CircuitConstraint.html#a9ee6aa474b9e4c2bcf8fab717079704d">operations_research::sat::CircuitConstraint</a>
</li>
<li>AddAutomaton()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a5738c98c07c2e0ec747877eb3813a134">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddBoolAnd()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a3088d984ab4874140f7c367dc457ac0f">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddBoolOr()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#ae8bd984917b305dc49abae6c19b69ea3">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddBoolXor()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a18d2ca2be01dd3e67893f4e1dbe4af43">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddCircuitConstraint()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#ad5ec615a9107ebcb8a7516bb3ccfbcd2">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddConstant()
: <a class="el" href="classoperations__research_1_1sat_1_1LinearExpr.html#abed3c016b025d92058b1c29ddeef9341">operations_research::sat::LinearExpr</a>
</li>
<li>AddCumulative()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a6620906cabb980393d9433df9a7f7b70">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddDecisionStrategy()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a4d0cfb231f4bed2420d0aff928f3a980">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddDemand()
: <a class="el" href="classoperations__research_1_1sat_1_1CumulativeConstraint.html#aded0689c7c92b1a7739758150131b531">operations_research::sat::CumulativeConstraint</a>
</li>
<li>AddDivisionEquality()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#adffb8e57735762a6f321279f2e60ae65">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddElement()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#ada1b4fad9b4f017f9009ce3761123a8b">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddEquality()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#ad941d4f0156fc746c4ed12790bce7af7">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddEvent()
: <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraint.html#aff0e9a5c156c176def60cf2985919bd6">operations_research::sat::ReservoirConstraint</a>
</li>
<li>AddForbiddenAssignments()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a05b1310e7cfde91fbdc10798a84a2345">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddGreaterOrEqual()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a7a718730caef4f258e1cbbb2e3e3b452">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddGreaterThan()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#acf4c5429ec08207e147b65bd1330ba92">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddImplication()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a43ca3f9c073ea5078c1abd3bb0c563d4">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddInverseConstraint()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a0c391768bc423a43875a7867ee247a4b">operations_research::sat::CpModelBuilder</a>
</li>
<li>AdditionWith()
: <a class="el" href="classoperations__research_1_1Domain.html#a714a1473bb78dab3195bd5cd5e90af42">operations_research::Domain</a>
</li>
<li>AddLessOrEqual()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a4f1c8c11f9f840728e5c037249192b8f">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddLessThan()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a7cf9ff9df25ff433286b4f5bda41f990">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddLinearConstraint()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a562a899753d60f28ae87ecb93e96b797">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddMaxEquality()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a902eb5d208511f7da9cdd9cde9a79c45">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddMinEquality()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a967f11af5e1cfb143514e09925628be5">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddModuloEquality()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#abd73201c6fbc455ca4783ff99ca2eed1">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddNoOverlap()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a89c4590eaf404f0ef3b80d4ce584fbda">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddNoOverlap2D()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a10d61bc6bc9584cadfc0b87537ada9eb">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddNotEqual()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#aa64c33dd1487bf4f0d575edf33ef2dc9">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddOptionalEvent()
: <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraint.html#aad9028f0c33c7d4799891b9f742148b6">operations_research::sat::ReservoirConstraint</a>
</li>
<li>AddProductEquality()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a991b6a2a16def3962ccc5727004638db">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddRectangle()
: <a class="el" href="classoperations__research_1_1sat_1_1NoOverlap2DConstraint.html#a7e76dae6971e2f38651b7eb8411ebe63">operations_research::sat::NoOverlap2DConstraint</a>
</li>
<li>AddReservoirConstraint()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a5d2c35d16d6b9cb25254ca6d3b963ac8">operations_research::sat::CpModelBuilder</a>
</li>
<li>AddTerm()
: <a class="el" href="classoperations__research_1_1sat_1_1LinearExpr.html#aa8bfd52517f0e1ca2a9adef474f1ff0c">operations_research::sat::LinearExpr</a>
</li>
<li>AddTransition()
: <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraint.html#a4fa8634eeba27c91397c58105ff50eb7">operations_research::sat::AutomatonConstraint</a>
</li>
<li>AddTuple()
: <a class="el" href="classoperations__research_1_1sat_1_1TableConstraint.html#a90017a38e8ac8eaf4644bdce5e5e1420">operations_research::sat::TableConstraint</a>
</li>
<li>AddVar()
: <a class="el" href="classoperations__research_1_1sat_1_1LinearExpr.html#afb9c31fb1176a9ba22d4b82fa285a5c7">operations_research::sat::LinearExpr</a>
</li>
<li>AddVariableElement()
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a001974a3f1f5e9d791ae10cd435f07cf">operations_research::sat::CpModelBuilder</a>
</li>
<li>all_diff()
: <a class="el" href="classoperations__research_1_1sat_1_1ConstraintProto.html#ae970851ed15ddb7c62e8c3c30f5b050d">operations_research::sat::ConstraintProto</a>
</li>
<li>all_solutions_were_found()
: <a class="el" href="classoperations__research_1_1sat_1_1CpSolverResponse.html#ace1da02cda722b2f39096e496dccd8ee">operations_research::sat::CpSolverResponse</a>
</li>
<li>AllDifferentConstraintProto()
: <a class="el" href="classoperations__research_1_1sat_1_1AllDifferentConstraintProto.html#afa374362ff2ec8d60e5c421e54b6a8a8">operations_research::sat::AllDifferentConstraintProto</a>
</li>
<li>AllValues()
: <a class="el" href="classoperations__research_1_1Domain.html#a5d6343e6f8f0356f0270b25e76aa03b2">operations_research::Domain</a>
</li>
<li>also_bump_variables_in_conflict_reasons()
: <a class="el" href="classoperations__research_1_1sat_1_1SatParameters.html#aff8890384ab9957b9a6582e163b5868d">operations_research::sat::SatParameters</a>
</li>
<li>at_most_one()
: <a class="el" href="classoperations__research_1_1sat_1_1ConstraintProto.html#a03c603d6b4eeab5423acacc1f98496b5">operations_research::sat::ConstraintProto</a>
</li>
<li>auto_detect_greater_than_at_least_one_of()
: <a class="el" href="classoperations__research_1_1sat_1_1SatParameters.html#a72147df93c16bf7eb0ce8c1eb4f6c021">operations_research::sat::SatParameters</a>
</li>
<li>automaton()
: <a class="el" href="classoperations__research_1_1sat_1_1ConstraintProto.html#a6a44efc50a6d420dde804b2c13a29d2d">operations_research::sat::ConstraintProto</a>
</li>
<li>AutomatonConstraintProto()
: <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a55f2533461576fb4106ce5e8c79e712e">operations_research::sat::AutomatonConstraintProto</a>
</li>
</ul>
</div><!-- contents -->
</div>
<div id="footer-container">
<div id="footer">
</div>
</div>
</body>
</html>