Searched refs:m_num_proxies (Results 1 – 4 of 4) sorted by relevance
48 unsigned m_num_proxies; variable78 m_num_proxies(0),
41 m_num_proxies -= m_defs.back ().m_defs.size (); in pop()47 if (m_num_proxies == m_proxies.size()) { in fresh_proxy()60 return m_proxies.get (m_num_proxies++); in fresh_proxy()