399 lines
23 KiB
HTML
399 lines
23 KiB
HTML
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
<head>
|
|
<title>OR-Tools</title>
|
|
<meta http-equiv="Content-Type" content="text/html;"/>
|
|
<meta charset="utf-8"/>
|
|
<!--<link rel='stylesheet' type='text/css' href="https://fonts.googleapis.com/css?family=Ubuntu:400,700,400italic"/>-->
|
|
<link rel="stylesheet" type="text/css" href="ortools.css" title="default" media="screen,print" />
|
|
<script type="text/javascript" src="jquery.js"></script>
|
|
<script type="text/javascript" src="dynsections.js"></script>
|
|
</head>
|
|
<body>
|
|
<div id="banner-container">
|
|
<div id="banner">
|
|
<span id="sfml">Google OR-Tools 7.5</span>
|
|
</div>
|
|
</div>
|
|
<div id="content" style="width: 100%; overflow: hidden;">
|
|
<div style="margin-left: 15px; margin-top: 5px; float: left; color: #145A32;">
|
|
<h2>C++ Reference</h2>
|
|
<ul>
|
|
<li><a href="../cpp_algorithms/annotated.html">Algorithms</a></li>
|
|
<li><a href="../cpp_sat/annotated.html">CP-SAT</a></li>
|
|
<li><a href="../cpp_graph/annotated.html">Graph</a></li>
|
|
<li><a href="../cpp_routing/annotated.html">Routing</a></li>
|
|
<li><a href="../cpp_linear/annotated.html">Linear solver</a></li>
|
|
</ul>
|
|
</div>
|
|
<div id="content">
|
|
<div align="center">
|
|
<h1 style="color: #145A32;">C++ Reference: CP-SAT</h1>
|
|
</div>
|
|
<!-- Generated by Doxygen 1.8.18 -->
|
|
<div id="navrow1" class="tabs">
|
|
<ul class="tablist">
|
|
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
|
|
<li class="current"><a href="annotated.html"><span>Classes</span></a></li>
|
|
<li><a href="files.html"><span>Files</span></a></li>
|
|
</ul>
|
|
</div>
|
|
<div id="navrow3" class="tabs2">
|
|
<ul class="tablist">
|
|
<li class="current"><a href="functions.html"><span>All</span></a></li>
|
|
<li><a href="functions_func.html"><span>Functions</span></a></li>
|
|
<li><a href="functions_vars.html"><span>Variables</span></a></li>
|
|
<li><a href="functions_type.html"><span>Typedefs</span></a></li>
|
|
<li><a href="functions_enum.html"><span>Enumerations</span></a></li>
|
|
<li><a href="functions_eval.html"><span>Enumerator</span></a></li>
|
|
<li><a href="functions_rela.html"><span>Related Functions</span></a></li>
|
|
</ul>
|
|
</div>
|
|
<div id="navrow4" class="tabs3">
|
|
<ul class="tablist">
|
|
<li><a href="functions.html#index_:"><span>:</span></a></li>
|
|
<li><a href="functions__.html#index__5F"><span>_</span></a></li>
|
|
<li class="current"><a href="functions_a.html#index_a"><span>a</span></a></li>
|
|
<li><a href="functions_b.html#index_b"><span>b</span></a></li>
|
|
<li><a href="functions_c.html#index_c"><span>c</span></a></li>
|
|
<li><a href="functions_d.html#index_d"><span>d</span></a></li>
|
|
<li><a href="functions_e.html#index_e"><span>e</span></a></li>
|
|
<li><a href="functions_f.html#index_f"><span>f</span></a></li>
|
|
<li><a href="functions_g.html#index_g"><span>g</span></a></li>
|
|
<li><a href="functions_h.html#index_h"><span>h</span></a></li>
|
|
<li><a href="functions_i.html#index_i"><span>i</span></a></li>
|
|
<li><a href="functions_k.html#index_k"><span>k</span></a></li>
|
|
<li><a href="functions_l.html#index_l"><span>l</span></a></li>
|
|
<li><a href="functions_m.html#index_m"><span>m</span></a></li>
|
|
<li><a href="functions_n.html#index_n"><span>n</span></a></li>
|
|
<li><a href="functions_o.html#index_o"><span>o</span></a></li>
|
|
<li><a href="functions_p.html#index_p"><span>p</span></a></li>
|
|
<li><a href="functions_r.html#index_r"><span>r</span></a></li>
|
|
<li><a href="functions_s.html#index_s"><span>s</span></a></li>
|
|
<li><a href="functions_t.html#index_t"><span>t</span></a></li>
|
|
<li><a href="functions_u.html#index_u"><span>u</span></a></li>
|
|
<li><a href="functions_v.html#index_v"><span>v</span></a></li>
|
|
<li><a href="functions_w.html#index_w"><span>w</span></a></li>
|
|
<li><a href="functions_x.html#index_x"><span>x</span></a></li>
|
|
<li><a href="functions_y.html#index_y"><span>y</span></a></li>
|
|
<li><a href="functions_~.html#index__7E"><span>~</span></a></li>
|
|
</ul>
|
|
</div>
|
|
</div><!-- top -->
|
|
<div class="contents">
|
|
<div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
|
|
|
|
<h3><a id="index_a"></a>- a -</h3><ul>
|
|
<li>actives()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraintProto.html#a6175857ac28e7920eec1502084201acf">ReservoirConstraintProto</a>
|
|
</li>
|
|
<li>actives_size()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraintProto.html#ac671609a4ad4a0545c6d3ec619164a8b">ReservoirConstraintProto</a>
|
|
</li>
|
|
<li>Add()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1Model.html#a7b8d774b566431b8932ba0f3c921ec7d">Model</a>
|
|
</li>
|
|
<li>add_actives()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraintProto.html#a5615e9d596d8908b855b2cbe25e84640">ReservoirConstraintProto</a>
|
|
</li>
|
|
<li>add_coefficients()
|
|
: <a class="el" href="classoperations__research_1_1LinearBooleanConstraint.html#a0b5c32523f34a0ccc95d2340f6aaca3d">LinearBooleanConstraint</a>
|
|
, <a class="el" href="classoperations__research_1_1LinearObjective.html#a0b5c32523f34a0ccc95d2340f6aaca3d">LinearObjective</a>
|
|
</li>
|
|
<li>add_coeffs()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpObjectiveProto.html#a9bb52f9d2a03820db9271cdae2ce97d5">CpObjectiveProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1LinearConstraintProto.html#a9bb52f9d2a03820db9271cdae2ce97d5">LinearConstraintProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1LinearExpressionProto.html#ab47ae0001042c49e005da962bd361c34">LinearExpressionProto</a>
|
|
</li>
|
|
<li>add_constraints()
|
|
: <a class="el" href="classoperations__research_1_1LinearBooleanProblem.html#aabf80eec4051f3d025b07e57c30e25e7">LinearBooleanProblem</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1CpModelProto.html#ac01de597eeeff5521a8bf54568bf1373">CpModelProto</a>
|
|
</li>
|
|
<li>add_demands()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CumulativeConstraintProto.html#a9f0fa13cb6e19e8619f7f292c42e224e">CumulativeConstraintProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraintProto.html#ad8da8ddcb8875a2e5246f88b482c856a">ReservoirConstraintProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1RoutesConstraintProto.html#a9f0fa13cb6e19e8619f7f292c42e224e">RoutesConstraintProto</a>
|
|
</li>
|
|
<li>add_distinguished_nodes()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CircuitCoveringConstraintProto.html#a74d1ad94c20b69b307706b3fc642ba5a">CircuitCoveringConstraintProto</a>
|
|
</li>
|
|
<li>add_domain()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpObjectiveProto.html#a2266c77ad6db8de45560357c1436e558">CpObjectiveProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1IntegerVariableProto.html#a2266c77ad6db8de45560357c1436e558">IntegerVariableProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1LinearConstraintProto.html#a2266c77ad6db8de45560357c1436e558">LinearConstraintProto</a>
|
|
</li>
|
|
<li>add_enforcement_literal()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1ConstraintProto.html#acfab2074ffdcaf9686057126c5e29d38">ConstraintProto</a>
|
|
</li>
|
|
<li>add_exprs()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1LinearArgumentProto.html#ae0221e82251d5fbc9e993a7df5b91c09">LinearArgumentProto</a>
|
|
</li>
|
|
<li>add_f_direct()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1InverseConstraintProto.html#a24d736c96518f46a807964b2c8ca5ef3">InverseConstraintProto</a>
|
|
</li>
|
|
<li>add_f_inverse()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1InverseConstraintProto.html#ae71cf3a6d9f65656b56eb3c37ec5032b">InverseConstraintProto</a>
|
|
</li>
|
|
<li>add_final_states()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a6d4d4d8b69c49cab2a467d3c4de4ad8f">AutomatonConstraintProto</a>
|
|
</li>
|
|
<li>add_heads()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CircuitConstraintProto.html#a93c4dc0bea1153dedd0366d09b808075">CircuitConstraintProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1RoutesConstraintProto.html#a93c4dc0bea1153dedd0366d09b808075">RoutesConstraintProto</a>
|
|
</li>
|
|
<li>add_intervals()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CumulativeConstraintProto.html#a3b0dc4db1d51bd6be689f9b0e18e5089">CumulativeConstraintProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1NoOverlapConstraintProto.html#a3b0dc4db1d51bd6be689f9b0e18e5089">NoOverlapConstraintProto</a>
|
|
</li>
|
|
<li>add_literals()
|
|
: <a class="el" href="classoperations__research_1_1BooleanAssignment.html#a9abd20cd5c98c0a4535d168a1c7bb18e">BooleanAssignment</a>
|
|
, <a class="el" href="classoperations__research_1_1LinearBooleanConstraint.html#a9abd20cd5c98c0a4535d168a1c7bb18e">LinearBooleanConstraint</a>
|
|
, <a class="el" href="classoperations__research_1_1LinearObjective.html#a9abd20cd5c98c0a4535d168a1c7bb18e">LinearObjective</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1BoolArgumentProto.html#a9abd20cd5c98c0a4535d168a1c7bb18e">BoolArgumentProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1CircuitConstraintProto.html#a9abd20cd5c98c0a4535d168a1c7bb18e">CircuitConstraintProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1RoutesConstraintProto.html#a9abd20cd5c98c0a4535d168a1c7bb18e">RoutesConstraintProto</a>
|
|
</li>
|
|
<li>add_nexts()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CircuitCoveringConstraintProto.html#aeecbd5041fb2fac7aa5dc265b33381e1">CircuitCoveringConstraintProto</a>
|
|
</li>
|
|
<li>add_search_strategy()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelProto.html#a0e86147138c8f8bb3380a6824534f90a">CpModelProto</a>
|
|
</li>
|
|
<li>add_solution()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpSolverResponse.html#a55c4c8a331f62f950abea2d110eb2398">CpSolverResponse</a>
|
|
</li>
|
|
<li>add_solution_lower_bounds()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpSolverResponse.html#a93aafe50ca64adaabf4c45a671779387">CpSolverResponse</a>
|
|
</li>
|
|
<li>add_solution_upper_bounds()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpSolverResponse.html#a1fdf8456575b5c6b192a0170da03d9ad">CpSolverResponse</a>
|
|
</li>
|
|
<li>add_tails()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CircuitConstraintProto.html#a1530e5bfdcbcf9ed3dd49b2b2e5ef9d4">CircuitConstraintProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1RoutesConstraintProto.html#a1530e5bfdcbcf9ed3dd49b2b2e5ef9d4">RoutesConstraintProto</a>
|
|
</li>
|
|
<li>add_tightened_variables()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpSolverResponse.html#aaf81e27528b69ef0f238bfac4aceb46e">CpSolverResponse</a>
|
|
</li>
|
|
<li>add_times()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraintProto.html#a0ca8b96cf963d3135de00d825fe54938">ReservoirConstraintProto</a>
|
|
</li>
|
|
<li>add_transformations()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1DecisionStrategyProto.html#ad9ba21e269eacbd3c3302a5200170a4a">DecisionStrategyProto</a>
|
|
</li>
|
|
<li>add_transition_head()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a04906f85b3412c9e9c4943c35ba5efce">AutomatonConstraintProto</a>
|
|
</li>
|
|
<li>add_transition_label()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#aeb8bd6525c0315ccd30db6b7ee93a78b">AutomatonConstraintProto</a>
|
|
</li>
|
|
<li>add_transition_tail()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#ace5c1249d6b5875e7f1936b75ff7c77b">AutomatonConstraintProto</a>
|
|
</li>
|
|
<li>add_values()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1PartialVariableAssignment.html#a22414a046a10e101e63455e8cd5b734b">PartialVariableAssignment</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1TableConstraintProto.html#a22414a046a10e101e63455e8cd5b734b">TableConstraintProto</a>
|
|
</li>
|
|
<li>add_var_names()
|
|
: <a class="el" href="classoperations__research_1_1LinearBooleanProblem.html#aab21a516e3dd1fd8618bad2121dbce43">LinearBooleanProblem</a>
|
|
</li>
|
|
<li>add_variables()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelProto.html#ad03d1e2f94c4ca4c8004ac5355e6504a">CpModelProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1DecisionStrategyProto.html#ad0d54d2ec274cf6c0301b9afa81232a9">DecisionStrategyProto</a>
|
|
</li>
|
|
<li>add_vars()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1AllDifferentConstraintProto.html#aecb2bc94116e771000e5be7f8e3a7f6c">AllDifferentConstraintProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#aecb2bc94116e771000e5be7f8e3a7f6c">AutomatonConstraintProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1CpObjectiveProto.html#aecb2bc94116e771000e5be7f8e3a7f6c">CpObjectiveProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1ElementConstraintProto.html#aecb2bc94116e771000e5be7f8e3a7f6c">ElementConstraintProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1IntegerArgumentProto.html#aecb2bc94116e771000e5be7f8e3a7f6c">IntegerArgumentProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1LinearConstraintProto.html#aecb2bc94116e771000e5be7f8e3a7f6c">LinearConstraintProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1LinearExpressionProto.html#aecb2bc94116e771000e5be7f8e3a7f6c">LinearExpressionProto</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1PartialVariableAssignment.html#aecb2bc94116e771000e5be7f8e3a7f6c">PartialVariableAssignment</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1TableConstraintProto.html#aecb2bc94116e771000e5be7f8e3a7f6c">TableConstraintProto</a>
|
|
</li>
|
|
<li>add_x_intervals()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1NoOverlap2DConstraintProto.html#abfa73d7f106725ceabf4cda4514414a1">NoOverlap2DConstraintProto</a>
|
|
</li>
|
|
<li>add_y_intervals()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1NoOverlap2DConstraintProto.html#aab51be96ec36bd1af0d8280b356f6820">NoOverlap2DConstraintProto</a>
|
|
</li>
|
|
<li>AddAbsEquality()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a2642f1728e719f00cf36e348124155e0">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddAllDifferent()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#aea10fa3042dfc4f8c5e0db27cb106e01">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddAllowedAssignments()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#aeabe14db3b80e3fb94c6d2b3ad90e8f8">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddArc()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CircuitConstraint.html#ac64dffddebc8b332ee6a4db064c426d2">CircuitConstraint</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1MultipleCircuitConstraint.html#ac64dffddebc8b332ee6a4db064c426d2">MultipleCircuitConstraint</a>
|
|
</li>
|
|
<li>AddAutomaton()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#abf7850d0824985bff25b3013958f2b50">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddBoolAnd()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a9fb68d41ffab385f703f7944ba2e5211">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddBoolOr()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#abb93372bf4b86beb59afd982e3e2e35b">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddBoolXor()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a93e3463c812581d990d7c4524cc8c4c7">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddCircuitConstraint()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a75c76026eaca8ea83038fb6dfc9e734e">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddConstant()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1IntVar.html#a4927017e2b77774933a43bfc83b6ab39">IntVar</a>
|
|
, <a class="el" href="classoperations__research_1_1sat_1_1LinearExpr.html#a31c7f110218898a51c24fbd17b42f621">LinearExpr</a>
|
|
</li>
|
|
<li>AddCumulative()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a7eaa53689ca6adc2a83db42dfb81e2ed">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddDecisionStrategy()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a6a381cb501091af7e3e8604baa503e4f">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddDemand()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CumulativeConstraint.html#a93d6b777e333ebf211de4c96208dfe8d">CumulativeConstraint</a>
|
|
</li>
|
|
<li>AddDivisionEquality()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a41656ab2aa515b1768f3325383c32a47">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddElement()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#ab58d2ffae5a0a7e7b0111bf6f465a018">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddEquality()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#aac1d593654ac2c9e311b7337b702216b">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddEvent()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraint.html#adbf37b87cdabfe283381f9d42f7e80fb">ReservoirConstraint</a>
|
|
</li>
|
|
<li>AddForbiddenAssignments()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a0efb111b753edb71e39cb7d1243d93d1">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddGreaterOrEqual()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#ab6091344cb80f81a2b80c4cad2233457">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddGreaterThan()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a81c51e7386ecad3111a9fb9e2bacc29d">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddHint()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#ac1fcee16c92c43742bc7b0d3b78c7c28">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddImplication()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a9c73529fc4e296344e3a8abcf6043ac0">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddInverseConstraint()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#af3cc44f35b9ba07d6d7e48b32bd1b0ca">CpModelBuilder</a>
|
|
</li>
|
|
<li>AdditionWith()
|
|
: <a class="el" href="classoperations__research_1_1Domain.html#a4f9af4a46ee07931e3e5e50f6ddfb8ad">Domain</a>
|
|
</li>
|
|
<li>AddLessOrEqual()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#aa67c05613e104e47d09fcafa7fe4bcfa">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddLessThan()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a8e6a73106e33c7acb3a0c13adca6af07">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddLinearConstraint()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a18f5b0a54e5d977cbc51978dbb58a083">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddLinMaxEquality()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#ad3fa9762ec2d7d414e42531bac8c3704">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddLinMinEquality()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#acc86b30fb4b73d398398e21f5d801da3">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddMaxEquality()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a3f32fd0e59b753a40089aae8fa14f2e8">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddMinEquality()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a38c2cb81b84bc79c5ecba6d9b3a74358">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddModuloEquality()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#aabad4e80a83e1b7ceb05a1a33263c6af">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddMultipleCircuitConstraint()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a3499b9ae26db7dcea22e375a09524ca5">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddNoOverlap()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#af6e22d55cdb0a5a5dda6e70f4d339f85">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddNoOverlap2D()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#ab0da51955684003ebd40b203c9515538">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddNotEqual()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#ae17bac92c54a4eabc1ddaa875d32cdd2">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddOptionalEvent()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1ReservoirConstraint.html#af1151b0627920bc9eddd2b532dd274b2">ReservoirConstraint</a>
|
|
</li>
|
|
<li>AddProductEquality()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#acc9c643fff37dd8f960fb0a6d67803f6">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddRectangle()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1NoOverlap2DConstraint.html#ac9f005471a4a54c288d4dc259d25fbc3">NoOverlap2DConstraint</a>
|
|
</li>
|
|
<li>AddReservoirConstraint()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a30635c1596eb7f885ac2fb3c8f2defc9">CpModelBuilder</a>
|
|
</li>
|
|
<li>AddTerm()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1LinearExpr.html#ab00374af3fbd853d2d5f04a5ca608ec2">LinearExpr</a>
|
|
</li>
|
|
<li>AddTransition()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraint.html#a91c44b4bd258542c96f064b771996ccb">AutomatonConstraint</a>
|
|
</li>
|
|
<li>AddTuple()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1TableConstraint.html#a5a4a22c7e11aa5064b3de8668497b650">TableConstraint</a>
|
|
</li>
|
|
<li>AddVar()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1LinearExpr.html#acb6bbd3a68fe3281780b6bc74dcb3716">LinearExpr</a>
|
|
</li>
|
|
<li>AddVariableElement()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpModelBuilder.html#a7671d69e0d2ee5470b338710c9d13f80">CpModelBuilder</a>
|
|
</li>
|
|
<li>AdvanceDeterministicTime()
|
|
: <a class="el" href="classoperations__research_1_1SharedTimeLimit.html#af90cfd1fc238433fc303ee28c5914eb9">SharedTimeLimit</a>
|
|
, <a class="el" href="classoperations__research_1_1TimeLimit.html#af90cfd1fc238433fc303ee28c5914eb9">TimeLimit</a>
|
|
</li>
|
|
<li>AffineTransformation
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1DecisionStrategyProto.html#a863d75817bd7754b69b1c0c045db54fa">DecisionStrategyProto</a>
|
|
</li>
|
|
<li>all_diff()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1ConstraintProto.html#a60a2b239ef22d86b4fd1bd120d5dfe81">ConstraintProto</a>
|
|
</li>
|
|
<li>all_solutions_were_found()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1CpSolverResponse.html#a9df244d042dabbe0dd7197ac9a531e3a">CpSolverResponse</a>
|
|
</li>
|
|
<li>AllDifferentConstraintProto()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1AllDifferentConstraintProto.html#a38fc3490251a1ceefabd6ee0a0fa5520">AllDifferentConstraintProto</a>
|
|
</li>
|
|
<li>AllValues()
|
|
: <a class="el" href="classoperations__research_1_1Domain.html#a5669c93d2e233c82a5a33910fcbe8fe0">Domain</a>
|
|
</li>
|
|
<li>assignment()
|
|
: <a class="el" href="classoperations__research_1_1LinearBooleanProblem.html#a4b63a7c285bc674fcae27261589382e2">LinearBooleanProblem</a>
|
|
</li>
|
|
<li>at_most_one()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1ConstraintProto.html#a02bdc7cff2f71612490c7f50d1b3bd13">ConstraintProto</a>
|
|
</li>
|
|
<li>automaton()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1ConstraintProto.html#a6e3d7243189a799e8ae7c26a6929ef37">ConstraintProto</a>
|
|
</li>
|
|
<li>AutomatonConstraintProto()
|
|
: <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a03072e1fbb45edb7bb8ac7f9e77c4c92">AutomatonConstraintProto</a>
|
|
</li>
|
|
</ul>
|
|
</div><!-- contents -->
|
|
</div>
|
|
</div>
|
|
<div id="footer-container">
|
|
<div id="footer">
|
|
</div>
|
|
</div>
|
|
</body>
|
|
</html>
|