Searched refs:m_auto_relevant (Results 1 – 2 of 2) sorted by relevance
29 m_auto_relevant_lim.push_back(m_auto_relevant.size()); in add_auto_relevant()31 m_auto_relevant.push_back(e); in add_auto_relevant()44 m_auto_relevant.shrink(lim); in pop_relevant()115 for (expr* e : m_auto_relevant) in init_relevancy()118 todo.append(m_auto_relevant); in init_relevancy()
368 ptr_vector<expr> m_auto_relevant; variable