Searched refs:get_num_e_internalized (Results 1 – 4 of 4) sorted by relevance
400 unsigned sz = m_context->get_num_e_internalized(); in mk_func_interps()
711 unsigned get_num_e_internalized() const { in get_num_e_internalized() function
401 unsigned sz = m_context->get_num_e_internalized(); in mk_func_interps()
710 unsigned get_num_e_internalized() const { in get_num_e_internalized() function