DotNet Reference

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

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 152 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 70 of file CpSolver.cs.

◆ SearchAllSolutions()

CpSolverStatus SearchAllSolutions ( CpModel  model,
SolutionCallback  cb 
)
inline

Definition at line 52 of file CpSolver.cs.

◆ Solve()

CpSolverStatus Solve ( CpModel  model)
inline

Definition at line 22 of file CpSolver.cs.

◆ SolveWithSolutionCallback()

CpSolverStatus SolveWithSolutionCallback ( CpModel  model,
SolutionCallback  cb 
)
inline

Definition at line 36 of file CpSolver.cs.

◆ Value()

long Value ( LinearExpr  e)
inline

Definition at line 96 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 80 of file CpSolver.cs.

◆ ObjectiveValue

double ObjectiveValue
get

Definition at line 75 of file CpSolver.cs.

◆ Response

CpSolverResponse Response
get

Definition at line 91 of file CpSolver.cs.

◆ StringParameters

string StringParameters
getset

Definition at line 85 of file CpSolver.cs.


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