Searched refs:scoped_value_trail (Results 1 – 4 of 4) sorted by relevance
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
| H A D | trail.h | 62 class scoped_value_trail : public trail<Ctx> {
67 scoped_value_trail(T & value, Ts& values): in scoped_value_trail() function
72 ~scoped_value_trail() override { in ~scoped_value_trail()
|
| /dports/math/z3/z3-z3-4.8.13/src/util/ |
| H A D | trail.h | 58 class scoped_value_trail : public trail {
63 scoped_value_trail(T & value, Ts& values): in scoped_value_trail() function
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | theory_pb.cpp | 1114 ctx.push_trail(scoped_value_trail<scoped_mpz, scoped_mpz_vector>(c.m_max_sum, m_mpz_trail)); in assign_ineq()
1115 ctx.push_trail(scoped_value_trail<scoped_mpz, scoped_mpz_vector>(c.m_min_sum, m_mpz_trail)); in assign_ineq()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | theory_pb.cpp | 1114 …ctx.push_trail(scoped_value_trail<context, scoped_mpz, scoped_mpz_vector>(c.m_max_sum, m_mpz_trail… in assign_ineq()
1115 …ctx.push_trail(scoped_value_trail<context, scoped_mpz, scoped_mpz_vector>(c.m_min_sum, m_mpz_trail… in assign_ineq()
|