Home
last modified time | relevance | path

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

/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/
H A Darith_rewriter.cpp1367 bool is_irrat_x = m_util.is_irrational_algebraic_numeral(arg1); in mk_power_core() local
1369 if (!is_num_x && !is_irrat_x) in mk_power_core()
1420 SASSERT(is_irrat_x); in mk_power_core()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/
H A Darith_rewriter.cpp1365 bool is_irrat_x = m_util.is_irrational_algebraic_numeral(arg1); in mk_power_core() local
1367 if (!is_num_x && !is_irrat_x) in mk_power_core()
1418 SASSERT(is_irrat_x); in mk_power_core()