Exemplos de probe::dec_ref em C++ (Cpp)

Exemplo n.º 1

Arquivo: probe.cpp Projeto: jackluo923/juxta

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

Exemplo n.º 2

Arquivo: echo_tactic.cpp Projeto: greatmazinger/z3

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

Exemplo n.º 3

Arquivo: probe.cpp Projeto: jackluo923/juxta

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