![]() |
Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
|
Wrapper around the SAT solver. More...
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.
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] |
CpSolverResponse? | Response [get] |
|
inline |
Definition at line 178 of file CpSolver.cs.
|
inline |
Definition at line 106 of file CpSolver.cs.
|
inline |
Definition at line 94 of file CpSolver.cs.
|
inline |
Definition at line 208 of file CpSolver.cs.
long Google.OrTools.Sat.CpSolver.NumBranches | ( | ) |
long Google.OrTools.Sat.CpSolver.NumConflicts | ( | ) |
string Google.OrTools.Sat.CpSolver.ResponseStats | ( | ) |
|
inline |
Definition at line 100 of file CpSolver.cs.
|
inline |
Definition at line 88 of file CpSolver.cs.
string Google.OrTools.Sat.CpSolver.SolutionInfo | ( | ) |
|
inline |
void Google.OrTools.Sat.CpSolver.StopSearch | ( | ) |
Stops the search asynchronously.
IList< int > Google.OrTools.Sat.CpSolver.SufficientAssumptionsForInfeasibility | ( | ) |
|
inline |
Definition at line 112 of file CpSolver.cs.
|
inline |
Definition at line 119 of file CpSolver.cs.
double Google.OrTools.Sat.CpSolver.WallTime | ( | ) |
|
get |
Definition at line 39 of file CpSolver.cs.
|
get |
Definition at line 37 of file CpSolver.cs.
|
get |
Definition at line 43 of file CpSolver.cs.
|
getset |
Definition at line 41 of file CpSolver.cs.