Searched defs:restore_x (Results 1 – 6 of 6) sorted by relevance
75 int restore_x, restore_w; // saved size when min/max width is set variable
334 inline void restore_x() { m_mpq_lar_core_solver.m_r_x = m_backup_x; } in restore_x() function
739 restore_x(unsigned entering, X const & t) { in restore_x() function
332 inline void restore_x() { m_mpq_lar_core_solver.m_r_x = m_backup_x; } in restore_x() function
2674 int restore_x; member