Пример #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();}