Searched refs:m_display_var (Results 1 – 4 of 4) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/nlsat/tactic/ |
| H A D | nlsat_tactic.cpp | 46 expr_display_var_proc m_display_var; member
53 m_display_var(_m), in imp()
151 m_display_var.m_var2expr.reset(); in operator ()()
152 t2x.mk_inv(m_display_var.m_var2expr); in operator ()()
153 m_solver.set_display_var(m_display_var); in operator ()()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/nlsat/tactic/ |
| H A D | nlsat_tactic.cpp | 46 expr_display_var_proc m_display_var; member
53 m_display_var(_m), in imp()
151 m_display_var.m_var2expr.reset(); in operator ()()
152 t2x.mk_inv(m_display_var.m_var2expr); in operator ()()
153 m_solver.set_display_var(m_display_var); in operator ()()
|
| /dports/math/z3/z3-z3-4.8.13/src/nlsat/ |
| H A D | nlsat_solver.cpp | 144 perm_display_var_proc m_display_var; member
237 m_display_var(m_perm), in imp()
3135 return display(out, a, m_display_var); in display()
3163 return display_atom(out, b, m_display_var); in display_atom()
3203 return display(out, l, m_display_var); in display()
3289 return display(out, c, m_display_var); in display()
3393 return display(out, cs, m_display_var); in display()
3433 display(out, m_display_var); in display()
3532 m_imp->m_display_var.m_proc = &proc; in set_display_var()
3695 return m_imp->m_display_var(out, x); in display()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/nlsat/ |
| H A D | nlsat_solver.cpp | 144 perm_display_var_proc m_display_var; member
237 m_display_var(m_perm), in imp()
3135 return display(out, a, m_display_var); in display()
3163 return display_atom(out, b, m_display_var); in display_atom()
3203 return display(out, l, m_display_var); in display()
3289 return display(out, c, m_display_var); in display()
3393 return display(out, cs, m_display_var); in display()
3433 display(out, m_display_var); in display()
3532 m_imp->m_display_var.m_proc = &proc; in set_display_var()
3695 return m_imp->m_display_var(out, x); in display()
[all …]
|