C++ Reference: class SolutionCallback

Note: This documentation is automatically generated.

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

Method
`BestObjectiveBound`	Return type: `double`
`DeterministicTime`	Return type: `double`
`HasResponse`	Return type: `bool`
`NumBinaryPropagations`	Return type: `int64_t`
`NumBooleans`	Return type: `int64_t`
`NumBranches`	Return type: `int64_t`
`NumConflicts`	Return type: `int64_t`
`NumIntegerPropagations`	Return type: `int64_t`
`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`
`SetAtomicBooleanToStopTheSearch`	Return type: `void` Arguments: `std::atomic<bool>* stopped_ptr` We use mutable and non const methods to overcome SWIG difficulties.
`SolutionBooleanValue`	Return type: `bool` Arguments: `int index`
`~SolutionCallback`	Return type: `virtual`
`SolutionIntegerValue`	Return type: `int64_t` Arguments: `int index`
`StopSearch`	Return type: `void` Stops the search.
`UserTime`	Return type: `double`
`WallTime`	Return type: `double`