Searched refs:ls_sig (Results 1 – 3 of 3) sorted by relevance
| /dports/devel/ccls/ccls-0.20210330/src/messages/ |
| H A D | textDocument_signatureHelp.cc | 99 SignatureInformation &ls_sig = ls_sighelp.signatures.emplace_back(); in ProcessOverloadCandidates() local
102 ls_sig.documentation = rc ? rc->getBriefText(s.getASTContext()) : ""; in ProcessOverloadCandidates()
110 int off = (int)ls_sig.label.size(); in ProcessOverloadCandidates()
111 ls_sig.label += chunk.Text; in ProcessOverloadCandidates()
112 ls_sig.parameters.push_back({{off, (int)ls_sig.label.size()}}); in ProcessOverloadCandidates()
116 buildOptional(*chunk.Optional, ls_sig.label, ls_sig.parameters); in ProcessOverloadCandidates()
121 ls_sig.label += chunk.Text; in ProcessOverloadCandidates()
125 ls_sig.label += " -> "; in ProcessOverloadCandidates()
126 ls_sig.label += ret_type; in ProcessOverloadCandidates()
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/fpa/ |
| H A D | fpa2bv_converter.cpp | 4034 rs_sig(m), ls_sig(m), big_sh_sig(m), sigma_le_cap(m); in round() local
4047 ls_sig = m_bv_util.mk_bv_shl(sig_ext, m_bv_util.mk_zero_extend(2*sig_size - sigma_size, sigma)); in round()
4048 m_simp.mk_ite(sigma_lt_zero, rs_sig, ls_sig, big_sh_sig); in round()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/fpa/ |
| H A D | fpa2bv_converter.cpp | 4018 rs_sig(m), ls_sig(m), big_sh_sig(m), sigma_le_cap(m);
4031 ls_sig = m_bv_util.mk_bv_shl(sig_ext, m_bv_util.mk_zero_extend(2*sig_size - sigma_size, sigma));
4032 m_simp.mk_ite(sigma_lt_zero, rs_sig, ls_sig, big_sh_sig);
|