Home
last modified time | relevance | path

Searched refs:u_num_y (Results 1 – 2 of 2) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/
H A Darith_rewriter.cpp1389 unsigned u_num_y = num_y.get_unsigned(); in mk_power_core() local
1392 if (u_num_y > m_max_degree || u_den_y > m_max_degree) in mk_power_core()
1397 xk = power(x, u_num_y); in mk_power_core()
1429 am.power(val, u_num_y, r); in mk_power_core()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/
H A Darith_rewriter.cpp1387 unsigned u_num_y = num_y.get_unsigned(); in mk_power_core() local
1390 if (u_num_y > m_max_degree || u_den_y > m_max_degree) in mk_power_core()
1395 xk = power(x, u_num_y); in mk_power_core()
1427 am.power(val, u_num_y, r); in mk_power_core()