Files
ortools-clone/docs/cpp_sat/inherits.html
Corentin Le Molgat 56440d30e5 Update docs to v7.5
2020-01-27 13:48:26 +01:00

181 lines
13 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><!-- top -->
<div class="header">
<div class="headertitle">
<div class="title">Class Hierarchy</div> </div>
</div><!--header-->
<div class="contents">
<div class="textblock">
<p><a href="hierarchy.html">Go to the textual class hierarchy</a></p>
</div><table border="0" cellspacing="10" cellpadding="0">
<tr><td><img src="inherit_graph_0.png" border="0" usemap="#AllDifferentConstraintProto" alt=""/>
<map name="AllDifferentConstraintProto" id="AllDifferentConstraintProto">
<area shape="rect" title=" " alt="" coords="5,671,80,697"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1AllDifferentConstraintProto.html" title=" " alt="" coords="135,5,313,32"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html" title=" " alt="" coords="136,56,312,83"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1BoolArgumentProto.html" title=" " alt="" coords="157,107,291,133"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1CircuitConstraintProto.html" title=" " alt="" coords="149,157,299,184"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1CircuitCoveringConstraintProto.html" title=" " alt="" coords="138,209,310,250"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1ConstraintProto.html" title=" " alt="" coords="167,275,281,301"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1CpModelProto.html" title=" " alt="" coords="171,325,277,352"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1CpObjectiveProto.html" title=" " alt="" coords="161,376,287,403"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1CpSolverResponse.html" title=" " alt="" coords="157,427,291,453"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1CumulativeConstraintProto.html" title=" " alt="" coords="135,477,313,504"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1DecisionStrategyProto.html" title=" " alt="" coords="147,528,301,555"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1DecisionStrategyProto__AffineTransformation.html" title=" " alt="" coords="147,579,301,621"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1ElementConstraintProto.html" title=" " alt="" coords="143,645,305,672"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1IntegerArgumentProto.html" title=" " alt="" coords="149,696,299,723"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1IntegerVariableProto.html" title=" " alt="" coords="154,747,294,773"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1IntervalConstraintProto.html" title=" " alt="" coords="146,797,302,824"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1InverseConstraintProto.html" title=" " alt="" coords="146,848,302,875"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1LinearArgumentProto.html" title=" " alt="" coords="152,899,296,925"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1LinearConstraintProto.html" title=" " alt="" coords="150,949,298,976"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1LinearExpressionProto.html" title=" " alt="" coords="147,1000,301,1027"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1NoOverlap2DConstraintProto.html" title=" " alt="" coords="128,1051,320,1077"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1NoOverlapConstraintProto.html" title=" " alt="" coords="137,1101,311,1128"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1PartialVariableAssignment.html" title=" " alt="" coords="137,1152,311,1179"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1ReservoirConstraintProto.html" title=" " alt="" coords="139,1203,309,1229"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1RoutesConstraintProto.html" title=" " alt="" coords="147,1253,301,1280"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1TableConstraintProto.html" title=" " alt="" coords="151,1304,297,1331"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_1.png" border="0" usemap="#BoolVar" alt=""/>
<map name="BoolVar" id="BoolVar">
<area shape="rect" href="classoperations__research_1_1sat_1_1BoolVar.html" title="A Boolean variable." alt="" coords="5,5,73,31"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_2.png" border="0" usemap="#ClosedInterval" alt=""/>
<map name="ClosedInterval" id="ClosedInterval">
<area shape="rect" href="structoperations__research_1_1ClosedInterval.html" title="Represents a closed interval [start, end]." alt="" coords="5,5,112,31"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_3.png" border="0" usemap="#Constraint" alt=""/>
<map name="Constraint" id="Constraint">
<area shape="rect" href="classoperations__research_1_1sat_1_1Constraint.html" title="A constraint." alt="" coords="5,157,88,184"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1AutomatonConstraint.html" title="Specialized automaton constraint." alt="" coords="146,5,291,32"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1CircuitConstraint.html" title="Specialized circuit constraint." alt="" coords="159,56,279,83"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1CumulativeConstraint.html" title="Specialized cumulative constraint." alt="" coords="145,107,293,133"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1MultipleCircuitConstraint.html" title="Specialized circuit constraint." alt="" coords="136,157,301,184"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1NoOverlap2DConstraint.html" title="Specialized no_overlap2D constraint." alt="" coords="138,208,299,235"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1ReservoirConstraint.html" title="Specialized reservoir constraint." alt="" coords="149,259,288,285"/>
<area shape="rect" href="classoperations__research_1_1sat_1_1TableConstraint.html" title="Specialized assignment constraint." alt="" coords="161,309,276,336"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_4.png" border="0" usemap="#CpModelBuilder" alt=""/>
<map name="CpModelBuilder" id="CpModelBuilder">
<area shape="rect" href="classoperations__research_1_1sat_1_1CpModelBuilder.html" title="Wrapper class around the cp_model proto." alt="" coords="5,5,122,31"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_5.png" border="0" usemap="#Domain" alt=""/>
<map name="Domain" id="Domain">
<area shape="rect" href="classoperations__research_1_1Domain.html" title="We call domain any subset of Int64 = [kint64min, kint64max]." alt="" coords="5,5,73,31"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_6.png" border="0" usemap="#IntervalVar" alt=""/>
<map name="IntervalVar" id="IntervalVar">
<area shape="rect" href="classoperations__research_1_1sat_1_1IntervalVar.html" title="Represents a Interval variable." alt="" coords="5,5,90,31"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_7.png" border="0" usemap="#IntVar" alt=""/>
<map name="IntVar" id="IntVar">
<area shape="rect" href="classoperations__research_1_1sat_1_1IntVar.html" title="An integer variable." alt="" coords="5,5,61,31"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_8.png" border="0" usemap="#is__proto__enum_3_01_1_1operations__research_1_1sat_1_1CpSolverStatus_01_4" alt=""/>
<map name="is__proto__enum_3_01_1_1operations__research_1_1sat_1_1CpSolverStatus_01_4" id="is__proto__enum_3_01_1_1operations__research_1_1sat_1_1CpSolverStatus_01_4">
<area shape="rect" title=" " alt="" coords="5,81,82,107"/>
<area shape="rect" href="structis__proto__enum_3_01_1_1operations__research_1_1sat_1_1CpSolverStatus_01_4.html" title=" " alt="" coords="135,5,353,44"/>
<area shape="rect" href="structis__proto__enum_3_01_1_1operations__research_1_1sat_1_1DecisionStrategyProto__DomainReductionStrategy_01_4.html" title=" " alt="" coords="130,68,358,120"/>
<area shape="rect" href="structis__proto__enum_3_01_1_1operations__research_1_1sat_1_1DecisionStrategyProto__VariableSelectionStrategy_01_4.html" title=" " alt="" coords="132,144,356,196"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_9.png" border="0" usemap="#LinearExpr" alt=""/>
<map name="LinearExpr" id="LinearExpr">
<area shape="rect" href="classoperations__research_1_1sat_1_1LinearExpr.html" title="A dedicated container for linear expressions." alt="" coords="5,5,91,31"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_10.png" border="0" usemap="#Model" alt=""/>
<map name="Model" id="Model">
<area shape="rect" href="classoperations__research_1_1sat_1_1Model.html" title="Class that owns everything related to a particular optimization model." alt="" coords="5,5,63,31"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_11.png" border="0" usemap="#NestedTimeLimit" alt=""/>
<map name="NestedTimeLimit" id="NestedTimeLimit">
<area shape="rect" href="classoperations__research_1_1NestedTimeLimit.html" title="Provides a way to nest time limits for algorithms where a certain part of the computation is bounded ..." alt="" coords="5,5,126,31"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_12.png" border="0" usemap="#SharedTimeLimit" alt=""/>
<map name="SharedTimeLimit" id="SharedTimeLimit">
<area shape="rect" href="classoperations__research_1_1SharedTimeLimit.html" title=" " alt="" coords="5,5,125,32"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_13.png" border="0" usemap="#SortedDisjointIntervalList" alt=""/>
<map name="SortedDisjointIntervalList" id="SortedDisjointIntervalList">
<area shape="rect" href="classoperations__research_1_1SortedDisjointIntervalList.html" title="This class represents a sorted list of disjoint, closed intervals." alt="" coords="5,5,173,32"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_14.png" border="0" usemap="#SortedDisjointIntervalList_1_1IntervalComparator" alt=""/>
<map name="SortedDisjointIntervalList_1_1IntervalComparator" id="SortedDisjointIntervalList_1_1IntervalComparator">
<area shape="rect" href="structoperations__research_1_1SortedDisjointIntervalList_1_1IntervalComparator.html" title=" " alt="" coords="5,5,173,47"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_15.png" border="0" usemap="#TableStruct__ortools__2fsat__2fcp__5fmodel__2eproto" alt=""/>
<map name="TableStruct__ortools__2fsat__2fcp__5fmodel__2eproto" id="TableStruct__ortools__2fsat__2fcp__5fmodel__2eproto">
<area shape="rect" href="structTableStruct__ortools__2fsat__2fcp__5fmodel__2eproto.html" title=" " alt="" coords="5,5,148,61"/>
</map>
</td></tr>
<tr><td><img src="inherit_graph_16.png" border="0" usemap="#TimeLimit" alt=""/>
<map name="TimeLimit" id="TimeLimit">
<area shape="rect" href="classoperations__research_1_1TimeLimit.html" title="A simple class to enforce both an elapsed time limit and a deterministic time limit in the same threa..." alt="" coords="5,5,84,32"/>
</map>
</td></tr>
</table>
</div><!-- contents -->
</div>
</div>
<div id="footer-container">
<div id="footer">
</div>
</div>
</body>
</html>