DotNet Reference

.Net Reference

Public Member Functions | List of all members
SatSolverTest

Detailed Description

Definition at line 21 of file SatSolverTests.cs.

Public Member Functions

void SimpleLinearModelProto ()
 
void SimpleLinearModelProto2 ()
 
void SimpleLinearModel ()
 
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 LinearExprNotBoolVarOperatorTest ()
 
void ExportModel ()
 
void SolveFromString ()
 
void CaptureLog ()
 
void TestInterval ()
 

Member Function Documentation

◆ CaptureLog()

void CaptureLog ( )
inline

Definition at line 572 of file SatSolverTests.cs.

◆ Division()

void Division ( )
inline

Definition at line 252 of file SatSolverTests.cs.

◆ ExportModel()

void ExportModel ( )
inline

Definition at line 522 of file SatSolverTests.cs.

◆ LargeWeightedSumBuilder()

void LargeWeightedSumBuilder ( )
inline

Definition at line 352 of file SatSolverTests.cs.

◆ LargeWeightedSumExpr()

void LargeWeightedSumExpr ( )
inline

Definition at line 334 of file SatSolverTests.cs.

◆ LargeWeightedSumInt()

void LargeWeightedSumInt ( )
inline

Definition at line 314 of file SatSolverTests.cs.

◆ LargeWeightedSumLong()

void LargeWeightedSumLong ( )
inline

Definition at line 294 of file SatSolverTests.cs.

◆ LinearExprBoolVarOperatorTest()

void LinearExprBoolVarOperatorTest ( )
inline

Definition at line 475 of file SatSolverTests.cs.

◆ LinearExprBuilderCompileTest()

void LinearExprBuilderCompileTest ( )
inline

Definition at line 408 of file SatSolverTests.cs.

◆ LinearExprIntVarOperatorTest()

void LinearExprIntVarOperatorTest ( )
inline

Definition at line 451 of file SatSolverTests.cs.

◆ LinearExprNotBoolVarOperatorTest()

void LinearExprNotBoolVarOperatorTest ( )
inline

Definition at line 499 of file SatSolverTests.cs.

◆ LinearExprStaticCompileTest()

void LinearExprStaticCompileTest ( )
inline

Definition at line 377 of file SatSolverTests.cs.

◆ Modulo()

void Modulo ( )
inline

Definition at line 273 of file SatSolverTests.cs.

◆ NegativeIntVar()

void NegativeIntVar ( )
inline

Definition at line 195 of file SatSolverTests.cs.

◆ NegativeSquareVar()

void NegativeSquareVar ( )
inline

Definition at line 224 of file SatSolverTests.cs.

◆ SimpleLinearModel()

void SimpleLinearModel ( )
inline

Definition at line 129 of file SatSolverTests.cs.

◆ SimpleLinearModel2()

void SimpleLinearModel2 ( )
inline

Definition at line 152 of file SatSolverTests.cs.

◆ SimpleLinearModel3()

void SimpleLinearModel3 ( )
inline

Definition at line 172 of file SatSolverTests.cs.

◆ SimpleLinearModelProto()

void SimpleLinearModelProto ( )
inline

Definition at line 91 of file SatSolverTests.cs.

◆ SimpleLinearModelProto2()

void SimpleLinearModelProto2 ( )
inline

Definition at line 110 of file SatSolverTests.cs.

◆ SolveFromString()

void SolveFromString ( )
inline

Definition at line 534 of file SatSolverTests.cs.

◆ TestInterval()

void TestInterval ( )
inline

Definition at line 595 of file SatSolverTests.cs.

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