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

Method inc_ref

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

Source from the content-addressed store, hash-verified

37 object::object(context& c): m_ref_count(0), m_context(c) { this->m_id = m_context.add_object(this); }
38
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

Callers 15

Z3_solver_inc_refFunction · 0.45
scoped_ast_vectorMethod · 0.45
Z3_goal_inc_refFunction · 0.45
Z3_params_inc_refFunction · 0.45
Z3_param_descrs_inc_refFunction · 0.45
Z3_stats_inc_refFunction · 0.45
Z3_fixedpoint_inc_refFunction · 0.45
Z3_ast_map_inc_refFunction · 0.45
Z3_ast_map_insertFunction · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected