Searched refs:branching_index (Results 1 – 3 of 3) sorted by relevance
970 dimension_type& branching_index);
2139 dimension_type& branching_index) { in choose_branching_variable() argument2207 branching_index = *v_it; in choose_branching_variable()
52624 \param branching_index52630 dimension_type& branching_index);