Searched defs:scoped_push (Results 1 – 7 of 7) sorted by relevance
/dports/math/z3/z3-z3-4.8.13/src/math/dd/ |
H A D | dd_bdd.h | 195 struct scoped_push { struct 198 scoped_push(bdd_manager& m) :m(m), m_size(m.m_bdd_stack.size()) {} in scoped_push() argument 199 ~scoped_push() { m.m_bdd_stack.shrink(m_size); } in ~scoped_push() argument
|
H A D | dd_pdd.h | 250 struct scoped_push { struct 253 scoped_push(pdd_manager& m) :m(m), m_size(m.m_pdd_stack.size()) {} in scoped_push() argument 254 ~scoped_push() { m.m_pdd_stack.shrink(m_size); } in ~scoped_push() argument
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/dd/ |
H A D | dd_bdd.h | 195 struct scoped_push { struct 198 scoped_push(bdd_manager& m) :m(m), m_size(m.m_bdd_stack.size()) {} in scoped_push() argument 199 ~scoped_push() { m.m_bdd_stack.shrink(m_size); } in ~scoped_push() argument
|
H A D | dd_pdd.h | 244 struct scoped_push { struct 247 scoped_push(pdd_manager& m) :m(m), m_size(m.m_pdd_stack.size()) {} in scoped_push() argument 248 ~scoped_push() { m.m_pdd_stack.shrink(m_size); } in ~scoped_push() argument
|
/dports/math/z3/z3-z3-4.8.13/src/solver/ |
H A D | solver.h | 319 scoped_push(solver& s):s(s), m_nopop(false) { s.push(); } in scoped_push() function
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/solver/ |
H A D | solver.h | 309 scoped_push(solver& s):s(s), m_nopop(false) { s.push(); } in scoped_push() function
|
/dports/shells/fish/fish-3.3.1/src/ |
H A D | common.h | 447 explicit scoped_push(T *r) : ref(r), saved_value(*r), restored(false) {} in scoped_push() function 449 scoped_push(T *r, T new_value) : ref(r), restored(false) { in scoped_push() function
|