DotNet Reference
.Net Reference
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.
Public Member Functions  
CpSolverStatus  Solve (CpModel model, SolutionCallback cb=null) 
Solves the given model, and returns the solve status. More...  
CpSolverStatus  SolveWithSolutionCallback (CpModel model, SolutionCallback cb) 
Deprecated, use Solve() instead. More...  
CpSolverStatus  SearchAllSolutions (CpModel model, SolutionCallback cb) 
Deprecated, use Solve() instead. More...  
void  StopSearch () 
Stops the search asynchronously. More...  
String  ResponseStats () 
Statistics on the solution found as a string. More...  
void  SetLogCallback (StringToVoidDelegate del) 
long  Value (IntVar intVar) 
Returns the value of an integer variable in the last solution found. More...  
long  Value (LinearExpr e) 
Returns the value of a linear expression in the last solution found. More...  
Boolean  BooleanValue (ILiteral literal) 
Returns the Boolean value of a literal in the last solution found. More...  
long  NumBranches () 
Returns the number of branches explored during search. More...  
long  NumConflicts () 
Returns the number of conflicts created during search. More...  
double  WallTime () 
Returns the wall time of the search. More...  
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. More...  
Properties  
double  ObjectiveValue [get] 
The best objective value found during search. More...  
double  BestObjectiveBound [get] 
The best lower bound found when minimizing, of the best upper bound found when maximizing More...  
string  StringParameters [get, set] 
The parameters of the search, stored as a string. More...  
CpSolverResponse  Response [get] 
Member Function Documentation
◆ BooleanValue()

inline 
Returns the Boolean value of a literal in the last solution found.
Definition at line 230 of file CpSolver.cs.
◆ NumBranches()

inline 
Returns the number of branches explored during search.
Definition at line 251 of file CpSolver.cs.
◆ NumConflicts()

inline 
Returns the number of conflicts created during search.
Definition at line 257 of file CpSolver.cs.
◆ ResponseStats()

inline 
Statistics on the solution found as a string.
Definition at line 103 of file CpSolver.cs.
◆ SearchAllSolutions()

inline 
Deprecated, use Solve() instead.
Definition at line 71 of file CpSolver.cs.
◆ SetLogCallback()

inline 
Definition at line 139 of file CpSolver.cs.
◆ 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()

inline 
Solves the given model, and returns the solve status.
Definition at line 32 of file CpSolver.cs.
◆ SolveWithSolutionCallback()

inline 
Deprecated, use Solve() instead.
Definition at line 63 of file CpSolver.cs.
◆ StopSearch()

inline 
Stops the search asynchronously.
Definition at line 82 of file CpSolver.cs.
◆ SufficientAssumptionsForInfeasibility()

inline 
Definition at line 268 of file CpSolver.cs.
◆ Value() [1/2]

inline 
Returns the value of an integer variable in the last solution found.
Definition at line 156 of file CpSolver.cs.
◆ Value() [2/2]

inline 
Returns the value of a linear expression in the last solution found.
Definition at line 168 of file CpSolver.cs.
◆ WallTime()

inline 
Returns the wall time of the search.
Definition at line 263 of file CpSolver.cs.
Property Documentation
◆ 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

get 
The best objective value found during search.
Definition at line 109 of file CpSolver.cs.
◆ Response

get 
Definition at line 144 of file CpSolver.cs.
◆ 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: