Searched refs:max_num_branches (Results 1 – 1 of 1) sorted by relevance
1630 const int max_num_branches = 3; in Propagate() local1660 if (branching_vars.size() > max_num_branches) { in Propagate()1661 branching_vars.resize(max_num_branches); in Propagate()