Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | List of all members
Google.OrTools.Tests.SatSolverTest Class Reference

Public Member Functions

 SatSolverTest (ITestOutputHelper output)
 
void SimpleLinearModelProto ()
 CpModelProto.
 
void SimpleLinearModelProto2 ()
 
void SimpleLinearModel ()
 CpModel.
 
void SimpleLinearModel2 ()
 
void SimpleLinearModel3 ()
 
void NegativeIntVar ()
 
void NegativeSquareVar ()
 
void Division ()
 
void Modulo ()
 
void LargeWeightedSumLong ()
 
void LargeWeightedSumInt ()
 
void LargeWeightedSumExpr ()
 
void LargeWeightedSumBuilder ()
 
void LinearExprStaticCompileTest ()
 
void LinearExprBuilderCompileTest ()
 
void LinearExprIntVarOperatorTest ()
 
void LinearExprBoolVarOperatorTest ()
 
void TrueLiteralAsExpressionTest ()
 
void FalseLiteralAsExpressionTest ()
 
void LinearExprNotBoolVarOperatorTest ()
 
void ExportModel ()
 
void SolveFromString ()
 
void CaptureLog ()
 
void TestInterval ()
 
void TestHint ()
 

Detailed Description

Definition at line 108 of file SatSolverTests.cs.

Constructor & Destructor Documentation

◆ SatSolverTest()

Google.OrTools.Tests.SatSolverTest.SatSolverTest ( ITestOutputHelper output)
inline

Definition at line 112 of file SatSolverTests.cs.

Member Function Documentation

◆ CaptureLog()

void Google.OrTools.Tests.SatSolverTest.CaptureLog ( )
inline

Console.WriteLine("model = " + model.Model.ToString());

Definition at line 722 of file SatSolverTests.cs.

◆ Division()

void Google.OrTools.Tests.SatSolverTest.Division ( )
inline

Console.WriteLine(model.Model);

Tell the solver to search for all solutions.

Console.WriteLine("response = " + response.ToString());

Definition at line 346 of file SatSolverTests.cs.

◆ ExportModel()

void Google.OrTools.Tests.SatSolverTest.ExportModel ( )
inline

Definition at line 672 of file SatSolverTests.cs.

◆ FalseLiteralAsExpressionTest()

void Google.OrTools.Tests.SatSolverTest.FalseLiteralAsExpressionTest ( )
inline

Definition at line 625 of file SatSolverTests.cs.

◆ LargeWeightedSumBuilder()

void Google.OrTools.Tests.SatSolverTest.LargeWeightedSumBuilder ( )
inline

Definition at line 454 of file SatSolverTests.cs.

◆ LargeWeightedSumExpr()

void Google.OrTools.Tests.SatSolverTest.LargeWeightedSumExpr ( )
inline

Definition at line 436 of file SatSolverTests.cs.

◆ LargeWeightedSumInt()

void Google.OrTools.Tests.SatSolverTest.LargeWeightedSumInt ( )
inline

Definition at line 416 of file SatSolverTests.cs.

◆ LargeWeightedSumLong()

void Google.OrTools.Tests.SatSolverTest.LargeWeightedSumLong ( )
inline

Definition at line 396 of file SatSolverTests.cs.

◆ LinearExprBoolVarOperatorTest()

void Google.OrTools.Tests.SatSolverTest.LinearExprBoolVarOperatorTest ( )
inline

Definition at line 577 of file SatSolverTests.cs.

◆ LinearExprBuilderCompileTest()

void Google.OrTools.Tests.SatSolverTest.LinearExprBuilderCompileTest ( )
inline

Definition at line 510 of file SatSolverTests.cs.

◆ LinearExprIntVarOperatorTest()

void Google.OrTools.Tests.SatSolverTest.LinearExprIntVarOperatorTest ( )
inline

Definition at line 553 of file SatSolverTests.cs.

◆ LinearExprNotBoolVarOperatorTest()

void Google.OrTools.Tests.SatSolverTest.LinearExprNotBoolVarOperatorTest ( )
inline

Definition at line 649 of file SatSolverTests.cs.

◆ LinearExprStaticCompileTest()

void Google.OrTools.Tests.SatSolverTest.LinearExprStaticCompileTest ( )
inline

Definition at line 479 of file SatSolverTests.cs.

◆ Modulo()

void Google.OrTools.Tests.SatSolverTest.Modulo ( )
inline

Console.WriteLine(model.Model);

Tell the solver to search for all solutions.

Console.WriteLine("response = " + response.ToString());

Definition at line 371 of file SatSolverTests.cs.

◆ NegativeIntVar()

void Google.OrTools.Tests.SatSolverTest.NegativeIntVar ( )
inline

output_.WriteLine("model = " + model.Model);

Definition at line 289 of file SatSolverTests.cs.

◆ NegativeSquareVar()

void Google.OrTools.Tests.SatSolverTest.NegativeSquareVar ( )
inline

Definition at line 318 of file SatSolverTests.cs.

◆ SimpleLinearModel()

void Google.OrTools.Tests.SatSolverTest.SimpleLinearModel ( )
inline

CpModel.

Console.WriteLine("model = " + model.Model.ToString());

Console.WriteLine("response = " + response.ToString());

Definition at line 223 of file SatSolverTests.cs.

◆ SimpleLinearModel2()

void Google.OrTools.Tests.SatSolverTest.SimpleLinearModel2 ( )
inline

Console.WriteLine("model = " + model.Model.ToString());

Console.WriteLine("response = " + response.ToString());

Definition at line 246 of file SatSolverTests.cs.

◆ SimpleLinearModel3()

void Google.OrTools.Tests.SatSolverTest.SimpleLinearModel3 ( )
inline

Console.WriteLine("model = " + model.Model.ToString());

Console.WriteLine("response = " + response.ToString());

Definition at line 266 of file SatSolverTests.cs.

◆ SimpleLinearModelProto()

void Google.OrTools.Tests.SatSolverTest.SimpleLinearModelProto ( )
inline

CpModelProto.

Console.WriteLine("model = " + model.ToString());

Console.WriteLine("response = " + response.ToString());

Definition at line 185 of file SatSolverTests.cs.

◆ SimpleLinearModelProto2()

void Google.OrTools.Tests.SatSolverTest.SimpleLinearModelProto2 ( )
inline

Console.WriteLine("model = " + model.ToString());

Console.WriteLine("response = " + response.ToString());

Definition at line 204 of file SatSolverTests.cs.

◆ SolveFromString()

void Google.OrTools.Tests.SatSolverTest.SolveFromString ( )
inline

Definition at line 684 of file SatSolverTests.cs.

◆ TestHint()

void Google.OrTools.Tests.SatSolverTest.TestHint ( )
inline

Definition at line 757 of file SatSolverTests.cs.

◆ TestInterval()

void Google.OrTools.Tests.SatSolverTest.TestInterval ( )
inline

Definition at line 745 of file SatSolverTests.cs.

◆ TrueLiteralAsExpressionTest()

void Google.OrTools.Tests.SatSolverTest.TrueLiteralAsExpressionTest ( )
inline

Definition at line 601 of file SatSolverTests.cs.

The documentation for this class was generated from the following file: