Searched refs:tableau_k (Results 1 – 1 of 1) sorted by relevance
815 Row& tableau_k = tableau[--k]; in process_pending_constraints() local816 Row::iterator itr = tableau_k.end(); in process_pending_constraints()825 itr = tableau_k.insert(itr, mapped.first, coeff_sd); in process_pending_constraints()828 itr = tableau_k.insert(itr, mapped.second); in process_pending_constraints()834 tableau_k.insert(itr, mapping[0].first, inhomo); in process_pending_constraints()837 itr = tableau_k.insert(itr, mapping[0].second); in process_pending_constraints()844 neg_assign(tableau_k[--slack_index], Coefficient_one()); in process_pending_constraints()854 if (k != j && base[j] != 0 && tableau_k.get(base[j]) != 0) { in process_pending_constraints()855 linear_combine(tableau_k, tableau[j], base[j]); in process_pending_constraints()