Esempi in C++ (Cpp) per probe

Esempio n. 1

File: echo_tactic.cpp Progetto: greatmazinger/z3

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

Esempio n. 2

File: probe.cpp Progetto: jackluo923/juxta

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

Esempio n. 3

File: echo_tactic.cpp Progetto: 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(); 
 }

Esempio n. 4

File: probe.cpp Progetto: jackluo923/juxta

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