Google.OrTools.Sat.CpSolver Class Reference

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 ()
string	SolveLog ()
IList< int >	SufficientAssumptionsForInfeasibility ()
string	SolutionInfo ()
void	Dispose ()
	Releases all resources used by the CpSolver.

Protected Member Functions
virtual void	Dispose (bool disposing)
	Releases unmanaged resources and optionally releases managed resources.

Properties
double	ObjectiveValue [get]
double	BestObjectiveBound [get]
string?	StringParameters [get, set]
CpSolverResponse?	Response [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() [1/2]

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

inline

Releases all resources used by the CpSolver.

Definition at line 235 of file CpSolver.cs.

Dispose() [2/2]

virtual void Google.OrTools.Sat.CpSolver.Dispose ( bool disposing )

inlineprotectedvirtual

Releases unmanaged resources and optionally releases managed resources.

Parameters

disposing

true to release both managed and unmanaged resources; false to release only unmanaged resources.

Definition at line 215 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

Definition at line 45 of file CpSolver.cs.

SolveLog()

string Google.OrTools.Sat.CpSolver.SolveLog

(

)

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:

• ortools/sat/csharp/CpSolver.cs