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`