2019-06-20 23:35:26 +02:00
<!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" >
2020-01-27 13:48:26 +01:00
< span id = "sfml" > Google OR-Tools 7.5< / span >
2019-06-20 23:35:26 +02:00
< / div >
< / div >
2019-08-07 18:01:08 -07:00
< div id = "content" style = "width: 100%; overflow: hidden;" >
< div style = "margin-left: 15px; margin-top: 5px; float: left; color: #145A32;" >
2019-08-12 09:16:03 -07:00
< h2 > DotNet Reference< / h2 >
2019-08-07 18:01:08 -07:00
< ul >
< li > < a href = "../dotnet/namespaceGoogle_1_1OrTools_1_1Sat.html" > CP-SAT< / a > < / li >
< li > < a href = "../dotnet/namespaceGoogle_1_1OrTools_1_1Graph.html" > Graph< / a > < / li >
< li > < a href = "../dotnet/namespaceGoogle_1_1OrTools_1_1Algorithms.html" > Knapsack solver< / a > < / li >
< li > < a href = "../dotnet/namespaceGoogle_1_1OrTools_1_1LinearSolver.html" > Linear solver< / a > < / li >
< li > < a href = "../dotnet/namespaceGoogle_1_1OrTools_1_1ConstraintSolver.html" > Routing< / a > < / li >
< li > < a href = "../dotnet/namespaceGoogle_1_1OrTools_1_1Util.html" > Util< / a > < / li >
< / ul >
< / div >
2019-06-20 23:35:26 +02:00
< div id = "content" >
2019-08-07 18:01:08 -07:00
< div align = "center" >
< h1 style = "color: #145A32;" > DotNet Reference< / h1 >
< / div >
2020-01-27 13:48:26 +01:00
<!-- Generated by Doxygen 1.8.18 -->
2019-06-20 23:35:26 +02:00
< div id = "navrow1" class = "tabs" >
< ul class = "tablist" >
< li > < a href = "namespaces.html" > < span > Namespaces< / span > < / a > < / li >
< li > < a href = "annotated.html" > < span > Classes< / span > < / a > < / li >
< li class = "current" > < a href = "files.html" > < span > Files< / span > < / a > < / li >
< / ul >
< / div >
< div id = "nav-path" class = "navpath" >
< ul >
< li class = "navelem" > < a class = "el" href = "dir_a7cc1eeded8f693d0da6c729bc88c45a.html" > ortools< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_afbb39f66221aac28bbdefd1dca2b2b0.html" > constraint_solver< / a > < / li > < li class = "navelem" > < a class = "el" href = "dir_973c70e94397cf6217a966850971a49d.html" > samples< / a > < / li > < / ul >
< / div >
< / div > <!-- top -->
< div class = "header" >
< div class = "headertitle" >
< div class = "title" > SimpleCpProgram.cs< / div > < / div >
< / div > <!-- header -->
< div class = "contents" >
2019-11-14 13:52:51 -08:00
< a href = "SimpleCpProgram_8cs.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-2018 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 = "comment" > // [START program]< / span > < / div >
< div class = "line" > < a name = "l00015" > < / a > < span class = "lineno" > 15< / span >   < span class = "comment" > // [START import]< / span > < / div >
< div class = "line" > < a name = "l00016" > < / a > < span class = "lineno" > 16< / span >   < span class = "keyword" > using< / span > System;< / div >
< div class = "line" > < a name = "l00017" > < / a > < span class = "lineno" > 17< / span >   < span class = "keyword" > using< / span > < a class = "code" href = "namespaceGoogle.html" > Google< / a > .< a class = "code" href = "namespaceGoogle_1_1OrTools.html" > OrTools< / a > .< a class = "code" href = "namespaceGoogle_1_1OrTools_1_1ConstraintSolver.html" > ConstraintSolver< / a > ;< / div >
< div class = "line" > < a name = "l00018" > < / a > < span class = "lineno" > 18< / span >   < span class = "comment" > // [END import]< / span > < / div >
< div class = "line" > < a name = "l00019" > < / a > < span class = "lineno" > 19< / span >   < / div >
< div class = "line" > < a name = "l00023" > < / a > < span class = "lineno" > < a class = "line" href = "classSimpleCpProgram.html" > 23< / a > < / span >   < span class = "keyword" > public< / span > < span class = "keyword" > class < / span > < a class = "code" href = "classSimpleCpProgram.html" > SimpleCpProgram< / a > {< / div >
< div class = "line" > < a name = "l00024" > < / a > < span class = "lineno" > < a class = "line" href = "classSimpleCpProgram.html#a1f7e61855217a4f3ad075ae5cb5a7cff" > 24< / a > < / span >   < span class = "keyword" > public< / span > < span class = "keyword" > static< / span > < span class = "keywordtype" > void< / span > < a class = "code" href = "classSimpleCpProgram.html#a1f7e61855217a4f3ad075ae5cb5a7cff" > Main< / a > (String[] args) {< / div >
< div class = "line" > < a name = "l00025" > < / a > < span class = "lineno" > 25< / span >   < span class = "comment" > // Instantiate the solver.< / span > < / div >
< div class = "line" > < a name = "l00026" > < / a > < span class = "lineno" > 26< / span >   < span class = "comment" > // [START solver]< / span > < / div >
< div class = "line" > < a name = "l00027" > < / a > < span class = "lineno" > 27< / span >   < a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html" > Solver< / a > solver = < span class = "keyword" > new< / span > < a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html" > Solver< / a > (< span class = "stringliteral" > " CpSimple" < / span > );< / div >
< div class = "line" > < a name = "l00028" > < / a > < span class = "lineno" > 28< / span >   < span class = "comment" > // [END solver]< / span > < / div >
< div class = "line" > < a name = "l00029" > < / a > < span class = "lineno" > 29< / span >   < / div >
< div class = "line" > < a name = "l00030" > < / a > < span class = "lineno" > 30< / span >   < span class = "comment" > // Create the variables.< / span > < / div >
< div class = "line" > < a name = "l00031" > < / a > < span class = "lineno" > 31< / span >   < span class = "comment" > // [START variables]< / span > < / div >
< div class = "line" > < a name = "l00032" > < / a > < span class = "lineno" > 32< / span >   < span class = "keyword" > const< / span > < span class = "keywordtype" > long< / span > numVals = 3;< / div >
2020-01-27 13:48:26 +01:00
< div class = "line" > < a name = "l00033" > < / a > < span class = "lineno" > 33< / span >   < a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1IntVar.html" > IntVar< / a > x = solver.< a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a9c46f8af21237f46ba6f0fc78a4c7976" > MakeIntVar< / a > (0, numVals - 1, < span class = "stringliteral" > " x" < / span > );< / div >
< div class = "line" > < a name = "l00034" > < / a > < span class = "lineno" > 34< / span >   < a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1IntVar.html" > IntVar< / a > y = solver.< a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a9c46f8af21237f46ba6f0fc78a4c7976" > MakeIntVar< / a > (0, numVals - 1, < span class = "stringliteral" > " y" < / span > );< / div >
< div class = "line" > < a name = "l00035" > < / a > < span class = "lineno" > 35< / span >   < a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1IntVar.html" > IntVar< / a > z = solver.< a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a9c46f8af21237f46ba6f0fc78a4c7976" > MakeIntVar< / a > (0, numVals - 1, < span class = "stringliteral" > " z" < / span > );< / div >
2019-11-14 13:52:51 -08:00
< div class = "line" > < a name = "l00036" > < / a > < span class = "lineno" > 36< / span >   < span class = "comment" > // [END variables]< / span > < / div >
< div class = "line" > < a name = "l00037" > < / a > < span class = "lineno" > 37< / span >   < / div >
< div class = "line" > < a name = "l00038" > < / a > < span class = "lineno" > 38< / span >   < span class = "comment" > // Constraint 0: x != y..< / span > < / div >
< div class = "line" > < a name = "l00039" > < / a > < span class = "lineno" > 39< / span >   < span class = "comment" > // [START constraints]< / span > < / div >
2020-01-27 13:48:26 +01:00
< div class = "line" > < a name = "l00040" > < / a > < span class = "lineno" > 40< / span >   solver.< a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a021b228c716aa9541821f25f1868023a" > Add< / a > (solver.< a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#af05e983d08fdf134a231e0535f39c7f6" > MakeAllDifferent< / a > (< span class = "keyword" > new< / span > < a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1IntVar.html" > IntVar< / a > []{x, y}));< / div >
2019-11-14 13:52:51 -08:00
< div class = "line" > < a name = "l00041" > < / a > < span class = "lineno" > 41< / span >   Console.WriteLine($< span class = "stringliteral" > " Number of constraints: {solver.Constraints()}" < / span > );< / div >
< div class = "line" > < a name = "l00042" > < / a > < span class = "lineno" > 42< / span >   < span class = "comment" > // [END constraints]< / span > < / div >
< div class = "line" > < a name = "l00043" > < / a > < span class = "lineno" > 43< / span >   < / div >
< div class = "line" > < a name = "l00044" > < / a > < span class = "lineno" > 44< / span >   < span class = "comment" > // Solve the problem.< / span > < / div >
< div class = "line" > < a name = "l00045" > < / a > < span class = "lineno" > 45< / span >   < span class = "comment" > // [START solve]< / span > < / div >
2020-01-27 13:48:26 +01:00
< div class = "line" > < a name = "l00046" > < / a > < span class = "lineno" > 46< / span >   < a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1DecisionBuilder.html" > DecisionBuilder< / a > db = solver.< a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a230cc0fa5e8c3387d746a1e123804975" > MakePhase< / a > (< / div >
< div class = "line" > < a name = "l00047" > < / a > < span class = "lineno" > 47< / span >   < span class = "keyword" > new< / span > < a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1IntVar.html" > IntVar< / a > []{x, y, z},< / div >
< div class = "line" > < a name = "l00048" > < / a > < span class = "lineno" > 48< / span >   < a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html" > Solver< / a > .< a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a3c922220a147fa042be2e882c621b469" > CHOOSE_FIRST_UNBOUND< / a > ,< / div >
< div class = "line" > < a name = "l00049" > < / a > < span class = "lineno" > 49< / span >   < a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html" > Solver< / a > .< a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#ac8f71d56d9e89720de2b118577bdfcf3" > ASSIGN_MIN_VALUE< / a > );< / div >
2019-11-14 13:52:51 -08:00
< div class = "line" > < a name = "l00050" > < / a > < span class = "lineno" > 50< / span >   < span class = "comment" > // [END solve]< / span > < / div >
< div class = "line" > < a name = "l00051" > < / a > < span class = "lineno" > 51< / span >   < / div >
< div class = "line" > < a name = "l00052" > < / a > < span class = "lineno" > 52< / span >   < span class = "comment" > // Print solution on console.< / span > < / div >
< div class = "line" > < a name = "l00053" > < / a > < span class = "lineno" > 53< / span >   < span class = "comment" > // [START print_solution]< / span > < / div >
< div class = "line" > < a name = "l00054" > < / a > < span class = "lineno" > 54< / span >   < span class = "keywordtype" > int< / span > count = 0;< / div >
< div class = "line" > < a name = "l00055" > < / a > < span class = "lineno" > 55< / span >   solver.< a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a705f55669131d886f4a864949f6f0c12" > NewSearch< / a > (db);< / div >
2020-01-27 13:48:26 +01:00
< div class = "line" > < a name = "l00056" > < / a > < span class = "lineno" > 56< / span >   < span class = "keywordflow" > while< / span > (solver.< a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#ab9b8c3ea993ee19fd9cb68fb3240e09f" > NextSolution< / a > ()) {< / div >
2019-11-14 13:52:51 -08:00
< div class = "line" > < a name = "l00057" > < / a > < span class = "lineno" > 57< / span >   ++count;< / div >
< div class = "line" > < a name = "l00058" > < / a > < span class = "lineno" > 58< / span >   Console.WriteLine($< span class = "stringliteral" > " Solution: {count}\n x={x.Value()} y={y.Value()} z={z.Value()}" < / span > );< / div >
< div class = "line" > < a name = "l00059" > < / a > < span class = "lineno" > 59< / span >   }< / div >
< div class = "line" > < a name = "l00060" > < / a > < span class = "lineno" > 60< / span >   solver.< a class = "code" href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a3216144f5779ad0022bd7a0421c858d7" > EndSearch< / a > ();< / div >
< div class = "line" > < a name = "l00061" > < / a > < span class = "lineno" > 61< / span >   Console.WriteLine($< span class = "stringliteral" > " Number of solutions found: {solver.Solutions()}" < / span > );< / div >
< div class = "line" > < a name = "l00062" > < / a > < span class = "lineno" > 62< / span >   < span class = "comment" > // [END print_solution]< / span > < / div >
< div class = "line" > < a name = "l00063" > < / a > < span class = "lineno" > 63< / span >   < / div >
< div class = "line" > < a name = "l00064" > < / a > < span class = "lineno" > 64< / span >   < span class = "comment" > // [START advanced]< / span > < / div >
< div class = "line" > < a name = "l00065" > < / a > < span class = "lineno" > 65< / span >   Console.WriteLine(< span class = "stringliteral" > " Advanced usage:" < / span > );< / div >
< div class = "line" > < a name = "l00066" > < / a > < span class = "lineno" > 66< / span >   Console.WriteLine($< span class = "stringliteral" > " Problem solved in {solver.WallTime()}ms" < / span > );< / div >
< div class = "line" > < a name = "l00067" > < / a > < span class = "lineno" > 67< / span >   Console.WriteLine($< span class = "stringliteral" > " Memory usage: {Solver.MemoryUsage()}bytes" < / span > );< / div >
< div class = "line" > < a name = "l00068" > < / a > < span class = "lineno" > 68< / span >   < span class = "comment" > // [END advanced]< / span > < / div >
< div class = "line" > < a name = "l00069" > < / a > < span class = "lineno" > 69< / span >   }< / div >
< div class = "line" > < a name = "l00070" > < / a > < span class = "lineno" > 70< / span >   }< / div >
< div class = "line" > < a name = "l00071" > < / a > < span class = "lineno" > 71< / span >   < span class = "comment" > // [END program]< / span > < / div >
2019-06-20 23:35:26 +02:00
< / div > <!-- fragment --> < / div > <!-- contents -->
2020-01-27 13:48:26 +01:00
< div class = "ttc" id = "aclassGoogle_1_1OrTools_1_1ConstraintSolver_1_1IntVar_html" > < div class = "ttname" > < a href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1IntVar.html" > Google.OrTools.ConstraintSolver.IntVar< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "IntVar_8cs_source.html#l00018" > IntVar.cs:18< / a > < / div > < / div >
2020-01-31 17:04:21 +01:00
< div class = "ttc" id = "aclassGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver_html_a021b228c716aa9541821f25f1868023a" > < div class = "ttname" > < a href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a021b228c716aa9541821f25f1868023a" > Google.OrTools.ConstraintSolver.Solver.Add< / a > < / div > < div class = "ttdeci" > void Add(Constraint c)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "constraint__solver_2Solver_8cs_source.html#l00266" > constraint_solver/Solver.cs:266< / a > < / div > < / div >
< div class = "ttc" id = "aclassGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver_html_ac8f71d56d9e89720de2b118577bdfcf3" > < div class = "ttname" > < a href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#ac8f71d56d9e89720de2b118577bdfcf3" > Google.OrTools.ConstraintSolver.Solver.ASSIGN_MIN_VALUE< / a > < / div > < div class = "ttdeci" > static readonly int ASSIGN_MIN_VALUE< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "constraint__solver_2Solver_8cs_source.html#l02870" > constraint_solver/Solver.cs:2870< / a > < / div > < / div >
2020-01-27 13:48:26 +01:00
< div class = "ttc" id = "anamespaceGoogle_1_1OrTools_1_1ConstraintSolver_html" > < div class = "ttname" > < a href = "namespaceGoogle_1_1OrTools_1_1ConstraintSolver.html" > Google.OrTools.ConstraintSolver< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "Assignment_8cs_source.html#l00011" > Assignment.cs:11< / a > < / div > < / div >
< div class = "ttc" id = "anamespaceGoogle_html" > < div class = "ttname" > < a href = "namespaceGoogle.html" > Google< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "KInt64Vector_8cs_source.html#l00011" > KInt64Vector.cs:11< / a > < / div > < / div >
< div class = "ttc" id = "aclassGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver_html" > < div class = "ttname" > < a href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html" > Google.OrTools.ConstraintSolver.Solver< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "constraint__solver_2Solver_8cs_source.html#l00018" > constraint_solver/Solver.cs:18< / a > < / div > < / div >
2020-01-31 17:04:21 +01:00
< div class = "ttc" id = "aclassGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver_html_af05e983d08fdf134a231e0535f39c7f6" > < div class = "ttname" > < a href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#af05e983d08fdf134a231e0535f39c7f6" > Google.OrTools.ConstraintSolver.Solver.MakeAllDifferent< / a > < / div > < div class = "ttdeci" > Constraint MakeAllDifferent(IntVarVector vars)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "constraint__solver_2Solver_8cs_source.html#l01334" > constraint_solver/Solver.cs:1334< / a > < / div > < / div >
< div class = "ttc" id = "aclassGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver_html_a230cc0fa5e8c3387d746a1e123804975" > < div class = "ttname" > < a href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a230cc0fa5e8c3387d746a1e123804975" > Google.OrTools.ConstraintSolver.Solver.MakePhase< / a > < / div > < div class = "ttdeci" > DecisionBuilder MakePhase(IntVarVector vars, int var_str, int val_str)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "constraint__solver_2Solver_8cs_source.html#l02206" > constraint_solver/Solver.cs:2206< / a > < / div > < / div >
2020-01-27 13:48:26 +01:00
< div class = "ttc" id = "anamespaceGoogle_1_1OrTools_html" > < div class = "ttname" > < a href = "namespaceGoogle_1_1OrTools.html" > Google.OrTools< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "KInt64Vector_8cs_source.html#l00011" > KInt64Vector.cs:11< / a > < / div > < / div >
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclassGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver_html_a3216144f5779ad0022bd7a0421c858d7" > < div class = "ttname" > < a href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a3216144f5779ad0022bd7a0421c858d7" > Google.OrTools.ConstraintSolver.Solver.EndSearch< / a > < / div > < div class = "ttdeci" > void EndSearch()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "constraint__solver_2csharp_2SolverHelper_8cs_source.html#l00321" > constraint_solver/csharp/SolverHelper.cs:321< / a > < / div > < / div >
< div class = "ttc" id = "aclassGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver_html_a705f55669131d886f4a864949f6f0c12" > < div class = "ttname" > < a href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a705f55669131d886f4a864949f6f0c12" > Google.OrTools.ConstraintSolver.Solver.NewSearch< / a > < / div > < div class = "ttdeci" > void NewSearch(DecisionBuilder db)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "constraint__solver_2csharp_2SolverHelper_8cs_source.html#l00264" > constraint_solver/csharp/SolverHelper.cs:264< / a > < / div > < / div >
2020-01-27 13:48:26 +01:00
< div class = "ttc" id = "aclassGoogle_1_1OrTools_1_1ConstraintSolver_1_1DecisionBuilder_html" > < div class = "ttname" > < a href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1DecisionBuilder.html" > Google.OrTools.ConstraintSolver.DecisionBuilder< / a > < / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "DecisionBuilder_8cs_source.html#l00018" > DecisionBuilder.cs:18< / a > < / div > < / div >
2020-01-31 17:04:21 +01:00
< div class = "ttc" id = "aclassGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver_html_ab9b8c3ea993ee19fd9cb68fb3240e09f" > < div class = "ttname" > < a href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#ab9b8c3ea993ee19fd9cb68fb3240e09f" > Google.OrTools.ConstraintSolver.Solver.NextSolution< / a > < / div > < div class = "ttdeci" > bool NextSolution()< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "constraint__solver_2Solver_8cs_source.html#l00331" > constraint_solver/Solver.cs:331< / a > < / div > < / div >
2019-11-14 13:52:51 -08:00
< div class = "ttc" id = "aclassSimpleCpProgram_html_a1f7e61855217a4f3ad075ae5cb5a7cff" > < div class = "ttname" > < a href = "classSimpleCpProgram.html#a1f7e61855217a4f3ad075ae5cb5a7cff" > SimpleCpProgram.Main< / a > < / div > < div class = "ttdeci" > static void Main(String[] args)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SimpleCpProgram_8cs_source.html#l00024" > SimpleCpProgram.cs:24< / a > < / div > < / div >
< div class = "ttc" id = "aclassSimpleCpProgram_html" > < div class = "ttname" > < a href = "classSimpleCpProgram.html" > SimpleCpProgram< / a > < / div > < div class = "ttdoc" > This is a simple CP program.< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "SimpleCpProgram_8cs_source.html#l00023" > SimpleCpProgram.cs:23< / a > < / div > < / div >
2020-01-31 17:04:21 +01:00
< div class = "ttc" id = "aclassGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver_html_a9c46f8af21237f46ba6f0fc78a4c7976" > < div class = "ttname" > < a href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a9c46f8af21237f46ba6f0fc78a4c7976" > Google.OrTools.ConstraintSolver.Solver.MakeIntVar< / a > < / div > < div class = "ttdeci" > IntVar MakeIntVar(long min, long max, string name)< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "constraint__solver_2Solver_8cs_source.html#l00459" > constraint_solver/Solver.cs:459< / a > < / div > < / div >
< div class = "ttc" id = "aclassGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver_html_a3c922220a147fa042be2e882c621b469" > < div class = "ttname" > < a href = "classGoogle_1_1OrTools_1_1ConstraintSolver_1_1Solver.html#a3c922220a147fa042be2e882c621b469" > Google.OrTools.ConstraintSolver.Solver.CHOOSE_FIRST_UNBOUND< / a > < / div > < div class = "ttdeci" > static readonly int CHOOSE_FIRST_UNBOUND< / div > < div class = "ttdef" > < b > Definition:< / b > < a href = "constraint__solver_2Solver_8cs_source.html#l02854" > constraint_solver/Solver.cs:2854< / a > < / div > < / div >
2019-08-07 18:01:08 -07:00
< / div >
2019-06-20 23:35:26 +02:00
< / div >
< div id = "footer-container" >
< div id = "footer" >
< / div >
< / div >
< / body >
< / html >
