Google.OrTools.Sat.CpSolver Class Reference

Wrapper around the SAT solver. More...

Public Member Functions
CpSolverStatus	Solve (CpModel model, SolutionCallback cb=null)
	Solves the given model, and returns the solve status.
CpSolverStatus	SolveWithSolutionCallback (CpModel model, SolutionCallback cb)
	Deprecated, use Solve() instead.
CpSolverStatus	SearchAllSolutions (CpModel model, SolutionCallback cb)
	Deprecated, use Solve() instead.
void	StopSearch ()
	Stops the search asynchronously.
String	ResponseStats ()
	Statistics on the solution found as a string.
void	SetLogCallback (StringToVoidDelegate del)
long	Value (IntVar intVar)
	Returns the value of an integer variable in the last solution found.
long	Value (LinearExpr e)
	Returns the value of a linear expression in the last solution found.
Boolean	BooleanValue (ILiteral literal)
	Returns the Boolean value of a literal in the last solution found.
long	NumBranches ()
	Returns the number of branches explored during search.
long	NumConflicts ()
	Returns the number of conflicts created during search.
double	WallTime ()
	Returns the wall time of the search.
IList< int >	SufficientAssumptionsForInfeasibility ()
String	SolutionInfo ()
	Returns some information on how the solution was found, or the reason why the model or the parameters are invalid.

Properties
double	ObjectiveValue [get]
	The best objective value found during search.
double	BestObjectiveBound [get]
	The best lower bound found when minimizing, of the best upper bound found when maximizing.
string	StringParameters [get, set]
CpSolverResponse	Response [get]

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.

Member Function Documentation

BooleanValue()

Boolean Google.OrTools.Sat.CpSolver.BooleanValue ( ILiteral literal )

inline

Returns the Boolean value of a literal in the last solution found.

Definition at line 230 of file CpSolver.cs.

NumBranches()

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

inline

Returns the number of branches explored during search.

Definition at line 251 of file CpSolver.cs.

NumConflicts()

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

inline

Returns the number of conflicts created during search.

Definition at line 257 of file CpSolver.cs.

ResponseStats()

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

inline

Statistics on the solution found as a string.

Definition at line 103 of file CpSolver.cs.

SearchAllSolutions()

CpSolverStatus Google.OrTools.Sat.CpSolver.SearchAllSolutions ( CpModel model, SolutionCallback cb )

inline

Deprecated, use Solve() instead.

Definition at line 71 of file CpSolver.cs.

SetLogCallback()

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

inline

Definition at line 139 of file CpSolver.cs.

SolutionInfo()

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

inline

Returns some information on how the solution was found, or the reason why the model or the parameters are invalid.

Definition at line 279 of file CpSolver.cs.

Solve()

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

inline

Solves the given model, and returns the solve status.

Setup search.

Cleanup search.

Definition at line 32 of file CpSolver.cs.

SolveWithSolutionCallback()

CpSolverStatus Google.OrTools.Sat.CpSolver.SolveWithSolutionCallback ( CpModel model, SolutionCallback cb )

inline

Deprecated, use Solve() instead.

Definition at line 63 of file CpSolver.cs.

StopSearch()

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

inline

Stops the search asynchronously.

Definition at line 82 of file CpSolver.cs.

SufficientAssumptionsForInfeasibility()

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

inline

Definition at line 268 of file CpSolver.cs.

Value() [1/2]

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

inline

Returns the value of an integer variable in the last solution found.

Definition at line 156 of file CpSolver.cs.

Value() [2/2]

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

inline

Returns the value of a linear expression in the last solution found.

Definition at line 168 of file CpSolver.cs.

WallTime()

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

inline

Returns the wall time of the search.

Definition at line 263 of file CpSolver.cs.

Property Documentation

BestObjectiveBound

double Google.OrTools.Sat.CpSolver.BestObjectiveBound

get

The best lower bound found when minimizing, of the best upper bound found when maximizing.

Definition at line 121 of file CpSolver.cs.

ObjectiveValue

double Google.OrTools.Sat.CpSolver.ObjectiveValue

get

The best objective value found during search.

Definition at line 109 of file CpSolver.cs.

Response

CpSolverResponse Google.OrTools.Sat.CpSolver.Response

get

Definition at line 144 of file CpSolver.cs.

StringParameters

string Google.OrTools.Sat.CpSolver.StringParameters

getset

The parameters of the search, stored as a string

Definition at line 129 of file CpSolver.cs.

---

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

• ortools/sat/csharp/CpSolver.cs