DotNet Reference
.Net Reference
CpSolver
Detailed Description
Definition at line 19 of file CpSolver.cs.
Public Member Functions | |
CpSolverStatus | Solve (CpModel model) |
CpSolverStatus | SolveWithSolutionCallback (CpModel model, SolutionCallback cb) |
CpSolverStatus | SearchAllSolutions (CpModel model, SolutionCallback cb) |
String | ResponseStats () |
long | Value (LinearExpr e) |
Boolean | BooleanValue (ILiteral literal) |
long | NumBranches () |
long | NumConflicts () |
double | WallTime () |
IList< int > | SufficientAssumptionsForInfeasibility () |
Properties | |
double | ObjectiveValue [get] |
double | BestObjectiveBound [get] |
string | StringParameters [get, set] |
CpSolverResponse | Response [get] |
Member Function Documentation
◆ BooleanValue()
|
inline |
Definition at line 153 of file CpSolver.cs.
◆ NumBranches()
|
inline |
Definition at line 173 of file CpSolver.cs.
◆ NumConflicts()
|
inline |
Definition at line 178 of file CpSolver.cs.
◆ ResponseStats()
|
inline |
Definition at line 63 of file CpSolver.cs.
◆ SearchAllSolutions()
|
inline |
Definition at line 47 of file CpSolver.cs.
◆ Solve()
|
inline |
Definition at line 21 of file CpSolver.cs.
◆ SolveWithSolutionCallback()
|
inline |
Definition at line 34 of file CpSolver.cs.
◆ SufficientAssumptionsForInfeasibility()
|
inline |
Definition at line 188 of file CpSolver.cs.
◆ Value()
|
inline |
Definition at line 99 of file CpSolver.cs.
◆ WallTime()
|
inline |
Definition at line 183 of file CpSolver.cs.
Property Documentation
◆ BestObjectiveBound
|
get |
Definition at line 75 of file CpSolver.cs.
◆ ObjectiveValue
|
get |
Definition at line 68 of file CpSolver.cs.
◆ Response
|
get |
Definition at line 92 of file CpSolver.cs.
◆ StringParameters
|
getset |
Definition at line 82 of file CpSolver.cs.
The documentation for this class was generated from the following file: