Google OR-Tools v9.12
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 ValueElement ()
 
void ExprElement ()
 
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 744 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 694 of file SatSolverTests.cs.

◆ ExprElement()

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

Definition at line 405 of file SatSolverTests.cs.

◆ FalseLiteralAsExpressionTest()

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

Definition at line 647 of file SatSolverTests.cs.

◆ LargeWeightedSumBuilder()

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

Definition at line 476 of file SatSolverTests.cs.

◆ LargeWeightedSumExpr()

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

Definition at line 458 of file SatSolverTests.cs.

◆ LargeWeightedSumInt()

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

Definition at line 438 of file SatSolverTests.cs.

◆ LargeWeightedSumLong()

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

Definition at line 418 of file SatSolverTests.cs.

◆ LinearExprBoolVarOperatorTest()

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

Definition at line 599 of file SatSolverTests.cs.

◆ LinearExprBuilderCompileTest()

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

Definition at line 532 of file SatSolverTests.cs.

◆ LinearExprIntVarOperatorTest()

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

Definition at line 575 of file SatSolverTests.cs.

◆ LinearExprNotBoolVarOperatorTest()

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

Definition at line 671 of file SatSolverTests.cs.

◆ LinearExprStaticCompileTest()

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

Definition at line 501 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 706 of file SatSolverTests.cs.

◆ TestHint()

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

Definition at line 779 of file SatSolverTests.cs.

◆ TestInterval()

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

Definition at line 767 of file SatSolverTests.cs.

◆ TrueLiteralAsExpressionTest()

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

Definition at line 623 of file SatSolverTests.cs.

◆ ValueElement()

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

Definition at line 396 of file SatSolverTests.cs.

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