DotNet Reference

.Net Reference

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()

Boolean BooleanValue ( ILiteral  literal)
inline

Definition at line 153 of file CpSolver.cs.

◆ NumBranches()

long NumBranches ( )
inline

Definition at line 173 of file CpSolver.cs.

◆ NumConflicts()

long NumConflicts ( )
inline

Definition at line 178 of file CpSolver.cs.

◆ ResponseStats()

String ResponseStats ( )
inline

Definition at line 63 of file CpSolver.cs.

◆ SearchAllSolutions()

CpSolverStatus SearchAllSolutions ( CpModel  model,
SolutionCallback  cb 
)
inline

Definition at line 47 of file CpSolver.cs.

◆ Solve()

CpSolverStatus Solve ( CpModel  model)
inline

Definition at line 21 of file CpSolver.cs.

◆ SolveWithSolutionCallback()

CpSolverStatus SolveWithSolutionCallback ( CpModel  model,
SolutionCallback  cb 
)
inline

Definition at line 34 of file CpSolver.cs.

◆ SufficientAssumptionsForInfeasibility()

IList<int> SufficientAssumptionsForInfeasibility ( )
inline

Definition at line 188 of file CpSolver.cs.

◆ Value()

long Value ( LinearExpr  e)
inline

Definition at line 99 of file CpSolver.cs.

◆ WallTime()

double WallTime ( )
inline

Definition at line 183 of file CpSolver.cs.

Property Documentation

◆ BestObjectiveBound

double BestObjectiveBound
get

Definition at line 75 of file CpSolver.cs.

◆ ObjectiveValue

double ObjectiveValue
get

Definition at line 68 of file CpSolver.cs.

◆ Response

CpSolverResponse Response
get

Definition at line 92 of file CpSolver.cs.

◆ StringParameters

string StringParameters
getset

Definition at line 82 of file CpSolver.cs.


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