| /dports/biology/py-biopython/biopython-1.79/Bio/PopGen/GenePop/ |
| H A D | LargeFileParser.py | 111 mk_real = []
114 mk_real.append(None)
116 mk_real.append(al)
117 clean_list.append(tuple(mk_real))
|
| H A D | __init__.py | 86 mk_real = []
89 mk_real.append(None)
91 mk_real.append(al)
92 indiv[1][mk_i] = tuple(mk_real)
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/transforms/ |
| H A D | dl_mk_scale.cpp | 60 subst.push_back(a.mk_numeral(rational(1), a.mk_real())); in operator ()()
155 … tail.push_back(a.mk_gt(m.mk_var(num_vars, a.mk_real()), a.mk_numeral(rational(0), false))); in operator ()()
175 domain.push_back(a.mk_real()); in mk_pred()
187 arg = m.mk_var(sigma_idx, a.mk_real()); in mk_pred()
191 expr* v = m.mk_var(sigma_idx + 1 + m_eqs.size(), a.mk_real()); in mk_pred()
192 m_eqs.push_back(m.mk_eq(v, a.mk_mul(arg, m.mk_var(sigma_idx, a.mk_real())))); in mk_pred()
198 args.push_back(m.mk_var(sigma_idx, a.mk_real())); in mk_pred()
233 result = a.mk_mul(m.mk_var(sigma_idx, a.mk_real()), e); in linearize()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/transforms/ |
| H A D | dl_mk_scale.cpp | 60 subst.push_back(a.mk_numeral(rational(1), a.mk_real())); in operator ()()
155 … tail.push_back(a.mk_gt(m.mk_var(num_vars, a.mk_real()), a.mk_numeral(rational(0), false))); in operator ()()
175 domain.push_back(a.mk_real()); in mk_pred()
187 arg = m.mk_var(sigma_idx, a.mk_real()); in mk_pred()
191 expr* v = m.mk_var(sigma_idx + 1 + m_eqs.size(), a.mk_real()); in mk_pred()
192 m_eqs.push_back(m.mk_eq(v, a.mk_mul(arg, m.mk_var(sigma_idx, a.mk_real())))); in mk_pred()
198 args.push_back(m.mk_var(sigma_idx, a.mk_real())); in mk_pred()
233 result = a.mk_mul(m.mk_var(sigma_idx, a.mk_real()), e); in linearize()
|
| /dports/math/z3/z3-z3-4.8.13/src/test/ |
| H A D | value_generator.cpp | 37 sort_ref rlist = dt.mk_list_datatype(a.mk_real(), symbol("rlist"), in tst1_vg()
41 list(100, m, a.mk_real()); in tst1_vg()
|
| H A D | qe_arith.cpp | 119 sort_ref x_sort(a.mk_real(), m); in testR()
225 sort* s_real = a.mk_real(); in test_ineqs()
239 vars.push_back(m.mk_const(symbol("x"), a.mk_real())); in test2()
240 vars.push_back(m.mk_const(symbol("y"), a.mk_real())); in test2()
241 vars.push_back(m.mk_const(symbol("z"), a.mk_real())); in test2()
291 v = m.mk_const(symbol(strm.str()), a.mk_real()); in mk_var()
305 ts.push_back(a.mk_numeral(coeff, a.mk_real())); in mk_term()
364 app_ref t2(a.mk_numeral(rational(0), a.mk_real()), m); in add_random_ineq()
|
| H A D | factor_rewriter.cpp | 19 expr_ref z(m.mk_const(symbol("z"), a.mk_real()), m); in tst_factor_rewriter()
|
| H A D | nlarith_util.cpp | 16 sort_ref R(A.mk_real(), M); in tst_nlarith_util()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
| H A D | value_generator.cpp | 37 sort_ref rlist = dt.mk_list_datatype(a.mk_real(), symbol("rlist"), in tst1_vg()
41 list(100, m, a.mk_real()); in tst1_vg()
|
| H A D | qe_arith.cpp | 119 sort_ref x_sort(a.mk_real(), m); in testR()
225 sort* s_real = a.mk_real(); in test_ineqs()
239 vars.push_back(m.mk_const(symbol("x"), a.mk_real())); in test2()
240 vars.push_back(m.mk_const(symbol("y"), a.mk_real())); in test2()
241 vars.push_back(m.mk_const(symbol("z"), a.mk_real())); in test2()
291 v = m.mk_const(symbol(strm.str()), a.mk_real()); in mk_var()
305 ts.push_back(a.mk_numeral(coeff, a.mk_real())); in mk_term()
364 app_ref t2(a.mk_numeral(rational(0), a.mk_real()), m); in add_random_ineq()
|
| H A D | factor_rewriter.cpp | 19 expr_ref z(m.mk_const(symbol("z"), a.mk_real()), m); in tst_factor_rewriter()
|
| H A D | nlarith_util.cpp | 16 sort_ref R(A.mk_real(), M);
|
| /dports/math/z3/z3-z3-4.8.13/src/model/ |
| H A D | numeral_factory.cpp | 35 return numeral_factory::mk_value(val, is_int ? m_util.mk_int() : m_util.mk_real()); in mk_num_value()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/model/ |
| H A D | numeral_factory.cpp | 35 return numeral_factory::mk_value(val, is_int ? m_util.mk_int() : m_util.mk_real()); in mk_num_value()
|
| /dports/cad/gerbv/gerbv-2.7.0/src/ |
| H A D | scheme.h | 156 pointer mk_real(scheme *sc, double num);
172 pointer (*mk_real)(scheme *sc, double num); member
|
| /dports/math/z3/z3-z3-4.8.13/src/parsers/util/ |
| H A D | cost_parser.cpp | 58 sort * real = m_util.mk_real(); in add_var()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/parsers/util/ |
| H A D | cost_parser.cpp | 58 sort * real = m_util.mk_real(); in add_var()
|
| /dports/editors/texmacs/TeXmacs-1.99.4-src/src/Scheme/Tiny/ |
| H A D | scheme.h | 152 cell_ptr mk_real(scheme *sc, double num);
174 cell_ptr (*mk_real)(scheme *sc, double num); member
|
| /dports/games/nazghul/nazghul-0.7.1/src/ |
| H A D | scheme.h | 183 pointer mk_real(scheme *sc, double num);
199 pointer (*mk_real)(scheme *sc, double num); member
|
| /dports/math/z3/z3-z3-4.8.13/src/qe/ |
| H A D | nlqsat.cpp | 559 div_rewriter_cfg(nlqsat& s): m(s.m), a(s.m), m_zero(a.mk_real(0), m) {} in div_rewriter_cfg()
566 result = m.mk_fresh_const("div", a.mk_real()); in reduce_app()
655 expr_ref den_is0(m.mk_eq(divs[i].den, arith.mk_real(0)), m); in ackermanize_div()
663 expr_ref body(arith.mk_real(0), m); in ackermanize_div()
664 expr_ref v0(m.mk_var(0, arith.mk_real()), m); in ackermanize_div()
665 expr_ref v1(m.mk_var(1, arith.mk_real()), m); in ackermanize_div()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/ |
| H A D | nlqsat.cpp | 559 div_rewriter_cfg(nlqsat& s): m(s.m), a(s.m), m_zero(a.mk_real(0), m) {} in div_rewriter_cfg()
566 result = m.mk_fresh_const("div", a.mk_real()); in reduce_app()
655 expr_ref den_is0(m.mk_eq(divs[i].den, arith.mk_real(0)), m); in ackermanize_div()
663 expr_ref body(arith.mk_real(0), m); in ackermanize_div()
664 expr_ref v0(m.mk_var(0, arith.mk_real()), m); in ackermanize_div()
665 expr_ref v1(m.mk_var(1, arith.mk_real()), m); in ackermanize_div()
|
| /dports/www/wsmake/wsmake-0.7.901/src/libwsmake/ |
| H A D | wsLoader.h | 73 ast *mk_real(const double r);
|
| /dports/security/gnupg/gnupg-2.3.3/tests/gpgscm/ |
| H A D | scheme.h | 182 pointer mk_real(scheme *sc, double num);
203 pointer (*mk_real)(scheme *sc, double num); member
|
| /dports/graphics/gimp-app/gimp-2.10.30/plug-ins/script-fu/tinyscheme/ |
| H A D | scheme.h | 164 pointer mk_real(scheme *sc, double num);
186 pointer (*mk_real)(scheme *sc, double num); member
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/arith/ |
| H A D | purify_arith_tactic.cpp | 173 pair.first = m().mk_fresh_const(nullptr, u().mk_real()); in convert_basis()
174 pair.second = m().mk_fresh_const(nullptr, u().mk_real()); in convert_basis()
253 expr * r = m().mk_fresh_const(nullptr, is_int ? u().mk_int() : u().mk_real()); in mk_fresh_var()
842 expr_ref body(u().mk_real(0), m()); in operator ()()
843 expr_ref v0(m().mk_var(0, u().mk_real()), m()); in operator ()()
844 expr_ref v1(m().mk_var(1, u().mk_real()), m()); in operator ()()
|