Searched refs:choose_branch_cell (Results 1 – 1 of 1) sorted by relevance
53 int choose_branch_cell(PartitionStack* ps, ConstraintStore* cstore, in choose_branch_cell() function239 branch_cell = choose_branch_cell(&p->p_stack, in buildRBase()