Home
last modified time | relevance | path

Searched refs:m_one_i (Results 1 – 5 of 5) sorted by relevance

/dports/math/libqalculate/libqalculate-3.17.0/libqalculate/
H A Dincludes.h724 …ern MathStructure m_undefined, m_empty_vector, m_empty_matrix, m_zero, m_one, m_minus_one, m_one_i;
H A DCalculator.cc131 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 DMathStructure-isolatex.cc4225 (*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 Dqe_arith_plugin.cpp114 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 Dqe_arith_plugin.cpp114 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()