Ejemplos de probe::dec_ref en C++ (Cpp)

Ejemplo n.º 1

Archivo: probe.cpp Proyecto: jackluo923/juxta

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

Ejemplo n.º 2

Archivo: echo_tactic.cpp Proyecto: greatmazinger/z3

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

Ejemplo n.º 3

Archivo: probe.cpp Proyecto: jackluo923/juxta

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