Searched refs:old_last_column (Results 1 – 1 of 1) sorted by relevance
1683 const dimension_type old_last_column = tableau.num_columns() - 1; in erase_artificials() local1743 = working_cost.get(old_last_column); in erase_artificials()