Searched refs:m_e_clone (Results 1 – 2 of 2) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/math/lp/ |
| H A D | cross_nested.h | 40 nex* m_e_clone; variable
65 m_e_clone = m_nex_creator.clone(m_e); in run()
66 TRACE("nla_cn", tout << "m_e_clone = " << * m_e_clone << "\n";); in run()
258 TRACE("nla_cn", tout << "m_e_clone " << *m_e_clone << "\n";); in explore_expr_on_front_elem()
259 SASSERT(nex_creator::equal(m_e, m_e_clone)); in explore_expr_on_front_elem()
285 … TRACE("nla_cn", tout << "got the cn form: =" << *m_e << ", clone = " << *m_e_clone << "\n";); in explore_of_expr_on_sum_and_var()
289 SASSERT(nex_creator::equal(m_e, m_e_clone)); in explore_of_expr_on_sum_and_var()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/ |
| H A D | cross_nested.h | 40 nex* m_e_clone; variable
65 m_e_clone = m_nex_creator.clone(m_e); in run()
66 TRACE("nla_cn", tout << "m_e_clone = " << * m_e_clone << "\n";); in run()
258 TRACE("nla_cn", tout << "m_e_clone " << *m_e_clone << "\n";); in explore_expr_on_front_elem()
259 SASSERT(nex_creator::equal(m_e, m_e_clone)); in explore_expr_on_front_elem()
285 … TRACE("nla_cn", tout << "got the cn form: =" << *m_e << ", clone = " << *m_e_clone << "\n";); in explore_of_expr_on_sum_and_var()
289 SASSERT(nex_creator::equal(m_e, m_e_clone)); in explore_of_expr_on_sum_and_var()
|