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

fix

Browse Source
This commit is contained in:
Laurent Perron
2024-07-22 14:16:53 +02:00
parent e1ba22eaef
commit d077c2c12f
1 changed files with 15 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
ortools/sat/csharp/SatSolverTests.cs
View File

@@ -631,7 +631,21 @@ public class SatSolverTest
{
Console.WriteLine("LinearExprBoolVarNotOperatorTest");
CpModel model = new CpModel();
ILiteral v = model.NewBoolVar("v");TestInter
ILiteral v = model.NewBoolVar("v");
LinearExpr e = v.NotAsExpr() * 2;
Console.WriteLine(e);
e = 2 * v.NotAsExpr();
Console.WriteLine(e);
e = v.NotAsExpr() + 2;
Console.WriteLine(e);
e = 2 + v.NotAsExpr();
Console.WriteLine(e);
e = v.NotAsExpr();
Console.WriteLine(e);
e = -v.NotAsExpr();
Console.WriteLine(e);
e = 1 - v.NotAsExpr();
Console.WriteLine(e);
e = v.NotAsExpr() - 1;
Console.WriteLine(e);
}