| 162 | inline static int solver_count() { return Get().solver_count_; } |
| 163 | inline static void set_solver_count(int val) { Get().solver_count_ = val; } |
| 164 | inline static bool root_solver() { return Get().root_solver_; } |
| 165 | inline static void set_root_solver(bool val) { Get().root_solver_ = val; } |
| 166 | |
| 167 | protected: |