Home
last modified time | relevance | path

Searched refs:insert_ref_map (Results 1 – 2 of 2) sorted by relevance

/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/
H A Dtrail.h208 class insert_ref_map : public trail<Ctx> {
213 insert_ref_map(Mgr& m, M& t, D o) : m(m), m_map(t), m_obj(o) {} in insert_ref_map() function
214 virtual ~insert_ref_map() {} in ~insert_ref_map()
/dports/math/z3/z3-z3-4.8.13/src/util/
H A Dtrail.h187 class insert_ref_map : public trail {
192 insert_ref_map(Mgr& m, M& t, D o) : m(m), m_map(t), m_obj(o) {} in insert_ref_map() function