Esempio n. 1
0
 unsigned get_decl_id() const { return is_app(m_expr) ? to_app(m_expr)->get_decl()->get_id() : m_expr->get_id(); }
Esempio n. 2
0
 unsigned get_id() const { return m_expr->get_id();}