C++ (Cpp) probeの例

コード例 #1

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

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

コード例 #2

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

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

コード例 #3

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

 probe_value_tactic(cmd_context & ctx, char const * msg, probe * p, bool newline):m_ctx(ctx), m_msg(msg), m_p(p), m_newline(newline) {
     SASSERT(m_p);
     m_p->inc_ref(); 
 }

コード例 #4

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

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