Searched refs:m_expr2post (Results 1 – 4 of 4) sorted by relevance
33 SASSERT(m_expr2post.empty()); in compute_post_order()54 m_expr2post.insert(e, post_num++); in compute_post_order()70 unsigned n1 = m_expr2post[x]; in intersect()71 unsigned n2 = m_expr2post[y]; in intersect()75 n1 = m_expr2post[x]; in intersect()79 n2 = m_expr2post[y]; in intersect()149 m_expr2post.reset(); in reset()
36 obj_map<expr, unsigned> m_expr2post; // reverse post-order number variable