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
ResetSharedBoolean	Return type: void Reset the shared atomic Boolean used to stop the search.
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