Home
last modified time | relevance | path

Searched refs:m_lbl_id (Results 1 – 3 of 3) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dmam.cpp2872 unsigned m_lbl_id; member in __anon9e1320940111::code_tree_map::mk_tree_trail
2874 mk_tree_trail(ptr_vector<code_tree> & t, unsigned id):m_trees(t), m_lbl_id(id) {} in mk_tree_trail()
2876 dealloc(m_trees[m_lbl_id]); in undo()
2877 m_trees[m_lbl_id] = nullptr; in undo()
/dports/math/z3/z3-z3-4.8.13/src/sat/smt/
H A Dq_mam.cpp2826 unsigned m_lbl_id; member in q::code_tree_map::mk_tree_trail
2828 mk_tree_trail(ptr_vector<code_tree> & t, unsigned id):m_trees(t), m_lbl_id(id) {} in mk_tree_trail()
2830 dealloc(m_trees[m_lbl_id]); in undo()
2831 m_trees[m_lbl_id] = nullptr; in undo()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dmam.cpp2883 unsigned m_lbl_id; member in __anon92718def0111::code_tree_map::mk_tree_trail
2885 mk_tree_trail(ptr_vector<code_tree> & t, unsigned id):m_trees(t), m_lbl_id(id) {} in mk_tree_trail()
2887 dealloc(m_trees[m_lbl_id]); in undo()
2888 m_trees[m_lbl_id] = nullptr; in undo()