Searched refs:first_free_tableau_index (Results 1 – 1 of 1) sorted by relevance
717 const dimension_type first_free_tableau_index = old_tableau_num_cols - 1; in process_pending_constraints() local727 const dimension_type positive = first_free_tableau_index + j; in process_pending_constraints()