C++ Reference: class MonoThreadReporting

This documentation is automatically generated.

Method
BestSolution

Return type: int64

CreateLimit

Return type: SearchLimit*

Arguments: Solver* s, int thread_id

CreateObjective

Return type: OptimizeVar*

Arguments: Solver* s, bool maximize, IntVar* var, int64 step, int thread_id

Init

Return type: void

Arguments: int thread_id, const std::string& init_string

Interrupted

Return type: bool

Log

Return type: void

Arguments: int thread_id, const std::string& final_output

MonoThreadReporting

Arguments: bool print_all, int num_solutions

~MonoThreadReporting

OnOptimizeSolution

Return type: void

Arguments: int thread_id, int64 value, const std::string& solution_string

OnSatSolution

Return type: void

Arguments: int thread_id, const std::string& solution_string

OnSearchEnd

Return type: void

Arguments: int thread_id, bool interrupted

OnSearchStart

Return type: void

Arguments: int thread_id, Type type

Print

Return type: void

Arguments: int thread_id, const std::string& final_output

ShouldFinish

Return type: bool

Send feedback about...