Searched refs:m_row2base (Results 1 – 4 of 4) sorted by relevance
109 while (m_row2base.size() <= r.id()) { in add_row()110 m_row2base.push_back(null_var); in add_row()112 m_row2base[r.id()] = base_var; in add_row()142 var_t var = m_row2base[r.id()]; in del_row()146 m_row2base[r.id()] = null_var; in del_row()326 m_row2base.reset(); in reset()395 m_row2base[r_i] = x_j; in pivot()439 var_t s = m_row2base[r.id()]; in update_value()868 var_t s = m_row2base[r.id()]; in pick_var_to_leave()984 var_t s = m_row2base[i]; in well_formed()[all …]
101 svector<var_t> m_row2base; variable128 var_t get_base_var(row const& r) const { return m_row2base[r.id()]; } in get_base_var()129 …numeral const& get_base_coeff(row const& r) const { return m_vars[m_row2base[r.id()]].m_base_coeff… in get_base_coeff()