Searched refs:candidate_variables (Results 1 – 1 of 1) sorted by relevance
2146 Variables_Set candidate_variables; in choose_branching_variable() local2158 candidate_variables.insert(*v_it); in choose_branching_variable()2162 if (candidate_variables.empty()) { in choose_branching_variable()2181 num_appearances(candidate_variables.space_dimension(), 0); in choose_branching_variable()2192 for (Variables_Set::const_iterator v_it = candidate_variables.begin(), in choose_branching_variable()2193 v_end = candidate_variables.end(); v_it != v_end; ++v_it) { in choose_branching_variable()2202 for (Variables_Set::const_iterator v_it = candidate_variables.begin(), in choose_branching_variable()2203 v_end = candidate_variables.end(); v_it != v_end; ++v_it) { in choose_branching_variable()