always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

constraint_solver: Update pheasant/rabbit comment

Browse Source
This commit is contained in:
Corentin Le Molgat
2020-12-30 17:50:48 +01:00
parent 90fdcf73ea
commit 2835d31cbf
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
ortools/constraint_solver/constraint_solver.h
View File

@@ -20,17 +20,22 @@
///
/// Here is a very simple Constraint Programming problem:
///
/// Knowing that we see 56 legs and 20 heads, how many pheasants and rabbits
/// are we looking at?
/// If we see 56 legs and 20 heads, how many two-legged pheasants
/// and four-legged rabbits are we looking at?
///
/// Here is some simple Constraint Programming code to find out:
///
/// void pheasant() {
/// Solver s("pheasant");
/// // Create integer variables to represent the number of pheasants and
/// // rabbits, with a minimum of 0 and a maximum of 20.
/// IntVar* const p = s.MakeIntVar(0, 20, "pheasant"));
/// IntVar* const r = s.MakeIntVar(0, 20, "rabbit"));
/// IntExpr* const legs = s.MakeSum(s.MakeProd(p, 2), s.MakeProd(r, 4));
/// // The number of heads is the sum of pheasants and rabbits.
/// IntExpr* const heads = s.MakeSum(p, r);
/// // The number of legs is the sum of pheasants * 2 and rabbits * 4.
/// IntExpr* const legs = s.MakeSum(s.MakeProd(p, 2), s.MakeProd(r, 4));
/// // Constraints: the number of legs is 56 and heads is 20.
/// Constraint* const ct_legs = s.MakeEquality(legs, 56);
/// Constraint* const ct_heads = s.MakeEquality(heads, 20);
/// s.AddConstraint(ct_legs);