Searched refs:m_base_vars (Results 1 – 4 of 4) sorted by relevance
36 m_base_vars.reset(); in add_row()42 m_base_vars.push_back(i); in add_row()49 for (unsigned i = 0; i < m_base_vars.size(); ++i) { in add_row()50 var_t v = vars[m_base_vars[i]]; in add_row()51 m.mul(coeffs[m_base_vars[i]], mul, a); in add_row()328 m_base_vars.reset(); in reset()
107 unsigned_vector m_base_vars; variable