Searched refs:num_added_params (Results 1 – 1 of 1) sorted by path
2424 const dimension_type num_added_params = new_num_params - old_num_params; in update_tableau() local2425 const dimension_type num_added_vars = num_added_dims - num_added_params; in update_tableau()2432 if (num_added_params > 0) { in update_tableau()2433 tableau.t.add_zero_columns(num_added_params, old_num_params + 1); in update_tableau()