예제 #1
0
 unsigned get_decl_id() const { return is_app(m_expr) ? to_app(m_expr)->get_decl()->get_id() : m_expr->get_id(); }
예제 #2
0
 unsigned get_id() const { return m_expr->get_id();}