Lines Matching defs:m_current
69 m_current = m_terms.begin ();
77 : m_terms (c.m_terms), m_set (c.m_set), m_current (m_terms.begin ())
79 std::advance (m_current, std::distance (c.begin (), c.current ()));
86 return m_current == end ();
94 ++m_current;
139 m_current = replace (m_current, t).first;
149 std::pair<iterator, bool> rep = replace (m_current, t1);
151 m_current = rep.first;
159 m_current = ins.first;
203 return m_current;
208 iterator m_current; /* The current term. */
227 m_current = m_clauses.begin ();
233 return m_current == end ();
240 ++m_current;
249 return *m_clauses.insert (std::next (m_current), *m_current);
256 return m_current;
291 gcc_assert (i != m_current);
296 iterator m_current; /* The current clause. */