Searched refs:m_one_i (Results 1 – 5 of 5) sorted by relevance
/dports/math/libqalculate/libqalculate-3.17.0/libqalculate/ |
H A D | includes.h | 724 …ern MathStructure m_undefined, m_empty_vector, m_empty_matrix, m_zero, m_one, m_minus_one, m_one_i;
|
H A D | Calculator.cc | 131 MathStructure m_undefined, m_empty_vector, m_empty_matrix, m_zero, m_one, m_minus_one, m_one_i; variable 317 m_one_i.set(nr_one_i); in Calculator() 546 m_one_i.set(nr_one_i); in Calculator()
|
H A D | MathStructure-isolatex.cc | 4225 (*malt2)[1].calculateMultiply(m_one_i, eo2); in isolate_x_sub() 4319 mexp.multiply(m_one_i); in isolate_x_sub()
|
/dports/math/z3/z3-z3-4.8.13/src/qe/ |
H A D | qe_arith_plugin.cpp | 114 expr_ref m_one_i; member in qe::arith_qe_util 134 m_one_i(m_arith.mk_numeral(numeral(1), true), m), in arith_qe_util() 330 e = mk_add(e, m_one_i); in mk_bound_aux() 345 e = mk_add(e, m_one_i); in mk_bound_aux() 439 expr* mk_one(sort* s) { return m_arith.is_int(s)?m_one_i:m_one_r; } in mk_one() 441 expr* mk_one(expr* e) { return m_arith.is_int(e)?m_one_i:m_one_r; } in mk_one()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/ |
H A D | qe_arith_plugin.cpp | 114 expr_ref m_one_i; member in qe::arith_qe_util 134 m_one_i(m_arith.mk_numeral(numeral(1), true), m), in arith_qe_util() 330 e = mk_add(e, m_one_i); in mk_bound_aux() 345 e = mk_add(e, m_one_i); in mk_bound_aux() 439 expr* mk_one(sort* s) { return m_arith.is_int(s)?m_one_i:m_one_r; } in mk_one() 441 expr* mk_one(expr* e) { return m_arith.is_int(e)?m_one_i:m_one_r; } in mk_one()
|