Searched refs:decision_strategy (Results 1 – 3 of 3) sorted by relevance
80 int decision_strategy; member234 { _params.decision_strategy = s; } in set_decision_strategy()
47 _params.decision_strategy = 0; in CSolver()
7385 for (const auto& decision_strategy :7387 *(context_->mapping_model->add_search_strategy()) = decision_strategy;