Lines Matching refs:m_current
84 m_current = m_terms.begin ();
92 : m_terms (c.m_terms), m_set (c.m_set), m_current (m_terms.begin ())
94 std::advance (m_current, std::distance (c.begin (), c.current ()));
101 return m_current == end ();
109 ++m_current;
154 m_current = replace (m_current, t).first;
164 std::pair<iterator, bool> rep = replace (m_current, t1);
166 m_current = rep.first;
174 m_current = ins.first;
218 return m_current;
223 iterator m_current; /* The current term. */
244 m_current = m_clauses.begin ();
250 return m_current == end ();
257 ++m_current;
266 m_clauses.push_back (*m_current);
274 return m_current;
306 iterator m_current; /* The current clause. */