Searched refs:old_tableau_num_cols (Results 1 – 1 of 1) sorted by relevance
716 const dimension_type old_tableau_num_cols = tableau.num_columns(); in process_pending_constraints() local717 const dimension_type first_free_tableau_index = old_tableau_num_cols - 1; in process_pending_constraints()