Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Google.OrTools.Sat.CpSolver Class Referencesealed

Wrapper around the SAT solver. More...

Detailed Description

Wrapper around the SAT solver.

This class proposes a Solve() method, as well as accessors to get the values of variables in the best solution, as well as general statistics of the search.

Definition at line 29 of file CpSolver.cs.

Inheritance diagram for Google.OrTools.Sat.CpSolver:

Public Member Functions

CpSolverStatus Solve (CpModel model, SolutionCallback? cb=null)
void StopSearch ()
 Stops the search asynchronously.
string ResponseStats ()
void SetLogCallback (StringToVoidDelegate del)
void ClearLogCallback ()
void SetBestBoundCallback (DoubleToVoidDelegate del)
void ClearBestBoundCallback ()
long Value (IntVar intVar)
long Value (LinearExpr e)
bool BooleanValue (ILiteral literal)
long NumBranches ()
long NumConflicts ()
double WallTime ()
IList< int > SufficientAssumptionsForInfeasibility ()
string SolutionInfo ()
void Dispose ()

Properties

double ObjectiveValue [get]
double BestObjectiveBound [get]
string? StringParameters [get, set]
CpSolverResponseResponse [get]

Member Function Documentation

◆ BooleanValue()

bool Google.OrTools.Sat.CpSolver.BooleanValue ( ILiteral literal)
inline

Definition at line 178 of file CpSolver.cs.

◆ ClearBestBoundCallback()

void Google.OrTools.Sat.CpSolver.ClearBestBoundCallback ( )
inline

Definition at line 106 of file CpSolver.cs.

◆ ClearLogCallback()

void Google.OrTools.Sat.CpSolver.ClearLogCallback ( )
inline

Definition at line 94 of file CpSolver.cs.

◆ Dispose()

void Google.OrTools.Sat.CpSolver.Dispose ( )
inline

Definition at line 208 of file CpSolver.cs.

◆ NumBranches()

long Google.OrTools.Sat.CpSolver.NumBranches ( )

◆ NumConflicts()

long Google.OrTools.Sat.CpSolver.NumConflicts ( )

◆ ResponseStats()

string Google.OrTools.Sat.CpSolver.ResponseStats ( )

◆ SetBestBoundCallback()

void Google.OrTools.Sat.CpSolver.SetBestBoundCallback ( DoubleToVoidDelegate del)
inline

Definition at line 100 of file CpSolver.cs.

◆ SetLogCallback()

void Google.OrTools.Sat.CpSolver.SetLogCallback ( StringToVoidDelegate del)
inline

Definition at line 88 of file CpSolver.cs.

◆ SolutionInfo()

string Google.OrTools.Sat.CpSolver.SolutionInfo ( )

◆ Solve()

CpSolverStatus Google.OrTools.Sat.CpSolver.Solve ( CpModel model,
SolutionCallback? cb = null )
inline

Setup search.

Cleanup search.

Definition at line 45 of file CpSolver.cs.

◆ StopSearch()

void Google.OrTools.Sat.CpSolver.StopSearch ( )

Stops the search asynchronously.

◆ SufficientAssumptionsForInfeasibility()

IList< int > Google.OrTools.Sat.CpSolver.SufficientAssumptionsForInfeasibility ( )

◆ Value() [1/2]

long Google.OrTools.Sat.CpSolver.Value ( IntVar intVar)
inline

Definition at line 112 of file CpSolver.cs.

◆ Value() [2/2]

long Google.OrTools.Sat.CpSolver.Value ( LinearExpr e)
inline

Definition at line 119 of file CpSolver.cs.

◆ WallTime()

double Google.OrTools.Sat.CpSolver.WallTime ( )

Property Documentation

◆ BestObjectiveBound

double Google.OrTools.Sat.CpSolver.BestObjectiveBound
get

Definition at line 39 of file CpSolver.cs.

◆ ObjectiveValue

double Google.OrTools.Sat.CpSolver.ObjectiveValue
get

Definition at line 37 of file CpSolver.cs.

◆ Response

CpSolverResponse? Google.OrTools.Sat.CpSolver.Response
get

Definition at line 43 of file CpSolver.cs.

◆ StringParameters

string? Google.OrTools.Sat.CpSolver.StringParameters
getset

Definition at line 41 of file CpSolver.cs.


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