| /dports/comms/uhd/uhd-90ce6062b6b5df2eddeee723777be85108e4e7c7/fpga/usrp3/lib/rfnoc/blocks/rfnoc_block_radio/ |
| H A D | quarter_rate_downconverter.v | 44 reg [WIDTH-1:0] tmp_q = {WIDTH{1'b0}}; register
107 tmp_q = q_in;
112 tmp_q = i_in;
117 tmp_q = -q_in;
122 tmp_q = -i_in;
126 tmp_q = q_in;
134 .i_tdata({i_tlast, tmp_i, tmp_q}), .i_tvalid(i_tvalid), .i_tready(i_tready),
|
| /dports/multimedia/libv4l/linux-5.13-rc2/drivers/gpu/drm/amd/amdkfd/ |
| H A D | kfd_queue.c | 68 struct queue *tmp_q; in init_queue() local
70 tmp_q = kzalloc(sizeof(*tmp_q), GFP_KERNEL); in init_queue()
71 if (!tmp_q) in init_queue()
74 memcpy(&tmp_q->properties, properties, sizeof(*properties)); in init_queue()
76 *q = tmp_q; in init_queue()
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/drivers/gpu/drm/amd/amdkfd/ |
| H A D | kfd_queue.c | 68 struct queue *tmp_q; in init_queue() local
70 tmp_q = kzalloc(sizeof(*tmp_q), GFP_KERNEL); in init_queue()
71 if (!tmp_q) in init_queue()
74 memcpy(&tmp_q->properties, properties, sizeof(*properties)); in init_queue()
76 *q = tmp_q; in init_queue()
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/drivers/gpu/drm/amd/amdkfd/ |
| H A D | kfd_queue.c | 68 struct queue *tmp_q; in init_queue() local
70 tmp_q = kzalloc(sizeof(*tmp_q), GFP_KERNEL); in init_queue()
71 if (!tmp_q) in init_queue()
74 memcpy(&tmp_q->properties, properties, sizeof(*properties)); in init_queue()
76 *q = tmp_q; in init_queue()
|
| /dports/security/liboqs/liboqs-0.7.0/src/sig/sphincs/pqclean_sphincs-haraka-256f-robust_clean/ |
| H A D | haraka.c | 817 uint64_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA256FROBUST_CLEAN_haraka512_perm() local
836 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA256FROBUST_CLEAN_haraka512_perm()
880 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA256FROBUST_CLEAN_haraka256() local
900 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA256FROBUST_CLEAN_haraka256()
901 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA256FROBUST_CLEAN_haraka256()
902 (tmp_q & 0x02020202) << 1 | in PQCLEAN_SPHINCSHARAKA256FROBUST_CLEAN_haraka256()
907 (tmp_q & 0x40404040) >> 1; in PQCLEAN_SPHINCSHARAKA256FROBUST_CLEAN_haraka256()
923 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA256FROBUST_CLEAN_haraka256_sk() local
943 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA256FROBUST_CLEAN_haraka256_sk()
944 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA256FROBUST_CLEAN_haraka256_sk()
[all …]
|
| /dports/security/liboqs/liboqs-0.7.0/src/sig/sphincs/pqclean_sphincs-haraka-256s-simple_clean/ |
| H A D | haraka.c | 817 uint64_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA256SSIMPLE_CLEAN_haraka512_perm() local
836 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA256SSIMPLE_CLEAN_haraka512_perm()
880 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA256SSIMPLE_CLEAN_haraka256() local
900 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA256SSIMPLE_CLEAN_haraka256()
901 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA256SSIMPLE_CLEAN_haraka256()
902 (tmp_q & 0x02020202) << 1 | in PQCLEAN_SPHINCSHARAKA256SSIMPLE_CLEAN_haraka256()
907 (tmp_q & 0x40404040) >> 1; in PQCLEAN_SPHINCSHARAKA256SSIMPLE_CLEAN_haraka256()
923 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA256SSIMPLE_CLEAN_haraka256_sk() local
943 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA256SSIMPLE_CLEAN_haraka256_sk()
944 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA256SSIMPLE_CLEAN_haraka256_sk()
[all …]
|
| /dports/security/liboqs/liboqs-0.7.0/src/sig/sphincs/pqclean_sphincs-haraka-192s-robust_clean/ |
| H A D | haraka.c | 817 uint64_t q[8], tmp_q;
836 tmp_q = q[j];
880 uint32_t q[8], tmp_q;
900 tmp_q = q[j];
901 q[j] = (tmp_q & 0x81818181) |
902 (tmp_q & 0x02020202) << 1 |
907 (tmp_q & 0x40404040) >> 1;
923 uint32_t q[8], tmp_q;
943 tmp_q = q[j];
944 q[j] = (tmp_q & 0x81818181) |
[all …]
|
| /dports/security/liboqs/liboqs-0.7.0/src/sig/sphincs/pqclean_sphincs-haraka-256s-robust_clean/ |
| H A D | haraka.c | 817 uint64_t q[8], tmp_q;
836 tmp_q = q[j];
880 uint32_t q[8], tmp_q;
900 tmp_q = q[j];
901 q[j] = (tmp_q & 0x81818181) |
902 (tmp_q & 0x02020202) << 1 |
907 (tmp_q & 0x40404040) >> 1;
923 uint32_t q[8], tmp_q;
943 tmp_q = q[j];
944 q[j] = (tmp_q & 0x81818181) |
[all …]
|
| /dports/security/liboqs/liboqs-0.7.0/src/sig/sphincs/pqclean_sphincs-haraka-128f-robust_clean/ |
| H A D | haraka.c | 817 uint64_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA128FROBUST_CLEAN_haraka512_perm() local
836 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA128FROBUST_CLEAN_haraka512_perm()
880 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA128FROBUST_CLEAN_haraka256() local
900 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA128FROBUST_CLEAN_haraka256()
901 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA128FROBUST_CLEAN_haraka256()
902 (tmp_q & 0x02020202) << 1 | in PQCLEAN_SPHINCSHARAKA128FROBUST_CLEAN_haraka256()
907 (tmp_q & 0x40404040) >> 1; in PQCLEAN_SPHINCSHARAKA128FROBUST_CLEAN_haraka256()
923 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA128FROBUST_CLEAN_haraka256_sk() local
943 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA128FROBUST_CLEAN_haraka256_sk()
944 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA128FROBUST_CLEAN_haraka256_sk()
[all …]
|
| /dports/security/liboqs/liboqs-0.7.0/src/sig/sphincs/pqclean_sphincs-haraka-192f-simple_clean/ |
| H A D | haraka.c | 817 uint64_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA192FSIMPLE_CLEAN_haraka512_perm() local
836 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA192FSIMPLE_CLEAN_haraka512_perm()
880 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA192FSIMPLE_CLEAN_haraka256() local
900 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA192FSIMPLE_CLEAN_haraka256()
901 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA192FSIMPLE_CLEAN_haraka256()
902 (tmp_q & 0x02020202) << 1 | in PQCLEAN_SPHINCSHARAKA192FSIMPLE_CLEAN_haraka256()
907 (tmp_q & 0x40404040) >> 1; in PQCLEAN_SPHINCSHARAKA192FSIMPLE_CLEAN_haraka256()
923 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA192FSIMPLE_CLEAN_haraka256_sk() local
943 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA192FSIMPLE_CLEAN_haraka256_sk()
944 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA192FSIMPLE_CLEAN_haraka256_sk()
[all …]
|
| /dports/security/liboqs/liboqs-0.7.0/src/sig/sphincs/pqclean_sphincs-haraka-128s-robust_clean/ |
| H A D | haraka.c | 817 uint64_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA128SROBUST_CLEAN_haraka512_perm() local
836 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA128SROBUST_CLEAN_haraka512_perm()
880 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA128SROBUST_CLEAN_haraka256() local
900 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA128SROBUST_CLEAN_haraka256()
901 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA128SROBUST_CLEAN_haraka256()
902 (tmp_q & 0x02020202) << 1 | in PQCLEAN_SPHINCSHARAKA128SROBUST_CLEAN_haraka256()
907 (tmp_q & 0x40404040) >> 1; in PQCLEAN_SPHINCSHARAKA128SROBUST_CLEAN_haraka256()
923 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA128SROBUST_CLEAN_haraka256_sk() local
943 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA128SROBUST_CLEAN_haraka256_sk()
944 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA128SROBUST_CLEAN_haraka256_sk()
[all …]
|
| /dports/security/liboqs/liboqs-0.7.0/src/sig/sphincs/pqclean_sphincs-haraka-128f-simple_clean/ |
| H A D | haraka.c | 817 uint64_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka512_perm() local
836 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka512_perm()
880 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka256() local
900 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka256()
901 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka256()
902 (tmp_q & 0x02020202) << 1 | in PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka256()
907 (tmp_q & 0x40404040) >> 1; in PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka256()
923 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka256_sk() local
943 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka256_sk()
944 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA128FSIMPLE_CLEAN_haraka256_sk()
[all …]
|
| /dports/security/liboqs/liboqs-0.7.0/src/sig/sphincs/pqclean_sphincs-haraka-192f-robust_clean/ |
| H A D | haraka.c | 817 uint64_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA192FROBUST_CLEAN_haraka512_perm() local
836 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA192FROBUST_CLEAN_haraka512_perm()
880 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA192FROBUST_CLEAN_haraka256() local
900 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA192FROBUST_CLEAN_haraka256()
901 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA192FROBUST_CLEAN_haraka256()
902 (tmp_q & 0x02020202) << 1 | in PQCLEAN_SPHINCSHARAKA192FROBUST_CLEAN_haraka256()
907 (tmp_q & 0x40404040) >> 1; in PQCLEAN_SPHINCSHARAKA192FROBUST_CLEAN_haraka256()
923 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA192FROBUST_CLEAN_haraka256_sk() local
943 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA192FROBUST_CLEAN_haraka256_sk()
944 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA192FROBUST_CLEAN_haraka256_sk()
[all …]
|
| /dports/security/liboqs/liboqs-0.7.0/src/sig/sphincs/pqclean_sphincs-haraka-192s-simple_clean/ |
| H A D | haraka.c | 817 uint64_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka512_perm() local
836 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka512_perm()
880 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka256() local
900 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka256()
901 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka256()
902 (tmp_q & 0x02020202) << 1 | in PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka256()
907 (tmp_q & 0x40404040) >> 1; in PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka256()
923 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka256_sk() local
943 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka256_sk()
944 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA192SSIMPLE_CLEAN_haraka256_sk()
[all …]
|
| /dports/security/liboqs/liboqs-0.7.0/src/sig/sphincs/pqclean_sphincs-haraka-256f-simple_clean/ |
| H A D | haraka.c | 817 uint64_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA256FSIMPLE_CLEAN_haraka512_perm() local
836 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA256FSIMPLE_CLEAN_haraka512_perm()
880 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA256FSIMPLE_CLEAN_haraka256() local
900 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA256FSIMPLE_CLEAN_haraka256()
901 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA256FSIMPLE_CLEAN_haraka256()
902 (tmp_q & 0x02020202) << 1 | in PQCLEAN_SPHINCSHARAKA256FSIMPLE_CLEAN_haraka256()
907 (tmp_q & 0x40404040) >> 1; in PQCLEAN_SPHINCSHARAKA256FSIMPLE_CLEAN_haraka256()
923 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA256FSIMPLE_CLEAN_haraka256_sk() local
943 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA256FSIMPLE_CLEAN_haraka256_sk()
944 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA256FSIMPLE_CLEAN_haraka256_sk()
[all …]
|
| /dports/security/liboqs/liboqs-0.7.0/src/sig/sphincs/pqclean_sphincs-haraka-128s-simple_clean/ |
| H A D | haraka.c | 817 uint64_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA128SSIMPLE_CLEAN_haraka512_perm() local
836 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA128SSIMPLE_CLEAN_haraka512_perm()
880 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA128SSIMPLE_CLEAN_haraka256() local
900 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA128SSIMPLE_CLEAN_haraka256()
901 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA128SSIMPLE_CLEAN_haraka256()
902 (tmp_q & 0x02020202) << 1 | in PQCLEAN_SPHINCSHARAKA128SSIMPLE_CLEAN_haraka256()
907 (tmp_q & 0x40404040) >> 1; in PQCLEAN_SPHINCSHARAKA128SSIMPLE_CLEAN_haraka256()
923 uint32_t q[8], tmp_q; in PQCLEAN_SPHINCSHARAKA128SSIMPLE_CLEAN_haraka256_sk() local
943 tmp_q = q[j]; in PQCLEAN_SPHINCSHARAKA128SSIMPLE_CLEAN_haraka256_sk()
944 q[j] = (tmp_q & 0x81818181) | in PQCLEAN_SPHINCSHARAKA128SSIMPLE_CLEAN_haraka256_sk()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/core/ |
| H A D | distribute_forall_tactic.cpp | 51 quantifier_ref tmp_q(m); in reduce_quantifier() local
52 tmp_q = m.update_quantifier(old_q, not_arg); in reduce_quantifier()
53 new_args.push_back(elim_unused_vars(m, tmp_q, params_ref())); in reduce_quantifier()
72 quantifier_ref tmp_q(m); in reduce_quantifier() local
73 tmp_q = m.update_quantifier(old_q, arg); in reduce_quantifier()
74 new_args.push_back(elim_unused_vars(m, tmp_q, params_ref())); in reduce_quantifier()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/core/ |
| H A D | distribute_forall_tactic.cpp | 51 quantifier_ref tmp_q(m); in reduce_quantifier() local
52 tmp_q = m.update_quantifier(old_q, not_arg); in reduce_quantifier()
53 new_args.push_back(elim_unused_vars(m, tmp_q, params_ref())); in reduce_quantifier()
72 quantifier_ref tmp_q(m); in reduce_quantifier() local
73 tmp_q = m.update_quantifier(old_q, arg); in reduce_quantifier()
74 new_args.push_back(elim_unused_vars(m, tmp_q, params_ref())); in reduce_quantifier()
|
| /dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/include/deal.II/lac/ |
| H A D | solver_idr.h | 325 VectorType &tmp_q = Q(i, x); in solve() local
328 for (auto indx : tmp_q.locally_owned_elements()) in solve()
329 tmp_q(indx) = normal_distribution(rng); in solve()
330 tmp_q.compress(VectorOperation::insert); in solve()
333 tmp_q = r; in solve()
338 v *= (v * tmp_q) / (tmp_q * tmp_q); in solve()
339 tmp_q.add(-1.0, v); in solve()
343 tmp_q *= 1.0 / tmp_q.l2_norm(); in solve()
|
| /dports/cad/verilator/verilator-4.216/test_regress/t/ |
| H A D | t_altera_lpm.v | 4104 tmp_q = pvalue;
4317 tmp_q = pvalue;
4326 tmp_q <= avalue;
4334 tmp_q <= avalue;
4348 {abit,tmp_q} <= {tmp_q,i_shiftin};
4350 {tmp_q,abit} <= {i_shiftin,tmp_q};
4359 assign q = tmp_q;
4545 tmp_q = ZEROS;
5172 tmp_io = tmp_q;
5465 reg [lpm_width-1:0] tmp_q; register
[all …]
|
| /dports/finance/gnucash/gnucash-4.9/libgnucash/engine/ |
| H A D | Query.c | 388 QofQuery *tmp_q = NULL; in xaccQueryAddDateMatchTT() local
395 tmp_q = qof_query_create (); in xaccQueryAddDateMatchTT()
402 qof_query_destroy (tmp_q); in xaccQueryAddDateMatchTT()
407 qof_query_add_term (tmp_q, param_list, pred_data, QOF_QUERY_AND); in xaccQueryAddDateMatchTT()
415 qof_query_destroy (tmp_q); in xaccQueryAddDateMatchTT()
420 qof_query_add_term (tmp_q, param_list, pred_data, QOF_QUERY_AND); in xaccQueryAddDateMatchTT()
423 qof_query_merge_in_place (q, tmp_q, op); in xaccQueryAddDateMatchTT()
424 qof_query_destroy (tmp_q); in xaccQueryAddDateMatchTT()
|
| /dports/math/py-libpoly/libpoly-0.1.11/src/polynomial/ |
| H A D | polynomial.c | 1465 lp_rational_t tmp_q; in lp_polynomial_constraint_infer_bounds() local
1483 lp_rational_t tmp_q; in lp_polynomial_constraint_infer_bounds() local
1485 rational_sub(&D, &D, &tmp_q); in lp_polynomial_constraint_infer_bounds()
1486 rational_destruct(&tmp_q); in lp_polynomial_constraint_infer_bounds()
1513 rational_sub(&tmp_q, &tmp_q, &D); in lp_polynomial_constraint_infer_bounds()
1520 rational_destruct(&tmp_q); in lp_polynomial_constraint_infer_bounds()
1686 lp_rational_t tmp_q; in lp_polynomial_constraint_explain_infer_bounds() local
1703 lp_rational_t tmp_q; in lp_polynomial_constraint_explain_infer_bounds() local
1705 rational_sub(&D, &D, &tmp_q); in lp_polynomial_constraint_explain_infer_bounds()
1706 rational_destruct(&tmp_q); in lp_polynomial_constraint_explain_infer_bounds()
[all …]
|
| /dports/math/libpoly/libpoly-0.1.11/src/polynomial/ |
| H A D | polynomial.c | 1465 lp_rational_t tmp_q; in lp_polynomial_constraint_infer_bounds() local
1483 lp_rational_t tmp_q; in lp_polynomial_constraint_infer_bounds() local
1485 rational_sub(&D, &D, &tmp_q); in lp_polynomial_constraint_infer_bounds()
1486 rational_destruct(&tmp_q); in lp_polynomial_constraint_infer_bounds()
1513 rational_sub(&tmp_q, &tmp_q, &D); in lp_polynomial_constraint_infer_bounds()
1520 rational_destruct(&tmp_q); in lp_polynomial_constraint_infer_bounds()
1686 lp_rational_t tmp_q; in lp_polynomial_constraint_explain_infer_bounds() local
1703 lp_rational_t tmp_q; in lp_polynomial_constraint_explain_infer_bounds() local
1705 rational_sub(&D, &D, &tmp_q); in lp_polynomial_constraint_explain_infer_bounds()
1706 rational_destruct(&tmp_q); in lp_polynomial_constraint_explain_infer_bounds()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | distribute_forall.cpp | 127 quantifier_ref tmp_q(m_manager); in reduce1_quantifier() local
128 tmp_q = m_manager.update_quantifier(q, not_arg); in reduce1_quantifier()
129 new_args.push_back(elim_unused_vars(m_manager, tmp_q, params_ref())); in reduce1_quantifier()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | distribute_forall.cpp | 127 quantifier_ref tmp_q(m_manager); in reduce1_quantifier() local
128 tmp_q = m_manager.update_quantifier(q, not_arg); in reduce1_quantifier()
129 new_args.push_back(elim_unused_vars(m_manager, tmp_q, params_ref())); in reduce1_quantifier()
|