C++ Reference: class SolutionCallback

This documentation is automatically generated.

Base class for SWIG director based on solution callbacks. See http://www.swig.org/Doc3.0/SWIGDocumentation.html#CSharp_directors.
Method
BestObjectiveBound

Return type: double

DeterministicTime

Return type: double

HasResponse

Return type: bool

NumBinaryPropagations

Return type: int64

NumBooleans

Return type: int64

NumBranches

Return type: int64

NumConflicts

Return type: int64

NumIntegerPropagations

Return type: int64

ObjectiveValue

Return type: double

OnSolutionCallback

Return type: virtual void

Response

Return type: operations_research::sat::CpSolverResponse

Run

Return type: void

Arguments: const operations_research::sat::CpSolverResponse& response

SolutionBooleanValue

Return type: bool

Arguments: int index

~SolutionCallback

Return type: virtual

SolutionIntegerValue

Return type: int64

Arguments: int index

stopped

Return type: std::atomic<bool>*

StopSearch

Return type: void

UserTime

Return type: double

WallTime

Return type: double