C++ (Cpp) expr_ref::get_idの例

コード例 #1

ファイル: qe_term_graph.cpp プロジェクト: NikolajBjorner/z3

 unsigned get_decl_id() const { return is_app(m_expr) ? to_app(m_expr)->get_decl()->get_id() : m_expr->get_id(); }

コード例 #2

ファイル: qe_term_graph.cpp プロジェクト: NikolajBjorner/z3

 unsigned get_id() const { return m_expr->get_id();}