MCPcopy Create free account
hub / github.com/Z3Prover/z3 / dec_ref

Method dec_ref

src/api/api_context.cpp:41–41  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

39 void object::inc_ref() { ++m_ref_count; }
40
41 void object::dec_ref() { SASSERT(m_ref_count > 0); if (--m_ref_count == 0) m_context.del_object(this); }
42
43 unsigned context::add_object(api::object* o) {
44 flush_objects();

Callers 15

Z3_solver_dec_refFunction · 0.45
~scoped_ast_vectorMethod · 0.45
Z3_goal_dec_refFunction · 0.45
Z3_params_dec_refFunction · 0.45
Z3_param_descrs_dec_refFunction · 0.45
Z3_stats_dec_refFunction · 0.45
Z3_fixedpoint_dec_refFunction · 0.45
Z3_ast_map_dec_refFunction · 0.45
Z3_ast_map_insertFunction · 0.45
Z3_ast_map_eraseFunction · 0.45
Z3_model_dec_refFunction · 0.45

Calls 2

del_objectMethod · 0.80
push_backMethod · 0.45

Tested by

no test coverage detected