C++ (Cpp) probe::dec_refの例

コード例 #1

ファイル: probe.cpp プロジェクト: jackluo923/juxta

 ~unary_probe() {
     m_p->dec_ref();
 }

コード例 #2

ファイル: echo_tactic.cpp プロジェクト: greatmazinger/z3

 ~probe_value_tactic() {
     m_p->dec_ref();
 }

コード例 #3

ファイル: probe.cpp プロジェクト: jackluo923/juxta

 ~bin_probe() {
     m_p1->dec_ref();
     m_p2->dec_ref();
 }